おまいら最強の将棋プログラムしてみろよ part6at TECH
おまいら最強の将棋プログラムしてみろよ part6 - 暇つぶし2ch273:デフォルトの名無しさん
07/07/28 06:27:43
あはは。千日手模様。
>>268>>270>>271の最善手は、「千日手」に持ち込むことか。

274:デフォルトの名無しさん
07/07/28 06:28:57
>>272
横からだけどおまいさんの言う「完全解析」っていうのは
あくまで「駒の配置と手番」だけを状態変数としたものだろう

たとえば、三山崩しにおいて、ルールを読んだだけでは
状態変数として「1の山の個数」「2の山の個数」「3の山の個数」
という3つの状態変数が必要に思える

でも実際にはこんなにいらなくて、それらのXORだけあれば
勝ち負けが判定できる

このように状態変数を減らすことが、将棋でもできるかどうか
それが論点だよ

275:248
07/07/28 06:29:04
>267 >269
完全解析の定義を勝手に自己流に狭く定義しないでくれ。
その定義での完全解析ができるという保証は無いだろ?

実際に可能なのは手順込みの局面にラベルを貼る事。

276:デフォルトの名無しさん
07/07/28 06:31:29
>>270
完全解析の定義と、それが可能かどうかを、まず、答えてください。
ここの立場をはっきりしないとお話にならない。
いいですか?
はっきり明記してくださいよ?


277:デフォルトの名無しさん
07/07/28 06:33:23
>>272
>二人零和有限確定完全情報ゲーム
「完全情報」ってのは手順の情報も含むんだが
君はこの情報を欠落させても欠落させない場合と等価な事を証明する必要がある

278:デフォルトの名無しさん
07/07/28 06:33:52
>>273
レッテル貼りの詭弁

>>272
共通認識というか定理だろう

将棋のルールは駒の配置と手番とそれらの履歴とで
記述されているわけだから、当然「区別ありの表」は
作れるわけだよ

そこから「履歴」を消してもWell-Definedになる、
というのは自明なことではないと思うよ

279:デフォルトの名無しさん
07/07/28 06:38:49
>>277
>>206


280:デフォルトの名無しさん
07/07/28 06:41:11
>>279
そのアンカじゃループしてるよ
何か別の事言ってよ

281:デフォルトの名無しさん
07/07/28 06:48:05
>>274
>>259


282:248
07/07/28 06:50:04
>206の言ってる事はずっと以前からループしてるんだよ。
区別は必要ないから区別しなくて良いってずーっと。

283:デフォルトの名無しさん
07/07/28 06:51:05
>>259
>>261

284:248
07/07/28 06:55:40
あー、疲れた。
この議論だけで徹夜しちまったよ。

285:デフォルトの名無しさん
07/07/28 06:56:36
反論が無くなったようだしとりあえず寝るか
何かあればまた今夜にでも参加するよ
みんなお疲れ

286:デフォルトの名無しさん
07/07/28 06:57:56
>>284
俺もだ
土曜出勤なのにな

>>276に長レスを書いてたんだけどバカらしくなってきた

ああやって「これにレスできないとバカだ」みたいな言い方をするのは
釣り師が一般人を議論に引きずり込むときの常套手段なんだよなあ

287:デフォルトの名無しさん
07/07/28 07:00:10
>>278>>280
>>276
よろしく。

288:デフォルトの名無しさん
07/07/28 07:00:41
>>276
可能

289:デフォルトの名無しさん
07/07/28 07:01:35
あ、定義もか
誰か出してなかったっけ

290:デフォルトの名無しさん
07/07/28 07:03:19
>>248>>278>>280
>>269にも回答よろ。


291:248
07/07/28 07:05:31
皆さん、お疲れさま。
付き合ってくれてアリガトン。

292:デフォルトの名無しさん
07/07/28 07:06:06
「局面情報と手番と手順と結果」を持つ表を作れる事が完全解析ができるということ

293:デフォルトの名無しさん
07/07/28 07:11:27
自分も寝る
おやすみ

294:デフォルトの名無しさん
07/07/28 07:12:23
なんか急に伸びすぎワロタwwww

295:デフォルトの名無しさん
07/07/28 07:32:27
俺は松原先生の本を昔図書館で何冊か読んだ程度で
ゲームの数学は全然わからないからあれだけど
記号や用語などもたぶんでたらめ

状態変数X1、X2、…、Xnはそれぞれ
有限集合A1、A2、…、Anに値をとる変数として

直積A := A1×A2×…×Anの要素 X = (X1, X2, …, Xn) を
このゲームの状態という

Aから、Aの部分集合全体P(A)への写像 M がある(可能な着手)

Aから集合R:={勝ち, 負け, 引き分け, それ以外}への写像Vがある

Aの元X0があり、これを初期状態という

k手からなる手順Fとは、Aのk乗の元 ( X1, X2, …, Xk ) であって
 X1 は M(X0) の元
 Xi は M(X[i-1]) の元 (i = 1, 2, …)
をみたすもの

Aの元Xが到達可能であるとは、あるkが存在して、Xk=Xとなる
k手からなる手順が存在すること

到達可能な元の全体からなるAの部分集合をA'とする

ゲームが添え数づけ可能とは、A'からN以下の自然数への写像
Sがあって、すべてのA'の元XとすべてのM(X)の元Yとに対して
 S(X0) = 0
 S(Y) = S(X) + 1
となること

296:デフォルトの名無しさん
07/07/28 07:33:13
以下添え数づけ可能なゲームを考える
将棋は「局面の出現回数の総和」で添え数づけ可能

k手からなる手順が終わる手順であるとはV(Xk)が勝ち、負け、
引き分けのいずれかであること

あるKが存在して、k>Kのときk手からなる手順は存在しない

完全解析WとはA'からRへの写像で次をみたすもの

 V(X) が勝ち、負け、引き分けのいずれかのときは
 W(X) = V(X)

 S(X)が偶数で、かつ、集合M(X)のSによる値域S(M(X))が
 勝ち、負け、引き分けだけからなるとき、それが
   ・勝ちを含むならば、W(X)は勝ち
   ・勝ちを含まず引き分けを含むならば、W(X)は引き分け
   ・それ以外はW(X)は負け

 S(X)が奇数で、かつ、集合M(X)のSによる値域S(M(X))が
 勝ち、負け、引き分けだけからなるとき、それが
   ・負けを含むならば、W(X)は負け
   ・負けを含まず引き分けを含むならば、W(X)は引き分け
   ・それ以外はW(X)は勝ち

次が成り立つとき完全解析が存在する(十分)

 A'の元Xについて、Xは次のいずれかを満たす
   ・M(X)は空ではない
   ・V(X)は勝ち、負け、引き分けのいずれか

証明はS(X)の有限性による

297:デフォルトの名無しさん
07/07/28 08:04:52
>>206はごちゃごちゃ言いすぎ。
完全解析を「すべての局面の勝ち負けか引き分けかを決定すること」と
手順を含まずに定義したんだから、解析後に手順が関係ないのは、自明。
この定義で、解析後に手順がどうのと文句つけるのがアホ。

>>292のように、
>「局面情報と手番と手順と結果」を持つ表を作れる事が完全解析ができるということ
と定義に、手順を入れれば、解析後も手順も関係するが、こんな定義初めて見たよ。

298:デフォルトの名無しさん
07/07/28 08:24:01
>>295, >>296 打ち込みサンクス!!

それによると、A'は履歴を含んでいるわけではないのだから、
やっぱり「完全解析」の定義は、局面だけであって、履歴は関係ないんだね

上の議論は、将棋固有のルールを反映したものではないけれど、
将棋もまた上の数学の枠内でのものなのでしょう

「M(X)は空ではない」ってのは、例えば両方ともパスするしかないような
状況はありえないって事だよね?更に勝ち・負け・引き分け以外の
終わり方は、将棋ではあり得ないから、やっぱり将棋は局面だけで、結論がでているんだ

299:デフォルトの名無しさん
07/07/28 11:21:25
途中まで人間が指して、そのあと最強ソフトが指すならデータベースは使えないってことだろ
千日手があるから・・・

全局面をNとしたとき、その局面が何回現れたかを記録した
0から3までの数字列N個分を保持していなければならない

最終的には4のN乗程度の状態を保持しなければ、途中差しは出来ないって事だ

300:デフォルトの名無しさん
07/07/28 11:36:00
>>297
いやいや、>>292などは既存の常識に疑義を言ってるのだから、
「初めて見る」は非難にはならないよ

>>298
数式に惑わされたらだめだろ
>>295-296は何も新しいこと言ってないぞ

そしてさりげに>>295のAは履歴も含んでるよ
Sは手数とか言ってるしな
履歴を持ってないとVが千日手を判定できない

最後の条件は、勝敗未定ならば有効な手がある
ということ
たとえばもしルールでステールメイトを負けにするのを
忘れていたりすると、
M(X)が空(有効な手がない)で、しかも
勝ち負け引き分けのいずれでもない
という状況が発生するね

301:デフォルトの名無しさん
07/07/28 11:45:39
>>295, >>296 の論法で完全解析が可能であるというには、
駒の配置に加えて「この局面が何回目か」というパラメータも
ノードの状態変数として加える必要があるということ。
完全な履歴は必要ないが、何回目かは必要となる
これが「局面の出現回数の総和で添え数字づけ可能」の意味と理解した。

だとすると、途中で人間×2からコンピュータ×2に交代するとして、
全ての局面の出現回数を保持していなくても「この局面は何回目です」と
だけ伝えればいいんでないかい?後は事前に完全解析された結果に基づいて、
最強ソフトが「先手の勝ちです」「後手の勝ちです」「引き分けです」
とだけ伝えてオシマイになるはず。少なくとも十分条件としては。

302:デフォルトの名無しさん
07/07/28 11:47:24
>>301
勝ち負けの決まっている手順の途中に千日手が現れる可能性有り

303:デフォルトの名無しさん
07/07/28 11:53:02
>>299
将棋というゲームの正しいイメージはこうかもしれないな

N個のマスと、それらをつなぐ線があり
マスのうちいくつかは赤か青に塗ってある

二人が交互にマスに石を置いていく

一つのマスには3個まで石を置ける
4個目の石を置いたら引き分けで終了

赤のマスに石を置いたら先手の勝ち
青のマスに石を置いたら後手の勝ち

ただし直前に相手が置いたマスから
線でつながっているいマスにしか置けない

304:デフォルトの名無しさん
07/07/28 12:11:18
>>300
だいぶ問題が絞られてきたね。

確かに、Aが履歴を含むのかどうかで、話は全く変わってくる。
Aに出てくるnって何だ?漏れはX1, X2が、例えば各駒の場所の様な変数で、
nが駒やボードに対応するものかと思った。で、その直積であるAは
履歴を含んでいないな、と。それだと千日手の判定が出来ないから、
少なくとも、「この局面が何回目か」という情報をAnとして加えてやれば、
完全解析の対象になる、という意味だと理解したんだが。

そしてある局面が何度でてくるかという情報は、手順から
考えれば何通りでもありそうなものだが、完全解析の対象としてみた場合、
最善の選択をして射影していくのだから、S(X)が決まってくるのかなと
思ったのだけど?

突き詰めると、やっぱり
> 将棋は「局面の出現回数の総和」で添え数づけ可能
のところが漏れには解らない。

うーん、難しいね、Anの意味とS(X)の意味、もし良かったら教えて

305:デフォルトの名無しさん
07/07/28 12:18:15
>>302
人間が指す以上、必ずしも最善手の連続ではないから、
それまでの履歴に、「完全解析」では出てこない履歴があって、
以後の手順に千日手をもたらす可能性がある。
そのため事前に用意した「完全解析」のテーブルが必ずしも
使えなくなる、でいい?

だとすると、これって結局、GHIの問題とほとんど同じだね
GHIの場合は、探索アルゴリズムが完全でないことに起因、
人間からコンピュータに替わる場合は、それまでの履歴が最善手でないこと
(勝ち負けを見落として、無駄な経路を辿っている)ことが原因
しかしこれらが、将棋の完全解析の可能性を排除するものではない

って、これでいいのかな?

306:デフォルトの名無しさん
07/07/28 12:25:55
>>304
今から出かけるから手早いけどごめん

X1、…、Xnが駒の場所などの変数で、
A1、…、Anがその値集合

たとえばX1は「先手玉の場所」で
A1は{「1一」、「1二」、…、「9九」}
みたいな感じ

