2005-04-22から1日間の記事一覧

朝から出かける。だいたい慣れてきた。空き時間でλ定義可能性と計算可能性の話。証明は追えるのだがやっぱり何やっているのかよく分からない。原始帰納関数のλ表現はいいが、そうでない原始関数の方はちょっと。クリーネの表現性定理の理解が危ういことに問…

異動

Niall Shanks (Philosohy of Biology, Philosophy of Physics) @ East Tennessee State University → Wichita State University.

小坂国継・岡部英男編著、『倫理学概説』、ミネルヴァ書房、¥3000.