電王戦FINAL

(1)

電王戦 _FINAL

木村満晃

数理科学研究科博士課程 1 年

2015年 5 月 8 日

木村満晃 (数理 D1) 電王戦 2015年 5 月 8 日 1 / 7

(2)

電王戦とは

プロ棋士とコンピュータによる将棋年より開催ドワンゴが主催

第回以降は番勝負団体戦で行われている

過去の結果

第回 ● 米長邦雄^永世棋聖ボンクラーズ ○

第回 ● プロ棋士コンピュータ ○ ※ 持将棋第回 ● プロ棋士コンピュータ ○

今年月に「電王戦」が開催された

木村満晃 (数理 D1) 電王戦 2015年 5 月 8 日 2 / 7

(3)

電王戦とは

プロ棋士とコンピュータによる将棋.

年より開催ドワンゴが主催

過去の結果

木村満晃 (数理 D1) 電王戦 2015年 5 月 8 日 2 / 7

(4)

電王戦とは

プロ棋士とコンピュータによる将棋. 2012年より開催. ドワンゴが主催.

過去の結果

木村満晃 (数理 D1) 電王戦 2015年 5 月 8 日 2 / 7

(5)

電王戦とは

第 2 回以降は 5 番勝負 (団体戦) で行われている.

過去の結果

木村満晃 (数理 D1) 電王戦 2015年 5 月 8 日 2 / 7

(6)

電王戦とは

過去の結果

第 1 回 (2012) ● 米長邦雄^永世棋聖ボンクラーズ ○

第 2 回 (2013) ● プロ棋士 1-3 コンピュータ ○ (※ 1 持将棋) 第 3 回 (2014) ● プロ棋士 1-4 コンピュータ ○

木村満晃 (数理 D1) 電王戦 2015年 5 月 8 日 2 / 7

(7)

電王戦とは

過去の結果

第 1 回 (2012) ● 米長邦雄^永世棋聖ボンクラーズ ○

第 2 回 (2013) ● プロ棋士 1-3 コンピュータ ○ (※ 1 持将棋) 第 3 回 (2014) ● プロ棋士 1-4 コンピュータ ○

今年 3-4 月に「電王戦 FINAL」が開催された.

木村満晃 (数理 D1) 電王戦 2015年 5 月 8 日 2 / 7

(8)

背景

コンピュータの処理技術の向上

例第回電王戦第局三浦弘行八段将棋

情報教育棟の台のコアを

利用

秒間に億手を読む

機械学習の導入（の登場）

「人工知能の実験場」

人間コンピュータ…ルールを模索しながらの開催使用電源貸し出しの有無

木村満晃 (数理 D1) 電王戦 2015年 5 月 8 日 3 / 7

(9)

背景

例第回電王戦第局三浦弘行八段将棋

情報教育棟の台のコアを

利用

秒間に億手を読む

木村満晃 (数理 D1) 電王戦 2015年 5 月 8 日 3 / 7

(10)

背景

▶ _例_: _第₂_{回電王戦第}₅_{局三浦弘行八段}_{vs GPS}_将棋

▶ _{情報教育棟の}₆₆₇_台のiMac (Intel Core i5 2.5GHz 4コア) を利用

▶ ₁_秒間に_2.7_{億手を読む}

木村満晃 (数理 D1) 電王戦 2015年 5 月 8 日 3 / 7

(11)

背景

機械学習の導入（Bonanza の登場）

木村満晃 (数理 D1) 電王戦 2015年 5 月 8 日 3 / 7

(12)

背景

木村満晃 (数理 D1) 電王戦 2015年 5 月 8 日 3 / 7

(13)

背景

人間 vs コンピュータ…ルールを模索しながらの開催 (使用電源, 貸し出しの有無)

木村満晃 (数理 D1) 電王戦 2015年 5 月 8 日 3 / 7

(14)

電王戦 _FINAL

結果

第局 ○ 斎藤慎太郎五段 ● 第局 ○ 永瀬拓矢六段 ● 第局 ● 稲葉陽七段やねうら王 ○ 第局 ● 村山慈明七段 ○ 第局 ○ 阿久津主税八段 ● プロ棋士が初の勝ち越し

