読書履歴
2014/05/28
38ページ
とりあえずラムダ計算の基礎を流し読み。推論規則の記法に馴染みがない。
AIが見つけた似た本
「プログラム意味論 (情報数学講座)」の文章スタイル、テーマ、内容を分析し、 類似度の高い本を3冊見つけました
74.1%
東大式絶対情報学
伊東 乾
競争社会を勝ち取るための「IT知」の技法。絶対情報感を身につけろ!東京大学全学必修・文理共通科目「情報」の最先端カリキュラムを初公開!情報の達人になる秘訣を完全伝授。
1人
5
72.4%
70.4%
