2005-08-07から1日間の記事一覧

λ-Calculusの記法

λ項における優先度や結合性を覚えられる人はよほどの天才に違いない.そういう人こそがきっと歴史に名を残すのだろう.

日記200日目

いつの間にかずいぶん経ったものだ.今日で日記を書いたのが200日目らしい.

英語

英語を母語にしてる人って楽でいいよな... 「文化の多様性を実感」云々とかどうでもいいから英語圏に生まれてればよかった,とは誰しも思うことではないだろうか.

LaTeX→HTML

何しろ変換元のTeXソースは1.6MBあるのだ... 小汚い技法を沢山使ってるし.