ここ何日か気が散ってます。たいして興味を持ってなかったRDFが妙に気になりだしたり。複圏（オペラッド）や多圏の上でのラムダ計算が急にリアルに思えてきたり。あと、derivatorね。「「グロタンディーク」って言ったらカッコイイのか？」でちょっと触れま…