それで、「同一局面4回」のルールを記述するために
(立会人に見せて「引き分けですね」と言ってもらうために)
局面の出現回数も、X1、…、Xnの中で持ってなきゃいけない

俺もおまいさんと多分だいたい同じ考えだよ

でも全部の局面の出現回数を持たなきゃいけないと思ってる

問題図までを指すのは神ならぬ人間なのだから、
神様に言わせれば変な手などもあるはず

そこから神様が引き継いだとして
勝つつもりで指してたら、途中で「その局面は4回目ですよ」
といわれて引き分けになっちゃうかもしれない

そんなわけでXnの中にはすべての(膨大な数の)局面に対して
その出現回数をあらわす変数が含まれてる
ことを俺は想定してた

307:デフォルトの名無しさん
07/07/28 12:29:34
>>306の続き

S(X)は「今の状況までの初手からの手数」で、
どうせ有限なのだからそんなの持ち出さなくてもいいのだけど
議論を簡単にするために出してみた

千日手がある以上、無限に多くの手数は指せない
だから手数の多いものから逆にさかのぼって
2000手以上は解明済み… 1000手以上は解明済み…
などとすることができる


>>305
たとえば簡単な状況で、自玉は必至、相手玉には
3種類の詰みが見えてるとする

ここで、もしその詰み手順の途中の局面が
3回出現済みだったら、自分は相手玉を詰めれない

だから千日手引き分けになる

もちろんそうでなければ勝ちになる
これは履歴が結論に影響を与えてるんじゃないかな

308:デフォルトの名無しさん
07/07/28 12:49:16
>>306
なるほど「局面の出現回数の総和」って「全ての(膨大な数の)局面に対してその出現回数」
っていう意味にも読めるね。確かにこれを全て保持したとしても、局面の数が有限であり、
千日手ルールで頭が押さえられているから、それを状態変数とみたてても、取る値は
高々有限集合になって、>>295 の条件を満たす

人間から神様に交代する場合は、確かに全部保持している必要があるだろうね。
先にも書いたように、勝ちの見落としがあるから、GHI問題と同じ現象が生じる。

で、問題なのは「将棋が完全解析されるには、状態変数として、その局面の出現回数だけで
良いのか、それとも全ての局面についての出現回数が必要なのか?」ってところに絞られてきた。
>>296 氏がさらりと書いた、『将棋は「局面の出現回数の総和」で添え数づけ可能』って
いう命題、この証明を載せた文献とかが解れば、それ見てはっきりするんだが

今から出かけるってことだけど、また暇な時に相手してね、サンクス

309:デフォルトの名無しさん
07/07/28 13:17:27
ところで、完全解析って、すべての局面の「勝ち」「負け」「引き分け」の
他に、「何回間違うと状態が変わるか」って情報いらないの?

対局は、必ず「詰み」まで指すものする。

神Aと神Bが対局して、神Aが先手。先手必勝と分かっている場合、神Aは単に「勝ち」を
選んでいけばいいが、「負け」しか選べない神Bはどんな情報を基にたくさんの「負け」の
中から手を選ぶのかな?

また、形勢差がついている局面から「人間vs神」が指し継ぎ、神が神が判断して形勢不利側を持つ。
このとき神は、差を詰めなければいけない訳だが、どんな情報を基に手を選ぶのかな?

310:デフォルトの名無しさん
07/07/28 13:25:12
よく考えたら、その局面の出現回数だけ保持していたとすると、
状態が遷移したとき、次の状態が何回目かなんて解りっこない

したがって、あるノードの千日手判定はできるが、そこから一つ前の手順に
後退解析することすら不可能になってしまう。なぜなら、ノードは
その局面の出現回数しか保持していないため、

局面A(1回目) → 局面B(4回目) → 千日手で引き分け

といったツリー構造があれば、

局面A(1回目) → 局面B(1回目)
局面A(1回目) → 局面B(2回目)
局面A(1回目) → 局面B(3回目)

というツリー構造も必ず存在するわけだから。したがって、全ての局面に
ついての出現回数がないと、そもそも完全解析の際に千日手に至る
手順を落としていくことが全く不可能になってしまう。

結論は「棋譜としての履歴は必要ないが、全ての局面についての
出現回数を保持する必要がある」ってことになりそうだ。

311:デフォルトの名無しさん
07/07/28 13:25:53
(つづき)
でも全ての局面について出現回数を保持するのは、理論的には簡単であっても、
現実的にはまず不可能。で、結局は順番はともかくどういった局面がこれまでに
出てきたか、その回数と共に保持していくことになる(これは実装上の問題であって、
理論的には全ての局面についての出現回数保持と同じ)。

最後の問題は、なぜ全ての局面の出現回数を保持しておけば、
将棋が添え数づけ可能になるかってことだ。>>296 の後半にある
「次が成り立つとき・・・」以下を証明なしに受け入れるとしても、
ここが争点として残る。でないと「以下添え数づけ可能なゲームを考える」
という前提から崩れてしまう

松原先生の本には、この辺の理論は載っているのかな?

312:デフォルトの名無しさん
07/07/28 13:27:04
>309
それを考慮するためには同じ「勝ち」「負け」「引き分け」の結論でも
どんな結果が「勝ち」 or 「負け」側にとってより良いとされる手なのか
その価値基準を事前に定義しておく必要があるよ。

つまり「勝ち」「負け」が既に分かっている局面で、形勢差はどう定義
されるべきなのか?

313:デフォルトの名無しさん
07/07/28 13:29:43
>>309
うーん完全解析の立場からいえば、その時は神様が「負けました」って
頭を下げるんだよ。で、ヘボな人間がキョトンとするという。
したがってその問題は、完全解析の枠内では無いと思うぞ
実際のプログラムを作る場合には、非常に重要になるには違いないが

余談だけど、プロ棋士も、負けのときに形を作って投げるよね

314:デフォルトの名無しさん
07/07/28 13:34:53
>>313
> うーん完全解析の立場からいえば、その時は神様が「負けました」って
> 頭を下げるんだよ。で、ヘボな人間がキョトンとするという。
これって、笑い話だよね?
結果は分かっているから「いきなり投了」ということで、実際は、指せば指せるよね?
指せないとなると、それはそれで変。

315:デフォルトの名無しさん
07/07/28 13:35:53
>>309
囲碁やオセロなどは目数や石数によって勝ち(負け)の価値が決められるけど、将棋は?

316:デフォルトの名無しさん
07/07/28 13:41:52
>>315
>囲碁やオセロなどは目数や石数によって勝ち(負け)の価値が決められるけど、将棋は?
相手玉を詰ませば勝ち。



317:312
07/07/28 13:42:14
>315
詰め将棋に準じて考えれば勝つ側はなるべく短い手数で勝つ手を選び
負ける側はなるべく長い手数で負ける手を選ぶべきなのだろうが、
結論が引き分けの時は???

また手数が同じならすべての手順は価値が同じなのか?

私には良く分からない。

318:デフォルトの名無しさん
07/07/28 13:44:13
>>314
笑い話かどうかともかく、相手のミスをどれだけ仮定するかは、実際の将棋対極では
非常に重要な要素に思うぞ、プログラム開発に限らず。いわゆるハメ手ってやつね。
相手がヘボなら、ハメ手を使って早々に対極を終わらせるだろうし、相手が上手ければ
ハメ手を見透かされて逆に咎められるだろうから、そんな手は使わないだろう。

ハメ手は、素人相手の、相手のミスを前提とした手法だが、プロでも形勢が悪いときは
それに近いことをするようだ。たとえば米長さんの本に、状況がこちらに不利であると、
ギャンブルっぽい手をあえて選ぶと書いてあった。

319:デフォルトの名無しさん
07/07/28 13:55:13
神はどう相手にミスを期待して、手を選ぶのか。
神が神でいられるのは、初期局面だけなのだろうか・・・


320:デフォルトの名無しさん
07/07/28 14:02:00
子ノードの勝ち手順の多寡かなぁ・・・
でも手順は少なくても簡明な勝ちもあるだろうし・・・

321:デフォルトの名無しさん
07/07/28 14:14:10
そうか
この議論は>>162-163に対する>>164のレスから始まってるのか

322:180
07/07/28 14:27:08
>321
そう。そして私が>165の意見に対してキツイ事を書いて
これだけ燃え上がってしまった。

今思えば、彼が考えていた前提(神様同士が初手から対局したと仮定)が
分からなかったとは言え、失礼な書き方をしてしまった。

>165さん 
今更ですが済みません。ゴメンナサイ!

323:デフォルトの名無しさん
07/07/28 14:29:27
>>317
昔、ちょっとGAをやったとき、生き残り戦略はそんな感じにしてた。
引き分けの時、手数が同じ時は、駒得している手数が長いほうが有利としてた。

324:デフォルトの名無しさん
07/07/28 16:27:51
くどいようだけど、最後に一言だけ言わせて。

既存のゲームの理論を用いて、将棋の完全解析可能性を証明するには、
将棋が添え数づけ可能であることを示す必要があるのだろう。そして局面に、
全ての局面についての出現回数を保持すれば、それが添え数づけ可能になるようだ

しかし、それは「将棋が完全解析可能か」という命題には答えても、
我々が議論してきた問題とは微妙にずれているような気がする。
我々は「将棋を完全解析するのに、局面の出現回数(=履歴)を保持する必要があるのか?」
という問題を議論してきたはず。これは「将棋は完全解析可能か?」とは違う。

「局面だけで完全解析が出来るか?」という命題は、>>296の理論にもとづいて
行おうとする限りにおいては、千日手の判定ができないため>>300 氏の言っている理由により
証明出来ない。しかしこれは、他の理論で証明することまでも不可能であると言っている訳ではない。

もし局面だけで完全解析が可能だとすると、少なくとも出現回数付きの完全解析から、
一意に射影できるはず。なぜなら後者は前者に情報を追加したものだから。
もし前者で完全解析が可能であるなら、追加した情報(=局面の出現回数)は
余分な情報であって、後から射影作業によって取り除ける。

325:デフォルトの名無しさん
07/07/28 16:28:32
(つづき)
とりあえず「局面の出現回数つきのノードで考えると、完全解析が可能」を認めるとしようや。
上の「局面の出現回数」は、そのノードの出現回数だけではなくて、全ての局面の出現回数ね。
ここで、次の問題を考えてみる。

(*)出現回数つきの状態で考えて、完全解析した状態ツリーを得たとする
このツリーに含まれる状態のうち、出現回数の項目だけ違っていて駒の配置が
同じものは、同じ結果(勝敗および千日手)がマークされているのか?

ここで、人間の勝ち筋見落としやGHI問題、また「その局面に至る途中で、
千日手の局面を経由した恐れがある」というツッコミは、不要。ミスなしは
前提であるし、「GHI」や「途中の千日手」といった問題は、出現回数つきの
状態ツリーではそもそも存在しえない。なぜなら、今議論の出発点としているのは、
回数まで出現回数まで含んだノードなんだから、「途中で千日手」を経由していないのは、
出現回数の情報から明らか。

326:デフォルトの名無しさん
07/07/28 16:29:13
(つづき)
何が言いたいかというと…

状態図にループ構造があると、数学的に完全解析の存在の証明が非常に難しそうだ。
で、状態変数に、全ての局面についての出現回数を保持するのは、そのループ構造を
千日手に至るまでの手順で展開し(添え数づけ可能にし)、数学で知られている
既存の完全解析の理論に乗っけるための便宜的な手法に過ぎないんじゃないかと。

もし(*)が満たされれば、勝ち負けの情報を一意に保ったまま、折りたたんで、
局面だけの完全解析に移行できるように思うのさ。折りたたむと、当然ツリーから
ネットワーク構造(ループ含む)となる。

この段階で「局面だけだと、途中の千日手を経由しているかも」と議論するのは不要。
なぜなら、もともと出現回数つきのツリーから折りたたんでいるんで、先に述べた
理由から、考える必要がない。そして勝ち負けがつく局面(ノード)以外は、全て千日手の
局面のはず。当然、千日手の局面は千日手の局面で、閉じたネットワークを作る。
勝ち負けが決定したノードが千日手に繋がってないんだから。もはや勝敗・千日手とも
出現回数の差異によって、その間のツリー・ネットワークの交叉が変化しないのは明らか。
これはあくまでも、(*)の前提が満たされた場合の話ね。

でだ、(*)の問題について、誰か解るヤシはおらんか?これが鍵になる気がする。
何らかの簡単な論理で言及できそうにも思うのだが?

327:デフォルトの名無しさん
07/07/28 16:54:30
>>324-326

