2006-08-27から1日間の記事一覧

SICPのサイトからリンクが張ってあるのとは別のHTML Full text

http://mitpress.mit.edu/sicp/full-text/sicp/book/book.htmlこっちは節ごとにページが分かれてる。

素人くさいSICP読書会が気になる

素人くさいSICP読書会が気になる。参加してみたいけど、あと1ヶ月は富山にいるし、途中から参加してついていけるのかな、という不安もある。しかし、面白そうだ。

HTMLファイルをTeXファイルに変換

SICPは、その全内容(英語)がWeb上に公開されているので、読もうと思えばブラウザから全部読める。でも、パソコン上で読むのはあまり好きじゃないので、LaTeXに落としてから印刷して読むことにした。そのためには、HTMLファイルからTeXファイルに書き直さなけ…

コメントスパム

以前に 加藤ローサにはエロさが足りないと思う みたいなことをこのブログに書いたが、その記事に最近やたら英語圏からコメントスパムが来る。加藤ローサファン?

Subversionのバックアップソリューション

仕事で使ってるSubversionのレポジトリのバックアップ方法について考える。基本方針は以下。 毎週full dump & gzip full dumpしたリビジョンからの差分を毎日dump & gzip 問題は、dumpしたファイルの複製をどこに送りつけるか、ということ。scpで送りつける…

何の脈絡もなく「記号論理学II」のレポートを公開

SICPがどうとか、Schemeがどうとか言っていたら、ラムダ計算を思い出して、このレポートを思い出したので唐突に公開してみる。授業の学期末のレポートだけど、気合入れて目次、索引込み全21ページでお送りします。Download/PDF このレポートは大きく分けて2 …