Copilotが生成した日本語トランスコンパイラ言語 Re:MindのC#コード生成が動作するまで（ステップ４）

Posted at 2026-01-24

はじめに

生成AIに日本語トランスコンパイラ言語 Re:Mindの実装言語仕様を読み込ませて、いくつかの抽象度レベルのプロンプトからトランスコンパイラ的な動きをさせてみたところ、Re:Mindっぽい仕様のASTパーサのテンプレと３言語（Java,C#，VB.NET）のコードジェネレータのテンプレを生成してもらえた¹ので、ASTパーサが動作するまでの検証²を経て本記事はC#コードジェネレータが動作するまでの改修の第４ステップです。

Microsoft Copilot

生成AIはWindows11アプリケーションのMicrosoft Copilotとします。モードは「Smart(GPT5.1)」。サインインした状態で使用します。

第４ステップ

「Re:MindのASTパーサが動作するまで」の１２ステップでいったんC#のソースコードが生成されるようにはなりましたので、以降はC#コードジェネレータが正常動作することを目指しています。

プロンプト

下記のように書き換えたGenerateExpressionは何度も呼ばれましたがexpr switch文の中でInvocationExpressionに分岐することはなく、まだstatic void consoleOutの定義が出力されないのはなぜですか？

        private string GenerateExpression(Expression expr)
        {
            return expr switch
            {
                IdentifierExpression id => id.NameEn,
                LiteralExpression lit => lit.Value is string s ? $"\"{s}\"" : lit.Value!.ToString()!,
                BinaryExpression bin => $"{GenerateExpression(bin.Left)} {bin.Operator} {GenerateExpression(bin.Right)}",
                UnaryExpression un => $"{GenerateExpression(un.Operand)}{un.Operator}",
                MemberAccessExpression ma => $"{GenerateExpression(ma.Expression)}.{ma.MemberName}",
                ElementAccessExpression ea => $"{GenerateExpression(ea.ArrayExpression)}[{GenerateExpression(ea.IndexExpression)}]",
                InvocationExpression inv => GenerateInvocation(inv, _aliasMap),
                ArrayLiteralExpression arr => $"new {arr.ElementType}[] {{ {string.Join(", ", arr.Elements.Select(GenerateExpression))} }}",
                _ => "/* 未対応式 */"
            };
        }

生成レスポンス

ここは完全に原因が特定できます。
GenerateExpression が InvocationExpression に一度も分岐しない理由は、
AST の中に「InvocationExpression が存在していない」からです。
つまり：

🎯 consoleOut メソッドの本体が「ExpressionStatement(InvocationExpression)」として AST に入っていない
だから GenerateExpression が何度呼ばれても、
InvocationExpression のケースに入ることはありません。

🔍 ログをもう一度見てください

[ParseMethodBody] method=コンソール表示する
  line[50]: "□コンソール.一行表示する(引数2)" → "□コンソール.一行表示する(引数2)"
  line[51]: "△" → "△"
[ParseMethodBody] stmts.Count = 0

つまり：

consoleOut メソッドの本体は 1 行だけ
その行はパーサーに認識されず
stmts.Count = 0
AST の Body は空
だから C# 出力も空

つまり、原因は「パーサーが consoleOut の呼び出しを拾えていない」こと
CSharpCodeGenerator の問題ではありません。
AST に InvocationExpression が存在しないので、
GenerateExpression が InvocationExpression に分岐しないのは当然です。

🔥 なぜパーサーが拾えていないのか？
あなたの ParseMethodBody の該当部分は：

if (Regex.IsMatch(line, @"^[□■]\s*コンソール表示する"))

しかし実際の行は：

□コンソール.一行表示する(引数2)

つまり：

「コンソール表示する」ではなく
「コンソール.一行表示する」
なので、正規表現が完全に不一致です。

🎯 修正すべきはここ
❌ 今のコード（マッチしない）

if (Regex.IsMatch(line, @"^[□■]\s*コンソール表示する"))

✔ 修正案（コンソール.一行表示するを拾う）

if (Regex.IsMatch(line, @"^[□■]\s*コンソール\.一行表示する"))
{
    var expr = ParseConsoleWriteLineElement(line);
    stmts.Add(new ExpressionStatement { Expression = expr });
    _index++;
    continue;
}

