投稿

6月, 2019の投稿を表示しています

7/29 マルレク 「Yet Another AI -- RPAは「推論エンジン」の夢を見るか」の告知ページ公開しました

https://yet-another-ai.peatix.com/view

現在のAI技術の主流は、ディープラーニング技術なのですが、それ以外のもう一つのAI技術("Yet Another AI")として、論理的・数学的推論をコンピュータで行おうというAI技術の流れが存在します。今回は、そうした技術を取り上げます。

ディープラーニングは、生物のニューロンとそのネットワークをモデルにしています。視覚や聴覚・嗅覚といった生物の知覚のシステムを機械でシミュレートし、また、生物の全身の筋肉を連携させてバランスをとって運動する運動能力を機械・ロボットで実現するにはとても優れた技術です。

それは、生物との類似で言えば、蜜を求めて花を回るハチや、上空から獲物を見つけて急降下するハヤブサの、体内のニューラル・ネットワークの働きと同等のものを機械の上で実現しようという技術だと思っていいと思います。

ただ、人間には、そうした、ほとんど全ての生物に共通する感覚・運動能力とは別に、感覚と運動とをワンクッション置いて統合する機能があります。確かに、ハチも「迷う」かもしれないし、ハヤブサも「賢い」かもしれないのですが、人間は、知覚系の入力から条件反射的に運動系を動作させて行動するだけではありません。

人間は、考えます。考えることができることが、人間の知能の大きな特徴だと僕は考えています。

そうした人間の「考える」知能の中核は「推論」する能力にあります。もう少し、抽象的に言えば、人間は論理的・数学的に推論する能力を持っています。それは、「人工知能」技術の重要な対象だと僕は考えています。

ディープラーニング技術は、「推論」する人間をシミュレートできるでしょうか? 答えはおそらくノーです。

ドンキーカーでも自動運転するBMVでも、ディープラーニング技術はとても重要です。ただ、彼らに右側通行か左側通行かといった「交通法規」を覚えさせるのに、ディープラーニングは役立つでしょうか? 多分、もっと上位の層で、ルールを覚えさせることが必要になります。

ネットワークのセキュリティでも、異常検出にディープラーニング的アプローチは役に立ちます。ただ、異常らしきものを検出したとして、それにどう対応すべきかは、「自動化」「機械化」しようと思ったら、たくさんのルールの構築が必要になります。

「推論…

アーリー・アダプターの為の、技術と科学の未来講座

Facebookのマルレク+MaruLaboページを更新して、あらためてマルレク+MaruLaboの目標を明確にしました。

新しいページの「ストーリー」をご覧ください。

「マルレク+MaruLaboは、IT 技術のアーリー・アダプターを主要な対象として、技術と科学の未来を展望する上で丸山が重要と考えるトピックについて、出来るだけ新しい情報を、出来るだけわかりやすく、出来るだけ多くの⼈に、伝えていくことを⽬標にしています。」

新しい趣旨に賛同いただけたら、Facebookのマルレク+MaruLaboページにも、「いいね」お願いします。

【重要かも】

なぜか(多分、僕がミスったのでしょう)、
マルレク+MaruLaboのFacebookページのURLが、
https://www.facebook.com/marulec2018/ から、
https://www.facebook.com/marulec2019/ に変わりました。

マルレク + MaruLabo
コミュニティ · 「いいね!」3,459件

Daniel Harlow

ダニエル・ハーローは、少しジム・キャリーに似ているイケメン物理学者である。

5月の連休に配信元のトラブルで、彼のビデオの一部が見れなかったので、セミナーがひとつ終わったこの土日、彼のレクチャーを6~7本ほどをYoutubeでまとめて観た。面白かった。

AMPSパラドックス(ブラックホールの情報問題の難問)を「量子複雑性」の理論で解決し、現在の物理学の中心的なスキーマであるAdS/CFT対応の解釈に「量子エラー訂正理論」を持ち込み、量子重力ではこれまでの物理のアイデアの支柱だった「対称性」が破れることを示すなど活躍が続いている。

彼のアプローチの特徴は、物理学に情報の理論を持ち込むこと。写真は、2年前のスタンフォードでのComplex Workshopの一コマ。テーマは、"Hardware+Software in Physics" 彼らしい問題意識だ。http://bit.ly/2WWZyUz 

2-30人ほどの小さな規模のワークショップだが、彼のセッションには、サスキンド、マルデセナ、アーロンソンが参加していた。すごい。(僕は、Youtubeで彼らの顔はよく知っているのだ。)

