メニュー
システムを「発注」するためのドメイン固有記法（DSL）を定義する。 フィーチャーの選択とパラメータ指定を宣言的に記述できる形式を設計する。 「仕様の記述形式を決めたい」「DSLを定義したい」「AIへの指示形式を 設計したい」といった要求があった場合に使用する。アーキテクチャ設計の 成果物が存在することが前提。ジェネレーティブプログラミングの ドメイン設計活動。
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
SOC 職業分類に基づく
フィーチャーモデルから共通アーキテクチャを設計し、 実装コンポーネントを確定した上で、構成の知識（フィーチャー選択から 実装へのマッピングルール）を定義する。 「アーキテクチャを設計したい」「構成の知識を定義したい」 「フィーチャーと実装の対応を決めたい」といった要求があった場合に使用。 フィーチャーモデリングの成果物が存在することが前提。 ジェネレーティブプログラミングのドメイン設計活動。
ドメインスコープからフィーチャーモデルを作成する。 重要概念の洗い出しと共通性・可変性分析を行い、 フィーチャーツリーとフィーチャー間の制約を構造化する。 「フィーチャーを整理したい」「何が変わりうるか分析したい」 「依存関係を定義したい」といった要求があった場合に使用する。 ドメインスコーピングの成果物が存在することが前提。 ジェネレーティブプログラミングのドメイン分析活動。
DSL仕様書と構成の知識に基づき、指定言語でリストコンテナのコードを生成する。 DSLバリデータの実装もこのスキルで行う。 「コードを生成して」「実装して」「この仕様で作って」といった要求に使用。 構成の知識が存在することが前提。
生成コードの正しさを検証するプロパティベーステストを生成・実行する。 構成の知識に定義された代数的性質と構成固有の性質をテストコードとして出力する。 「テストを生成して」「生成コードを検証して」といった要求に使用。 構成の知識と生成コードが存在することが前提。
システムの目的・利用者・範囲を明確にし、ドメインの境界を定義する。 新しいプロジェクトの立ち上げ時、「何を作るか整理したい」 「スコープを決めたい」「対象ドメインを明確にしたい」といった要求が あった場合に使用する。ジェネレーティブプログラミングのドメイン分析活動。
| name | dsl-definition |
| description | システムを「発注」するためのドメイン固有記法（DSL）を定義する。 フィーチャーの選択とパラメータ指定を宣言的に記述できる形式を設計する。 「仕様の記述形式を決めたい」「DSLを定義したい」「AIへの指示形式を 設計したい」といった要求があった場合に使用する。アーキテクチャ設計の 成果物が存在することが前提。ジェネレーティブプログラミングの ドメイン設計活動。 |
システムの構成を宣言的に「発注」するための記法を定義するスキル。 AIがこの記法を読み取ってコードを生成・変更する前提で設計する。 ジェネレーティブプログラミングのドメイン設計活動。
docs/gp/05-architecture.md と docs/gp/06-components.md が存在するか確認する/architecture-design）を行うことを推奨するが、必要に応じてこの活動から始めてもよいフィーチャーモデルの可変ポイントを宣言的に指定できる記法を設計する。
以下のファイルを出力する:
docs/gp/07-dsl-notation.md — 記法の定義。テンプレート: templates/notation-template.mddocs/gp/08-dsl-examples/ — サンプル仕様書次の活動として「ドメイン設計」（/domain-design）が推奨されるが、必要に応じて他の活動に進んだり、以前の活動に戻って成果物を更新してもよい。