✨ さらに汎用的にするなら
Re:Mind の import から「コンソール → Console」「一行表示する → WriteLine」が分かるので、
Imports を使って動的に判定するのが正しい設計です。

if (Regex.IsMatch(line, @"^[□■]"))
{
    var expr = ParseInvocationFromImports(line);
    if (expr != null)
    {
        stmts.Add(new ExpressionStatement { Expression = expr });
        _index++;
        continue;
    }
}

📌 まとめ

現象	原因	対策
GenerateExpression が Invocation に入らない	AST に InvocationExpression が存在しない	パーサーで consoleOut の呼び出しを拾う
consoleOut が空	ParseMethodBody がステートメントを追加していない	正規表現を「コンソール.一行表示する」に対応させる
GenerateInvocation が呼ばれない	InvocationExpression が生成されていない	パーサー修正で解決

ここを直せば consoleOut の中身が完全に生成されるようになります。
必要なら、ParseConsoleWriteLineElement の強化版も一緒に作れますよ。

第４ステップの評価

生成AIが提示してくる内容も即座に理解できるというわけではなく、修正内容を反映して動かしてみて意図がわかるという状況もあります。ASTパーサを介さない試作品と実装の考え方は同じ点もありますが、当然ながらそれよりは少し実装が複雑になっている面はあります。

おわりに

第４ステップは以上です。少し収束しはじめているような気がしますが、このやりとりだけでは厳しそうな感触もあります。そろそろ人間系でのデバッグ作業を検討する時期かもしれません。

生成レスポンスセクションの内容は生成AIが生成したものです。引用されているソースコードは完全には動作しない状態が含まれます。

Microsoft Copilotで日本語トランスコンパイラ言語 Re:Mindをいじりたおす - Qiita
「Re:Mindをいじりたおす」の記事リストです。（ステップ降順）
ステップ２６ターゲット言語JavaとVB.NETへの展開
 ステップ２５ターゲット言語C#へのASTからの生成処理
 ステップ２４ ASTを生成するサンプル実装をC#で生成
 ステップ２３マッピングルール生成
 ステップ２２ AST（抽象構文木）風の構造化表示
 ステップ２１バブルソート実行可能形式ターゲットJava C# VB.NET
ステップ２０二分探索法実行可能形式ターゲットJava C# VB.NET
ステップ１９線形探索法実行可能形式ターゲットJava C# VB.NET
ステップ１８バブルソート１案件づつやりなおし
 ステップ１７二分探索法１案件づつやりなおし
 ステップ１６線形探索法１案件づつやりなおし
 ステップ１５３つの定番アルゴリズムソースの忘却原因調査
 ステップ１４バブルソートソースの忘却発生再確認
 ステップ１３二分探索法ソースの忘却発生
 ステップ１２線形探索法の６言語変換
 ステップ１１バージョン情報付きの３定番アルゴリズムソースのフィードバック修正
 ステップ１０バージョン情報付きの３定番アルゴリズムソースのフィードバック修正
 ステップ９バージョン情報付きで３定番アルゴリズムソースの生成
 ステップ８バージョニングが可能か確認
 ステップ７ Re:Mindの詳しい言語仕様の学習結果をバブルソートで確認
 ステップ６ Re:Mindの詳しい言語仕様の学習結果を二分探索法で確認
 ステップ５ Re:Mindの詳しい言語仕様の学習結果を線形探索法で確認
 ステップ４ Re:Mindの詳しい言語仕様の学習成果を保持するスコープを確認
 ステップ３ Re:Mindの詳しい言語仕様を学習できる方法を確認
 ステップ２ Re:Mindの言語仕様の認知度を確認
 ステップ１ Re:Mindの認知度を確認 ↩
Copilotが生成した日本語トランスコンパイラ言語 Re:MindのASTパーサが動作するまで - Qiita
「Re:MindのASTパーサが動作するまで」の記事リストです。（ステップ降順）
ステップ１２いったん生成
 ステップ１１
 ステップ１０生成済コードの伝達完了
 ステップ９
 ステップ８
 ステップ７
 ステップ６生成済コードの伝達開始
 ステップ５
 ステップ４ Program.csが動作
 ステップ３
 ステップ２
 ステップ１検証環境構築 ↩

You get articles that match your needs
You can efficiently read back useful information
You can use dark theme

What you can do with signing up