ここ数日の僕のブームはスピヴァックの関手的データモデルです。 デイヴィッド・スピヴァックはデータベース界の革命児か -- 関手的データモデル スピヴァック理論に行き着くまで -- 遠くにルーリーを眺めながら スピヴァックのホームページ http://math.mit…