「インスティチューション＋関手意味論」のフレームワーク、なんか名前を付けないと呼びようがない。そのまんまだけど、関手インスティチューションとか。関手インスティチューションの構成素は： 指標の圏、具体的に構成される 指標の圏のinclusive構造 代…

直接的な関係を意識せずに考えていた次のようなトピック、 git JavaScriptのモジュール方式（CJS, ESM） NPMパッケージ 概念設計とコース設計 ストリング図とオープングラフ などが、同一の問題なのだと気付いた。有向グラフの取り扱いと利用法の問題だった…

関与宣言（関与宣言 - (新) 檜山正幸のキマイラ飼育記 メモ編）が必要になったのは、ソフトウェアの構造の記述のためだが、これは一般論になるだろう。静的構造、あるいは時間とは関係しない空間的な依存性グラフ〈dependency graph〉ができる。これは、情報…

コードユニット（ファイルまたはscript内容）が、アプリケーション全体のなかでどのような役割を演じるか、その貢献〈contribution〉と条件〈conditon〉、期待〈expectation〉、信頼〈reliance, trust〉などを関与〈engagement〉という形で記述する。 関与宣…