トップ «前の日記(2002-12-20) 最新 次の日記(2002-12-22)» 月表示 編集

日々の流転


2002-12-21 [長年日記]

λ. fold,自由代数,表示的意味論

10/10に読んだ Fold and Unfold for Program Semantics だけど、昨日書いたように「自由Σ代数系は記号としての式の全体」であるならば、構文木の全体が自由代数で表わされる事と、自由代数のinitialityから、foldオペレータによって表示的意味論を与える事が出来るのは、ある意味自明だと思った。

Tags: 論文

λ. 買った本

『ベルセルク 24』
三浦健太朗[著]
Tags:

λ. 向井研忘年会

甘太郎。

Tags: 向井研

λ. 獣姦小説

「獣姦小説」で検索されるのには飽きたので、「獣姦」を含むURLは「本日のリンク元」には記録しない事にした。

Tags: 検索