ユーザー登録(無料)プログラム意味論 (情報数学講座) [277回参照されました]
放浪猫さん がこの本を手に取りました。放浪猫さんは、これまでに11冊の本を読み、2,361ページをめくりました。
本の紹介
15% [全261ページ(残り223ページ)]
状態 読んでいるところ
積ん読時間：積ん読1年以上
著者 横内 寛文 ブックリンクされた本
-評価
未評価感想
読書の軌跡
| 38ページ | 2014/05/28 23:25:28 | とりあえずラムダ計算の基礎を流し読み。推論規則の記法に馴染みがない。 |
コメント
コメントするにはログインが必要です。
