朝から出かける。空き時間はラムダ。まで来た。これは何をやっているんだろう。定義を見ると可換図式みたいなのもあってどうもカテゴリの匂いがする。モデルのある要素に対して、それの「対象」のような振る舞いを取り出す関数と、「関数」のような振る舞い…

ダニエル．Ｃ．デネット、山形浩生訳、『自由は進化する』、ＮＴＴ出版、¥2940. 進化論と自由意志。 児島洋、『哲学的人間学序説』、九州大学出版会、¥3800. Paul Guyer, Kant's system of Nature and Freedom: Selected Essays, Oxford University Press, £…