terui�kurims.kyoto-u.a .jp 1 Tarski, Chur h, G� odel [6, 11, 12℄ 2 0;1;2;::: N 1 ( ) 1. x;y;z;::: 0 2. t;u S(t);t + u;t �u 0;S(0);SS(0);SSS(0);::: n n 2 ( ) 1. t;u t = u 1 ~ 2. A;B :A;A^B;8xA x senten e A(x) ! _, 9 : ^ 8 t � u � 9x(t + x = u) 8x � t:A � 8x(x � t ! A) 9x � t:A � 9x(x � t ^A) x t;u A 0 1 d e A dAe 2 N A � 1 8x:0 = x d8x:0 = xe \ " 3 ( ) t t 1. 0 0 2. t n S(t) n + 1 3. t;u n;m t + u
現役のタイトル保持者と人工知能が初めて対戦した将棋の「電王戦」二番勝負の第1局は、佐藤天彦名人が、人工知能の「PONANZA」に敗れました。 対戦相手の人工知能「PONANZA」は、去年、プロ棋士に全勝し圧倒的な強さを見せており、これまの電王戦では、プロ棋士は人工知能に対し、5勝12敗1分けと大きく負け越しています。 第1局は栃木県日光市の日光東照宮で行われ、和服姿の佐藤名人と人工知能側の駒を動かすロボットアームが向き合い、PONANZAの先手で始まりました。 途中、2度にわたってPONANZA側にトラブルが起き、合わせて1時間半余りの中断がありましたが、対局はPONANZAが優勢のまま進み、71手までで佐藤名人が投了しました。 敗れた佐藤名人は「中盤まではある程度のところで勝負できていたと思うが、最後は完敗になって残念だった。タイトル保持者としてファンの期待に応えられず残念だ」と話してい
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く