bouzuya.hatenablog.com

ぼうずやのにっき

2017-04-06から1日間の記事一覧

『プログラミング言語の基礎概念』を読み終えた

『プログラミングの基礎概念』を読み終えた。 理解度はおそらく 10% ほど。雰囲気は分かるけど、練習問題を解いていないし、証明などもふんふんと読んでいるだけなので……。推論規則・導出・帰納法。導出システムで証明していく。ペアノ自然数の扱いで練習し…