Literate Model-Driven Cloud-Native Development with Object-Functional Paradigms for the AI Era
静的モデル・ハーネスは、ドメインの概念・関係・規則をモデルとして記述し、検査と実行へ接続する基盤です。本連載の第3回では、ソフトウェア工学で実用化された構成方法を活用し、AIによる生成・変更にも業務上の制約を働かせる仕組みを説明します。
2026-10-05
モデル・ハーネスは、ドメイン知識に近い表現でソフトウェアを記述し、処理系の検査と実行によって生成・変更を制約する基盤です。要求モデルとの対応を保持し、ソフトウェアが果たす目的も確認します。第3回では概念・関係・規則による静的な構造、第4回では状態機械を含む動的な振る舞いを具体化します。
2026-09-28
AI開発ハーネスは、AIによる解釈・探索・補完を、モデル、アーキテクチャ、実行、検証などソフトウェア工学の成果と結び付ける仕組みです。AIが補った判断を明示して確かめ、採用された意味をプログラムとランタイムで実行します。連載では異なるハーネスを組み合わせ、AIの新しい応用と開発の速さを業務アプリケーション級の開発へつなぐ方法を示します。
2026-09-21