19/02/04 20:12:51.78 ApubEJ5r.net
>>726
そういう文章の自動認識すらやってない。
以前、東ロボくんが数学の問題を
Tarski-Seidenbergの量化子除去を使って解いたのが
ちょっと話題になってたけど、あれも示すべき式を
研究者が実閉体の理論の論理式として
書くまでやってあげて、それを解かせただけなので
まあ割と残念なチートではある。
記述式の解答にしたのも、人間が出力を読み取って
文章として起草して整えてるはずで、あれを
「機械が大学入試問題を解いた」
と言って宣伝するのは誇大広告にも程がある。
というか、そういう誇大広告が得意なのが
新井紀子という人なので。
数学としての実質で勝負してる夫とはえらい違い