hoobastank, the reason, 2003.

とりあえず製造停止という処置が取られるようです（ソース）。どのCDに組み込まれてるのかを発表しないとどうしようもないような。一部で出回ってはいるけど。けっこう有名なＣＤに含まれてるみたいよ。

肉に喰らいつく某氏を眺めながら、関数の値域の話などをする。

何か最近周りで自由意志の話が多いので、そういえばジルソンには何が書いてあったっけとまとめてみる。ジルソン『中世哲学の精神 下』第１５章から。正直なところ、よく分かりません。

Laura Crosilla & Peter Schuster (eds.), From Sets and Types to Topology and Analysis: Towards practicable foundations for constructive mathematics, Oxford Logic Guides vol. 28, Oxford University Press, £75. むむむっ。これはすごい。 トマス…