「依存アクテゴリーが面白い」という記事を書きました。実際僕は「面白い」と思っています。プロセスやシステムの記述と計算に使えそうだ、というところが心惹かれる理由でしょうかね。依存アクテゴリーはけっこう複雑な構造なので、定義を書き下すだけでも…