(*)については「出現回数の項目だけ違っていて駒の配置が同じもので、
結果が異なることはある」でしょ。

それも「しばしば経験する」からこそ、みんな困っていて、
transposition tableにやむを得ず経路を入れなくちゃいけないわけで。



328:デフォルトの名無しさん
07/07/28 17:04:55
>>327
きっとプロの方すね、了解しました
これで漏れの中では解決
サンクス!!

329:デフォルトの名無しさん
07/07/28 17:08:38
>>327
それGHI問題じゃないの?

330:デフォルトの名無しさん
07/07/28 17:13:16
>>327
反例を棋譜で示せる?

331:デフォルトの名無しさん
07/07/28 17:20:35
>>329
GHI問題だよ。

GHI問題は「駒の配置が同じなのに、経路によってその局面の
勝ち負けのラベル付けを変えなければならないことがある」ということだよ。
まさに325の(*)の話でしょ。

325が議論していた数え上げ方の言葉で説明するなら、
「aの局面が3回出現している状態でのbの局面は負けだが、
aが2回しか出現していない状態でのbの局面は勝ち」ということがしばしば起きる、
というのがGHI問題。


332:デフォルトの名無しさん
07/07/28 17:24:45
>>331
だとすると、GHI問題は、必ずしも探索アルゴリズムの問題とは限らなくて、
完全な探索を行ったとしても、局面から以前の局面の出現回数を取り除いたことに
起因して起こる、より本質的な問題だということになるのですね

上の方に出てきたPDFの説明では、この辺りがハッキリしない
それとも、そういった問題を総称して「GHI問題」っていうのが普通なんですか?

333:デフォルトの名無しさん
07/07/28 17:28:14
>>331
>ここで、人間の勝ち筋見落としやGHI問題、また「その局面に至る途中で、
>千日手の局面を経由した恐れがある」というツッコミは、不要。ミスなしは
>前提であるし、「GHI」や「途中の千日手」といった問題は、出現回数つきの
>状態ツリーではそもそも存在しえない。なぜなら、今議論の出発点としているのは、
>回数まで出現回数まで含んだノードなんだから、「途中で千日手」を経由していないのは、
>出現回数の情報から明らか。
ここ読んだ?
ここが間違ってるの?

334:デフォルトの名無しさん
07/07/28 17:32:26
>>333
漏れが意図したのは、探索アルゴリズムの問題による、見かけ状のGHI問題
PDFの2ページ目での説明では、こっちがメインだった
>>332 で書いたように、 完全な探索を行った上でもGHIが生じるのであれば
そっちのGHIは>>325 で書いたGHIには含まれないと解釈してくれ。
少なくとも、漏れが書いた意図としてはそう。

335:デフォルトの名無しさん
07/07/28 17:35:02
>>330
岸本さんに言えば出てくるかもしれないとは思うけど、自分では持ってないなぁ。
例えば234の論文の図3「続詰むや詰まざるや」42番が、
GHIを考えなければ間違えちゃうわけだから、
その証明木の中のどこかに(*)が満たされない部分があるということでしょ。

>>332
何かの探索アルゴリズムに起因した問題ではないよ。
「同一駒割の局面が必ずしも同じ局面としては扱えない」という問題の総称が
GHI問題、ということでしょう。


336:デフォルトの名無しさん
07/07/28 17:45:14
(*)の反例は>>307の後半?

337:デフォルトの名無しさん
07/07/28 19:40:47
自分も状態変数には出現回数が必要だと思ってるけど
不要だっていう意見の人まだ居る?

338:デフォルトの名無しさん
07/07/28 19:55:14
>>324
すまん。

命題:「○○は△△△である」
→真 or 偽

の形で整理してくれないか?
問題がいくつあるのか、結論がなんなのか、結論の出ているもの、出ていないものがよく分からん。


339:名無しさん@そうだ選挙に行こう
07/07/29 08:20:49
>>337
そもそも「双方が最善を尽くす」という前提があるので、
「引き分け」でない局面の出現が一回目ではない、というのは、
前提条件を崩しているので議論の余地はないのでは?


340:名無しさん@そうだ選挙に行こう
07/07/29 09:22:22
>>339
一見すると、千日手のループであっても、入る場所が異なると
千日手と判定を下すタイミングが異なってくる。
したがって、ある手順では千日手のループの一部であっても、
別の手順で別の入り口から入ると、それが勝ち筋に必要な手順の一部となる。
いままでの議論を注意ぶかく読んで、 >>234 のPDFを見たらたぶん
そういう結論に至ると思うぞ。

341:名無しさん@そうだ選挙に行こう
07/07/29 09:29:58
>>339
あと、「最善を尽くす」ために、今すべての状態遷移についての
ツリーを作ろうとしていることも忘れないでくれ ツリーの一本一本は
必ずしも「最善」に絞られて作製しなくてはならないわけではない

342:名無しさん@そうだ選挙に行こう
07/07/29 10:05:36
簡単のため将棋ではなく、>>234 のPDFの図1で考える
二度同じ局面が出てきた場合に千日手(引き分け)とするルールを考える
まず最初に、すべての局面の出現回数を含めたツリーを考えるとし、
その出現順序をABCDEFGHの順にならべて、カギ括弧の中に書くとする

あるツリーでは、以下の手順で千日手(今は2手だけど)が成立する

手順1) A[10000000]→B[11000000]→E[11001000]→H[11001001]→E[11002001]

H[11001001]はE[11002001]しか行き先がない。E[11002001]は千日手だから、
後退解析によりH[11001001]は千日手だ。しかし以下のツリーを考えると、

手順2) A[10000000]→C[10100000]→F[10100100]→H[10100101]→E[10101101]→G[10101111]

H[10100101]は明らかに勝ち筋に必要な局面だ。

もしカギ括弧をとっぱらったとすると、手順1)では千日手としか結論づけられない局面Hが、
手順2)では勝ち筋の一部。

したがってGHIがある限り、カギ括弧付きのツリーから、カギ括弧なしへのツリーは、
一意に射影できない。重複した写像のなかから、与えられた局面に対する正解
を選び出すには、結局、なんらかの方法でカギ括弧と同じ情報をツリー検索に
加えないと駄目。これがGHI問題の本質だと漏れは理解している。

343:名無しさん@そうだ選挙に行こう
07/07/29 10:16:58
>>340>>341>>342は、頭がおかしいんだろ
探索した手と、指された手が区別できていない


344:名無しさん@そうだ選挙に行こう
07/07/29 10:28:24
どんな指し手にも対応できるように、
すべてを検索してしまえって話をしているのだから、
区別する必要はないように思うぞ?それとも釣りかな?

345:名無しさん@そうだ選挙に行こう
07/07/29 10:56:37
>>340
じゃあ、言い方を変えます。
そもそも「双方が最善を尽くす」という前提があるので、
「引き分け」でない局面の出現が一回しかないのは明らかなので、
完全解析後のテーブルとしては、すべての局面(手番込み)の
「先手勝ち」「後手勝ち」「引き分け」の状態のみ持てばよいのでは?
ということです。

>自分も状態変数には出現回数が必要だと思ってるけど
当然のことながら、完全解析中のテーブルとしては必要です。
あなたの書き方は、「どのテーブルに、状態変数が必要か」が、あいまいです。

346:名無しさん@そうだ選挙に行こう
07/07/29 10:59:30
>>343
探索で考える手順と、実際に指される手順を区別しないと、
千日手の発生状況が異なるから、意味がないっていいたいのか?
それは「カギ括弧無しには一意に射影できない」といっているのと同じだぞ

もちろん実際に指される手順は、括弧付き(括弧の情報を含む)なんだよ。

「括弧無しで議論して、手順1)での探索から、手順2)のHまで千日手と結論づけてはいけない」

といっているんだよ。
おまいさんは、カギ括弧無しで考えていて、手順1)を「探索した手」と呼び、
手順2)を「指された手」と言っているように思うんだが?

347:名無しさん@そうだ選挙に行こう
07/07/29 11:03:51
>>346は完全な釣りですから・・・相手にするのはやめましょうね

348:名無しさん@そうだ選挙に行こう
07/07/29 11:05:00
俺は門外漢なんで申し訳ないが

>>331
325が議論していた数え上げ方の言葉で説明するなら、
「aの局面が3回出現している状態でのbの局面は負けだが、
aが2回しか出現していない状態でのbの局面は勝ち」ということがしばしば起きる、
というのがGHI問題。

というのがサッパリわからない

ここで言うaとかbとかってそれぞれ同じ局面なんでしょ?
なんで勝ち負けが変わったりするの?

349:名無しさん@そうだ選挙に行こう
07/07/29 11:06:40
>345
>そもそも「双方が最善を尽くす」という前提があるので、
>「引き分け」でない局面の出現が一回しかないのは明らかなので、

この『「引き分け」でない局面』でいうところの、「局面」は、
今までの全ての局面の出現回数を、情報として持っている?持っていない?
漏れの説明もあいまいだったかも知れんが、そちらの質問もまた漏れには
あいまいにうつってる。悪いが、言葉を補ってくれ。

350:名無しさん@そうだ選挙に行こう
07/07/29 11:13:55
>>349
完全解析後のテーブルとしては、持っていません。
ただし、対局である以上「棋譜」が生成されているので、
棋譜を見れば、その対局での「局面」の出現回数は分かります。


351:名無しさん@そうだ選挙に行こう
07/07/29 11:14:08
>>348
同一局面が4回現れると引き分けで指し直しになる
引き分けにあえて持ち込むか、勝ちを狙うかという違いが出てくる

352:名無しさん@そうだ選挙に行こう
07/07/29 11:16:29
途中から、人間→CPUに切り替える場合のみ局面の回数が必要
はじめからCPUなら同一局面はあり得ない(単に手を延長するだけでしかないため)

353:名無しさん@そうだ選挙に行こう
07/07/29 11:16:40
>>351
>>339


354:名無しさん@そうだ選挙に行こう
07/07/29 11:18:58
>>352
>>339
「人間→CPU」は、対局上「双方が最善を尽くす」ではない。


355:名無しさん@そうだ選挙に行こう
07/07/29 12:36:08
そもそも千日手で引き分けは王手とか詰み回避の時しか成立しないじゃなかったか?
何の意味も無い議論をしてるようにしか見えないのだけど。

356:名無しさん@そうだ選挙に行こう
07/07/29 14:10:13
まあ、完全解析自体が計算量的に不可能なんだから
千日手を巧いこと処理して、1万倍の速度で解析したところで
全然意味ないし、始めから机上の空論なわけですよ。

357:名無しさん@そうだ選挙に行こう
07/07/29 14:15:14
机上の空論もなかなか楽しいもんだぜ?

358:名無しさん@そうだ選挙に行こう
07/07/29 14:21:59
URLリンク(ja.wikipedia.org)
千日手のルールって結構最近出来たものなんだね

359:名無しさん@そうだ選挙に行こう
07/07/29 14:44:00
>>180は、「例え将棋の神様であっても」といってる
理論と現実の区別もついてなかったのか・・・
妙に納得


360:名無しさん@そうだ選挙に行こう
07/07/29 15:07:08
因みに地球上の全ての原子に1ビットづつ記録しても、
全ての局面を記憶することはできないし
かと言って量子コンピューターで将棋ができる時代の遥か以前に
名人は負けてるでしょうし。彼は何が言いたかったんでしょうね

361:名無しさん@そうだ選挙に行こう
07/07/29 15:11:28
>>351
24でR2300ていどのヘタレの意見だから的外れかもしれないけど


同一局面が出てきた場合、そこで千日手か打開かの選択が生まれるってのは
対局中よくある話なんで理解できる

ただ、331は引き分け(千日手)or勝ち(打開)じゃなくって
負けor勝ちというふうになってる

そこが理解できない

362:名無しさん@そうだ選挙に行こう
07/07/29 15:32:27
>>361
連続王手の千日手なら引き分けじゃなくて負けになるよ。

363:名無しさん@そうだ選挙に行こう
07/07/29 16:20:51
>>362
するどいね。ただ>361 の意見にも一理あって、
>351 に、引き分けも加えるべきだろうね

それと「最後の審判」っていう詰め将棋の問題があるようだ
現在の将棋のルールには不備があって、
必ずしも勝ち・負け・千日手で閉じるわけではない

打ち歩詰めのルールは、やや特例的なものだから、
仮に全部探索したところで、このルールを適用すると、
一部の状態ノードの勝ち負けが重複してしまう

現状の詰め将棋のプログラムに「最後の審判」食わせたら、
ただしく「不定です」って答えるのかな?

