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

Last updated at 2026-01-03Posted at 2026-01-03

はじめに

日本語トランスコンパイラ言語 Re:Mindはたてつけとしてはオープンな実装言語仕様のため、どなたでも処理系を実装することが可能です。逆転の発想で生成AIに実装言語仕様を読み込ませて、いくつかの抽象度レベルのプロンプトからトランスコンパイラ的な動きをさせてみようと思っておりましたところ、ほぼ「棚ぼた」でRe:Mindっぽい仕様のASTパーサのテンプレと３言語（Java,C#，VB.NET）のコードジェネレータのテンプレを生成してもらえたので、本記事はその続きとも言える検証編の第１ステップです。

Microsoft Copilot

生成AIはWindows11アプリケーションのMicrosoft Copilotとします。モードは「Smart(GPT5.1)」。サインインした状態で使用します。いじりたおす編第２６ステップの後にはサインアウトがあります。

第１ステップ

いじりたおす編第２４ステップ、第２５ステップで生成されたRe:MindのASTパーサとC#コードジェネレータのC#実装が検証できる環境を構築して、いったん第２４ステップの生成コードの問題点を指摘します。

C#環境の構成

最初にC#のプロジェクトを作成してVSCodeを起動します。

C:\developments\cs12>dotnet --version
8.0.206

C:\developments\cs12>dotnet new console -o astsample
テンプレート "コンソール アプリ" が正常に作成されました。

作成後の操作を処理しています...
C:\developments\cs12\astsample\astsample.csproj を復元しています:
  復元対象のプロジェクトを決定しています...
  C:\developments\cs12\astsample\astsample.csproj を復元しました (132 ms)。
正常に復元されました。

C:\developments\vscode>cd mind8dispatch
C:\developments\vscode\mind8dispatch>code .

下記のサンプルソースが生成されています。

Program.cs

// See https://aka.ms/new-console-template for more information
Console.WriteLine("Hello, World!");

Program.csに併存させて（C#の名前空間は物理フォルダと同期してなくても可なので）第２４ステップで生成されたASTクラスとASTパーサを、Ast.csとParser.csという新規ファイルを作成してコピペします。
第２５ステップで生成されたC#コードジェネレータを、ついでに第２６ステップで生成されたJavaコードジェネレータとVB.NETコードジェネレータを、CSharpCodeGenerator.csとJavaCodeGenerator.csとVbNetCodeGenerator.csとIndenetWriter.csという新規ファイルを作成してそれぞれコピペします。

C:\DEVELOPMENTS\CS12\ASTSAMPLE
│  Ast.cs
│  astsample.csproj
│  CSharpCodeGenerator.cs
│  IndenetWriter.cs
│  JavaCodeGenerator.cs
│  Parser.cs
│  Program.cs
│  VbNetCodeGenerator.cs
│
└─.vscode
　     launch.json
　     tasks.json

Program.csに生成されたサンプルをコピペします。

Program.cs

using ReMindAst; using ReMindBackend;

var generator = new CSharpCodeGenerator();
string code = generator.Generate(CompilationUnit);
Console.WriteLine(code);

CompilationUnitはクラス名なので、ここでコンパイルエラーとなります。（コンパイルする前にVSCode拡張が警告を出している状態となっています。「'CompilationUnit' は種類です。これは特定のコンテンツでは無効になります」）

プロンプト

先日ご提案いただいたRe:MindのASTとコードジェネレータクラスをすべてプロジェクトに作成してProgram.csを下記のように記述しましたが、 'CompilationUnit' は種類です。これは特定のコンテンツでは無効になりますというエラーとなるのはなぜですか？CompilationUnitタイプの変数とインスタンスはどのように実装しますか？

using ReMindAst; using ReMindBackend;
var generator = new CSharpCodeGenerator(); 
string code = generator.Generate(CompilationUnit); 
Console.WriteLine(code);

生成レスポンス

