ラムダ計算入門 この PDFを参考に、Javaでのラムダ計算を実装してみました。ついでに JavaCCを使って以下のような文を解釈できるようにしました。 (λx.x(y z)); λs.λz.s(s(sz));実際には、以下のようなコードで入力の解析と簡約化を行います。 import static…

http://book.akahoshitakuya.com/u/8759 11月13日から、読書メーターを始めてみました。前から気が向いたらここに本の感想を書いたりしてたのですが、気軽に読んだ本の履歴をつけるには使いづらいので、感想と履歴を分けることにしました。既に1月くらい使っ…

ソリッドファイター (電撃文庫)作者: 古橋秀之,石田走出版社/メーカー: メディアワークス発売日: 1997/09メディア: 文庫 クリック: 35回この商品を含むブログ (49件) を見る実際の完全版は、本として流通してないのでアニメイトか通販でしか入手できません。…