2006-06-30から1日間の記事一覧
ただでさえ疲れてるのに、暑くてさらに疲弊する。
Steve Awodey, Category Theory, Oxford Logic Guides 49, Oxford University Press, £65. Awodeyが圏論の教科書を書いてます。言語学や計算機科学を少し視野に入れて、λ計算との関わりとか書いてある模様。 C.コッホ、土谷尚嗣・金井良太訳、『意識の探求…
ただでさえ疲れてるのに、暑くてさらに疲弊する。
Steve Awodey, Category Theory, Oxford Logic Guides 49, Oxford University Press, £65. Awodeyが圏論の教科書を書いてます。言語学や計算機科学を少し視野に入れて、λ計算との関わりとか書いてある模様。 C.コッホ、土谷尚嗣・金井良太訳、『意識の探求…