対コンピュータ特有の事象が起き話題に

木村満晃 (数理 D1) 電王戦 2015年 5 月 8 日 4 / 7

(15)

電王戦 _FINAL

結果

第 1 局 ○ 斎藤慎太郎五段 vs Apery ● 第 2 局 ○ 永瀬拓矢六段 vs Selene ● 第 3 局 ● 稲葉陽七段 vs やねうら王 ○ 第 4 局 ● 村山慈明七段 vs ponanza ○ 第 5 局 ○ 阿久津主税八段 vs AWAKE ●

プロ棋士が初の勝ち越し

木村満晃 (数理 D1) 電王戦 2015年 5 月 8 日 4 / 7

(16)

電王戦 _FINAL

結果

第 1 局 ○ 斎藤慎太郎五段 vs Apery ● 第 2 局 ○ 永瀬拓矢六段 vs Selene ● 第 3 局 ● 稲葉陽七段 vs やねうら王 ○ 第 4 局 ● 村山慈明七段 vs ponanza ○ 第 5 局 ○ 阿久津主税八段 vs AWAKE ● プロ棋士が初の勝ち越し

木村満晃 (数理 D1) 電王戦 2015年 5 月 8 日 4 / 7

(17)

電王戦 _FINAL

結果

第 1 局 ○ 斎藤慎太郎五段 vs Apery ● 第 2 局 ○ 永瀬拓矢六段 vs Selene ● 第 3 局 ● 稲葉陽七段 vs やねうら王 ○ 第 4 局 ● 村山慈明七段 vs ponanza ○ 第 5 局 ○ 阿久津主税八段 vs AWAKE ● プロ棋士が初の勝ち越し

木村満晃 (数理 D1) 電王戦 2015年 5 月 8 日 4 / 7

(18)

木村満晃 (数理 D1) 電王戦 2015年 5 月 8 日 4 / 7

(19)

木村満晃 (数理 D1) 電王戦 2015年 5 月 8 日 4 / 7

(20)

木村満晃 (数理 D1) 電王戦 2015年 5 月 8 日 4 / 7

(21)

木村満晃 (数理 D1) 電王戦 2015年 5 月 8 日 5 / 7

(22)

コンピュータチェス

将棋=“chess like game”

年に世界チャンピオンのに対しコンピュータが初の勝利

翌年にはコンピュータが勝ち越す

※ はコンピュータチェスの思考を応用して開発された

木村満晃 (数理 D1) 電王戦 2015年 5 月 8 日 5 / 7

(23)

コンピュータチェス

1996年に世界チャンピオンの Garry Kimovich Kasparovに対しコンピュータが初の勝利.

翌年にはコンピュータが勝ち越す

木村満晃 (数理 D1) 電王戦 2015年 5 月 8 日 5 / 7

(24)

コンピュータチェス

翌 1997 年にはコンピュータが勝ち越す.

木村満晃 (数理 D1) 電王戦 2015年 5 月 8 日 5 / 7

(25)

コンピュータチェス

※ Bonanza はコンピュータチェスの思考を応用して開発された.

木村満晃 (数理 D1) 電王戦 2015年 5 月 8 日 5 / 7

(26)

コンピュータチェス

※ Bonanza はコンピュータチェスの思考を応用して開発された.

木村満晃 (数理 D1) 電王戦 2015年 5 月 8 日 5 / 7

(27)

電聖戦

電聖戦…コンピュータ囲碁

今年月に第回電聖戦が行われた

コンピュータにハンデを与えて置碁対局

コンピュータ囲碁が苦戦する理由

探索空間手から最終局面までの手順数が大きい盤面探索空間

チェス ∼

将棋 ∼

囲碁 ∼

評価関数形勢を判定する基準が作りにくい解決策→ モンテカルロ碁

木村満晃 (数理 D1) 電王戦 2015年 5 月 8 日 6 / 7

(28)

電聖戦

今年月に第回電聖戦が行われた

コンピュータ囲碁が苦戦する理由

チェス ∼

将棋 ∼

囲碁 ∼

木村満晃 (数理 D1) 電王戦 2015年 5 月 8 日 6 / 7

(29)

電聖戦

今年 3 月に第 3 回電聖戦が行われた.

コンピュータ囲碁が苦戦する理由

チェス ∼

将棋 ∼

囲碁 ∼

木村満晃 (数理 D1) 電王戦 2015年 5 月 8 日 6 / 7

(30)

電聖戦

コンピュータにハンデを与えて (置碁) 対局.

コンピュータ囲碁が苦戦する理由

チェス ∼

将棋 ∼

囲碁 ∼

木村満晃 (数理 D1) 電王戦 2015年 5 月 8 日 6 / 7

(31)

電聖戦

コンピュータ囲碁が苦戦する理由

チェス ∼

将棋 ∼

囲碁 ∼

木村満晃 (数理 D1) 電王戦 2015年 5 月 8 日 6 / 7

(32)

電聖戦

コンピュータ囲碁が苦戦する理由

探索空間 (1 手から最終局面までの手順数) が大きい

盤面探索空間

チェス ∼

将棋 ∼

囲碁 ∼

木村満晃 (数理 D1) 電王戦 2015年 5 月 8 日 6 / 7

(33)

電聖戦

コンピュータ囲碁が苦戦する理由

探索空間 (1 手から最終局面までの手順数) が大きい盤面探索空間

チェス 8 × 8 ¹⁰⁵⁰∼10¹²⁰ 将棋 9 × 9 ¹⁰⁷¹∼10²²⁰ 囲碁 19 × 19 10¹⁷¹∼10³⁶⁰

木村満晃 (数理 D1) 電王戦 2015年 5 月 8 日 6 / 7

(34)

電聖戦

コンピュータ囲碁が苦戦する理由

チェス 8 × 8 ¹⁰⁵⁰∼10¹²⁰ 将棋 9 × 9 ¹⁰⁷¹∼10²²⁰ 囲碁 19 × 19 10¹⁷¹∼10³⁶⁰ 評価関数 (形勢を判定する基準) が作りにくい

解決策→ モンテカルロ碁

木村満晃 (数理 D1) 電王戦 2015年 5 月 8 日 6 / 7

(35)

電聖戦

コンピュータ囲碁が苦戦する理由

チェス 8 × 8 ¹⁰⁵⁰∼10¹²⁰ 将棋 9 × 9 ¹⁰⁷¹∼10²²⁰ 囲碁 19 × 19 10¹⁷¹∼10³⁶⁰ 評価関数 (形勢を判定する基準) が作りにくい解決策→ “モンテカルロ碁”

木村満晃 (数理 D1) 電王戦 2015年 5 月 8 日 6 / 7

(36)

おわりに

数年後は電聖戦が盛り上がる?

計算数学でコンピュータ囲碁やコンピュータ将棋を扱ってみては

参考

モンテカルロ木探索とは何か？

「コンピュータ将棋」『フリー百科事典ウィキペディア日本語版』

年月日木

（）

木村満晃 (数理 D1) 電王戦 2015年 5 月 8 日 7 / 7

(37)

おわりに

数年後は電聖戦が盛り上がる? 計算数学 II でコンピュータ囲碁やコンピュータ将棋を扱ってみては?

参考

モンテカルロ木探索とは何か？ http://ameblo.jp/evezoo/entry- 10175289834.html

「コンピュータ将棋」『フリー百科事典ウィキペディア日本語版』 2015年 5 月 7 日 (木) 01:33 UTC

（http://ja.wikipedia.org/）

木村満晃 (数理 D1) 電王戦 2015年 5 月 8 日 7 / 7

(38)

おわりに

数年後は電聖戦が盛り上がる? 計算数学 II でコンピュータ囲碁やコンピュータ将棋を扱ってみては?

参考

モンテカルロ木探索とは何か？ http://ameblo.jp/evezoo/entry- 10175289834.html

「コンピュータ将棋」『フリー百科事典ウィキペディア日本語版』 2015年 5 月 7 日 (木) 01:33 UTC

（http://ja.wikipedia.org/）

木村満晃 (数理 D1) 電王戦 2015年 5 月 8 日 7 / 7