活用例
短いキーワードから型付き生成空間を探索し、問題文・解答・図・検証証明書を一つの成果物として返します。
短い折り列の背後にある三次元姿勢を保持し、最大値・期待値・等号配置を独立再計算できる形で公開します。
同じ構成グラフから立体、投影図、断面、寸法、交換用データを生成し、表示と幾何学的意味の分離を防ぎます。
同じ有限操作を、作図、証明図、設計線、数理アートとして描き分けます。意味の同一性は構成データで追跡します。
MORTRA1MODEL 1
MORTRA1MODEL 1MORTRA1MODEL 1