日記/2006-9-25 - Tetsuya Izu's Wiki
家でカリカリとノルムの計算をしている186より.

プログラムと結び目理論との関係がイマイチ理解できなかったのですが、どこかでレポートされていないでしょうか?

"Hassei" = Masahito Hasegawa's Research
M. Hasegawa, Models of recursive programs and invariants of links (長谷川真人 「再帰的プログラムの意味論と絡み目の不変量」). In Proc. JSSST'98, Univ. Electro-Communications, Tokyo, pages 193-196, September 1998.
ps gzipファイルがおいてあるんだけれども, 俺の環境で見られない.
なんか圏論絡みで結び目が活躍するらしいですよ.

あと, 伊豆さんは掲示板を付けると良いと思いました. wikiに.