arXivのおかげで、図書館がなくてもあまり困らなくなったのだが、Youtubeのおかげで学会に行かなくてもよくなっている。(ちょっと極論かもしれないが、物理に関しては、この数年のビデオ配信の広がりは目をみはるほどだ。)

これまでは、論文を読むしかなかったのだが、最近、僕は、論文読む前に、著者とテーマでビデオを探す。そのあとで論文を読む。そっちの方がずっと効率的に学べる。

いい時代になったものだ。

(二日だけ自由な時間をとったのだが。また、セミナーの準備に戻らないと)

生命表

去年生まれたばかりの孫の「平均寿命」が80歳だというのに、僕の歳に「平均余命」を足すと85歳になる。 新しい世代の寿命はどんどん伸びているはずなのに、僕の方が、僕の孫より5年長生きする? なんかおかしい。 でも、少し考えたら、この5年の差に思い当たった。 僕から見れば、同じ世代の何人かはすでになくなっているということ。生き延びているだけラッキーなのかも。人生は悲しいものだ。 孫から見れば、これからの平均80年の人生、何が起きるかわからないということ。いのちを大事にするんだよ。人生は厳しいんだよ。
〜「命数知るべからず」 〜  「わたしが思い描く神々の図というのは、オリュンポスの山でごろごろ  しながら、甘美な神の酒と食べ物に溺れ、骨と脂身を焼いた芳香に
 つつまれ、病気の猫にちょっかいを出す十歳の子の集団みたいに
 イタズラで、時間をもてあましている、というもの。
 「今日はどの祈りを聞き届けてやろうか?」と、顔を見あわせ、
 「サイコロをふって決めよう!こいつには希望を、あいつには絶望を。
 でもって、こうして仕事をしている間にも、あの女の人生を
 めちゃくちゃにしてやれ。ザリガニに化けて彼女とセックスしてさ!」
神々は退屈まぎれに、山ほど悪さをしているに違いない。」

負けた。

バッテリーが膨らんでスマホの側面が開き始めたので、瞬間接着剤を流し込んで固めていた。押さえ込んだと思ってたのに、ぱっかりと口が開いた。僕の即席修理前よりひどい状態に。アロン・アルファの根性なしめ。 瞬間接着剤、バッテリーの圧力に勝てないみたい。どこまで膨らむんだろう? ハードの保証対象か確かめようと、ドコモショップに電話したら休みだった。毎月の第三水曜日がドコモショップの定休日だということ初めて知った。まあ、休むのはいいことだとは思う。 ♪ とってもだいじにしてたのに
 こわれてでないおとがある
 どうしよう どうしよう
 オーパッキャマラド、パッキャマラド、パオパオパパパ
 パッキャマラド、パッキャマラド、パオパオパパパ 「買ってもらうぞ 買ってもらうぞ」という歌詞があった。

誰に?

今日はMSさんとの飲み会。@川添さんのお店

イメージ
Java vs. .C# 戦争の昔話もでたけれど、でも、気がつけばみんなMSの人になっている。 僕も、20ちょっとの若い人と話をしていたら、「先生、Javaも知っているんですね」と言われたことがある。「すこしね。」 〜 ゆく河の流れは絶えずして、しかももとの水にあらず。 淀みに浮かぶうたかたは、かつ消えかつ結びて、久しくとどまりたるためしなし。

ゴータム君とアーユルヴェーダ

高田馬場でゴータム君と会う。

稚内の大学の経営状況が思わしくないというニュースを見て、どんな状況なのかを聞きたいと思ったのだが。稚内の大学を離れてからもう10年以上たつのだが、30代の後半から定年までの、僕の人生の「働き盛り」の時期をすごした大学のことは、気になるものだ。

ただ、ゴータム君の話は、意外なものであった。

今日あった彼は、以前と変わらず元気そうに見えたのだが、今年の一月から、重い病気にかかっていて、この半年近く闘病生活を送っていた。呼吸ができなくなり、全身に激しい痛みが走る。本人は、死を覚悟したという。(実際、家族には「余命2~3ヶ月」と告げられたらしい。)

国立ガン研の検査で病名が確定したのだが、肺がんや結核と誤診されて亡くなる人も少なくないという難病だった。ただ、根治は難しく、ステロイドホルモン剤や免疫抑制剤を使う対処療法しかないという。

ここからゴータム君のとった選択は興味深いものだった。

