2010-02-09 ラムダ言語 情報 ラムダ計算基礎文法最速マスター - 貳佰伍拾陸夜日記 何やらプログラマの好奇心をそそる記事だ。ところで、ブクマをそのままブログで表示する機能があるみたいだが、この機能を使ふとブクマで陰口を叩き逃げすることができなくなるね。