この2週間ぐらい、働いていた時代に自分が作っていたソフトウェアの定式化、みたいなことを考えていた。かなり新しいことを考えたと思ってたけれども、そのうちの一部分は（たぶん）David Spivakがすでにやっている仕事にかなり近い、と思った。 http://d.ha…

http://drops.dagstuhl.de/opus/volltexte/2013/3898/pdf/4.pdf http://static.googleusercontent.com/media/research.google.com/ja//pubs/archive/40678.pdf 結局ワールドというのはモデル図にもなるという話なのか、なんかすごいな。あとでちゃんと読むが…