Zenn
📝

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

2022/12/17に公開
Flutter
ポエム
Dart
tech

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

クソアプリ Advent Calendar 2022 の17日目の記事です。
CASL2という学習用アセンブリ言語でAI彼女を実装しました🎉
25日に予定がないのではなくあえて予定を開けている方などにお勧めです。
(下記リンクから実行することができます)
https://comet.askua.dev/#/9448cf69364ea219728592dba1d6e5cd

実行イメージ

このようにできるAI彼女の「サシスセソ」で答えてくれます。
ウレシイヤッター!

これは何?

この記事は1年前の Dart Advent Calendar 2021 の25日目に公開した、易しいアセンブリという記事の続編にあたります。
今回このAI彼女を実装するために、自作のCASL2エミュレータをv1.1.0にバージョンアップしました(ﾊﾟﾁﾊﾟﾁﾊﾟﾁ🎉)。

CASL2とはIPAが試験用に仕様を作成している仮想のアセンブリ言語です。
このCASL2エミュレータはCASL2を解析し、エミュレートするライブラリを作成しているのですが、それにFlutterを用いて簡易的に画面をつけたものになります。
ですので、このアプリに大きな修正を加えたのではなく、ライブラリの方に大幅に修正を加え、ライブラリの修正に合わせて若干の修正をアプリ側に加えています。

主な変更内容は次の2点です

  1. CASL2の構文解析に、スコープの概念を導入
  2. COMET2エミュレータの入力を非同期に変更

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

v1.0ではこの構文のコンパイルが通っていたのですが、v1.1ではこの構文が通らなくなります。

MAIN     START
         JUMP     BAR   ; エラー
         RET
         END

FOO      START
BAR      RET
         END

L2: [EXCEPTION] UNKNOWN LABEL BAR

CASL2の構文は基本的に1行で完結するのですが、プログラムの開始と終了を表す命令(START, END) が存在します。
v.1.1からは、構文解析をこのSTART-ENDのブロック単位で行うように変更し、合わせてスコープをこのブロック単位に限定するようコードの変更を行っています(BIG BANG!)。
これにより、全てのラベルを異なる名称に設定しないといけなかったv.1.0とは異なり、START-ENDのブロック間のラベルはブロックに閉じるようになったため、CASL2コードの生産性が上がるようになりました🎉

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

これは v1.0を作っていた時の課題だったのですが、I/Oが非同期でないために非常に画面実装が面倒でしたが、より対話的なプログラムを作成するためにI/Oを非同期に変更し、より柔軟に画面実装を行えるようになりました🎉
ユーザに入力を求めるCASL2エミュレータ

v.1.0ではあらかじめINPUT欄に入力するテキストを用意しておく必要がありましたが、v.1.1ではこのように、入力を実行のタイミングで行えるようになっています。

ライブラリについて

このCASL2エミュレータのコア部分は、Dartのライブラリとして実装されています。
https://pub.dev/packages/tiamat

Dartを選択している理由は主に多くの環境でプログラムを実行できるようにしたいという目的があるためです。ですのでこのようにCLIとしてCASL2エミュレータを実行することができます。
CLIでの実行例
(JSやTSを選ばなかったのはFlutterの存在によるものですので、FlutterがなければDartを選んでいなかったかもしれません)

UIアプリとして初めから実装してしまうと、このようなことが難しいですが、ライブラリとして基本機能を実装することで、そこにUIを付ける形でアプリを作るということが可能になります。
ライブラリを実装していると動作確認のためにテストを書かないといけないですし、UIの差し替えもかなり自由なので、ライブラリの実装は多くの人にお勧めしたいです。

残課題

易しいアセンブリの方で書いていた残課題のうち、3つが今回解消されています。

  • =を利用したリテラル記法(e.g. ='A')
  • 全てのシンタックスエラーパターン
  • マクロのラベルが効いていない
  • いつの間にか消えたNOP
  • JUMP先のラベルをサブルーチン内に限定
  • サブルーチン内のラベルスコープをサブルーチン内に限定
  • 独自のマクロ定義

JUMP先のラベルをサブルーチン内に限定はスコープによって一部解決できているものの、STARTのラベルにジャンプできていいのか?という問題が残っているので解決扱いにしていません。
独自のマクロ定義定義もできるようになると、よりCASL2を用いた生産性が上がるので来年実装されているといいな(一方で独自マクロを多用したプログラムというのは、元々のCASL2を学びたいという人には毒になるのでどうしたものか)

合わせて追加の課題群。

  1. UIの改善(モバイルでもう少し使いやすいように)
  2. プログラムの実行ポイント(ラベル)を指定可能にしたい
  3. MAINラベルから実行されなくなった(これはデグレ、現状はトップのコードから実行されています)
  4. 乱数・日付を扱いたい(独自拡張)

デグレなどは近いうちに直します。
独自拡張になりますが乱数と日付を扱えるようにしたいんですよね、これがあるとさらにCASL2のプログラムを組みやすくなるので。

最後に

良いクリスマスを!

Discussion