06月04日(Tue) 18:40〜20:20 B会場(-国際会議場201号室)
演題番号 | 1B5-2 |
---|---|
題目 | 算数・数学の課題の意味を獲得する機械と帰納的関数について |
著者 | 岩間 憲三(ZA Corp. 開発部) |
時間 | 06月04日(Tue) 18:40〜19:00 |
概要 | 算数・数学の課題,特に文章題の解き方を獲得し,それを応用する機械を試作している.解き方を応用するというのは,入力の値に依存する規則を見出し,それを使うようになることであるが,それは,計算を始めた後に,入力と出力の間に新たな対応関係を作るという意味で,あらかじめ定めた関数でない関数を作り実行することになる.従って,チューリングマシンが計算するクラスは,帰納的関数を超えているのではないかと議論する. |
論文 | PDFファイル |