現代数学の系譜11 ガロア理論を読む30 [無断転載禁止]©2ch.net

[過去ﾛｸﾞ] 現代数学の系譜11 ガロア理論を読む30 [無断転載禁止]©2ch.net (653ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

409: 現代数学の系譜11 ガロア理論を読む [sage] 2017/05/01(月) 21:21:03.89 ID:nB6uL1P/

>>407 関連

本題”谷川浩司は「詰将棋は自分でも作るんですけども，完成したものをコンピュータにかけるんですよ。そうすると，たいてい1秒で解かれますから。”
https://ja.wikipedia.org/wiki/%E3%82%B3%E3%83%B3%E3%83%94%E3%83%A5%E3%83%BC%E3%82%BF%E5%B0%86%E6%A3%8B
コンピュータ将棋
(抜粋)
2.1 詰みの周辺における強さ

ある局面において『詰み』の有無を判定する作業は、単純な情報処理能力が力を発揮する分野であり、コンピュータは人間をはるかに超える計算力により、容易に詰みを発見することが可能になっている。
コンピュータが得意とする分野であるとも言え、実際に詰将棋プログラムは、対戦プログラムより古く、1968年頃にプログラムで解こうとさせていた、という談話がある[15]。
詰みに特化した詰将棋の分野では、ほぼ全ての局面においてコンピュータは早々にトップ棋士の解図力を上回った。可能な王手と玉方の応手をすべて検索するコンピュータならではの方法論により、人間を凌駕する実力を備えている。詰将棋の創作にあたって、コンピュータを使用して作品の完全性を検証することは、すでに常識となっている[16]。
谷川浩司は「詰将棋は自分でも作るんですけども，完成したものをコンピュータにかけるんですよ。そうすると，たいてい1秒で解かれますから。それこそ，かなり複雑な，1年くらいかけて作った詰将棋でも，コンピュータにかけると1秒で解かれるわけです。
その詰将棋がちゃんと出来てるって証明にはなるんですけども，ちょっと切ない気分にはなりますよね……（苦笑）」と述べている[17]。
手数が最長の詰将棋である「ミクロコスモス」すら、解答に成功したプログラム（通常の対戦用のプログラムとは異なり、詰将棋専用の探索ルーチンから成るもの）が報告されている（ミクロコスモス (将棋)#ミクロコスモスと脊尾詰を参照）。
　また、対戦用ソフトウェアではない、独自プログラムによる創作の試行も行われている[18]。

http://rio2016.5ch.net/test/read.cgi/math/1492606081/409

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.021s