2002-12-21 [長年日記]
λ. fold,自由代数,表示的意味論
10/10に読んだ Fold and Unfold for Program Semantics だけど、昨日書いたように「自由Σ代数系は記号としての式の全体」であるならば、構文木の全体が自由代数で表わされる事と、自由代数のinitialityから、foldオペレータによって表示的意味論を与える事が出来るのは、ある意味自明だと思った。
λ. 買った本
- 『ベルセルク 24』
- 三浦健太朗[著]
λ. 向井研忘年会
甘太郎。
λ. 獣姦小説
「獣姦小説」で検索されるのには飽きたので、「獣姦」を含むURLは「本日のリンク元」には記録しない事にした。
[ツッコミを入れる]
