ai型の応用の進展を阻んでいるのは、十分な知性を持ったaiソフトウェアが存在しないからであって、強力な推論マシンがないからではない。