今日も中野に向かっている。
LLMがコードを生成することについて、なぜこんなにも懐疑的なのかというとやはり原理的に帰納的なものでしかないと言うことだろう。出力したもののエラーレートが高すぎる。
まず動くコードを書くと言う目的のため、コンパイラとの対話によるトライアンドエラーという、人間と同様の仕組みがLLMにも必要だろう。
その上で、用件を正しく実装されているかという上位レイヤのチェッカーが必要で、それは型システムによるサポートか形式手法によるものになりそうだ。そして、ここにLLMによる帰納法的なアプローチは介在してはいけない。
今の課題のひとつとして、目の前のシステムが帰納法的なのか演繹的によって作られたのか判断できないところにもあるのでないか？演繹的なものにこだわふべきとなったとき、開発プロセスやその思想の潔癖具合が重要になるが、バイナリファイルからそれを判断することはできない。
