<h1 id="%E3%82%A2%E3%82%BB%E3%83%B3%E3%83%96%E3%83%AA%E3%81%A7ai%E5%BD%BC%E5%A5%B3%E3%82%92%E5%AE%9F%E8%A3%85%E3%81%99%E3%82%8B">
<a class="header-anchor-link" href="#%E3%82%A2%E3%82%BB%E3%83%B3%E3%83%96%E3%83%AA%E3%81%A7ai%E5%BD%BC%E5%A5%B3%E3%82%92%E5%AE%9F%E8%A3%85%E3%81%99%E3%82%8B" aria-hidden="true"></a> アセンブリでAI彼女を実装する</h1>
<p><a href="https://qiita.com/advent-calendar/2022/kuso-app" target="_blank" rel="nofollow noopener noreferrer">クソアプリ Advent Calendar 2022</a> の17日目の記事です。<br>
CASL2という学習用アセンブリ言語でAI彼女を実装しました🎉<br>
25日に予定がないのではなくあえて予定を開けている方などにお勧めです。<br>
(下記リンクから実行することができます)<br style="display:none">
<span class="embed-block zenn-embedded zenn-embedded-card"><iframe id="zenn-embedded__86b5e8c620da4" src="https://embed.zenn.studio/card#zenn-embedded__86b5e8c620da4" data-content="https%3A%2F%2Fcomet.askua.dev%2F%23%2F9448cf69364ea219728592dba1d6e5cd" frameborder="0" scrolling="no" loading="lazy"></iframe></span><a href="https://comet.askua.dev/#/9448cf69364ea219728592dba1d6e5cd" style="display:none" target="_blank" rel="nofollow noopener noreferrer">https://comet.askua.dev/#/9448cf69364ea219728592dba1d6e5cd</a></p>
<p><img src="https://storage.googleapis.com/zenn-user-upload/0f4fdc06034f-20221217.gif" alt="実行イメージ" loading="lazy" class="md-img"></p>
<p>このようにできるAI彼女の「サシスセソ」で答えてくれます。<br>
ウレシイヤッター!</p>
<h2 id="%E3%81%93%E3%82%8C%E3%81%AF%E4%BD%95%3F">
<a class="header-anchor-link" href="#%E3%81%93%E3%82%8C%E3%81%AF%E4%BD%95%3F" aria-hidden="true"></a> これは何?</h2>
<p>この記事は1年前の <a href="https://qiita.com/advent-calendar/2021/dart" target="_blank" rel="nofollow noopener noreferrer">Dart Advent Calendar 2021</a> の25日目に公開した、<a href="https://zenn.dev/askua/articles/8844a11e31bc79" target="_blank">易しいアセンブリ</a>という記事の続編にあたります。<br>
今回このAI彼女を実装するために、自作のCASL2エミュレータを<code>v1.1.0</code>にバージョンアップしました(ﾊﾟﾁﾊﾟﾁﾊﾟﾁ🎉)。</p>
<p>CASL2とはIPAが試験用に仕様を作成している仮想のアセンブリ言語です。<br>
このCASL2エミュレータはCASL2を解析し、エミュレートするライブラリを作成しているのですが、それにFlutterを用いて簡易的に画面をつけたものになります。<br>
ですので、このアプリに大きな修正を加えたのではなく、ライブラリの方に大幅に修正を加え、ライブラリの修正に合わせて若干の修正をアプリ側に加えています。</p>
<p>主な変更内容は次の2点です</p>
<ol>
<li>CASL2の構文解析に、スコープの概念を導入</li>
<li>COMET2エミュレータの入力を非同期に変更</li>
</ol>
<h3 id="casl2%E3%81%AE%E6%A7%8B%E6%96%87%E8%A7%A3%E6%9E%90%E3%81%AB%E3%80%81%E3%82%B9%E3%82%B3%E3%83%BC%E3%83%97%E3%81%AE%E6%A6%82%E5%BF%B5%E3%82%92%E5%B0%8E%E5%85%A5">
<a class="header-anchor-link" href="#casl2%E3%81%AE%E6%A7%8B%E6%96%87%E8%A7%A3%E6%9E%90%E3%81%AB%E3%80%81%E3%82%B9%E3%82%B3%E3%83%BC%E3%83%97%E3%81%AE%E6%A6%82%E5%BF%B5%E3%82%92%E5%B0%8E%E5%85%A5" aria-hidden="true"></a> CASL2の構文解析に、スコープの概念を導入</h3>
<p><code>v1.0</code>ではこの構文のコンパイルが通っていたのですが、<code>v1.1</code>ではこの構文が通らなくなります。</p>
<div class="code-block-container"><pre class="language-asm"><code class="language-asm">MAIN     START
         JUMP     BAR   ; エラー
         RET
         END