彼は、出身地のネパールに帰り、そこで「アーユルヴェーダ」の治療を受けることにしたのだ。もちろん、日本の医療機関の診断も伝えながら。ネパールのアーユルヴェーダの医師も、この病名は知っていた。ただ、彼らは「この病気は根治できる」と彼に告げたらしい。

ネパールでアーユルヴェーダの治療(食事と呼吸法の指導が主だったようだ)を受け、インドの薬を飲んでいたら、なんと、病気が治ったという。(僕も、この病気のことをネットで調べたのだが、「軽症の場合には自然治癒することも多い」とかいてあった。)

気がついたら、大学のこと聞くのほとんど忘れていた。

いろんなことが起きるものだ。何が彼に起きたのかは、よくはわからないが、ともかく元気になってよかったと思う。







ネット依存

セミナーの準備をしていたら、急にGoogleのサービスが使えなくなってあわてる。

検索、G-Mail、GDriveが反応しなくなる。スマホからはアクセスできるのに、Macからだと繋がらない。

1時間以上そういう状態が続いて、ついさっき回復した。

一番困ったのは、検索が使えないこと。検索が使えないと調べ物ができないからだ(あたま?)になっている。これって、こまったもんだけど、これ以外に戻ることは多分無理。この何年も紙の本は読んでいない。

「無人島に一つだけ持って行くなら何を選ぶ? スマホ。」
というジョークがあったけど、僕も似たようなもの。

VRやARについていろいろ議論はあるけど、僕にとっての最大のAR(拡張現実)は、ネットそのもの。

短い間だったけど、なくなってみると、自分がいかにネットに依存しているかがわかる。

安心したので、昼寝でもしよう。

エゾカンゾウが咲き始めた!

イメージ
例年より半月ほど早い。北海道の5月の異常な暑さも、花たちには良かったみたい。(去年も一昨年も5月の霜にやられた)

写真は、海ぞいの野生地から。すこし内陸のサロベツは、これから。今年は、サロベツ、期待できるかも。

帰りたいな。





予習用資料?

6/21 マルレク・サブゼミ「3時間で学ぶShorのアルゴリズム入門」のための予習用資料公開しました。

6/21マルレク・サブゼミ に多数のお申し込みありがとうございます。参加予定の方、お時間があったら、目を通していただけますか?https://www.marulabo.net/docs/miniguide/

短い資料です(パワポ・スライド 50枚)。Shorのアルゴリズムには触れていません。量子情報理論の基本をまとめたものです。

今回参加されない方も、量子コンピュータを勉強する上での ミニ・ガイドとして利用いただけたらと思います。

今年は、稚内にいる時間を増やせればと思っている。

今年は、稚内にいる時間を増やせればと思っている。 今年の目標は、年間の1/6の2ヶ月を稚内で過ごすこと。 生きているのか死んでいるのかわからない「シュレジンガーの猫」風にいうと、丸山は、「東京の人」と「稚内の人」の「重ね合わせ」の状態になる。   |丸山> = 5/6|東京の人> + 1/6|稚内の人> 東京・稚内を往復する飛行機代が安くなればと思う。 この10年、東京に「単身赴任」してきたのだが、これからもずっとこのままでいいわけではないだろう。田舎で過ごす時間も、夫婦で過ごす時間も必要なのだと思う。 以前に読んだ本に、こんなふうなことが書いてあった。 「科学(特に生命科学)が進歩すると、人間は、150歳まで生きれるようになるかもしれない。50歳は、まだまだ元気な現役世代。その時代、平均して50歳で結婚するようになる。」 これが、ブラックジョークなのは、そのオチを読めばわかる。 「50歳で結婚して、結婚生活は平均して100年続くことになる。夫婦は同じ相手と一世紀つづくのだ! この時代、きっと、離婚を禁ずるカトリック教徒は、減り続けるだろう。」 (僕は、頑張ります) いつになるかわわからないが、ボケて「マルレク」もできなくなったら、田舎で好きな数学や物理の論文を読む生活をしたいな。 ボケて、数学をやろうというのが矛盾している。自分のことでも、先のことは、現在の延長でしか考えていないのだ。ただ、未来は、現在の単純な延長線上にはないのは確かだろう。

「真打」になれない僕

イメージ
といっても落語の修行の話ではなく、Audibleの「リスナー・レベル」の話です。

Audible、時々聴いているのですが、先週、その「リスナー・レベル」に、次の「レベル到達まであと30時間」と表示されているのに気づきました。その次のレベルの名前が「真打」なんです。

