デイヴィッド・スピヴァックはデータベース界の革命児か -- 関手的データモデル - 檜山正幸のキマイラ飼育記 (はてなBlog)

最近、「おおおー、これは凄い、すんばらしい！」と思ったことがあるので、それについて書きます。 最初に言葉についてのお断り； "categorical"の訳語をどうしようか？ と。片仮名で「カテゴリカル」が無難ですが、漢字で書きたい。「圏論的」が落ち着きがいいようですが、必ずしも「論」の意味を含まないときもあります。そこで、以下、「圏的」を使います。 [追記 date="2013-02-12"]入門的解説を書きました。→「衝撃的なデータベース理論・関手的データモデル 入門」[/追記] スピヴァックと関手的データモデル デイヴィッド・スピヴァック（David I. Spivak, http://math.mit.edu/~dspivak/）は、MITの研究者です。 彼は圏的情報学（categorical informatics）を提唱しています*1。圏的情報学の中心的な概念が関手的データモデル

[ono_matope]

最初から最後まで全く分からなくてすごい…

[mini_big_foo]

海外のぼっさんみたいな写真

[mooz]

functional data model

[kiiiino3]

このへんがわかるようになるのは当面の目標。

[charlestonblue]

あとで読む。

[nakanushi]

"Kleisli Database Instances という論文では、ちょっと悪乗り気味に、離散力学系、有向グラフ、チューリングマシン、群の線形表現なども“データベース”の例だと主張"

[ogijun]

あとで読む(かも)

[a2ikm]

数学の人っぽいんだけど高エネルギー物理学とか出てきたので天才だった//なるほどさっぱりわからん

[r-west]

テーブルが対象でカラムが射？？全然分からん。

[naqtn]

なるほど、残念ながらさっぱり分からん

[craccho]

とっても気になる

[propella]

釣られてブクマ。。。

[habuakihiro]

後でゆっくりと読みながらじっくりと考える。

[nanakoso]

圏論の成果を直接的にDBに応用できそうな予感

[syuu256]

？？？

[yojik]

とりあえずブクマしたがぱっと理解できない。。。