FOO      START
BAR      RET
         END
</code></pre></div><div class="code-block-container"><pre><code>L2: [EXCEPTION] UNKNOWN LABEL BAR
</code></pre></div><p><code>CASL2</code>の構文は基本的に1行で完結するのですが、プログラムの開始と終了を表す命令(<code>START</code>, <code>END</code>) が存在します。<br>
<code>v.1.1</code>からは、構文解析をこの<code>START</code>-<code>END</code>のブロック単位で行うように変更し、合わせてスコープをこのブロック単位に限定するようコードの変更を行っています(BIG BANG!)。<br>
これにより、全てのラベルを異なる名称に設定しないといけなかった<code>v.1.0</code>とは異なり、<code>START</code>-<code>END</code>のブロック間のラベルはブロックに閉じるようになったため、<strong>CASL2コードの生産性が上がるようになりました🎉</strong></p>
<h3 id="comet2%E3%82%A8%E3%83%9F%E3%83%A5%E3%83%AC%E3%83%BC%E3%82%BF%E3%81%AE%E5%85%A5%E5%8A%9B%E3%82%92%E9%9D%9E%E5%90%8C%E6%9C%9F%E3%81%AB%E5%A4%89%E6%9B%B4">
<a class="header-anchor-link" href="#comet2%E3%82%A8%E3%83%9F%E3%83%A5%E3%83%AC%E3%83%BC%E3%82%BF%E3%81%AE%E5%85%A5%E5%8A%9B%E3%82%92%E9%9D%9E%E5%90%8C%E6%9C%9F%E3%81%AB%E5%A4%89%E6%9B%B4" aria-hidden="true"></a> COMET2エミュレータの入力を非同期に変更</h3>
<p>これは <code>v1.0</code>を作っていた時の課題だったのですが、I/Oが非同期でないために非常に画面実装が面倒でしたが、より対話的なプログラムを作成するためにI/Oを非同期に変更し、より柔軟に画面実装を行えるようになりました🎉<br>
<img src="https://storage.googleapis.com/zenn-user-upload/1e648232ead3-20221213.png" alt="ユーザに入力を求めるCASL2エミュレータ" loading="lazy" class="md-img"></p>
<p><code>v.1.0</code>ではあらかじめINPUT欄に入力するテキストを用意しておく必要がありましたが、<code>v.1.1</code>ではこのように、入力を実行のタイミングで行えるようになっています。</p>
<h2 id="%E3%83%A9%E3%82%A4%E3%83%96%E3%83%A9%E3%83%AA%E3%81%AB%E3%81%A4%E3%81%84%E3%81%A6">
<a class="header-anchor-link" href="#%E3%83%A9%E3%82%A4%E3%83%96%E3%83%A9%E3%83%AA%E3%81%AB%E3%81%A4%E3%81%84%E3%81%A6" aria-hidden="true"></a> ライブラリについて</h2>
<p>このCASL2エミュレータのコア部分は、Dartのライブラリとして実装されています。<br style="display:none">
<span class="embed-block zenn-embedded zenn-embedded-card"><iframe id="zenn-embedded__90867d24e0565" src="https://embed.zenn.studio/card#zenn-embedded__90867d24e0565" data-content="https%3A%2F%2Fpub.dev%2Fpackages%2Ftiamat" frameborder="0" scrolling="no" loading="lazy"></iframe></span><a href="https://pub.dev/packages/tiamat" style="display:none" target="_blank" rel="nofollow noopener noreferrer">https://pub.dev/packages/tiamat</a></p>
<p>Dartを選択している理由は主に多くの環境でプログラムを実行できるようにしたいという目的があるためです。ですのでこのようにCLIとしてCASL2エミュレータを実行することができます。<br>
<img src="https://storage.googleapis.com/zenn-user-upload/f50310968a90-20221214.png" alt="CLIでの実行例" loading="lazy" class="md-img"><br>
(JSやTSを選ばなかったのはFlutterの存在によるものですので、FlutterがなければDartを選んでいなかったかもしれません)</p>
<p>UIアプリとして初めから実装してしまうと、このようなことが難しいですが、ライブラリとして基本機能を実装することで、そこにUIを付ける形でアプリを作るということが可能になります。<br>
ライブラリを実装していると動作確認のためにテストを書かないといけないですし、UIの差し替えもかなり自由なので、ライブラリの実装は多くの人にお勧めしたいです。</p>
<h2 id="%E6%AE%8B%E8%AA%B2%E9%A1%8C">
<a class="header-anchor-link" href="#%E6%AE%8B%E8%AA%B2%E9%A1%8C" aria-hidden="true"></a> 残課題</h2>
<p><a href="https://zenn.dev/askua/articles/8844a11e31bc79" target="_blank">易しいアセンブリ</a>の方で書いていた残課題のうち、3つが今回解消されています。</p>
<ul class="contains-task-list">
<li class="task-list-item enabled">
<input class="task-list-item-checkbox" type="checkbox"> =を利用したリテラル記法(e.g. ='A')</li>
<li class="task-list-item enabled">
<input class="task-list-item-checkbox" type="checkbox"> 全てのシンタックスエラーパターン</li>
<li class="task-list-item enabled">
<input class="task-list-item-checkbox" checked type="checkbox"> マクロのラベルが効いていない</li>
<li class="task-list-item enabled">
<input class="task-list-item-checkbox" checked type="checkbox"> いつの間にか消えたNOP</li>
<li class="task-list-item enabled">
<input class="task-list-item-checkbox" type="checkbox"> JUMP先のラベルをサブルーチン内に限定</li>
<li class="task-list-item enabled">
<input class="task-list-item-checkbox" checked type="checkbox"> サブルーチン内のラベルスコープをサブルーチン内に限定</li>
<li class="task-list-item enabled">
<input class="task-list-item-checkbox" type="checkbox"> 独自のマクロ定義</li>
</ul>
<p><code>JUMP先のラベルをサブルーチン内に限定</code>はスコープによって一部解決できているものの、<code>START</code>のラベルにジャンプできていいのか?という問題が残っているので解決扱いにしていません。<br>
<code>独自のマクロ定義</code>定義もできるようになると、よりCASL2を用いた生産性が上がるので来年実装されているといいな(一方で独自マクロを多用したプログラムというのは、元々のCASL2を学びたいという人には毒になるのでどうしたものか)</p>
<p>合わせて追加の課題群。</p>
<ol>
<li>UIの改善(モバイルでもう少し使いやすいように)</li>
<li>プログラムの実行ポイント(ラベル)を指定可能にしたい</li>
<li>
<code>MAIN</code>ラベルから実行されなくなった(これはデグレ、現状はトップのコードから実行されています)</li>
<li>乱数・日付を扱いたい(独自拡張)</li>
</ol>
<p>デグレなどは近いうちに直します。<br>
独自拡張になりますが乱数と日付を扱えるようにしたいんですよね、これがあるとさらにCASL2のプログラムを組みやすくなるので。</p>
<h2 id="%E6%9C%80%E5%BE%8C%E3%81%AB">
<a class="header-anchor-link" href="#%E6%9C%80%E5%BE%8C%E3%81%AB" aria-hidden="true"></a> 最後に</h2>
<p>良いクリスマスを!</p>


アセンブリでAI彼女を実装する

CASL2の構文解析に、スコープの概念を導入

COMET2エミュレータの入力を非同期に変更

Discussion