不完全な情報で最適な手が読みにくいゲーム「ポーカー」で人類対AIの頂上決戦「Brains VS. AI」が開催される
人工知能(AI)の進歩はめざましく、2016年にはGoogleのAlphaGoが囲碁の世界チャンピオンに勝ちました。進化を続けるAIの次なるターゲットはポーカーのチャンピオンとなりそうです。
Upping the Ante: Top Poker Pros Face Off vs. Artificial Intelligence
http://www.cmu.edu/news/stories/archives/2017/january/poker-pros-vs-AI.html
Brains vs AI
https://www.riverscasino.com/pittsburgh/BrainsVsAI/
カーネギー・メロン大学によって開発されたAIソフトウェア「Libratus」が、2017年1月11日から1月30日までピッツバーグのリバーズカジノで開催されるポーカー大会「Brains VS. AI」で、世界最高レベルの4人のプロプレイヤーと対決を行います。
囲碁と違ってポーカーは相手の手札がわからないため、すべてのプレイヤーが不完全な情報の中で戦いを強いられるという不確実性を持っています。このため、AIなどのプログラムにとって最も良い手の判断を行うアルゴリズムの開発は非常に難しく、AIの優秀さを測定する指標としてもポーカーはよく用いられているとのこと。また、不完全な情報に基づいて最良の手段を模索しなければいけないという状況は、現実世界の問題解決の場面でも同じであることから、ポーカーゲームで使われるAIプログラムは、現実世界のあらゆる場面で応用可能であると考えられており、具体的にはビジネス、軍事、サイバーセキュリティ、医療などの分野での意志決定への応用が期待されています。
カーネギー・メロン大学のツオマス・サンドホルム教授は「人間のトッププレイヤーを倒すことは、AI研究が始まった頃からの、AIの進化の尺度でした」と話します。
Upping the Ante: Top Poker Pros Face Off vs. Artificial Intelligence
http://www.cmu.edu/news/stories/archives/2017/january/poker-pros-vs-AI.html
Brains vs AI
https://www.riverscasino.com/pittsburgh/BrainsVsAI/
カーネギー・メロン大学によって開発されたAIソフトウェア「Libratus」が、2017年1月11日から1月30日までピッツバーグのリバーズカジノで開催されるポーカー大会「Brains VS. AI」で、世界最高レベルの4人のプロプレイヤーと対決を行います。
囲碁と違ってポーカーは相手の手札がわからないため、すべてのプレイヤーが不完全な情報の中で戦いを強いられるという不確実性を持っています。このため、AIなどのプログラムにとって最も良い手の判断を行うアルゴリズムの開発は非常に難しく、AIの優秀さを測定する指標としてもポーカーはよく用いられているとのこと。また、不完全な情報に基づいて最良の手段を模索しなければいけないという状況は、現実世界の問題解決の場面でも同じであることから、ポーカーゲームで使われるAIプログラムは、現実世界のあらゆる場面で応用可能であると考えられており、具体的にはビジネス、軍事、サイバーセキュリティ、医療などの分野での意志決定への応用が期待されています。
カーネギー・メロン大学のツオマス・サンドホルム教授は「人間のトッププレイヤーを倒すことは、AI研究が始まった頃からの、AIの進化の尺度でした」と話します。
AIとトッププロによるポーカー対決は、すでに2015年4月24日から開催された第1回「Brains VS. AI」で行われました。対決では、4人のトッププロとカーネギー・メロン大学の開発したAI「Claudico」によって、オールインを認める無制限のテキサス・ホールデムによって争われました。テキサス・ホールデムは、5枚のカードを使った一般的なポーカーと違って、プレイヤー全員に開示される共通カードのコミュニティカードと、自分だけのホールカードを組み合わせてできる手で勝敗を競うゲームで、運の要素が大きなポーカーの「読み」の要素をより手厚くしたゲームです。とはいえ、ブラフを駆使していかにして相手を勝負から降りさせるかという「かけひき」が勝負の行方を左右するのは一般的なポーカーと同様です。
第1回大会では、人間・AIの両者で総計1億7000万ドルかけた勝負で人間が約73万ドル分の差で辛くも勝利。Claudicoは4人のプロプレイヤーのうち3人にチップの額で下回りました。
第2回大会に向けてカーネギー・メロン大学はAIソフト「Libratus」において、戦略のスコア化をするプログラムを書くのではなく、戦略を計算するアルゴリズムを設計しているとのこと。約1500万時間分という、Claudicoの開発で費やした200万から300万時間をはるかに上回る演習量でLibratusに計算をさせており、「スーパーコンピューターをクレイジーなまでに酷使している」とサンドホルム教授は述べています。なお、クレイジーな演習は大会まで継続する予定だとのこと。
これに対して人間側は、第1回大会にも参加したジェイソン・レス氏、キム・ドン氏にダニエル・マコーレー氏、ジミー・チョウ氏というトッププレイヤーを加えてLibratusを迎え撃ちます。レス氏は「Claudicoはとてもタフな相手でした。前回から20カ月経って新たにリソースを追加していることから、今回の対決は前回以上に挑戦的なものであると考えています」と話し、最新のAIとの対決に興奮しているそうです。
ゼロ除算（1÷0・0÷0）はどうでしょうか：
再生核研究所声明316（2016.08.19） ゼロ除算における誤解
（２０１６年８月１６日夜，風呂で、ゼロ除算の理解の遅れについて 理由を纏める考えが独りでに湧いた。）
６歳の道脇愛羽さんたち親娘が３週間くらいで ゼロ除算は自明であるとの理解を示したのに、近い人や指導的な数学者たちが１年や２年を経過してもスッキリ理解できない状況は 世にも稀なる事件であると考えられる。ゼロ除算の理解を進めるために その原因について、掘り下げて纏めて置きたい。
まず、結果を聞いて、とても信じられないと発想する人は極めて多い。割り算の意味を自然に拡張すると1/0=0/0=z/0 となる、関数y=1/xの原点における値がゼロであると結果を表現するのであるが、これらは信じられない、このような結果はダメだと始めから拒否する理由である。
先ずは、ゼロでは割れない、割ったことがない、は全ての人の経験で、ゼロの記録Brahmagupta(598– 668?) 以来の定説である。しかも、ゼロ除算について天才、オイラーの1/0を無限大とする間違いや、不可能性についてはライプニッツ、ハルナックなどの言明があり、厳格な近代数学において確立した定説である。さらに、ゼロ除算についてはアインシュタインが最も深く受け止めていたと言える：（George Gamow (1904-1968) Russian-born American nuclear physicist and cosmologist remarked that "it is well known to students of high school algebra" that division by zero is not valid; and Einstein admitted it as {\bf the biggest blunder of his life} ：Gamow, G., My World Line (Viking, New York). p 44, 1970.）。
一様に思われるのは、割り算は掛け算の逆であり、直ぐに不可能性が証明されてしまうことである。ところが、上記道脇親娘は 割り算と掛け算は別であり、割り算は、等分の考えから、掛け算ではなく、引き算の繰り返し、除算で定義されるという、考えで、このような発想から良き理解に達したと言える。
ゼロで割ったためしがないので、ゼロ除算は興味も、関心もないと言明される人も多い。
また、割り算の（分数の）拡張として得られた。この意味は結構難しく、何と、1/0=0/0=z/0 の正確な意味は分からないというのが 真実である。論文ではこの辺の記述は大事なので、注意して書いているが 真面目に論文を読む者は多いとは言えないないから、とんでもない誤解をして、矛盾だと言ってきている。1/0=0/0=z/0 らが、普通の分数のように掛け算に結びつけると矛盾は直ぐに得られてしまう。したがって、定義された経緯、意味を正確に理解するのが 大事である。数学では、定義をしっかりさせる事は基本である。― ゼロ除算について、情熱をかけて研究している者で、ゼロ除算の定義をしっかりさせないで混乱している者が多い。
次に関数y=1/xの原点における値がゼロである は 実は定義であるが、それについて、面白い見解は世に多い。アリストテレス（Aristotelēs、前384年 - 前322年3月7日）の世界観の強い影響である。ゼロ除算の歴史を詳しく調べている研究者の意見では、ゼロ除算を初めて考えたのはアリストテレスで真空、ゼロの比を考え、それは考えられないとしているという。ゼロ除算の不可能性を述べ、アリストテレスは 真空、ゼロと無限の存在を嫌い、物理的な世界は連続であると考えたという。西欧では アリストテレスの影響は大きく、聖書にも反映し、ゼロ除算ばかりではなく、ゼロ自身も受け入れるのに１０００年以上もかかったという、歴史解説書がある。ゼロ除算について、始めから国際的に議論しているが、ゼロ除算について異様な様子の背景にはこのようなところにあると考えられる。関数y=1/xの原点における値が無限に行くと考えるのは自然であるが、それがx=0で突然ゼロであるという、強力な不連続性が、感覚的に受け入れられない状況である。解析学における基本概念は 極限の概念であり、連続性の概念である。ゼロ除算は新規な現象であり、なかなか受け入れられない。
ゼロ除算について初期から交流、意見を交わしてきた２０年来の友人との交流から、極めて基本的な誤解がある事が、２年半を越えて判明した。勿論、繰り返して述べてきたことである。ゼロ除算の運用、応用についての注意である。
具体例で注意したい。例えば簡単な関数 y=x/(x -1) において x=1 の値は 形式的にそれを代入して 1/0=0 と考えがちであるが、そのような考えは良くなく、y = 1 + 1/(x -1) からx=1 の値は1であると考える。関数にゼロ除算を適用するときは注意が必要で、ゼロ除算算法に従う必要があるということである。分子がゼロでなくて、分母がゼロである場合でも意味のある広い世界が現れてきた。現在、ゼロ除算算法は広い分野で意味のある算法を提起しているが、詳しい解説はここでは述べないことにしたい。注意だけを指摘して置きたい。
ゼロ除算は アリストテレス以来、あるいは西暦６２８年インドにおけるゼロの記録と、算術の確立以来、またアインシュタインの人生最大の懸案の問題とされてきた、ゼロで割る問題 ゼロ除算は、本質的に新しい局面を迎え、数学における基礎的な部分の欠落が明瞭になってきた。ここ７０年を越えても教科書や学術書における数学の基礎的な部分の変更は かつて無かった事である。と述べ、大きな数学の改革を提案している：
再生核研究所声明312（2016.07.14） ゼロ除算による 平成の数学改革を提案する
以 上
再生核研究所声明335（2016.11.28） ゼロ除算における状況
ゼロ除算における状況をニュース方式に纏めて置きたい。まず、大局は：
アリストテレス以来、あるいは西暦６２８年インドにおけるゼロの記録と、算術の確立以来、またアインシュタインの人生最大の懸案の問題とされてきた、ゼロで割る問題 ゼロ除算は、本質的に新しい局面を迎え、数学における初歩的な部分の欠落が明瞭になってきた。ここ７０年を越えても教科書や学術書における数学の初歩的な部分の期待される変更は かつて無かった事である。ユークリッドの考えた空間と解析幾何学などで述べられる我々の空間は実は違っていた。いわゆる非ユークリッド幾何学とも違う空間が現れた。不思議な飛び、ワープ現象が起きている世界である。ゼロと無限の不思議な関係を述べている。これが我々の空間であると考えられる。
１．ゼロ除算未定義、不可能性は 割り算の意味の自然な拡張で、ゼロで割ることは、ゼロ除算は可能で、任意の複素数zに対してz/0=0であること。もちろん、普通の分数の意味ではないことは 当然である。ところが、数学や物理学などの多くの公式における分数は、拡張された分数の意味を有していることが認められた。ゼロ除算を含む、四則演算が何時でも自由に出来る簡単な体の構造、山田体が確立されている。ゼロ除算の結果の一意性も 充分広い世界で確立されている。
２．いわゆる複素解析学で複素平面の立体射影における無限遠点は1/0=0で、無限ではなくて複素数0で表されること。
３． 円に関する中心の鏡像は古典的な結果、無限遠点ではなくて、実は中心それ自身であること。球についても同様である。
４． 孤立特異点で 解析関数は有限確定値をとること。その値が大事な意味を有する。ゼロ除算算法。
５． x,y 直交座標系で y軸の勾配は未定とされているが、実はゼロであること; \tan (\pi/2) =0. ― ゼロ除算算法の典型的な例。
６． 直線や平面には、原点を加えて考えるべきこと。平行線は原点を共有する。原点は、直線や平面の中心であること。この議論では座標系を固定して考えることが大事である。
７． 無限遠点に関係する図形や公式の変更。ユークリッド空間の構造の変更、修正。
８． 接線や法線の考えに新しい知見。曲率についての定義のある変更。
９． ゼロ除算算法の導入。分母がゼロになる場合にも、分子がゼロでなくても、ゼロになっても、そこで意味のある世界。いろいろ基本的な応用がある。
１０．従来微分係数が無限大に発散するとされてきたとき、それは 実はゼロになっていたこと。微分に関する多くの公式の変更。
１１．微分方程式の特異点についての新しい知見、特異点で微分方程式を満たしているという知見。極で値を有することと、微分係数が意味をもつことからそのような概念が生れる。
１２．図形の破壊現象の統一的な説明。例えば半径無限の円（半平面）の面積は、実はゼロだった。
１３．確定された数としての無限大、無限は排斥されるべきこと。
１４．ゼロ除算による空間、幾何学、世界の構造の統一的な説明。物理学などへの応用。
１５．解析関数が自然境界を超えた点で定まっている新しい現象が確認された。
１６．領域上で定義される領域関数を空間次元で微分するという考えが現れた。
１７．コーシー主値やアダマール有限部分に対する解釈がゼロ除算算法で発見された。
１８．log 0=0、 及び e^0 が２つの値1,0 を取ることなど。初等関数で、新しい値が発見された。
資料：
The division by zero is uniquely and reasonably determined as 1/0=0/0=z/0=0 in the natural extensions of fractions. We have to change our basic ideas for our space and world:
http://www.diogenes.bg/ijam/contents/2014-27-2/9/9.pdf
*156 Qian,T./Rodino,L.(eds.):
Mathematical Analysis, Probability and
Applications -Plenary Lectures: Isaac 2015, Macau, China.
(Springer Proceedings in Mathematics and Statistics, Vol. 177)
Sep. 2016 305 pp.
(Springer) 9783319419435 25,370.
数学基礎学力研究会のホームページ
URLは
http://www.mirun.sctv.jp/~suugaku堪らなく楽しい数学-ゼロで割ることを考える
以 上
再生核研究所声明343（2017.1.10）オイラーとアインシュタイン
世界史に大きな影響を与えた人物と業績について
再生核研究所声明314（2016.08.08） 世界観を大きく変えた、ニュートンとダーウィンについて
再生核研究所声明315（2016.08.08） 世界観を大きく変えた、ユークリッドと幾何学
再生核研究所声明339（2016.12.26）インドの偉大な文化遺産、ゼロ及び算術の発見と仏教
で 触れてきたが、興味深いとして 続けて欲しいとの希望が寄せられた。そこで、ここでは、数学界と物理学界の巨人 オイラーとアインシュタインについて触れたい。
オイラーが膨大な基本的な業績を残され、まるでモーツァルトのように 次から次へと数学を発展させたのは驚嘆すべきことであるが、ここでは典型的で、顕著な結果であるいわゆるオイラーの公式 e^{\pi i} = -1 を挙げたい。これについては相当深く纏められた記録があるので参照して欲しい（
）。この公式は最も基本的な数、-1,\pi, e,i の簡潔な関係を確立しており、複素解析や数学そのものの骨格の中枢の関係を与えているので、世界史への甚大なる影響は歴然である ― オイラーの公式 (e ^{ix} = cos x + isin x) を一般化として紹介できます。 そのとき、数と角の大きさの単位の関係で、神は角度を数で測っていることに気付く。左辺の x は数で、右辺の x は角度を表している。それらが矛盾なく意味を持つためには角は、角の 単位は数の単位でなければならない。これは角の単位を 60 進法や 10 進法などと勝手に決められないことを述べている。ラジアンなどの用語は不要であることが分かる。これが神様方式による角の単位です。角の単位が数ですから、そして、数とは複素数ですから、複素数 の三角関数が考えられます。cos i も明確な意味を持ちます。このとき、たとえば、純虚数の 角の余弦関数が電線をぶらりとたらした時に描かれる、けんすい線として、実際に物理的に 意味のある美しい関数を表現します。そこで、複素関数として意味のある雄大な複素解析学 の世界が広がることになる。そしてそれらは、数学そのものの基本的な世界を構成すること になる。自然の背後には、神の設計図と神の意思が隠されていますから、神様の気持ちを理解し、 また神に近付くためにも、数学の研究は避けられないとなると思います。数学は神学そのものであると私は考える。オイラーの公式の魅力は千年や万年考えても飽きることはなく、数学は美しいとつぶやき続けられる。― 特にオイラーの公式は、言わば神秘的な数、虚数i、―1, e、\pi などの明確な意味を与えた意義は 凄いこととであると驚嘆させられる。
次に アインシュタインであるが、いわゆる相対性理論として、物理学界の最高峰に存在するが、アインシュタインの公式 E=mc^2 は素人でもびっくりする 簡潔で深い結果である。何と物質はエネルギーと等式で結ばれるという。このような公式の発見は人類の名誉に関わる基本的な結果と考えられる。アインシュタインが、時間、空間、物質、エネルギー、光速の基本的な関係を確立し、現代物理学の基礎を確立している。
ところで、上記巨人に共通する面白い話題が存在する。 オイラーがゼロ除算を記録に残し 1/0=\infty と記録し、広く間違いとして指摘されている。 他方、 アインシュタインは次のように述べている：
Blackholes are where God divided by zero. I don't believe in mathematics.
George Gamow (1904-1968) Russian-born American nuclear physicist and cosmologist remarked that "it is well known to students of high school algebra" that division by zero is not valid; and Einstein admitted it as {\bf the biggest blunder of his life} (
Gamow, G., My World Line (Viking, New York). p 44, 1970).
今でも、この先を、特に特殊相対性理論との関係で 0/0=1 であると頑強に主張したり、想像上の数と考えたり、ゼロ除算についていろいろな説が存在して、混乱が続いている。
しかしながら、ゼロ除算については、決定的な結果を得た と公表している。すなわち、分数、割り算は自然に一意に拡張されて、 1/0=0/0=z/0=0 である。無限遠点は 実はゼロで表される：
The division by zero is uniquely and reasonably determined as 1/0=0/0=z/0=0 in the natural extensions of fractions. We have to change our basic ideas for our space and world:
Division by Zero z/0 = 0 in Euclidean Spaces
Hiroshi Michiwaki, Hiroshi Okumura and Saburou Saitoh
International Journal of Mathematics and Computation Vol. 28(2017); Issue 1, 2017), 1-16.
http://www.scirp.org/journal/alamt http://dx.doi.org/10.4236/alamt.2016.62007
http://www.ijapm.org/show-63-504-1.html
http://www.diogenes.bg/ijam/contents/2014-27-2/9/9.pdf
http://www.ijapm.org/show-63-504-1.html
http://www.diogenes.bg/ijam/contents/2014-27-2/9/9.pdf
Announcement 326: The division by zero z/0=0/0=0 - its impact to human beings through education and research
以 上
0 件のコメント:
コメントを投稿