なら「真打」になってやろうと思って聴いていたんです。確かに、聴いた分だけ順調に、30時間、29時間、28時間 ... と減っていっていたのですが、「レベル到達まであと1時間」までカウント・ダウンが進んでから異変が起きました。

いくら聴いても、その1時間が減らないのです。

おとついは、24時間 Audibleを聴き続けて見ました。それでも「レベル到達まであと1時間」の状態は変わりません。ちなみに、24時間寝ないでAudible聴いていたわけではありません。ちゃんと寝てました。僕は、これまでも(「二つ目」までは)、「睡眠学習」にAudibleを活用していました。(あは)

なんでだろう?

「寝ながら聴くのはけしからん」とおもったのかしら?
「師匠」が「お前は、二つ目に格下げじゃ」と考えたのかしら?

よくわかりません。

「睡眠学習」の実験を続けようと思います。



「丸山不二夫レクチャーズ」リンク

MaruLaboのページ https://www.marulabo.net/ を更新して、この5-6年の間の講演資料のリンクを整理しました。ご利用ください。 資料をダウンロードしなくても、ページで資料が読めるようになっています!  というのは嘘で、それが目標なのですが、大きすぎてGoogle Driveで表示できない資料(よくありました)は、まだ「表示できないからダウンロードして」というのが、かなり出ています。 現在、ページでの資料の表示が可能になるように、全力で(嘘)、ファイルの分割作業に取り組んでいます。(ぼちぼちやります) 採録した「最古」の資料は、これかな? 「大規模分散システムの現在」http://bit.ly/2InvU5F 2013年7月のものです。今では、「大規模分散システムの遠い過去」ですね。 IT業界長いので、10年前、15年前、 ... にさかのぼれば、まだ山のように書いたものはあるのですが。今は、「古文書」です。少し、悲しいです。  「シジフォス」
 「賽の河原の石積み」
 「祇園精舎の鉦の音」 うーん。 まあ、いいか。 「袖擦り合うも他生の縁」(パラレル・ワールドだ!)。
「これも因果と諦めて」、前に進むしかないですね。 (ほんとかな?)

丸山の6-7月の講演予定

イメージ
6-7月の丸山の講演予定です。

7月29日開催の次回マルレクは、「もう一つの人工知能技術」というテーマで、論理的・数学的推論をコンピュータで行うという課題を考えようと思います。今回は、基本的・原理的な問題を扱う予定ですが、プログラムの仕様からの自動生成や、プログラムの整合性のチェックといった実践的な問題とも接点のある領域です。ご期待ください。

それぞれの詳細については、別ポストで紹介しようと思います。

6月3日のマルレク「暗号技術の現在」のフォローアップの、マルレク・サブゼミ「三時間で学ぶShorのアルゴリズム」については、すでに申し込み受付を開始しています。https://shor.peatix.com/view

6/21   マルレク・サブゼミ
   「三時間で学ぶShorのアルゴリズム

7/6  MaruLabo+角川
   「量子コンピュータで学ぶ量子プログラミング入門

7/9  MaruLabo+角川
   「初めてディープラーニング学ぶ人のための数学入門1
     --- ニューラルネットで行列を理解する

7/29  マルレク
   「論理的・数学的推論を計算する -- もう一つの人工知能技術

人間の記憶・機械の記憶

イメージ
丸山 不二夫さんの初めてタグ付けされたFacebookの写真 https://www.facebook.com/fujio.maruyama/videos/696310690800560/

Facebookから、こんな通知が。いつ「初めてタグ付けされたか」なんて覚えてないよ。人間の記憶と機械の記憶は、少し違うのかな。ちょっと気持ち悪い気もする。 もっとも、機械には、人間と同じような記憶 -それは「覚えている」という「意識」 - は、ないようにもおもう。機械の「記憶」は、情報を保存する機能とそれを検索する機能の組み合わせ。 あれ、人間の記憶も、この点では同じか。 「意識」の有無で機械を責めるのもヤボな気もするので、他のことを考える。 そうだ。僕は、君が覚えていた情報を忘れていた。悔しかったら、人間のように忘れて見せろ。君には出来ないだろう。 (実は、昔のこと、君のおかげで想い出したことは、内緒。)
(それに、それで、僕は、機械に「勝てた」と言えるかは、かなり疑問。いや、負けている。) でも、人か亡くなれば、その人の持つ記憶は、失われるように、機械の記憶も、例えばFacebookという会社が無くなれば、失われるんだね。同じだね。 やはり、そこまで行く前に、生きてるうちに、いろいろ忘れることが出来るのが、機械には出来ない人間の能力かな?  と考えて、自分のボケを、正当化しよう。

