constraints
✓形式的制約理論は、義務論的論理 (P/O/F/I 演算子)、フアレロの三分法 (有効化/統治/構成的)、ホーフェルディアンの権利 (請求義務、特権非権利、権力責任、免責不能)、およびカテゴリー理論的構成を統合します。許可、義務、禁止、権利構造、エージェント権限、ガバナンス システム、オントロジー検証、または正式な制約仕様を必要とするドメインをモデル化するときに使用します。 λ計算マッピングを介してオンログと統合します。
SKILL.md
Formal theory of constraints as structure-preserving functors over deontic modalities
A constraint is a functor mapping structural contexts to deontic outcomes:
Constraints shape possibility spaces without adding energy—they are rate-independent causes that determine what can happen without forcing any particular outcome.
形式的制約理論は、義務論的論理 (P/O/F/I 演算子)、フアレロの三分法 (有効化/統治/構成的)、ホーフェルディアンの権利 (請求義務、特権非権利、権力責任、免責不能)、およびカテゴリー理論的構成を統合します。許可、義務、禁止、権利構造、エージェント権限、ガバナンス システム、オントロジー検証、または正式な制約仕様を必要とするドメインをモデル化するときに使用します。 λ計算マッピングを介してオンログと統合します。 ソース: zpankz/mcp-skillset。
引用可能な情報
AI/検索での引用用の安定したフィールドとコマンド。
- インストールコマンド
npx skills add https://github.com/zpankz/mcp-skillset --skill constraints- カテゴリ
- </>開発ツール
- 認証済み
- ✓
- 初回登録
- 2026-02-01
- 更新日
- 2026-02-18
クイックアンサー
constraints とは？
形式的制約理論は、義務論的論理 (P/O/F/I 演算子)、フアレロの三分法 (有効化/統治/構成的)、ホーフェルディアンの権利 (請求義務、特権非権利、権力責任、免責不能)、およびカテゴリー理論的構成を統合します。許可、義務、禁止、権利構造、エージェント権限、ガバナンス システム、オントロジー検証、または正式な制約仕様を必要とするドメインをモデル化するときに使用します。 λ計算マッピングを介してオンログと統合します。 ソース: zpankz/mcp-skillset。
constraints のインストール方法は？
ターミナルまたはコマンドラインツール（Terminal、iTerm、Windows Terminal など）を開きます このコマンドをコピーして実行します: npx skills add https://github.com/zpankz/mcp-skillset --skill constraints インストール後、スキルは自動的に AI コーディング環境に設定され、Claude Code や Cursor で使用できるようになります
ソースリポジトリはどこですか？
https://github.com/zpankz/mcp-skillset
詳細
- カテゴリ
- </>開発ツール
- ソース
- skills.sh
- 初回登録
- 2026-02-01