2014年 9月長月
2 編2014年のすべて →
27Sep
型システムの意義(TAPL第1章より)
『アンダースタンディング コンピュテーション』に続いて、『型システム入門―プログラミング言語と型の理論』を読む。 ## 型システムの定義 システムが仕様通りに動作するかどうかを保証する[形式手法](http://ja.wikipedia.org/wiki/%E5%BD%A2%E5%BC%8F%E6%89%8B%E6
readessay→
23Sep
文系プログラマでもコンピュテーションをアンダースタンディングできた！！１ - 書評『アンダースタンディング コンピュテーション』
タイトルは煽りです。 『アンダースタンディング コンピュテーション―単純な機械から不可能なプログラムまで』をご恵贈いただきました。ありがとうございます。 [
readessay→