364:名無しさん@そうだ選挙に行こう
07/07/29 19:28:20
後手が王手を防ぐために打つあい駒の歩が逆王手になっている。
先手がそれを取って王手をすると千日手になってしまい先手は取れない。
しかしその局面は先手が歩を取れないと、先手玉は歩打ちで詰んでる。

365:364
07/07/29 19:30:41
個人的な意見だけど、詰め将棋としては歩詰みで、対戦としては後手の勝ちでいいんじゃない?
同一局面が2回しか出ていないなら王手を外せるんだから

366:名無しさん@そうだ選挙に行こう
07/07/29 19:30:46
>>364
打ち歩詰めで後手の負け

367:名無しさん@そうだ選挙に行こう
07/07/29 19:33:47
作者の作意では、歩の合駒が出来ないから(打ち歩詰め)後手の負けって事らしいね

368:名無しさん@そうだ選挙に行こう
07/07/29 19:35:59
>>366
先手の方から、同一局面への王手を外せるんだから
先手が繰り返す方が悪い

369:名無しさん@そうだ選挙に行こう
07/07/29 19:45:37
>>366
麻雀でいう形式テンパイを認めるっていうやつと同じだ
盤面をみただけでは打ち歩詰めではないのだからOKにしようぜ!

370:名無しさん@そうだ選挙に行こう
07/07/29 20:17:17
>>366
これ嫁 
千日手の定義より、打ち歩詰めの定義の方が優先されている
歩で王手する手は、ルールによれば、打ち歩詰めの規定には当てはまらない
しかし、歩を取る4度目の王手は千日手の規定に当てはまる 後手の勝ちだ