これはとても本質的なポイントに気づかれています。
結論から言うと CompilationUnit は「型（class）」であって「インスタンス」ではないため、そのまま Generate(CompilationUnit) と書くと C# は「型名を値として渡している」と判断し、エラーになります。

🔍 なぜ 'CompilationUnit' は種類です。これは特定のコンテンツでは無効になりますというエラーになるのか
C# では、メソッドに渡すのは値（インスタンス）でなければいけません。
しかし今のコードはこうなっています：

string code = generator.Generate(CompilationUnit);

ここで CompilationUnit は class の名前であり、インスタンスではありません。
C# は「型を値として渡すのは無効」と判断し、エラーを出します。

🧩 CompilationUnit のインスタンスはどう作る？
あなたが以前作成した Re:Mind AST の構造に基づくと、CompilationUnit は AST の最上位ノードで、
中に Statements や Functions を持つ構造になっているはずです。
典型的なインスタンス生成はこうなります：

var unit = new CompilationUnit
{
    Statements = new List<IStatement>
    {
        new VariableDeclarationStatement("i", new IntegerLiteral(0)),
        new WhileStatement(
            new LessThanExpression(new VariableReference("i"), new IntegerLiteral(10)),
            new List<IStatement>
            {
                new ExpressionStatement(
                    new AssignmentExpression(
                        new VariableReference("i"),
                        new AddExpression(new VariableReference("i"), new IntegerLiteral(1))
                    )
                )
            }
        )
    }
};

そして Generate に渡すのはこのインスタンスです：

string code = generator.Generate(unit);
Console.WriteLine(code);

🧪 最小構成の例（動作確認用）
まずは AST が正しく動くか確認するために、もっとシンプルな AST を渡す例も示します。

var unit = new CompilationUnit
{
    Statements = new List<IStatement>
    {
        new ExpressionStatement(
            new FunctionCallExpression("Print", new List<IExpression>
            {
                new StringLiteral("Hello Re:Mind!")
            })
        )
    }
};

var generator = new CSharpCodeGenerator();
string code = generator.Generate(unit);
Console.WriteLine(code);

🎯 まとめ

問題	原因	解決
'CompilationUnit' は種類です	型名を値として渡している	new CompilationUnit { ... }でインスタンスを作る
Generate(CompilationUnit)	インスタンスではない	Generate(unit)のように変数を渡す

✨ 次のステップの提案
Re:Mind AST はすでにかなり体系的なので、
AST の最小構成サンプル（Hello World）を一緒に作って、
C#, Java, VB.NET のコード生成がすべて動くことを確認するのが良いと思います。
必要であれば、

AST の最小構成テンプレート
Program.cs の完全版
CSharpCodeGenerator の動作確認用ユニットテスト
なども作成できます。
どこから進めましょうか。

第１ステップの評価

「Smart(GPT5.1)」モードのMicrosoft Copilotは、同一ログインユーザーとのやりとりをログとしては記録して画面上は履歴を出力してくれるのですが、この内容をすべて生成時に認識するわけではないというのが、「いじりたおす」編でのわたしの学習成果だったのですが、今回の応答でも、またこの後の一連のやりとりでもCopilotが生成したコードをわたしが貼り付けたのでわたしが実装したコードと表現するのにも慣れていく必要があります。（すみません、これはぐちです。）Copilotはけっこう近いサンプルとしてvar unit = new CompilationUnitの内容を生成してきましたが、こちらはAst.csに生成済なので、次回そちらと合わせたコードで調整してみます。

おわりに

第１ステップは以上です。次回は上記のとおりです。わたしはシステムエンジニアであってプログラミング言語開発者ではないので、生成AIが自作言語のASTのテンプレを提示してくれたことにはたいへんうれしく思っています。

Re:Mindの設計を開始したころ、下記のような記事でC言語コンパイラをC#で書きなおすことでASTやBNFについて学習していました。

参考情報

目次　Microsoft Copilotで日本語トランスコンパイラ言語 Re:Mindをいじりたおす

「Microsoft Copilotで日本語トランスコンパイラ言語 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の認知度を確認

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