OUKC 方法論 (Methodology)
概要 / Description
日: Skill Thinking ⇄ formal-method bridge. 8 種類の Skill Thinking pattern (taxonomy / instantiation / refutation / abstraction / cross-domain bridge 等) を Lean 4 formalization に対応付ける方法論.
EN: Skill Thinking ⇄ formal-method bridge. 8 Skill Thinking patterns (taxonomy, instantiation, refutation, abstraction, cross-domain bridge, etc.) mapped to Lean 4 formalization.
OUKC Methodology は Skill Thinking と formal method の間の bridge を文書化します.
8 種の Skill Thinking pattern (taxonomy / instantiation / refutation / abstraction / cross-domain bridge / counterexample search / iterative refinement / honest hedging) が META-DB の Tier 構造と Lean 4 namespace 構造に直接対応.
詳細は SPA 内 Methodology page で interactive 表示.