Liquid Tension Experiment, 2, 1999.

Jean Gallier, Constructive Logics, 2003. の読書会に混ぜてもらう。自然演繹と式計算の体系とか。

昨日涼しかったせいか体調が悪い。だるいだるいだるい。

Roslyn Weiss, The Socratic Paradox and Its Enemies, The University of Chicago Press, $35. Shadi Bartsch, The Mirror of the Self: Sexuality, Self-Knowledge, and the Gaze in the Early Roman Empire, The University of Chicago Press, $45. Deird…