一般関手モデルは、スピヴァックの関手データモデルをデータベース以外にも適用する試みです。とはいえ実際のところ、特別に一般化する必要性は薄いですね、スピヴァック理論が既に十分に一般的に作られているので。今回の話も二番煎じで、関手データモデル…

桜の季節の問題として： 昼食をとるのがすごく大変になります。去年、桜の咲く目黒川からはだいぶ離れた穴場的レストランを見つけて、桜のシーズンはそこでよく食べていたのですが、穴場過ぎて潰れてしまいました。 あー、これからしばらくのあいだ、昼食を…