はい、ハマってます： デイヴィッド・スピヴァックはデータベース界の革命児か -- 関手的データモデル スピヴァック理論に行き着くまで -- 遠くにルーリーを眺めながら スピヴァックの関手的データモデルに触れて、しみじみ思いましたよ； 世の中には見通せ…