トップ «前の日記(2003-06-11) 最新 次の日記(2003-06-14)» 月表示 編集

日々の流転


2003-06-13 [長年日記]

λ. Linear Logic

線形論理についてちょっと調べる。

Tags: logic

λ. 今日の向井研

先週話すつもりだった、最小不動点に関するイントロダクションを話してみる。

Tags: 向井研

λ. 夕食

片山さんとニューオリ。鶏肉のトマト煮スパゲティ。

Tags: