David Spivakとデータベースの圏
この2週間ぐらい、働いていた時代に自分が作っていたソフトウェアの定式化、みたいなことを考えていた。かなり新しいことを考えたと思ってたけれども、そのうちの一部分は(たぶん)David Spivakがすでにやっている仕事にかなり近い、と思った。
http://d.hatena.ne.jp/m-hiyama/20130128/1359349560
とりあえず元論文を読む。
この2週間ぐらい、働いていた時代に自分が作っていたソフトウェアの定式化、みたいなことを考えていた。かなり新しいことを考えたと思ってたけれども、そのうちの一部分は(たぶん)David Spivakがすでにやっている仕事にかなり近い、と思った。
http://d.hatena.ne.jp/m-hiyama/20130128/1359349560
とりあえず元論文を読む。