科学哲学40-2(2007) pp.23-39. 計算機科学で使われる表示意味論と、特に領域意味論に注目し、領域意味論の有限データ性とブラウワーの連続性概念が似ていることを指摘した後、領域意味論もある意味で生成的／プロセス的といえる観点から数学的構造を再構成し…

晴れているが湿度も高い。起床は9時半、出勤して論文の続き。とりあえず第一版が完成、英文チェックに入る。 帰宅は21時半、夕食はズッキーニと乾燥エビのトマトパスタ。夕食後、Cに見てもらって英文チェックの続き。