数学者・新井紀子は間違いだらけのトンデモさんだ! (305レス)
数学者・新井紀子は間違いだらけのトンデモさんだ! http://rio2016.5ch.net/test/read.cgi/rikei/1521105429/
上
下
前
次
1-
新
通常表示
512バイト分割
レス栞
24: Nanashi_et_al. [sage] 2018/03/23(金) 15:42:07.75 >>1のブログについて@Nephren__Kaという人がツイートしているけど https://twitter.com/Nephren__Ka/status/975314557915688961 この人の意見のほうが正しそうだな ---以下引用--- Nephren-Ka @Nephren__Ka 3月18日 (前提 1) 「平面上に四角形がある。各頂点からの距離の和が一番小さくなる点を求めよ」 という問題は数学の入試問題(東ロボプロジェクトの文脈から判断) これは (google booksのリンク略)で前後の文脈が確認できる (前提 2) 数学の入試問題の解答では、(問題文で指定されている場合を除き) 近似解ではなく厳密解を求めなくてはならない (前提 3) yu. 氏の提示した遺伝的アルゴリズムによる解法で得られる解は、厳密解ではなく、 精度保証がなされていない近似解 前提 2, 3 についてはほとんど議論の余地がないと思う。前提 1 についても本文を見る限り、 素直な解釈だと思う。 この問題の解釈として「ある四角形の Geometric median を求める」のと 「四角形一般の Geometric median に関する定理を証明する」の二つで揉めてるけど、 そもそも厳密解が要求される問題に対して近似解を求める方法を示しても意味がないのだから、(続く) (承前)前者だと仮定しても yu. 氏による指摘(https://mywarstory.tokyo/inconvenient-truth/ ) は的外れだと思う。 東ロボくんの数学入試問題自動解法の概要は、以下の論文『数式処理による入試問題への挑戦 〜ロボットは東大に入れるか〜』http://www.fujitsu.com/downloads/JP/archive/imgjp/jmag/vol66-4/paper03.pdf で確認できる。 これ見る限り、例の問題をコンピュータ(というか、東ロボくん)が解けない原因は 「与えられた問題文(自然言語による記述)から数式処理ソルバーへの入力(論理式)を構築する過程で、 冗長な論理式が数多く現れてしまい、QE の計算コストが爆発している」とかかな? ※google booksのリンクは長すぎるので略しました http://rio2016.5ch.net/test/read.cgi/rikei/1521105429/24
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 281 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.002s