AI人工知能?組み合せ最適化問題、量子アニーリング、焼きなまし

では人工知能とはいったいなんだろう?とますます解らなくなってしまいました
7
@tmaehara

機械学習でよくある「最適化問題でモデルを立てているのに,最適解に収束しきる前の解を使う」というのは,最適化の人間としては極めて抵抗があるのだよな.

2018-03-17 20:03:13
Jun Makino @jun_makino

japan.cnet.com/extra/fujitsu_… 8億年分の計算を1秒で処理 量子のパワーをデジタルに転換した「デジタルアニーラ」の衝撃

2018-03-21 07:09:08
@tmaehara

組合せ最適化問題の「くみあわせ」が「組み合わせ」の時点で信頼できない記事に分類してよい(過激派)

2018-03-21 16:34:52
@tmaehara

最適化問題を「解く」というのには様々な意味があり、この記事はそれらを悪質に混同している。具体的には、スパコンで八億年かかるというときの「解く」は「すべての解を列挙する」の意味で使っており、1秒というときの「解く」は「理論保証の無い解を1つ出力する」の意味で使っている。

2018-03-21 16:41:16
@tmaehara

実際それ(自明解を返す)があるので、ヒューリスティクスの研究はすごいしんどいと思ってます。

2018-03-21 17:32:30
笑い猫 @bokudentw

@tmaehara たしかにかの記事では「全可能解をチェックしていく列挙法」とヒューリスティックに解くというのを同一視して紹介するという乱暴な記述になってますね。他にも近似解を求める、というべき所を最適解といっちゃってるし

2018-03-21 17:49:39
笑い猫 @bokudentw

@tmaehara japan.cnet.com/extra/fujitsu_… この記事はPR記事ですね。朝日インタラクティブというところが書いている。専門外の人が書いた?こういう時もきちんと専門の人が書くか、専門の人にチェックしてもらって記事にするのが重要と

2018-03-21 17:51:47
@tmaehara

@bokudentw fujitsu.com/jp/digitalanne… こちらが富士通のプレスで、こちらもダメですね……。

2018-03-21 17:57:32
笑い猫 @bokudentw

@tmaehara 富士通側のチェックがしっかりしてないということですかね。用語はきっちりしてないと学問的にはまずいですよね

2018-03-21 18:01:31
@tmaehara

「組合せ最適化」はテクニカルタームなので、「組み合わせ最適化」と書いてある記事は専門家がチェックしていないと推察でき、信頼度が落ちるという話です。

2018-03-21 18:02:06
chunjp @chunjp

「組合せ・組み合わせの差ぐらいで……」「静的型付け言語」「ウッ」「OcamlとHaskel」「アッアッ」「LIMPUCK」「それは根本から違う」

2018-03-22 01:09:06
ジャバ仙人 @plus7

またおかしな比較をしてる、コンプライアンス事案だろこれ twitter.com/pc_watch/statu…

2018-03-23 17:57:07
PC Watch @pc_watch

スパコンで8億年かかる計算を1秒で解く富士通の「デジタルアニーラ」~量子現象に着想を得て開発した、これまでにないコンピュータ pc.watch.impress.co.jp/docs/news/1113… pic.twitter.com/ltzHGAyvh4

2018-03-23 17:50:05
𦮙 @TaniYoko

@plus7 どうおかしいのか、私にはさっぱり見当もつきません

2018-03-23 20:07:08
hrk先生 @Prof_hrk

@plus7 これは大局的に見ると某社が損をしている。量子といわれるアニーラ―ではMAX-CUT問題を扱っていたことに対し、アナログ要素を排することによりサイズは小さいがTSPが解けるシステムで、日本型量子コンピュータの意義を否定する力を持っているが、あのプレスでトンデモ研究の一種と認定された。

2018-03-23 23:20:50
Hideyuki Tanaka @tanakh

うーんこのタイトルはなあ(´・_・`)… / “スパコンで8億年かかる計算を1秒で解く富士通の「デジタルアニーラ」 ~量子現象に着想を得て開発した、これまでにないコンピュータ - PC Watch” htn.to/fEXe44YCqzj

2018-03-23 23:26:44
Hideyuki Tanaka @tanakh

>組み合わせ最適化問題の代表例が(略)「巡回セールスマン問題」だ。(略)30都市だと1京×1京通りと、総当たりだとスパコンでも8億年かかる。これがデジタルアニーラ、アニーリングアプローチだと最適に近いルートを1秒以内に見つけることができる。 同じ問題解いてないのにこの比較はなあ(´・_・`)

2018-03-23 23:33:28
Hideyuki Tanaka @tanakh

まず8億年というのは、ブルートフォースでの話だろうけど、枝狩りをすればはるかに速くなるだろうし、アニーリングで求めるのは実質的には近似解だから、秒数の比較に何の意味があるのだろうとか、スパコンでも疑似焼きなましすればわずか30ノード程度なら普通に1秒でそれなりに良い解出ると思う。

2018-03-23 23:33:29
Hideyuki Tanaka @tanakh

そもそも30ノード程度ならば、DPで厳密解をそれなりに求められるはずなんで、普通のマシンで1分もせずに厳密解が求まるぐらいだと思うんですよね。なんていうか、比較対象を(意図的に?)ずらして、実際の成果をわかりにくくするのは、なんていうか、評価するのも難しくなるだけだと思うんだけど…。

2018-03-23 23:33:29
Hideyuki Tanaka @tanakh

焼きなましの強力さは僕も知ってるし、それがほんとにものすごくブーストされるとすごいうれしいと思うんですが、なんていうかもうちょっと何とかならんのんというか(´・_・`)

2018-03-23 23:35:43
Hideyuki Tanaka @tanakh

pc.watch.impress.co.jp/img/pcw/docs/1… あといつの間にか焼きなましはAIに分類していいことになってるみたいだ(´・_・`)

2018-03-23 23:36:14
uint256_t @uint256_t

焼きなましがAIなら、競プロは人工知能コンテストか..

2018-03-23 23:37:30
Kazuya Gokita @kazoo04

焼きなまし法がAIなのマジか 俺のAI経験歴が更に長くなるな

2018-03-23 23:37:31
1 ・・ 4 次へ