「特に決められた禁手事項」
(将棋世界平成5年1月号付録の'93年版 将棋ルールブック)

3.打ち歩詰
持駒の歩を打って王手をした局面で
王手を解除することが不可能な状態になる時、その歩を打つ手

5.連続王手の千日手
一局中同一局面の最初と4回目の局面の間の
一方の指し手が王手の連続であった時、
王手をした側にとって4回目が出現したときの局面。

371:デフォルトの名無しさん
07/07/29 20:55:46
将棋のルールってこんなに複雑だったんだね

372:デフォルトの名無しさん
07/07/29 22:10:18
最初から完璧に考え抜かれて作られたルールじゃないから
想定外な状況に対処するために後付けルールを足して複雑になって来ている訳か

まるでこれは

373:デフォルトの名無しさん
07/07/29 23:46:53 0
まるでこれは・・・何?

374:デフォルトの名無しさん
07/07/30 00:03:11
続きはWEBで

375:デフォルトの名無しさん
07/07/30 00:05:43
   〃∩ ∧_∧
   ⊂⌒(  ・ω・)  はいはいわろすわろす
     `ヽ_っ⌒/⌒c     
        ⌒ ⌒

376:デフォルトの名無しさん
07/07/30 02:02:41
>>350
ああ、やっと言いたいことが解った。
お互いが最善手を尽くせば、同一局面は二度あらわれないってのが
間違いだと思うぞ。それだと千日手に陥る局面というのはそもそも存在しない。

実際には、千日手ルールを無視した最善手だと千日手になってしまう局面が、
詰め将棋にあって今それを議論している。そして千日手は避けないといけないから、
それを効率よくコンピュータで処理する方法はどうかって話。

初期局面からの完全解析は当然無理だが、これは詰め将棋の問題を内包するし、
詰め将棋を適切に解く技術は、将棋のプログラム開発に必要

千日手になるタイミング云々の話は、そうしたことは当然わかっているものとして、
答えたんだよ

377:デフォルトの名無しさん
07/07/30 02:19:16
どういった解釈が正しいかについては、議論があるだろうが、
いずれにせよプログラム開発の段階では、各ノードの結論として、
「先手勝ち」「後手勝ち」「千日手」に加え、「先手打ち歩詰め」と
「後手打ち歩詰め」を考慮しないと駄目だろうね。

378:180
07/07/30 02:34:52
>359-360

私のこの問題に関する(このスレでの)これまでの発言は

>180 >183 >185 >191 >199 >203 >211 >218 >223 >228 >233
>242 >248 >260 >263 >268 >275 >282 >284 >291 >312 >317
>322

言いたい事はこれがほぼ全てなのでそこから判断してください。

ちなみに「例え将棋の神様であっても……分からない」と言う意味は
人間、あるいは何も考えてないプレーヤー(機械を含む)が指した
将棋を途中から将棋の神様が引き継いだとしたら、それまでに
どの局面が何回現われたかと言う情報なしに指し継いだのでは
最善手が何か決められないし、千日手かどうかの判断もできない
と言う事です。

なぜなら、元々の話題が将棋の神様同士が対局した場合に現われる
局面だけではなく、理論上考えられるあらゆる局面に対して「勝ち」
「負け」「引き分け」の結論を出そうと言う話なのでそういうふうに
解釈したと言う事です。

379:デフォルトの名無しさん
07/07/30 02:41:23
もひとつ追加すると、さっきも言ったが、「引き分け」の局面かどうかは、
その千日手ループにいつ突入したかで替わってくる。千日手判定が下る瞬間が違うんだから。
出現回数を保持していない局面のみの情報では、それが「引き分け」かどうか解らない

だから、

>「引き分け」でない局面の出現が一回しかないのは明らかなので、
> 完全解析後のテーブルとしては、すべての局面(手番込み)の

上記の「『引き分け』ではい局面」の、「局面」には出現回数を含ませる必要があって、
それなしには「引き分け」かどうか解らず、そして出現回数によって結果が違っているから、
出現回数の情報を単純にとっぱらうことは出来ない

おまいさんの言っている「解析中のテーブル」を「括弧付きのテーブル」、
「解析後のテーブル」を「括弧なしのテーブル」と読み替えて、>>340, 342 を見てくれ

それと>350で

1)「完全解析後のテーブルとしては持っていません」
2) 「ただし対局である以上「棋譜」が生成されているので、
棋譜を見れば、その対局での「局面」の出現回数は分かります。 」

棋譜の情報を保持していれば、出現回数が解るので、1)と2)は両立しないよ
もし仮に2)が実際の対局を想定していっているのであっても、
参照先である「完全解析後のテーブル」が、1)によって情報を失っているので、
付き合わせることは出来ない。ないのと一緒だ

380:デフォルトの名無しさん
07/07/30 02:51:14
>>180は釣りか、解析後と解析中は判っていない

381:デフォルトの名無しさん
07/07/30 02:54:22
>378

あんまし気にしない方がいいと思うよ、ここ2chだし
ちなみに量子コンピュータ関係で言うとね、まるで量子コンピュータが完成すれば
今コンピュータで扱っている問題がすべて並列に瞬間的に解けるとする
言説がまかり通っているけど、それは勉強不足

量子コンピュータでは、解きたい問題ごとにアルゴリズムを考える必要がある
自分の知る限り、Shor, Grover以外に、パッとする実用的な話はないのが現状
量子コンピュータで、例えば3x3オセロでも解くアルゴリムを作ったら
そりゃ後世に名を残す、いい仕事になると思う

だから仮に量子コンピュータデバイスが実現したとしても、
それを使って将棋を解くアルゴリズムが見つからない状況になると思うぞ
将棋は人間が作ったゲームだから、問題設定が非常に複雑だ

382:180
07/07/30 03:10:50
ついでに今、私の頭の中で整理されている(つもりの)イメージを
お話しますと局面と指し手の組の集合が3種類あります。
(細かく分けると4種類)

O(1):将棋の神様同士がお互いに最善手を指し合った場合の集合

O(2):将棋の神様が勝てる側(先手必勝なら先手、後手必勝なら後手)を
   持って相手があらゆる手を指して来た場合に対応して勝つ手の集合。

   結論が引き分けなら相手があらゆる手を指して来た場合に
悪くとも引き分けに持ち込む(相手がミスをすれば勝つ)手の集合。
   
O(3):ルール上許されるあらゆる手で初期局面からたどり着ける局面
   及び指し手の集合(局面は指し手によりメッシュ状に連結される)

明らかにO(2)はO(3)の真部分集合であり、O(1)はO(2)の真部分集合です。
さらに

O(3)':ルール上許されるあらゆる手で初期局面からたどり着ける局面
   をそこに至る手順で区別したもの及びそこからの指し手の集合
   (局面と指し手は木構造で表現できる)

これまでこのスレで問題となっているのは「勝ち」「負け」「引き分け」の
区別を局面にラベル付けするにはO(3)の中で話しが閉じるのか、あるいは
O(3)'の集合に移行しなければならないのかと言う事ですよね。

私はGHI問題が存在するために局面を探索する途中のみならず、
その結果を保持するためにもO(3)'の集合上で表現しなければならない
(でなければ必要な情報が欠落する)と考えているわけです。

383:デフォルトの名無しさん
07/07/30 03:26:02
可能な局面数 Nにたいし、3回訪れた、0-2回訪れたという情報を持っていれば完全に解ける

2のN乗局面調べればいい

384:180
07/07/30 03:31:22
>381
いえ、私はほとんどたった一人の人を相手に話をしているつもりなのです。
それは将棋板の「将棋って数学に似てるの?」スレ

スレリンク(bgame板)

で私とずっと議論を戦わせてた人(276)。この人に納得してもらいたい。
ちなみに私はそのスレで281の発言をした者です。

で、>359-360及びこのスレの>206他はその人の発言なんじゃないかな?と
もし違っていたらゴメンナサイ、誤ります。

385:デフォルトの名無しさん
07/07/30 03:44:29
>>384よ、
可能な局面(N個とする) ごとに、3回訪れたかどうかの情報を持ち、かつ
局面データがあれば完全にとけているんだ 意味わかるか?
これ以上のことはないだろが どこが不満だ?
道筋は全く関係ない

まずは、初手からならば局面だけ持っていればいいことは判っているのか??

386:デフォルトの名無しさん
07/07/30 04:08:11
>385
私も解析対象の局面に至る手順の情報全てを保持しなければならないとは
思ってません。ある程度(かなり?)、圧縮は効くでしょう。
ただ、実際に解析する際の手順としてはO(3)'上でゲーム木を展開するのが
いちばんシンプルで分かりやすいと思います。探索すべき局面は増えますが。

また初手から神プレーヤー同士が対戦するならば純粋な局面情報のみ保持
すれば良い、即ちO(1)上の結果にGHI問題が発生しないのは分かります。
まだ、いまいち良く分からないのはO(2)上の結果もそうなのか? 
こちらの結果も経路により区別する必要は無いのか?と言う事です。

387:デフォルトの名無しさん
07/07/30 04:15:33
>>378
ごめんね。

>>359は、>>355-357に対して、>>180をみれば「理論」の
話をしているのは分かるのに、「理論」だからこそ、
みんな付き合っているのに、「実行不可能」とか言い出すから、
いまさらそんなことを言うやつが出てくるのか、といった
意味合いの発言でした。
>>180に言ったわけではないです。

>妙に納得
は、
>>170と同じようなニュアンス。

ちなみに
> 人間、あるいは何も考えてないプレーヤー(機械を含む)が指した
> 将棋を途中から将棋の神様が引き継いだとしたら、それまでに
> どの局面が何回現われたかと言う情報なしに指し継いだのでは
この情報とやらは、棋譜で十分では?
それと、無責任なことはするなよ?
と思わなくもないのですが。

388:378
07/07/30 04:25:19
>387
ああ、そういう意味でしたか。それはこちらこそ失礼致しました。

引き継ぐべき情報はもちろん棋譜で十分ですね。
無責任な行為かも知れませんが、任意の局面に結論を出すためには
そのような仮定が必要になると思います。

389:デフォルトの名無しさん
07/07/30 04:33:22
>>388
またまた、ごめん。

>それと、無責任なことはするなよ?
は、>>378に言ったのではなく、話の内容で、対局を引き継ぐのに
「千日手になるかならないかの瀬戸際で交代するなよ。せめて二回目の
局面で交代してやれよ。」と言う意味でした。

他の人もそう思ったかな?

390:デフォルトの名無しさん
07/07/30 04:52:43
>>388
ちなみに
> 引き継ぐべき情報はもちろん棋譜で十分ですね。
とのことですので、>>379と意見が異なると言うことですよね?

>>379は、まったく、困ったもんですよね。

391:デフォルトの名無しさん
07/07/30 12:46:16
>>378さん(>>379さんもかな)

>>217を、もう一度よく読んでみてください。
よく読むとわかると思うのですが、初期局面の駒配置については、
何の言及もされていないのです。
これは、「初期局面として、任意の局面を指定可能」という事でしょう。
上での議論は、「理論上考えられるあらゆる局面」を十分含んでいるので
心配しないでください。

392:デフォルトの名無しさん
07/07/30 13:04:15
将棋の完全解析って言うのは初手から終局までのすべての手筋を網羅した地図を作ることだろ?
当然そんなことは出来ないし意味が無いから勝敗に関係の有る部分だけ解析すればいいだけであって、
人間相手に最強を目指すなら同じ局面が何度来ようがその時に可能なベストの手を打ち続ければいいはず、
結果的にそれが千日手になっても将棋のルールに不備がある部分に達しても負けはしない。

393:デフォルトの名無しさん
07/07/30 13:09:16
うん
それが何か?

394:デフォルトの名無しさん
07/07/30 18:44:34
>>381
その通りで、量子コンピュータが実現すれば既存のコンピュータで難しい問題が
なんでも一瞬で解けるようになると思っている人間がいるから困る。
量子アルゴリズムがあって初めて高速な計算が可能になる。
ゲーム木の探索なんて量子アルゴリズムとは相容れないだろう。

395:デフォルトの名無しさん
07/07/30 23:41:16
>>376>>379
あなたは、>>345>>350の内容を全然理解していないことがわかりました。
基本的に、話の発端である>>165と同じことを言っているんですよ?

あと、詰め将棋のルールと、指し将棋のルールが違うことを知っていますか?
ルールが違えば、検索方針も違うんですけど?

>>180の方は、
>引き継ぐべき情報はもちろん棋譜で十分ですね。
と納得したようですが、あなたは理解できましたか?

396:デフォルトの名無しさん
07/08/02 14:41:33
>>394
>量子アルゴリズムがあって初めて高速な計算が可能になる。
高速な計算とは言わないだろ、手順を経て組み立てる計算なら高速であるが
局所的な超同時な仕組みでは計算しているというより状態の合成をしている
に過ぎないよな。
そもそも計算は「計って」、「数を算する」ことであて量子コンでは
計ってもないし、数も扱っていない。
量子コンピュータで致命的なものはソフトウエア、つまりプログラムの
仕組みが存在しないことだよな。
超同時演算にソフトウエアが存在したら、それが足を引っ張り
早いどころか亀速度になるw

量子コンピュータが学者の間で注目されないのは、ハードウエアとして
存在しなければいけないという前提があるからだろ。
電子回路な計算機で、ソフトウエアなしの計算機では利用価値などない。
「ソフトウエア」がどれだけ重要な発明であるか理解しておいたほうがいい。

397:デフォルトの名無しさん
07/08/02 14:48:22
>>392
>将棋の完全解析って言うのは初手から終局までのすべての手筋を網羅した地図を作ることだろ?
「巡廻セールスマン問題」で完全解析を行ったというような話と同じだよな。
最適解だと証明したようなことを言う奴はいるが、結局は抜けが発生する。

類似問題を全数を判断せずに証明したと言い張るDQNがいるが、
科学では仮説と実証だけでは、科学ではない。
仮説→実証→複数の反証で多面的に検証できなければ証明したことにはならない。
原理を解明したとか信じるヴァカも多いよな。まさしく宗教の域。

398:デフォルトの名無しさん
07/08/02 20:57:04
>>396
禿げしく胴衣

399:デフォルトの名無しさん
07/08/03 00:24:09
>>396
別にソフトウエア無でも超高速なデータベースとして機能すれば十分だろ
大体、計算機という翻訳語が変で、コンピューターは演算する機械だよ
つまり状態の合成をしているだけなんだがw



400:デフォルトの名無しさん
07/08/03 00:50:10
>>396
量子コンピューターに対してどんだけ無学なんだよ、中学生か?

401:デフォルトの名無しさん
07/08/03 00:54:27
何の指摘にもなってないよ

402:デフォルトの名無しさん
07/08/03 02:25:22
量子デバイスでだって量子ゲートは設計できる。
即ちチューリングマシンが構成できるし、メモリーだって作れるので
原理的に現代のノイマン型コンピュータで可能な事はなんでもできる。
ただ量子エンタングルメントを利用した長いキュービットによる
超並列演算をしないと、現代のコンピュータより圧倒的には
速くならないと言うだけで。

長いエンタングルメントしたキュービットの列で
特殊用途の専用アキュムレータ(と専用アルゴリズム用特殊ハードウェア)を
構成して今のノイマン型コンビュータアーキテクチャの一部として
埋め込む事も出来るんじゃないかな?
周りのノイマン型の部分は既存のデバイスでも量子デバイスでも良いだろうし。

いずれにしろ、まだろくに存在していないものを
あれが出来てこれが出来ないと言うのは早計じゃないか?
アルゴリズムが無ければキュービットアキュムレータが働かない
(超並列演算が出来ない)のはその通りだろうが。

403:デフォルトの名無しさん
07/08/05 02:01:57
>即ちチューリングマシンが構成できるし、メモリーだって作れるので
それではチューリングマシンであって、量子コンピュータではないだろ
頭変になったのか?

404:デフォルトの名無しさん
07/08/05 02:24:09
量子チューリングマシンと言うのが定式化されている。

405:デフォルトの名無しさん
07/08/07 00:34:50
>>404
あたま悪そうだな。チューリングマシンの手順式手法に戻るのなら
従来技術に激しく勝てず、量子の意味すらなくなる。
手順式は手順を超える演算はできないんだよ。

量子チューリングマシンでは量子コンピュータが得意とする因数分解が
出来なくなるw
これでは古典的コンピュータの因数分解専用の演算回路に下った
たんなる量子トランジスタレベルだろう。

仕組みを手順通り行うという概念の壁が越えられないからこそ
古典的コンピュータには性能の限界があることすら知らないようだなw


406:デフォルトの名無しさん
07/08/07 04:20:58
>405
量子チューリングマシンは古典的(決定論的)チューリングマシンとは
その動作原理自体が異なる。
決定論的チューリングマシンのアルゴリズムは量子チューリングマシン上では
(そのままでは)使えないだろうが、むしろ使う必要が無いとも言える。


参考:
URLリンク(results.atr.jp)

407:デフォルトの名無しさん
07/08/07 17:57:47
>>406
あたま悪いな。論理手順が存在する限る原理が異なろうが
手順を省略できないわけだ。手順が省略できなければ順番に実行する
以外ありえないわけ。勉強になった?

408:デフォルトの名無しさん
07/08/07 18:00:07
>>406
そもそもチューリングマシンは命令語を受け取りそれを手順どおり実行する
タイプだろ。電送時間が存在しれば遅延する。
これでは古典的コンピュータが速度を上げられない理由と同じで
電送経路があるかぎり従来技術にはコスト的についてこれない。
つまり永久に開発されない。

409:デフォルトの名無しさん
07/08/07 19:36:23
量子チューリングマシンは古典的チューリングマシンが持つ能力を
全て保持しながら、なおかつ量子コンピュータ固有の機能も持っている。

量子ゲートに与えるデータ次第でどちらの働き方もできる。

量子チューリングマシンは計算可能性と言う点で
古典的チューリングマシンと全く同等であるが、
問題によっては(まさに)桁違いの計算能力を発揮する。

410:デフォルトの名無しさん
07/08/07 19:46:16
どうでもいいけど将棋の話題しない?

振れるようなネタはないのだけど。

411:デフォルトの名無しさん
07/08/07 20:07:00
うーん、難しいな。
Lispで将棋ブログラミングしたいと思っててまだ始めてないし。

と言うか、Schemeで書くべきかCommon Lispで
始めるべきかで早くも悩んでるしw。

412:デフォルトの名無しさん
07/08/07 22:14:26
非決定的チューリングマシンの話は出ないのか?
これが量子チューリングマシンで実現できればメチャ嬉しいのだが

413:デフォルトの名無しさん
07/08/07 23:54:06
量子コンピューターが出来る前に光子コンピューターの方が早く出来るでしょ。

414:デフォルトの名無しさん
07/08/08 17:16:07
量子コンピュータでチューリングマシンはできる、しかし現状の性能には
激しく達し得ないというのでFA。
まあマヌケ君はできないことを誇張するのが得意だから、またデンパするんだろう



415:宮本
07/08/08 17:37:03
URLリンク(www.geocities.jp)
URLに「宮本定跡が激指5に使われている」とありますが、本当でしょうか。
事実なら「激指6」ではどうなっているのでしょうか。
なるべく詳しい事情を知りたく思います。

416:デフォルトの名無しさん
07/08/08 19:39:38
>414
誰が正しいかでは無くて真実は何なのかを知ろうとする方が有益だぞ。

417:デフォルトの名無しさん
07/08/09 07:09:58
スレ違いかどうか気づける能力を持つ方が重要だ。

418:デフォルトの名無しさん
07/08/09 12:43:22
最近はスレ違い、スレ違いとやたらうるさい人が居るな。
まるで縦割行政が好きな役人か自分の専門分野にコモッテル蛸壷学者だ。
そういう考え方からは学際領域にある分野が発展する事は決してあり得ない。

419:デフォルトの名無しさん
07/08/09 14:02:16
とは言うものの量子コンピュータ及び分子コンピュータや
光コンピュータなどに関するスレを新たに立てた方が
良いかとも思ったが、どの板に立てたら良いのか良く分からん。

それとも既にどこかにあるのかな?

420:デフォルトの名無しさん
07/08/09 14:27:17
量子コンピュータ 3qubit
スレリンク(sci板)

過疎ってるな

421:デフォルトの名無しさん
07/08/09 18:16:55
>>418
お前がスレ違いだろ。別に学問を発展させようなんて思ってない

422:デフォルトの名無しさん
07/08/09 18:37:44
>>418
お前こそ将棋のプログラマじゃないだろ

423:デフォルトの名無しさん
07/08/09 22:19:33
>420 Thanks

物理板か。
しかも寂れていると言うか荒れているようだな。

計算理論やアルゴリズム論、計算量理論から見た
量子コンピュータ スレがあっても良い気もするな。

424:デフォルトの名無しさん
07/08/09 22:41:47
量子コンピュータなんてやっている奴は約1名の2ch中毒ニート以外
いないだろ。

425:デフォルトの名無しさん
07/08/09 23:54:00
量子コンピュータまず量子縺れ状態のシュミレーションから、かなり高度な量子力学の知識が必要。
どちらにしても量子コンピューターシュミレーターってあるらしいけど一般公開して無いだろ、動かすのにたぶんスパコン必須?

426:デフォルトの名無しさん
07/08/11 08:39:18
みんなで激指を買って遊ぼうよね♪( ^ω^)

激指 定跡道場

商品紹介
2005年世界コンピュータ将棋選手権で全勝優勝を飾った「激指」のシリーズ最新作。
序盤戦術を体系立てて学習できるモードを搭載、最強の思考エンジンに加えて学習補助機能が充実しました。
定跡講座は所司和晴七段が全面協力、プロ将棋の最先端を無理なく身につけることが出来ます。


427:デフォルトの名無しさん
07/08/11 23:40:57
コピペうぜぇ氏ね

428:デフォルトの名無しさん
07/08/12 13:28:16
量子信者はカエレ!

429:デフォルトの名無しさん
07/08/12 22:26:06
町はずれの教会をシルクのような霧雨が包んでいます。
傘も差さずにレンガの階段にもたれていると
遠い町明かりがいくつも輝いては滲んで行きます。
あの人はガードレールをのりこえて空の向こうに何を見たかったのでしょうか。
あの人が星になったなんて嘘ですよね?

430:デフォルトの名無しさん
07/08/13 00:30:19
ポエムはポエム板でおk

431:デフォルトの名無しさん
07/08/13 17:17:58
>>429
我々は重要な事を見逃していたようだ、

このポエムの中に封印された古代の将棋の英知が詰まっているのだよ!!(AA略)

432:デフォルトの名無しさん
07/08/14 12:04:06
だから量子コン厨は物理板で爺でもしておけ。
スレ違いだよ、キミのような量子ウンコは

433:デフォルトの名無しさん
07/08/14 12:40:05
>429
リョウコ信者w
最近の厨はググって出てこないと何も調べられないのか

434:デフォルトの名無しさん
07/08/14 22:09:55
夏厨の季節

435:デフォルトの名無しさん
07/08/14 22:38:58
>>429 これかww URLリンク(jp.youtube.com)

436:デフォルトの名無しさん
07/08/15 10:35:39
うはぁ、なんという音程……

437:デフォルトの名無しさん
07/09/10 08:35:42
量子って、武豊の嫁?


438:デフォルトの名無しさん
07/09/14 10:29:21
銀星将棋おもろいな。思考タイプに強引、慎重なんてのがあって
強引にすると思考レベル最低でも強引に攻め込んでくる。
ずっとこういうの待ってたんだよな。重みのさじ加減弄るだけで
技術的にはなんも難しくないのになぜ今までなかったのかが不思議なくらいだ。
全AIにこのオプションをつけてくれ。

439:デフォルトの名無しさん
07/09/14 17:19:50

B-TRONの体験版・・・(超漢字のご先祖)

1B/V3体験版のご案内
URLリンク(www.personal-media.co.jp)
fURLリンク(ftp.personal-media.co.jp)

1BV3体験版
URLリンク(tat.soga.in)
「超漢字」を体験させてほしい
URLリンク(homepage1.nifty.com)

オープンギャラリー:1B/V3の環境
URLリンク(www.ne.jp)

オープンギャラリー:プラットフォームコーナ
URLリンク(www.ne.jp)


440:デフォルトの名無しさん
07/09/18 10:52:04


441:デフォルトの名無しさん
07/09/18 18:49:11
しゅ、しゅって言いたい訳じゃないんだからねっ!

442:デフォルトの名無しさん
07/09/19 10:05:02
ぬは、書かれちまったw

443:デフォルトの名無しさん
07/09/19 17:25:23
ダリか初心者にも分かるように
評価関数における評価項目のつけ方まとめてもらえませんか

444:デフォルトの名無しさん
07/09/19 19:32:30
>>443
・駒割
・王将8近傍の敵・味方の利きの数
・王将との相対位置による評価
って感じの情報でいいのか?

445:デフォルトの名無しさん
07/09/19 19:56:23
玉の安全度を考えるをON/OFFで自己対戦すると27勝3敗だった。
終盤は駒得より完全に玉の安全度だね。

446:デフォルトの名無しさん
07/09/19 20:44:00
>>444
>>445
ありがとうございます。
評価項目の全体的な全体的な優先順位や
細かい設定などはありますか?

447:デフォルトの名無しさん
07/09/19 20:58:55
優先順位ってのは評価項目の重みの事?
序盤は駒得や囲いが重要だけど、終盤は王将の安全度の方が重要だろうし・・・
大雑把な方針としては、試行錯誤して最適な重み・設定を見つけるか、学習で何とかするかの二択じゃないかな。
自分の棋力とかコンピュータ将棋にかけれる時間と相談しながら決めてくれい。

448:デフォルトの名無しさん
07/09/19 21:34:35
>>447
分かりました!がんばります!!

449:デフォルトの名無しさん
07/09/25 12:35:31


450:デフォルトの名無しさん
07/09/26 03:26:24
し ひゅうま

451:デフォルトの名無しさん
07/09/26 04:25:07


452:デフォルトの名無しさん
07/09/26 15:40:34


453:デフォルトの名無しさん
07/09/26 15:53:49


454:デフォルトの名無しさん
07/09/27 10:12:06


455:デフォルトの名無しさん
07/10/01 11:07:00


456:デフォルトの名無しさん
07/10/01 19:46:05
あたぁ!

457:デフォルトの名無しさん
07/10/02 20:38:46
[人工知能]革新AI囲碁ソフト『Crazy Stone』@モンテカルロ法
スレリンク(gamestones板)
[人工知能]"Crazy Stone"@モンテカルロ法
スレリンク(bgame板)

458:デフォルトの名無しさん
07/10/03 01:23:13
> これまでのアルゴリズムとは異なり、モンテカルロ法のアプローチでは
> 非常に簡単に並行処理ができるので、
> 新世代プロセッサーのマルチコア構造を活用できる。

459:デフォルトの名無しさん
07/10/03 09:36:05
モンテカルロ法自体は並列化しやすいだろうが、
それとともに使われて成果を上げているUCT(だっけ?)
とか言う探索アルゴリズムは並列化しにくいらしいよ。

460:おおおおおおおおおおお
07/10/03 11:17:54
ああああああああああああああああああああああああああああああああああああああああああああああああああああああああああああああああああああああああああああああああああああああああああああああああああああ

461:デフォルトの名無しさん
07/10/03 19:13:43
今このスレを読んだ。「完全解析」について。

チェッカーや6x6オセロで言う「全探索」や「完全解明」は
ゲーム開始時の局面から始めた場合の話だよね。
合法な任意の局面からというのは解かれていない。
でも、このスレを見てきたところ、
将棋では任意の局面からの場合を考える人が結構いる。
任意の局面から始められるものとして詰将棋があるからかな。

何だか文化の違いのようなものを感じたので感想を書いた。
チラ裏ですまん。

462:デフォルトの名無しさん
07/10/03 20:59:46
ゲーム理論はどうも胡散臭い。
見直してその有効範囲を確認する必要がある。

463:デフォルトの名無しさん
07/10/03 22:49:49
>>461
バカですか?

464:デフォルトの名無しさん
07/10/03 22:55:12
しっ
触れるな

465:デフォルトの名無しさん
07/10/08 12:44:08
ワラタw

466:デフォルトの名無しさん
07/10/10 22:04:46
>>463-465はツンデレ

467:デフォルトの名無しさん
07/10/11 10:13:58
おまえは最近ツンデレという言葉を知ったばかりの初心者

468:デフォルトの名無しさん
07/10/12 01:14:43
確かに。
俺もツンデレとは違うとおもた。

469:デフォルトの名無しさん
07/10/12 21:41:58
URLリンク(minerva.cs.uec.ac.jp)
誰か出る?

470:デフォルトの名無しさん
07/10/13 01:27:58
>>469
準備期間短すぎ

471:デフォルトの名無しさん
07/10/13 08:55:01
55将棋って以前権利をめぐってもめてなかった?

あれどうなったんだろう?

472:デフォルトの名無しさん
07/10/13 11:31:33
よく判らんが、これが発案者のサイトかな?
URLリンク(www.geocities.co.jp)
電通大ではまったく無視しているようだけど。
URLリンク(minerva.cs.uec.ac.jp)

473:デフォルトの名無しさん
07/10/13 14:03:05
>472
無視してるのか、一応話しは通してあるのか見ただけじゃ分からんだろ?

474:デフォルトの名無しさん
07/10/13 14:28:20
>>473
普通話を通すと言うことは、断り書きを入れる方向で落ち着くもんだ。
断り書きもなしに無条件に許可するようならば、森田将棋に噛み付く筈も無かろう。

475:デフォルトの名無しさん
07/10/13 14:31:10
ゲームのルールはアイデアだから
ルールの記述文をぱくらない限り問題ないよ

476:デフォルトの名無しさん
07/10/13 14:49:03
こんなんめっけ
URLリンク(524.teacup.com)

マジですか?!って感じだねえ、ほんとならやばくて手が出せないっつうか出したくないw

ココはひとつチャネラーで新しいミニ将棋ルールー作ろうぜ


477:デフォルトの名無しさん
07/10/13 15:45:27
7七将棋とか…
駒の種類も本将棋と変わんない。けどちょっと大きいかな。

   7    6    5    4    3    2    1
┌─┬─┬─┬─┬─┬─┬─┐
│▽桂│▽飛│▽銀│▽玉│▽金│▽角│▽香│一
├─┼─┼─┼─┼─┼─┼─┤
│▽歩│▽歩│▽歩│▽歩│▽歩│▽歩│▽歩│二
├─┼─┼─┼─┼─┼─┼─┤
│__│__│__│__│__│__│__│三
├─┼─┼─┼─┼─┼─┼─┤
│__│__│__│__│__│__│__│四
├─┼─┼─┼─┼─┼─┼─┤
│__│__│__│__│__│__│__│五
├─┼─┼─┼─┼─┼─┼─┤
│▲歩│▲歩│▲歩│▲歩│▲歩│▲歩│▲歩│六
├─┼─┼─┼─┼─┼─┼─┤
│▲香│▲角│▲金│▲玉│▲銀│▲飛│▲桂│七
└─┴─┴─┴─┴─┴─┴─┘

478:477
07/10/13 17:51:08
全駒総動員の方向で、一度も動かさない駒とかを無くしたいね。
で7七将棋のルール案を。

1.相手陣は「三段分」
 ※桂馬の成・不成の選択を残したい

2.味方玉が相手陣の一段目に到達すれば、相手玉を詰まさなくても「勝ち」
 ※参考:トライルール

3.千日手はどんな場合でも4回目の同一局面を出現させたほうが「負け」にしたいけど、
 棋譜をきちんと取らないと判断しづらいから難しいかな

479:デフォルトの名無しさん
07/10/13 20:52:27
   4    3    2    1
┌─┬─┬─┬─┐
│▽香│▽桂│▽王│▽銀│一
├─┼─┼─┼─┤
│▽歩│▽歩│▽歩│▽銀│二
├─┼─┼─┼─┤
│__│__│__│▽歩│三
├─┼─┼─┼─┤
│▲歩│__│__│__│四
├─┼─┼─┼─┤
│▲銀│▲歩│▲歩│▲歩│五
├─┼─┼─┼─┤
│▲銀│▲玉│▲桂│▲香│六
└─┴─┴─┴─┘

これどうよ、評価よろしく

480:デフォルトの名無しさん
07/10/13 21:05:40
>>479
大駒がないのと、銀があって金がないのが気になった。

481:デフォルトの名無しさん
07/10/13 21:10:20
>>480
大ゴマは盤面が狭いのでこの際無くていいだろうという判断
金は、ほしけりゃ敵陣に乗り込んでひとはた揚げて帰って来いということでゲーム性を面白くするためわざと無くしました


482:デフォルトの名無しさん
07/10/13 21:57:47
駒の動きは本将棋と同じじゃなくてもいい?例えば八方桂とか。

483:デフォルトの名無しさん
07/10/13 22:00:19
44将棋はさすがに簡単すぎるんじゃねーか?
たぶんすぐ解明されそう。


484:デフォルトの名無しさん
07/10/13 22:01:48
46だった orz

485:デフォルトの名無しさん
07/10/13 22:09:27
>>483
解明されたら告ぎ考えるから是非解明してくれ

486:デフォルトの名無しさん
07/10/14 00:54:30

将棋板から拾ってきた
あっちにはこいつの対局スレがあるぞ


   6   5   4   3    2   1
┌─┬─┬─┬─┬─┬─┐
│▽飛│▽桂│▽銀│▽王│▽金│▽角│ 一 
├─┼─┼─┼─┼─┼─┤    
│▽歩│▽歩│▽歩│▽歩│▽歩│▽歩│ 二
├─┼─┼─┼─┼─┼─┤
│__│__│__│__│__│__│ 三
├─┼─┼─┼─┼─┼─┤
│__│__│__│__│__│__| 四
├─┼─┼─┼─┼─┼─┤
│▲歩│▲歩│▲歩│▲歩│▲歩│▲歩│ 五
├─┼─┼─┼─┼─┼─┤
│▲角│▲金│▲玉│▲銀│▲桂│▲飛│ 六
└─┴─┴─┴─┴─┴─┘


487:デフォルトの名無しさん
07/10/15 13:57:04
ああ?おお?

488:デフォルトの名無しさん
07/10/15 15:25:05
知障のふりで「将棋界の○○」「ああ?」という言い回しを使う奴には要注意だ。


489:デフォルトの名無しさん
07/10/16 23:25:27
>>486
香車がいないのはさびしいな。

490:デフォルトの名無しさん
07/10/17 00:09:51
むしろ大駒がいらないんじゃね
どうせ盤面は狭いんだし

代わりに酔象を入れようや
裏は太子で

   6   5   4   3    2   1
┌─┬─┬─┬─┬─┬─┐
│▽銀│▽金│▽象│▽王│▽金│▽銀│ 一 
├─┼─┼─┼─┼─┼─┤    
│▽歩│▽歩│▽歩│▽歩│▽歩│▽歩│ 二
├─┼─┼─┼─┼─┼─┤
│__│__│__│__│__│__│ 三
├─┼─┼─┼─┼─┼─┤
│__│__│__│__│__│__| 四
├─┼─┼─┼─┼─┼─┤
│▲歩│▲歩│▲歩│▲歩│▲歩│▲歩│ 五
├─┼─┼─┼─┼─┼─┤
│▲銀│▲金│▲玉│▲象│▲金│▲銀│ 六
└─┴─┴─┴─┴─┴─┘

491:デフォルトの名無しさん
07/10/21 23:05:06
金玉象はまずいんじゃないか? エロ的な意味で。

492:デフォルトの名無しさん
07/10/21 23:25:44
ここも糞スレになったな

493:デフォルトの名無しさん
07/10/22 08:48:58
フェイクができないアルゴリズムなんて、負けるのは当たり前。
勝負というのは先の読み合いで、決定されたものではないだろ。

つまり先が読めないからこそ勝負なわけであって、
相手の行動を予測し、相手に勝つのではなく相手に負けてもらうのが筋ってものさ。

眼力の無いやつは空気読めないから計算、つまり理屈だけで勝とうとする
理屈だけな奴ほど勝つのは楽なことを知っていた方がいい。
理屈な行動は、相手からは完全に予測される行動だからだ。
勝ち手を譲れば、100%の確率で勝ち手を奪うのが理屈というもの。
それがフェイクだと気がつかなければ相手の負けは決まる。

494:デフォルトの名無しさん
07/10/22 13:52:07
日本語でおk

495:デフォルトの名無しさん
07/10/22 14:20:17
>492
とっくの昔から糞スレだボケ。

496:デフォルトの名無しさん
07/10/22 17:20:26
完全情報ゲームでフェイクとか言ってもな。

497:デフォルトの名無しさん
07/10/22 18:19:15
>>493
いや、言ってる事はよくわからんがとにかく麻雀やポーカーのスレじゃないからここ

498:デフォルトの名無しさん
07/10/22 19:34:12
493じゃないが、例えば自王は放置すれば20手詰めと言う場合

1、放置すれば相手王に必死を掛けられる。
  相手が詰みに気付かなければ勝ち。
2、受けると長引くがジリ貧。

こういう場合コンピューターだと2を選んだり、
持ち駒使い果たすまで王手掛けたりすることが多いわな。

com同士だと意味ないだろうけど、人間同士だと1が有効なことが有る。

499:デフォルトの名無しさん
07/10/22 22:31:43
>498
それを実現するには自分の読みと相手の読み及び評価関数を区別して扱う
「相手モデル探索」が必須だな。

で相手が人間かコンピューターか、どれくらいの棋力かに応じて使い分ける。

500:デフォルトの名無しさん
07/10/22 22:38:02
圧倒的に強ければ、相手は関係ない 強ければそもそも20手詰めの局面へは進まない

501:デフォルトの名無しさん
07/10/22 22:47:56
おれも>>500と同意見。
結局、相手の思考を予測するってのは、自分の思考に自信が無い時の小手先の対策なんじゃね?

502:デフォルトの名無しさん
07/10/22 23:21:25
>>498-499
相手のアルゴリズムを読んだとしても、その相手はこっちを騙すためにわざと気付かないふりをして
弱く見せかけているのかもしれないぞ
相手を見て判断するのは対人戦での面白さを出すには重要なとこではあるけどさ

503:デフォルトの名無しさん
07/10/23 00:00:10
>500-501
人間のトッププロにはなかなか勝てない(全体的な実力では上回れない)
からこそ、そういう戦略に価値があるのでは?

例えばコンピュータ将棋は詰みのある局面でそれを発見するのが
やたら速いが、相手(人間)もそうだと仮定していたらその利点は
あまりうまく生かせずに>498の挙げたような状況に陥るかも知れない。
詰みを正確に速く見つける能力がむしろ弱みになってしまう。

>502
特定の相手の指し方を事前にじっくり研究していたらどうかな?
たとえば対渡辺竜王を想定して。

ディープブルーも実はカスパロフの指し手を事前にたっぷり研究して
相手の指し方のモデルを持ってたと言う話だし。

504:デフォルトの名無しさん
07/10/23 00:08:06
>>503
個人的には、そういう方向性が好きなのだが、
こと「プロに勝つ」という目的においては、>>500が正しいと思う。
というか>>503の方法でプロに勝つには、とてつもないプログラム技術と
ハードウエア能力が必要になって現実的でない。

プロに勝つというのは、ほっといても100年後には達成できるけど、
楽しめる、指導してくれる、というコンピュータ将棋が今後の課題やね。

505:デフォルトの名無しさん
07/10/23 00:25:15
>504
その考えが甘いとしたら。

つまりコンピュータが人間のトッププロより圧倒的に強くなると言う事は
相手がどんな指し手で来てもそれに対して正しく応手できると言う事だが
将棋と言うゲームがそう御しやすいもので無いとしたら厄介だぞ。

その可能性は多いにある……と俺は思う。

それよりは対戦相手のモデルを持っておいて相手の思考の癖(隙)を突いて
序盤からジワジワ優位を築いて行く方がまだ望みがありそうに思える。
確かにセコイ方法だけどなw。

506:デフォルトの名無しさん
07/10/23 00:57:32
>>505
確かに俺の考えが絶対に正しいとは言えないが、
相手モデルとかでプロに勝てるなどというのは
とんでもなく甘い考えだと思う。

>>505がセコイ方法だとは全く思わない。
実現できたら本当に素晴らしいが、実現が難しすぎる。

507:デフォルトの名無しさん
07/10/23 02:07:42
{41, 85, 45, 12, 02, 77, ・・・}  (これがひとつのデータです) という可変長データが複数あるとします
これらを効率よくメモリに記録するにはどうしたらいいですか?

508:デフォルトの名無しさん
07/10/23 02:08:36
場所まちがえました すみません

509:デフォルトの名無しさん
07/10/23 03:07:52
あんまりセコクない対人戦略だと、
短時間の勝負ほどコンピュータ有利であることを考えて
時間攻めがいいんじゃないかな?

極端な例だと、80台パソコンを連結して並列に先読みさせる。
可能な相手の指し手が80ある局面なら、人間の思考時間に全部考えて、
ほぼノータイムで指すこともできるはず。
そうされると持ち時間2時間でも、正味1時間位に感じるんじゃないかと。

あるいは、"少しよくなるけど局面を単純化する手"より
"よくもわるくもならないけど局面を複雑化する手"を優先する方針にする。
そうすると選択肢が多くなり、人間側の読み筋から外れる率が高くなる。

人間の場合かなり前から現在の局面のことを考えているので、
先読みを空振りさせた場合の負担は、コンピュータよりずっと重いはず。
一から考え直すことになって、かなり苦しくなるじゃないかな。

510:デフォルトの名無しさん
07/10/23 10:16:44
竜王と対戦したボナンザも、予測読みが当たればノータイムで指した。
また、ボナンザは人間なら早期に枝刈りしてしまう手を指すこともあったので
読みを空振りさせるという点でもそれなりにできていた。
80台のパソコンというリソースがあるなら、普通にやらせても強くなるから
下手な小細工では意味がないということになると思う。

いや、、アイデアを否定してばかりであれだが、
実際そういうアイデア自体は貴重だし、生かしていくべきだと思う。
ただ、それはすごく難しい(だからこそ素晴らしい)と言いたかった。

511:デフォルトの名無しさん
07/10/23 10:27:47
相手の指しやすい手から調べるのはかなり有効な手法だよ プロの棋譜、定跡を使うのはその為
個人に限定してもよい

512:デフォルトの名無しさん
07/10/23 19:25:07
>>510
持ち時間1時間として
コンピューターが3回に1回ノータイムでも、1時間つかいきれば
人間側の思考時間は、自分の持ち時間と合わせて2時間ある
コンピューターが全部ノータイムの超早指すると
人間側の思考時間は、自分の持ち時間の1時間しかない
読みを空振りさせる回数が3回位増えると
1回あたり数分位とられるから10分くらい損する
ぜんぜん違うと思うんですが‥

結局、80台を良い手を捜すためにつかっても、2割位しか
最前手が変わらないなら、時間攻めで人間が間違うのに
かけた方がお得なように思うわけで

実際、複数台での並列先読みや、局面の複雑度を測ったりするのは、
相手の指し手の傾向をつかむより遥かに容易じゃない?
自分のプログラムはまだ弱いのでそんな段階ではないけど。
誰か人柱にならないかなあ。


513:デフォルトの名無しさん
07/10/23 20:42:31
台数が80倍になると、一般的に思考時間を9倍にしたくらいの強さになる。
つまり、思考時間:1分、強さ:1台9分相当を選択するか、
思考時間:0分、強さ:1台1分相当を選択するかという問題になる。
(人間が常に同じ時間を消費するという前提)

コンピュータよりも人間の方が持ち時間の価値が高いことを利用するわけだ。
悪い手は切り捨てて愚直に80手読まないようにするなどの工夫もできる。
そうなると普通の予測読みとの境界がぼやけてくる。
俺は、通常の予測読みがいいと思う。俺も実測してないのでこれしか言えない。

514:デフォルトの名無しさん
07/11/01 23:44:59
あの自演犬やってないと言い張ればいいと思ってるな
バレてないと思ってるのは自分だけだぞw


515:デフォルトの名無しさん
07/11/15 01:22:32
ああ?おお?

516:デフォルトの名無しさん
07/11/18 00:48:45
ボナンザVS勝負脳―最強将棋ソフトは人間を超えるか
URLリンク(www.amazon.co.jp)

517:デフォルトの名無しさん
07/12/04 04:01:56
将棋のプログラム作っている人の開発環境が気になります。
VC6++っていうのは古いでしょうか?

518:デフォルトの名無しさん
07/12/04 08:18:42
将棋ならコンパイラやIDEは関係ないと思うが、
VC2005EEがある今、VC6を使う理由がない。

519:デフォルトの名無しさん
07/12/04 08:33:00
VC++6は軽い

520:デフォルトの名無しさん
07/12/04 09:39:10
VC++6ってインテリセンスのだいぶ貧弱だったような

521:デフォルトの名無しさん
07/12/04 19:52:33
まぁ、x64がコンパイルの出来ないでいいならVC++6でいいんじゃね。

522:デフォルトの名無しさん
07/12/04 23:33:57
>>518-521
みなさんどうもありがとうございます。
VC++6でもよさそうですね。

523:デフォルトの名無しさん
07/12/05 01:05:57
VC++6はバグが多くて嫌

524:デフォルトの名無しさん
07/12/05 11:00:20
つーか、>518を読んでどうしてそういう結論になるのか判らん。
まぁ、VS6の正規ユーザで尚且つ時代遅れのPCを使っているというなら止めないが。

525:デフォルトの名無しさん
07/12/07 00:45:10
VC6は2004にバージョンアップ版が出ている
新しいVistaつかうより、バージョンアップされたXPの方がいいということもある

526:デフォルトの名無しさん
07/12/07 10:48:37
仕事じゃなければ好きなのを使えばどれでもいいさ

527:デフォルトの名無しさん
07/12/07 12:17:57
VC6なぜか人気あるが自分の経験から言うとあまり印象よくないな。
特に付属のSTLかなりバグがあってひどかった。


528:デフォルトの名無しさん
07/12/08 00:17:48
今となってはかなり古いコンパイラだから
テンプレートのサポートが微妙だったりするけど
自分の使い方では2003よりもよかったよ
インストール早いし、起動軽いし

STLはSTLPORTいれて使うもんだと思ってる。

そんな私も2005に移行しましたが。

529:デフォルトの名無しさん
07/12/14 14:21:23
VC6の怖いとこは
一見するとコンパイル通って正常に動作しているようでも
トンデモな解釈をコンパイラがしている箇所があったはず。

std::cout << typeid(1.0F==1.0F).name() << std::endl;
std::cout << typeid(1==1).name() << std::endl;

仕事だからVC6とかいう発想は
無責任もいいとこ。

まともなコンパイラの機能テストをしていれば
Noob以外はそのような発想はしないでしょう。


530:デフォルトの名無しさん
07/12/16 18:57:57
ぼ、Borland C++ Builderは? いいの?

531:デフォルトの名無しさん
07/12/22 11:59:41
USIプロトコルの info コマンドって、minmax探索に偏ってるね。
MC+UCTだと info string ばっかになりそう。
もうちょっと融通利かせないとUSIプロトコル使う意味なす…

532:デフォルトの名無しさん
07/12/23 11:08:28
>>531
setifnomenuコマンドなんてのが必要かもね。

533:デフォルトの名無しさん
07/12/23 11:12:16
setinfomenuだった。

534:デフォルトの名無しさん
07/12/23 23:38:23
info pvで「最後のモンテカルロシミュレーションの手順」でも送ってやればいいんじゃね。
GUIがちゃんと対応出来るかどうかは知らん。

535:デフォルトの名無しさん
08/01/08 01:29:44
最強じゃなくてもいいからだれか大局将棋実装しておくれw

536:デフォルトの名無しさん
08/01/08 19:45:25
やるからには最強を目指す!
ところで大局将棋ってナニ?

537:デフォルトの名無しさん
08/01/08 20:11:06
URLリンク(taikyokushogi.hp.infoseek.co.jp)

538:デフォルトの名無しさん
08/01/08 21:05:25
URLリンク(www.chushogi-renmei.com)
やる気しねえw

539:デフォルトの名無しさん
08/01/08 22:32:19
ごめん、やっぱムリ。
てか、駒の動かし方全部把握してるヤツ居るのか、これ?

540:デフォルトの名無しさん
08/01/09 00:20:09
仮に把握できたとしても、動かす気になれねぇ。

541:デフォルトの名無しさん
08/01/09 03:23:18
URLリンク(taikyokushogi.hp.infoseek.co.jp)
>>537のサイトに駒の説明があるけど

ページなげえw

542:デフォルトの名無しさん
08/01/09 03:50:51
スレリンク(bgame板)
最長テンプレだと聞いた。

543:デフォルトの名無しさん
08/01/09 05:23:40
スレを立てるたびに貼る必要はあるのか…
最長の地位を保つための儀式なのか…

544:デフォルトの名無しさん
08/01/09 07:43:19
こんなのランダムに動かしてれば人間の方が飽きて投了するだろw

545:デフォルトの名無しさん
08/01/09 14:41:35
大局将棋はゲーム性が低いな

546:デフォルトの名無しさん
08/01/12 19:35:41
ゲームと言うより占いの儀式みたいなものだったって聞いたような気がした(うろ覚え)。

547:デフォルトの名無しさん
08/01/13 11:05:39
>>537
テレビ番組で、プロ棋士同士が対局してたな
駒の動かし方は本を見ながら確認してたw
1日では勝負がつかず、3日くらいかけていたと思った

548:デフォルトの名無しさん
08/01/13 11:27:29
トリビアだな

549:デフォルトの名無しさん
08/01/13 12:28:25
森羅万象棋作ろうぜ

550:デフォルトの名無しさん
08/01/13 13:31:07
「バーサーカーソウル!」

551:デフォルトの名無しさん
08/01/13 17:43:31
市販の将棋強すぎだろ。なんか将棋もプログラミングもやる気ナクナタ・・・

552:デフォルトの名無しさん
08/01/13 18:23:59
おまいが弱いだけ

553:デフォルトの名無しさん
08/01/13 21:01:55
前回のGA見てみろ。やる気沸くぞ。

554:デフォルトの名無しさん
08/01/17 07:02:17
もっとこのスレ盛りageようぜ

555:デフォルトの名無しさん
08/01/19 02:12:54
【訃報】チェス元世界王者、ボビー・フィッシャーさん死去 64歳
スレリンク(newsplus板)

556:デフォルトの名無しさん
08/01/20 14:49:16
C言語でやってる人いる?
C++の方がいいのかな?


557:デフォルトの名無しさん
08/01/20 14:56:43
C++の方がいい
部分的にC言語やアセンブラも使える

558:デフォルトの名無しさん
08/01/27 14:07:14
スレッド使ってますか?

559:デフォルトの名無しさん
08/01/28 16:28:29
使ってますがなにか?

560:デフォルトの名無しさん
08/01/28 17:11:16
もう、ブルージーンで最強のチェスプログラムできちゃったので将棋プログラムは興味ないわ

561:デフォルトの名無しさん
08/01/28 18:20:44
門外漢がよーいうわ

562:デフォルトの名無しさん
08/01/28 19:46:33
作ってる人近況報告してよ

563:デフォルトの名無しさん
08/01/28 20:34:23
強化学習してる。死にそう。

564:デフォルトの名無しさん
08/01/28 20:45:55
いちから作り直してる。

565:563
08/01/28 21:01:55
>>564
ばかやろう、俺なんてマイナスからの出発だぞ。

566:564
08/01/28 21:16:24
>>565
なんだよ、マイナスってw

以下、マジレス。
おとといのUSIエンジンの登場でモチベーションがかなり上昇した。
弱くても、勝てなくても、笑われても、それでもいいからとにかく形にすることに決めたよ。

567:デフォルトの名無しさん
08/01/28 22:13:56
>>566
ランダムざしに負けるのがマイナスじゃね?

568:デフォルトの名無しさん
08/01/28 23:16:28
俺も強化学習やってる
俺よりは強いんだが・・・

569:563
08/01/28 23:20:41
パソコンぶっ壊れたから修理するところから。
あと、部屋が汚くてどこに本があるか分からないから掃除するところから。

>>567
負けそうだから怖い。

570:デフォルトの名無しさん
08/01/28 23:21:31
>>568
出現頻度の低いパラメータって学習が遅くね?
なんか対策考えないとなぁ。

571:デフォルトの名無しさん
08/01/28 23:32:52
>>570
自分は出現頻度が低いパラメータは保持したまま
別のパラメータが変わるような局面に分岐させたりしてる
ちなみに効果の程は測ってないけど

572:デフォルトの名無しさん
08/01/28 23:45:18
7五玉で投了

573:デフォルトの名無しさん
08/01/29 19:40:24
>>571
なるほど、賢いなぁ。
俺は猿だから対局数でごまかそうかなっと。

574:デフォルトの名無しさん
08/02/05 20:51:11
れさライブラリ使ってる人いる?

575:デフォルトの名無しさん
08/02/07 15:10:40
あの! Delphiで将棋作るとC++より速度遅いですか?

576:デフォルトの名無しさん
08/02/07 16:07:46
ボーランド製品ならどう速度だろ

577:デフォルトの名無しさん
08/02/07 16:13:51
あの! Delphiで将棋作るとVisual C++より速度遅いですか?

578:デフォルトの名無しさん
08/02/07 16:16:26
最適化や個人の技術によるが同程度ならVCの勝ち

579:デフォルトの名無しさん
08/02/09 21:48:35
あの! Delphiでインラインアセンブラだけで将棋作るとC++より速度遅いですか?

580:デフォルトの名無しさん
08/02/10 18:10:11
並列化のことで何年か前にYSS掲示板で議論になってましたけど

すごく初歩的な話なんですがrootでsplit(分割)する/しないってのは
どういう意味だったんでしょうか?

最初の深さ1だけは読んで、そのそれぞれの(1手読みの)手を並列化するのが
「rootでsplitする」でいいのかな?

しない、ってのはどういうことなんでしょう?


581:デフォルトの名無しさん
08/02/10 22:43:52
YSS掲示板で訊いた方がいいんじゃね?

582:デフォルトの名無しさん
08/02/11 09:44:18
あまりに初歩的すぎかなとおもって・・・

583:デフォルトの名無しさん
08/02/11 11:46:16
真面目に質問すれば大丈夫

584:デフォルトの名無しさん
08/02/11 11:48:45
あ,ここより将棋板の方が人(実際に作ってる人)が多いから
そっちでもいい alternative だったか,開発者用のスレがある

585:デフォルトの名無しさん
08/02/11 13:40:49
32bitパソコンを使ってますがintでなくcharを使うと
メモリの節約にはなるが速度は遅くなるのですか?

586:デフォルトの名無しさん
08/02/11 13:45:01
メモリアクセスが減るから速くなるケースもあるかもしれません。
要は、一概には言えないのでテストケースを充分絞って実験してみることです。

587:デフォルトの名無しさん
08/02/11 14:21:17
char や floatが遅いというのはデマ
キャッストに時間がかかるというのはデマ

588:デフォルトの名無しさん
08/02/11 14:22:39
へぇ~今調べて自己解決しますたと言うところだったんですが
一概に言えないのですか。へぇ~

589:デフォルトの名無しさん
08/02/11 15:06:51
そりゃそうだろ。メモリ2GB程度のパソコンごときで1G件のデータを扱おうとしたら
charじゃないとswapしまくりで遅くてしゃぁない。

590:デフォルトの名無しさん
08/02/11 15:18:39
将棋では1Gも使わないでしょう。
ところでYSSの人は配列は2のべき乗にすると速くなると言ってますが
みなさんそうしてるのですか?

591:デフォルトの名無しさん
08/02/11 15:22:57
それはデマ スワップが発生しないように最低限の確保が速い

592:デフォルトの名無しさん
08/02/11 16:05:18
へぇ~デマばっかりなんですね。
今のパソコンと将棋ソフトでスワップはないと思いますが。
でもそう言うには相応の理由があると思いますが、
実際に実験してないけど理論的には速いはず、というところでしょうか。

593:デフォルトの名無しさん
08/02/11 16:07:36
512や1024ならスワップ起こるよ
OS、ほかのプログラムが動いているとハッシュテーブルがメモリ外に出ることがある
するととても弱くなる
たとえばボナンザで実験するとわかる

594:デフォルトの名無しさん
08/02/11 18:13:57
>>580
rootでA,B,Cと候補手があるとして
BやCの評価値の評価値を並列に探索して求める場合はrootでsplit。
Bの評価値が確定してからCを探索する場合はrootではsplitしていない。

595:デフォルトの名無しさん
08/02/11 20:56:25
>592
デマというか、ハードウェアとかコンパイラに依存するので時代によって……

596:デフォルトの名無しさん
08/02/11 22:41:19
>>594
ありがとうございます

>BやCの評価値の評価値を並列に探索して求める場合はrootでsplit。

というのは直観的に理解できそうです
rootでとりあえず指し手を列挙してみて
おらこれとこれとこれがあるから行ってこいやぁ、みたいなw

でも
>Bの評価値が確定してからCを探索する場合はrootではsplitしていない。

というのがよくわかりません
この場合、どこで並列処理(並列化)をしているのでしょうか?

597:デフォルトの名無しさん
08/02/11 23:35:35
Bにも子供たちが…

598:デフォルトの名無しさん
08/02/11 23:46:07
てことは……

深さ0(? 現局面のこと)で指し手を列挙して
おのおのの指し手について並列するのがrootでsplit

深さ0で指し手を列挙したあとその指し手の1つをまず取り出して
そこからの指し手(深さ1以下の指し手)について並列するのがrootでないsplit

ってことですか?

実際の方法論としては
たとえば候補手が50個並んでいて
CPU1が候補手aを、CPU2が候補手bを読んでいって
先に終わったほうが候補手cを読む……という「仕組み」自体はいっしょで
それをrootでやるかそうでないかだけが違う(というかYSS議論では違ってた)
ということでしょうか?

599:デフォルトの名無しさん
08/02/12 02:48:08
>>598
深さ0で指し手がA0、B0、C0と3つあるとすると、今のプログラムは
A0の手を調べるのに全体の50%の時間を使ってしまいます。
そこで、A0の探索が終わった後に、B0、C0の2つの手を並列に探索します。
その方がA0の探索の結果を使えるので効率がいいためです。

A0の手の下にはA01、A02、A03の3つの手があるとすると、
A01の手を調べるのにこれまた50%の時間がかかります。
そこで、A01の探索が終わった後にA02、A03の探索を並列に行います。

こうやって延々続いていきます。
深さ0でも並列に探索するのが「rootでsplit」で
深さ0でのみ並列に探索しないのが「rootでsplitしない」です。
「rootでsplitしない」場合でも深さ1、深さ2、、、、ではsplitします。

600:デフォルトの名無しさん
08/02/12 10:33:34
並列化ド素人の自分だが
Aspiration searchの真ん中の値で二分すれば
単純に二倍速くなりそうという感じは受ける。
ちょっと試せないので分からないけど。

ボナンザも歩の交換値2つぶんでAspiration searchをやってるらしいので。。

やっぱり問題はその次からの一回の探索を分ける方法だねえ。

601:デフォルトの名無しさん
08/02/12 11:08:15
>>599
なるほど・・・
ありがとうございました

602:デフォルトの名無しさん
08/02/12 12:38:42
>>600
お前コンピュータ将棋もど素人だろ。
ウィンドウを2分割すれば探索ノードもキレイに2分割できると思ってる?

603:デフォルトの名無しさん
08/02/12 14:47:26
逆に他の手法はきれいに二分割できるの?やろうとしてるの?

604:デフォルトの名無しさん
08/02/12 16:43:40
ただのPVS使ってるが少なくとも600のやり方よりは効率がいい。
ついでに書くと、MTD(f)の探索木みれば600がいかに効率悪いかわかる。
まぁ、俺は選手権の対局より強化学習の方を高速化したいから、並列探索は手抜きだがな。


次ページ
最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch