言語ゲーム

とあるエンジニアが嘘ばかり書く日記

Twitter: @propella

2007-07-16から1日間の記事一覧

Joy 代数。http://www.latrobe.edu.au/philosophy/phimvt/joy/j04alg.html を読むその2

http://d.hatena.ne.jp/propella/20070713/p1 で書ききれなかった続きです。この日記の内容はたぶん全て Squeak 版 Joy でも実行出来ます。http://languagegame.org/pub/Joy.cs LIST 函手とその自然変換 ここからいよいよ圏論の話になるそうですが、ようする…