2005-09-24から1日間の記事一覧

ラッセル

フレーゲの関数概念などについてラッセルが検討している箇所。比較的理解しやすい方。

カリー・ハワード対応 (11)

過去を振り返りつつ、少しだけ先に進む。先を急ぐよりは基本的なところを押さえよう。

Bruce Mills, Theoretical Introduction to Programming, Springer, €64.15. 手続き型・関数型にかかわらず様々なプログラミング言語における理論的概念の入門書。 T.J. Mawson, Belief in God: An Introduction to the Philosophy of Religion, Oxford Univ…