[過去ﾛｸﾞ] 現代数学の系譜11 ガロア理論を読む30 [無断転載禁止]©2ch.net (653ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
410(1): 現代数学の系譜11 ガロア理論を読む 2017/05/01(月)21:24 ID:nB6uL1P/(14/23) AAS
>>409 関連
脊尾詰（せおづめ）
外部ﾘﾝｸ[B0]:ja.wikipedia.org
(抜粋)
ミクロコスモスと脊尾詰[編集]
脊尾詰（せおづめ）は脊尾昌宏が開発した、最初シェアウェアとして公開され、2017年3月現在はフリーウェアとして公開されているコンピュータ詰将棋解答ソフトである。1997年、脊尾詰でミクロコスモス[3]を解き、同作が余詰が存在しない完全作であるという結論が導かれた。
後に新バージョンの「脊尾弐」「脊尾参」「脊尾四」が公開されたが、アルゴリズムが異なるため、古いバージョンで解けた詰将棋が新しいバージョンでは解けないということもある。「ミクロコスモス」は脊尾詰で解けたが、脊尾弐では解けなかったとされている[4]。
省1
411(3): 現代数学の系譜11 ガロア理論を読む 2017/05/01(月)21:36 ID:nB6uL1P/(15/23) AAS
>>410 関連
脊尾詰 今週の詰み筋 （連載 Vol.4） 2017.5.1
外部ﾘﾝｸ[html]:panashogi.web.fc2.com
(抜粋)
最終更新日 2017.5.1
脊尾詰ダウンロード 将棋所対応版
（２０１７年３月１４日リリース）
省12
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.029s