a4「行ってきて、聞いてみたら、人工知能はＴ語を含んでください、と言われました。
そうすれば、Ｃ＋＋もPrologも含まれ、Q.E.D.になるので、と。」
Ａ「よし、これくらいで開発しましょう。」