a4「おはようございます。人工知能の開発をしています。A,B->Cの理論について
考えてるんですが、これは、停止性問題や読解を解くことの手がかりにはなりそう
でも、いくつかの計算可能性を落としてしまうのではないか？などを議論しています。」
Ａ「うん、少しずつやりましょう。」