Mechanized Functor Tower

機械化された関手塔 (Mechanized Functor Tower)

異なる同期ドメイン間の状態保存を検証するための、形式的に機械化されたフレームワーク。状態の結合強度を階層化された関手としてモデル化し、各レベルが特定の結合の広さ（coupling breadth）に対応する。

関連用語

• Coupling Breadth
• Natural Transformation
• Cross-Domain State Preservation

この用語を使っている記事

(なし)

元の表記（英語）

(なし)