6/21 マルレク・サブゼミ 「3時間で学ぶ Shorのアルゴリズム入門」について

6/3 マルレク「暗号技術の現在」のフォロー・アップのセミナーとして、6月21日次のセミナーを開催します。

 日時; 2019年6月21日 19:00~22:00
 場所: 五番町グランドビル 7F / KADOKAWA セミナールーム
 テーマ:「3時間で学ぶ Shorのアルゴリズム入門」
 申し込みページ:https://shor.peatix.com/view

講演概要

6/3のマルレク「暗号技術の現在」では、暗号技術が現在の「公開キー暗号/RSA暗号」から「ポスト量子暗号」に大きく変わろうとしているという話をしました。こうした変化を引き起こした最大の原因は、25年前に発見された「Shorの素因数分解アルゴリズム」です。

RSA暗号は、大きな素数p,q 二つの積である大きな数Nが、たとえNを知っていても、現在のコンピュータでは、その素因数p,qを求めることがとても難しいという事実をその基礎にしています。公開キー暗号は、コンピュータでも分解できないこのNを、事実上、皆の前に公開するという暗号方式です。Shorは「量子コンピュータを使えば」、Nの素因数分解が極めて高速に可能になることを発見しました。それは、「公開キー暗号/RSA暗号」が、簡単に破られるということを意味しています。

ではなぜ、こうした発見が25年間も「暗号技術に対する脅威」とは見なさなかったのでしょうか? その理由は簡単なものです。それは、「量子コンピュータ」が、すぐにも実現する技術とは見なされなかったからです。現時点でも、大きなNに対して、Shorのアルゴリズムでその素因数を求められる量子コンピュータは存在しません。

ただ、20年後40年後は、どうなっているでしょう? 

近年になって、量子コンピュータの「実現可能性」について、大きな認識の変化があります。基本的には、いままでよりかつてなく多くの人が「いつか、確実な時期はわからないが、量子コンピュータは実現するだろう」と考えるようになってきました。Shorのアルゴリズムに対する関心が、新たに高まっているのは、そうした背景があります。NSAやNISTが、「ポスト量子暗号」への動きを本格化しているのは、当然のことだと思います。

1. 量子コンピュータではなぜ高速な計算ができるのか?  量子コンピュータでは、n個の入力に対して、その全ての状態の2^n個の「…

6/3 マルレク「暗号技術の現在」の講演資料です。

イメージ
6/3 マルレク「暗号技術の現在」の講演資料です。ご利用ください。
http://bit.ly/30YB8gP

お申し込みは、次のサイトからお願いします。残席わずかです。
https://qcrypt.peatix.com/

  --------------------------------
  「暗号技術の現在」 はじめにから
  --------------------------------

暗号には「秘密」がつきものであった。1955年、数学者のJohn Nashは、 NSAに対して「鍵の計算に指数関数的時間のかかる」方法を使えば、「誰にも破れない暗号を簡単に作れるようになる」という手紙を送っている。1970年代の初めには、イギリスの情報機関GCHQの科学者たちが、今日の公開キー暗号と同じものを作り上げていた。それはNSAも知っていた。ただ、それらは全て「機密」とされ、世に知られることはなかった。

なぜ、「機密」にされたかといえば、securityの問題は、第一義的に”National Security”の問題だからということなのだが、なぜそうした技術が、広く実用化されなかったという点に関して言えば、別の問題があったことに気づく。それは、当時のコンピュータには、少なくとも経済的には、こうした複雑な計算を実行する計算能力が十分ではなかったのである。

現在の暗号化技術の基本が出来上がるのは、1976/1977年のことである。その技術の真価は、80年代のコンピュータのコンシューマライゼーション(PC-AT, Windows, …)を経て、90年代半ばのインターネットのグローバルな拡大、経済活動のグローバル・ネットワーク化、個人のネットワークへの登場を通じて、全面的に開花する。この技術なしでは、今日のネットワークの成功はなかったろう。

このことは、同時に、暗号化技術が、もはや、もっぱら ”National Security”のみにかかわる技術ではなくなったことを意味する。今では、誰もが暗号化技術を必要とし、誰もがそれを、オープンな「標準技術」として利用できる。それは、大きな変化である。
暗号化技術は、その時代で利用可能なコンピュータの計算能力、その時代で利用可能な通信基盤に大きく依存している。それは歴史的に変化するものだと僕は考えている。

現代の暗号化技術の大きな特…