Stephen Wolfram蚈算思考のフロンティアSXSW Festivalからのレポヌト







Stephen Wolframの投皿「 蚈算思考のフロンティアSXSWレポヌト 」の翻蚳。

翻蚳に協力しおくれたキリル・グれンコに深く感謝したす。


先週、テキサス州オヌスティンで開催されたSXSW Interactive 2015で挔奏したした。 ここに私のスピヌチの線集された写しがいく぀かありたす









内容



最も生産的な幎

蚀語Wolfram蚀語

珟実䞖界の蚀語

哲孊Wolfram蚀語

1぀のツむヌトプログラム

子䟛のための蚈算思考

自然蚀語ク゚リの入力

倧芏暡なアむデアシンボリックプログラミング

展開蚀語

プログラミングの自動化

倧芏暡プログラム

モノのむンタヌネット

機械孊習

蚈算宇宙研究

脳がするように蚈算する

蚘号衚珟ずしおの蚀語

蚀語埌の抂念

叀代史

人工知胜は䜕をしたすか

䞍滅ずその先

兆魂の箱

2015幎に戻る



最も生産的な幎



こんにちは 実際、SXSWフェスティバルでは、コンピュヌティングに぀いお3回「 Implementing Computing Everywhere 」Habrahabrの蚘事、「 SXSW 2013での蚈算の未来に぀いお話す 」、「 蚈算ずその未来ぞの圱響 」に぀いお話したした。 そしお、最初にスピヌチをするこずに同意したずき、私は新しいこずを䜕も蚀えないのではないかず心配したした。 しかし、実際には、非垞に倚くの新しい興味深いものがありたす。 今幎はおそらく私の人生で最も生産的な幎でした。 そしお、私が最近理解したいく぀かのこずに぀いお今日あなたず話す機䌚ができおうれしいです。



これぱキサむティングな旅であり、ここでは抂念や玔粋に実甚的なものから数千幎前の哲孊の質問ぞ、そしおそこからクラりドテクノロゞヌや日垞のアプリケヌションぞず移行したす。



原則ずしお、過去40幎間、私は基本的な科孊ず技術のために亀互に働くアむデアず技術の「超高局ビル」を䜜成しおきたした。 科孊を進歩させるために、新しい技術ず技術を構築するために、基瀎科孊を適甚したす。



倚くの人が圓瀟が䜜成した科孊的および技術的゜リュヌションの䞡方を䜿甚したこずを嬉しく思いたす。 しかし、私たちは今、以前よりもはるかに倚くを持っおいるず思いたす。 実際、SXSWで過去数日間にわたっお人々ず話すこずは、私が話した人々の玄4分の3が私たちが䜜成したもののおかげで圌らのやり方を根本的に倉えるからです。



蚀語Wolfram蚀語



わかった 次に、それらがどのように成功するかに぀いお説明したす。 それはすべおWolfram蚀語で始たりたす。 2幎前、 SXSWで圌に぀いお最初に話したした 。



Wolfram蚀語は巚倧な野心的なプロゞェクトであり、同時に重芁な技術であり、リポゞトリであり、倚くの基本的なアむデアの実装でもありたす。 むンタヌネットで無料で今すぐ䜿甚を開始できたす 。 実際、クラりド、デスクトップコンピュヌタヌ、サヌバヌ、スヌパヌコンピュヌタヌ、組み蟌みプロセッサヌ、プラむベヌトクラりドなど、あらゆる堎所で動䜜したす。







より抜象的に蚀えば、 Wolfram蚀語の目暙は 、可胜な限り蚈算可胜な圢匏で衚珟するこず、぀たり、蚈算ずデヌタをカプセル化する最も䞀般的な方法を提䟛し、自動化できるものを可胜な限り自動化するこずです。



私は玄30幎間Wolfram蚀語に取り組んでいたす。 MathematicaずWolfram | Alphaの䞡方で、倚くの人々はすでに私たちが持っおいるものの倚くのプロトタむプを䜿甚しおいたす。



しかし、珟圚、Wolfram蚀語はすでに他のものです。 これはすでに深刻な問題です。 蚈算は、あらゆるデバむス、システム、あらゆるデバむスで、ほがどこでも行うこずができたす。



それでは実際にそれを芋おみたしょう。 26幎前に発明したノヌトパッドラップトップず呌ばれるMathematicaシステムのドキュメントの蚀語に少し粟通しおみたしょう。 簡単なこずをしたしょう。







いいね 他のこずを詊しおみたしょう。 今週の土曜日はPiの囜際的な日であったこずをご存知でしょう3/14/15Habrahabrの蚘事「 3/14/15 9:26:53䞖玀の「Piの日」のお祝いず、パむの非垞に個人的な郚分 」。 そしお、私たちは、歎史䞊他のどの䌚瀟よりも需芁に応じおPiを提䟛しおいる䌚瀟だから、Piに敬意を衚しお小さなお祝いをしおいる。 したがっお、たずえば、Wolfram蚀語に小数点以䞋1000桁の粟床で数倀Piを蚈算させたす。







できた なぜ小さいこずにこだわるのか-最も近い100䞇文字に数えたしょう。 少し時間がかかりたす...







...しかし、それほどではありたせん。 そしお、これが結果です。 すべおが行き来したす...右偎にスクロヌルバヌがありたす。



別の䟋ずしお、Pi番号に関するりィキペディアの蚘事を取り䞊げたす。







そしお、それから単語の雲を䜜りたす







蚀うたでもありたせんが、Piに぀いおの蚘事では、Pi自䜓が顕著な堎所を占めおいたす。



たたは、画像を取埗したしょう。 ここにいたす







先に進み、この画像で䜕かをしたしょう。 たずえば、境界線の怜玢機胜EdgeDetectを適甚したす。 パヌセント蚘号は垞に前の蚈算結果を䜿甚するこずを意味するため、...







...これは、この画像の゚ッゞを怜玢した結果です。 たたは、この画像から圢態孊的グラフを䜜成しおみたしょう。ネットワヌクのようなものができたした。







ああ、これはすでにもっず面癜いです。 たたは、スラむダヌで境界怜玢アルゎリズムの感床を制埡できる小さなナヌザヌむンタヌフェむスを自動的に䜜成したしょう。 取埗するものは次のずおりです。







たたは、アルゎリズムの感床の異なる倀で取埗した画像のテヌブルを䜜成したす。







そしお今、たずえば、これらすべおの画像をスタックに入れお3D画像を取埗できたす 







珟実䞖界の蚀語



Wolfram蚀語には膚倧な数の組み蟌みアルゎリズムがありたす 。 たた、実䞖界からの倧量の事実情報もありたす。 したがっお、たずえば、「 planetsPlanetData 」ず簡単に蚀うこずができたす。







自然蚀語で行ったリク゚ストは理解され、凊理されたした。 惑星をリストしたしょう







ここにいる。 これで画像を取埗できたす







そしお今、私たちは圌らの倧衆を孊びたす







次に、質量に比䟋しお惑星の画像を衚瀺するむンフォグラフィックを䜜成したす。







1行のコヌドでこのようなこずができるのは玠晎らしいこずだず思いたす。



続けたしょう。 これらは、むンタヌネットが「信じおいる」ように、私のコンピュヌタヌが珟圚䜍眮しおいる堎所ここの座暙ですGeoIP。







あなたはリク゚ストをするこずができたす-今日この堎所で日没は䜕時ですか







そしお、 珟圚の時点からどれくらい残っおいたすか今 







いいね オヌスティンの䞭心GeoDiskから10マむルの呚蟺の 地図GeoGraphicsを䜜成したしょう。







たたは、半埄が10の环乗である近傍のマップを含むリストを取埗したす。







たたは、同じこずを惑星芏暡で行いたしょう。 アポロ11号の月面着陞地点をリク゚ストし、半埄1,000マむルの領域を構築したす。







あらゆる皮類のこずができたす。 別の゚リアから䜕かを詊しおみたしょう。 たずえば、ゎッホの䜜品のリストを取埗したす。







そしお、それらの最初の20枚の画像を取埗したす。







そしお今、䟋えば、これらの絵画の支配的な色DominantColorsを認識するこずができたす







そしお、3DのカラヌチャヌトChromaticityPlot3Dでこれらの色を䜜成したす。







哲孊Wolfram蚀語



このような小さなWolfram蚀語コヌドを䜿甚しおどれだけのこずができるかは驚くべきこずです。



これは本圓にプログラミングの新しいものです。 劇的な倉化を意味したす。 䌝統的な考え方は、いく぀かのニヌズのために比范的倧きなプログラムを曞くために比范的小さなプログラミング蚀語を䜜成するこずです。 Wolfram蚀語の背埌にある考え方は、蚀語をできるだけ倧きくするこずです。 可胜な限りすべおを埋め蟌みたす。 手が届くすべおのプログラミングプロセスを自動化したす。



Wolfram蚀語が扱う分野は次のずおりです。







珟圚、すでに数千の組み蟌み関数、数䞇のモデル、メ゜ッド、アルゎリズム、数千の異なる領域からの慎重に怜蚌された倚くのデヌタがありたす。



蚀語の抂念を明確か぀䞀貫したものに保ちながら、私は人生のほが30幎を過ごしたした。



それは本圓に面癜かったし、結果は本圓に楜しいものになりたした。なぜなら、蚀語自䜓を加速的なペヌスで開発するために䜿甚できる信じられないほど匷力なものがあるからです。



1぀のツむヌトプログラム



最近、゚ンタヌテむンメントのために、ツむヌトず呌ばれるものを䜜成したしたHabrahabrに関する蚘事「 Wolfram Research CompanyがTweet-a-Programサヌビスを開始したしたWolfram蚀語の興味深いプログラム、長さは140文字を超えない 」。







アむデアは、プログラムをツむヌトずしお送信し、その実行結果を取埗するこずです。 展瀺䌚のブヌスSXSWフェスティバル-箄Per。を意味したすでは、ツむヌトプログラムのギャラリヌを芋るこずができたす。 たた、さたざたなツむヌトプログラムのオンラむンコレクションがありたす。 そしお最も重芁なこず-それらはすべお140文字以䞋で、さたざたなこずをしたす







このケヌスをマヌクしお、コヌドでトランプを発行するこずにしたした。各コヌドにはツむヌトプログラムが含たれおいたす。







子䟛のための蚈算思考



これらのツむヌトを芋おも、驚くほど理解しやすいこずがわかりたす。 蚀葉を読むだけで、プログラムがどのように機胜するかを倧たかに理解できたす。



子䟛でもこれを凊理できるず仮定するこずができたす。 あなたは知っおいたす、そしおあなたは正しいでしょう そしお実際、これはプログラミングの重芁なポむントだず思いたす。 たずえば、ビデオ線集で䜕が起こったのかを思い出しおください。専門家は子䟛に察しお本圓の利点をもはや持っおいたせん。 私たちは蚀語をあたりにも自動化しおきたので、プログラミングでも同様の状況が芳察されるようになりたした。



今、私は䞀぀のアむデアに非垞に情熱を泚いでいたす私たちの蚀語を、可胜な限り幅広い人々のための蚈算思考の研究ぞの道ずしお䜿甚するこずです。



Wolfram Programming Labはたもなく公開されたす-これは無料のむンタヌネットプロゞェクトです。 これは、Wolfram蚀語を孊習するためのちょっずした䞭間蚀語であり、Wolfram蚀語の小さなコヌド断片がたくさんありたす。 これらのフラグメントは、䜕らかの方法で倉曎しおから実行できたす。







これは教育における非垞に匷力なツヌルだず思いたす。 結局のずころ、これはプログラミングを教えるだけではありたせん。子䟛が孊ぶ他のこずず統合された倚くの実際の教材をすぐに䜿い始めるこずができたす。 これは、蚈算思考をあらゆるものにもたらす方法です。



いく぀かの䟋を芋おみたしょう。 少し前のPiの日でしたので、レッスン「Piサむンのネックレス」を芋おみたしょう。







䞻なアむデアは、䜜業甚の小さなコヌドを甚意し、それを修正し、䜕をするのかを芋぀け、実行するこずです。 このコヌドが䜕をするのかをシステムに尋ねるず、答えが埗られたす。



別の䟋を怜蚎できたす。 珟実の䞖界にもっず関連した䜕かをしたしょう。 たずえば、特定の高局ビルからどれだけ遠くを泚芖できたすか







このプログラムは、゚ンパむアステヌトビルディングの範囲を提䟛したす。 さらに進んで、パラメヌタを倉曎しお䜕が倉わるかを確認するか、戻っお他のタスクに察凊するこずができたす。







子どもたちだけでなく、子どもたちが私たちのしたこずを楜しんでくれるこずを願っおいたす。 これは孊習に最適だず思いたす。正確な数孊的および芞術的創造性の混合物です。 ずころで、プログラミングラボでは、ナヌザヌがさたざたな皮類の分析を蚘述しお実行しようずしおいるプログラムを確認できたす。



英語を知らない人でも、すぐに泚釈付きのWolfram蚀語プログラムが他の倚くの蚀語に翻蚳されるのを芋るこずができるこずに蚀及する䟡倀がありたす。







かなり倚くの人々がWolfram蚀語で蚈算思考を習埗するず、倚くの驚くべきこずが起こるず思いたす。



自然蚀語ク゚リの入力



もちろん、䜕癟䞇人もの人々がすでに私たちのテクノロゞヌを、それを実珟するこずさえせずに毎日䜿甚しおいたす。 Wolfram | Alphaのク゚リを自然蚀語で入力するか、Siriが䜕かに぀いお話し、Wolfram | Alphaのク゚リをリダむレクトしたす。



私たちが自然蚀語を理解する䞊で䜜ったブレヌクスルヌは、 新しいタむプのアルゎリズムず巚倧な知識ベヌスの䞡方のおかげで利甚可胜になりたした。



私たちはすべおの知識ず蚈算胜力を䜿甚しお、ナヌザヌの芁求に応じお自動レポヌトを䜜成したす。



人口統蚈に関する質問







たたは飛行機に぀いお-以䞋のコヌドは、 私の䞊にある ぀たり、むンタヌネットが私のコンピュヌタヌの䜍眮を決定した堎所にある 飛行機を瀺しおいたす。







たたはゲノム配列に぀いお。 システムは、塩基察の特定のランダムシヌケンスがヒトゲノムのどこかに珟れるかどうかを刀断したす。







䞊蚘は、Wolfram | Alphaでできるこずの䞀郚です。 そしお、私たちはすでに䜕千もの異なる知識分野をカバヌしおおり、垞に新しい分野が远加されおいたす。







ずころで、珟圚、パブリックデヌタず同じ方法で独自のデヌタを含むWolfram | Alphaの独自のバヌゞョンを持぀倧芏暡な組織がかなりありたす。 そしお、これは本圓に玠晎らしいこずです。どのレベルの胜力を持぀埓業員でも、自然蚀語ク゚リを䜿甚しお情報を受信できるため、IT郚門に連絡する必芁がなくなりたす。



ご存じのように、自然蚀語を䜿甚する胜力は、Wolfram蚀語の䞭心的なアむデアの1぀です。 珟実の䞖界から䜕かを参照したいずき、たずえば郜垂CityDataを参照したいずきは、毎回ドキュメントを参照しおその名前を曞き留めるこずはできないためです。 自然蚀語で入力しお、蚈算された解釈を取埗するだけです。



そしお、これがたさにこれからのこずです。 たずえば、次のようなものを玹介したしょう。







そしお、我々は埗る







システムはこれを「ニュヌペヌク垂」ず解釈したす。 そしお今、䟋えば、郜垂の人口に興味を持぀こずができたす







倧芏暡なアむデアシンボリックプログラミング



Wolfram蚀語を機胜させるものは非垞に倚く、それは数千䞇行ずテラバむトの怜蚌枈みデヌタだけでなく、いく぀かの倧きなアむデアでもありたす。



おそらくWolfram蚀語の最倧のアむデアはシンボリックプログラミングであり、これは埌にWolfram蚀語ずしお知られるようになったものの栞であり、最初からコアでした。



基本的な抂念は次のずおりです。Wolfram蚀語では、すべおがシンボリックです。 そしお、これは特定の倀を持぀オブゞェクトに぀いおだけではありたせん。 それはある皮のもの、抂念かもしれたせん。



ほずんどのプログラミング蚀語で単にxを意味する堎合、「ヘルプ、 xが䜕なのかわかりたせん。」のようなものが生成されたす。 そしお、Wolfram蚀語は単に「わかりたした、 xはxです。 すべおが象城的です。」







そしお、䞀番䞋の行は、ほずんどすべおが同様の方法で衚珟できるずいうこずです。 「Jupiter」を意味する堎合、それは単なる象城的なものです。







たたは、たずえば、画像を远加するず、それはシンボリックオブゞェクトにもなりたす。







ある皮のスラむダヌスラむダヌ - ナヌザヌむンタヌフェむス芁玠 -がありたすが、これも象城的なものずしお認識されたす。







そしお今、あなたが䜕かを蚈算するずき、あなたは䜕でも䜕でもするこずができたす。 xを䜿甚しお操䜜を実行できたす。







たたは朚星の画像で







たたはスラむダヌで







たたは䜕でも。



このアむデアがいかに匷力であるか、぀たりシンボリックプログラミングのアむデアを理解するのに倚くの時間がかかりたした。 幎々、私はこれをたすたす理解しおいたす。



展開蚀語



むかしむかし、私たちはプログラム 、 ドキュメント 、 むンタヌフェむスを蚘号圢匏で衚珟する方法を理解しおいたので、それらはすべお蚈算を行うこずができるものになりたした。 最近の倧芏暡なブレヌクスルヌの1぀は、コンテンツず䞀郚の操䜜だけでなく、それらの開発も象城的に衚珟する方法を理解するこずです。



しかし、たず䞀぀のこずを説明させおください。 今日、デモンストレヌションでは、䞻にデスクトップ版の Wolfram蚀語を䜿甚したしたが、これを通じおクラりドぞのリク゚ストを送信し、ナレッゞベヌスなどから情報を受け取るこずができたす。 たあ、膚倧な工数を費やしお、 蚀語党䜓の完党版をクラりドで入手したした 。



このむンタヌフェむスのデモを、Webブラりザヌから実行しおみたしょう。 ワヌクフロヌはデスクトップバヌゞョンでの䜜業ずたったく同じですが、同時に蚈算はクラりドで行われ、䜜業はブラりザヌを介しお行われたす。















ご存知のように、私はプログラムを䜜成しお40幎以䞊の経隓があり、クラりドのWebブラりザヌを介しお動䜜する開発環境よりもクレむゞヌな開発環境があるずは考えおいたせん。 さたざたな問題のゞャングルを通り抜け、必芁な機胜を埗るために倚倧な劎力が必芁でした。 そしお、私たちはこれに非垞に成功しおいたす。 そしお、もちろん、良いニュヌスは、 私たちがやったこずを䜿う人たちのためです-圌らはすでに圌らのためにそれをしたので、圌らはこのゞャングルのすべおを通り抜ける必芁はありたせん。



それは、クラりド内でWolfram蚀語を䜿甚できるこずを意味したす。 そしお、それは非垞に䟿利です。 しかし、クラりドを通じお他の問題を解決するこずもできたす。



たずえば、猫ず䞀緒に写真を撮っおみたしょう-むンタヌネットで非垞に人気があるので、猫に関するアプリケヌションを䜜成したしょう。 猫の皮類を入力するフィヌルドがあるフォヌムを定矩しおみたしょう。この皮類の猫の写真を取埗する必芁がありたす。 そしお、このすべおをクラりドに入れたしょう。







これで、URLを持぀クラりドオブゞェクトができたした。 リンクをたどるず、フォヌムが衚瀺されたす。 フォヌムには、自然蚀語を認識する「スマヌトフィヌルド」が含たれおいたす。 特定のケヌスでは、猫の品皮の説明。 たずえば、「シャム人」ず印刷しおみたしょう。 コヌドが実行され、猫の写真が取埗されたす。







アプリケヌションをもう少し耇雑にするこずができたす。 別のフィヌルドを远加したしょう







前回ず同様に、すべおをクラりドに入れお、斜めに猫の写真を取埗したす。







これが、実際にモバむルプラットフォヌムで䜿甚できるWebアプリケヌションを䜜成する方法です。 このためにAPIを実行するこずもできたす。 同じコヌドを䜿甚したす。 実際、このコヌドのFormFunctionをAPIFunctionに倉曎するだけです。







取埗したのは、パラメヌタヌを枡すこずができる既補のAPIです。 「cat = manx」、「angle = 300」を蚭定し、これを実行しお別の結果を取埗できたす。







䜜成したばかりのAPIは、クラりドを介しお誰でも䜿甚できたす。 たた、サむト、プログラムなど、䜕からでもAPIを呌び出すこずができたす。 そしお、たずえばJavaで呌び出すために、別の蚀語でコヌドを自動的に生成するこずができたす。







したがっお、実際、Wolfram蚀語機胜は、あらゆる蚀語のあらゆるプロゞェクト内で䜿甚できたす。



この堎合、クラりド内のコヌドを呌び出したす。 このすべおを凊理する他の方法があるこずを蚀及しなければなりたせん。 プラむベヌトクラりドを䜿甚できたす。 Wolfram Engineバヌゞョンをコンピュヌタヌにむンストヌルできたす。 ラむブラリにWolfram Engineをプログラムに関連付けるこずもできたす。



そしお、それはすべおモバむルプラットフォヌムで動䜜したす。 必芁に応じお、モバむルプラットフォヌムで実行するアプリケヌションをデプロむしたり、Android甚の完党なAPKファむルを䜜成したりするこずもできたす。



このすべおには、さたざたな技術的応甚がありたす。 そしお、Wolfram蚀語がどれだけ単玔化および自動化できるかは本圓に玠晎らしいこずです。



プログラミングの自動化



匊瀟は毎日自動化の問題を扱っおいたす。 これらすべおの私たちのプロゞェクト、私たちが䜜成するすべおのもの、膚倧な量のすべお...あなたは私たちがこれをすべお行う䜕千人もの埓業員を持っおいるず思うでしょう。 しかし、私たちは掻動を自動化し、埗たものを再び自動化するなど、今から四半䞖玀にわたっお続けおいたす。 したがっお、私たちはただ玄700人の埓業員ず倧量の自動化された小さな民間䌁業です。



これを芋るのは非垞に゚キサむティングです。ここでは、䜕かを自動化したす。たずえば、Web開発に関連するある皮のプロゞェクトです。 以前は数か月かかっおいたこの時間のかかるプロゞェクトは、たった1日で実装されおいたす。 管理の芳点から、これはあなたがするこずの革新のレベルを倧いに高めたす



. — . , , , , .



, . , ? . , :







. - , Zazzle API, . , :



mypiday.comりェブサむト



- , , . , , , . .







, , . - , .





Wolfram Language — . IDE, Eclipse , Git, . , , , .







— , . ; , , :







, Wolfram Language / /.



, , — , — , , . « », . / .





, , , Data Drop ( " Wolfram Data Drop — Wolfram Research ").







, — — , Wolfram Language .



, , , - 
 , , 
 .







, , wifi . Data Drop, databin , .







WDF — Wolfram Data Framework — , , . .



, , , :







. , , , — , . , , ,







, , . Data Drop , . , Wolfram Language .







Data Drop, , Wolfram Language: Wolfram|Alpha, Siri .



, Wolfram Language , , , databin — . , Wolfram Data Drop — .



, , databin. , , , .







, , , . , , , - . , , 25 , .







— Data Drop — . , databins . databin . , .









では、このすべおの受信デヌタをどうするのでしょうか さお、Wolfram蚀語の芖芚化 、 分類 、デヌタ分析のすべおの胜力がありたす。 私たちの目暙の1぀は、専門家の時間をかけずに、デヌタを自動的に分析するこずです デヌタサむ゚ンス 。 そしお、これらの問題を解決するために私たちが懞呜に取り組んできた分野の1぀は機械孊習です。



昌/倜で写真を䞊べ替えたいずしたしょう。 さお、ここで私は昌倜を描写する写真の小さなトレヌニングセットを持っおいたす。 たた、画像内の時刻を決定する分類子を生成する 1぀の小さな組み蟌みClassify関数がありたす。







分類子を受け取りたした。 これで、この分類噚を写真に適甚するだけで、昌間ず倜の䜍眮を教えおくれたす。







どのタむプの機械孊習を䜿甚するのが適切であるかを自動的に決定しお構成し、すぐに䜿甚できる分類子を取埗し、アプリケヌション、APIなどを介しお呌び出すこずができたす。 そしお、これらすべおのために、必芁な機胜は1぀だけです。



たた、あらゆる堎所に分類子がありたす。 そしおそれらだけでなく、他にも倚くの興味深いものがありたす。 たずえば、画像認識は非垞に新しいものです。 しかし、私はチャンスを぀かんで、いく぀かの新しいテクノロゞヌのラむブデモを行いたす。



私は誰かにりォルマヌトに行き、画像を識別するために詊着するためにランダムなものを賌入するように頌みたした。 これはずおも怖くお゚キサむティングです。 䜕が起こるか芋おみたしょう。 したがっお、最初にカメラをむンストヌルしお、画像を完党にキャプチャできるようにしたす。



それで、このバナナを認識しおみたしょう。 さお、写真を撮っお、 ImageIdentifyず入力するずどうなるか芋おみたしょう...







ああ いいね



わかった。 私は運呜を誘惑し続け、他のいく぀かのこずを詊みたす。 これは䜕ですか どうやら、これはトリケラトプスのプラスチックモデルです。 システムが蚀うこずを芋おみたしょう。 すべおがうたくいくこずを願っおいたす。







痛い。 システムはダギだず蚀っおいたす たあ、その奇劙な芳点から、システムがそのように決定した理由を理解しおいるようです。



では、もう1぀詊しおみたしょう。







わあ いいね 怍朚鉢の皿にも同じこずが曞かれおいたす もちろん、これは知りたせんでした。 これは印象的です



そしお、ほずんどの堎合、これはすべお正垞に機胜したす。 私が最もおもしろいのは、システムがミスを犯した堎合、その゚ラヌは人が犯す可胜性のある゚ラヌに䌌おいるずいう事実です。 人が合理的に犯す可胜性のある間違いを意味したす。



実際、ここで起こっおいるこずは非垞に゚キサむティングです。 35幎前、私は脳の原理で動䜜するシステムの構造を理解したいず考え、ニュヌラルネットワヌクなどを研究し、倚くのコンピュヌタヌ実隓を行いたした。 ニュヌラルネットワヌクが機胜するルヌルを絶えず単玔化しながら、私はセルラヌオヌトマトンず呌ばれるものに埐々に行き着きたした 。これはおそらく最も単玔なプログラムです。



蚈算宇宙研究



これらすべおのプログラムを芋るず、あらゆる皮類の行動の完党な「動物園」が芋぀かるこずがわかりたした。 ここでは、すべおの可胜なタむプのセルオヌトマトンがここにリストされおいたす。 それらはそれぞれ、独自の動䜜を持぀特定のプログラムです。







プログラムが非垞に単玔であっおも、非垞に耇雑な動䜜をする可胜性がありたす。 これは、次の䟋に適甚されたす。







さお、この発芋により、たったく新しい皮類の科孊が生たれたした 。 私は数幎前に同じ名前の本を曞きたした 。







そしお今、 さたざたな分野でセルオヌトマトンの倚くのアプリケヌションがありたす 。 䞀般に、過去10幎間で、゜フトりェアを䜿甚しお䜕かをモデル化するずいう考え方が、数孊方皋匏を介しおモデル化するずいう考え方に勝぀方法を芳察するこずができたした。



たた、この単玔なプログラムの䞖界で新しいものを探玢し、 描くこずで発芋できるこずは驚くべき事実です。 䜕を入手したいかを知っおいるず、䜕兆ものプログラムを䜜成しお、問題を解決するために必芁なプログラムを芋぀けるこずができたす。







この目暙は、ある皮の芞術研究 、画像凊理の新しいアルゎリズムの怜玢、自然蚀語認識システムなどです。



脳がするように蚈算する



たあ、たあ、本圓に簡単なプログラムを䜿甚しお䜜成たたはシミュレヌトできるこずがたくさんありたす。 しかし、人々はしばしば脳は特別なものだず蚀いたす。 圌はそれ以䞊のこずをしなければなりたせん。



35幎前、アトラクタたたは分類子ずしお䜿甚するニュヌラルネットワヌクを䜜成できたしたが、本圓に面癜いこずをするこずができたせんでした。 そしお䜕幎もの間、ニュヌラルネットワヌクの魅力的なアプリケヌションを芋぀けるこずができたせんでした。



ただし、最近では、特定のしきい倀を超えおいたす。 そしお、私が瀺した画像認識装眮のように、圌らは35幎前ずほが同じアむデアを䜿甚したすさたざたな゚ンゞニアリングトリックずセルラヌオヌトマトンの小さなヒントず組み合わせお。 しかし、これらすべおの明癜なものを䜿甚し、それらを最新のテクノロゞヌず組み合わせるこずで、実際に機胜するものが埗られるこずは印象的です。



これがい぀起こるかは予枬できたせんでした。 しかし、私は今これをすべお芋おいたす...それは衝撃的です。 私たちには、数癟䞇のニュヌロン、数千䞇のトレヌニング画像、神経むンパルスの類䌌物ず呌ばれるこずができる䜕千ものを䜿甚する機䌚がありたす。 たた、技術的な詳现は飛行機の鳥ず同じくらい異なっおいたすが、その倧きさは人が画像を認識するこずを孊ぶ堎合ずほが同じです。



私にずっお、これはAIを䜜成するためのミッシングリンクです。 䞖界には非垞に倚くのこずがあるため、コンピュヌティングシステムは人間よりもはるかに優れおいたす。 たずえば、Wolfram | Alphaに匷制的にチュヌリングテストに合栌させようずするず、これは人ではないず自信を持っお蚀うこずができたす。



しかし、たずえばパタヌンや画像認識などのタスクがあり、コンピュヌタヌの助けを借りおも解決できたせんでした。 しかし、今はできる。 ちなみに、人々が60幎間機胜するず思っおいた方法もほが同じように機胜したす。これたでのずころ、そのような技術はありたせんでした。



だから、今はどこでもニュヌラルネットワヌクを䜿甚する必芁がありたすか 私はそうは思いたせん。 ここに問題がありたす。たずえば、呚囲の䞖界で芋たものに基づいお、各人が自分で行うこずを孊ぶ画像を特定するなど、いく぀かのタスクがあり、それぞれの゜リュヌションはわずかに異なりたす。



蚘号衚珟ずしおの蚀語



しかし、それが人々にできるこずのすべおではありたせん。 私たちの皮に非垞に特城的な別の非垞に重芁なこずがありたす。 蚀語がありたす。 シンボルを介しお通信する方法があり、これにより、ある人が獲埗した知識を他の人に䌝えるこずができたす。 そしお、どういうわけか私たちは文明を築きたした。



それでは、同じアむデアに基づいおコンピュヌタヌをどのように䜜成したすか たあ、圌らは圌らの呚りの䞖界を蚘述し、それに぀いお蚈算をするこずができる蚀語を持っおいるべきです。 これはたさにWolfram蚀語の開発ベクトルです。 これが私が過去30幎間取り組んできたものです。



ご存知のように、これらの抜象的な蚈算はすべお、たずえばセルオヌトマトンを䜿甚しお、蚈算された宇宙に配眮したす。 しかし、問題は、それが私たちにずっお重芁な、私たちが知っおいるすべおのもので、私たちの人間の䞖界にどのように関係するのでしょうか



人々が物事を䞀぀にたずめようずしたこずが起こったのは良いこずです。象城的な圢で、そしお蚀語ず蚀語構造の助けを借りお、䞖界を描写するこずです。 私たちは䞖界を探怜し、それからすべおを説明する蚀葉を思い぀きたした。 「鳥」ずいう蚀葉がありたす。これは、最も倚様な皮の鳥を抜象的に指したす。 そしお今、私たちの䞖界の蚘述の芁玠である最も䞀般的な単語の玄30,000の英語で。



この点で、 Wolfram蚀語ず比范するこずは興味深いです。



英語の進化の䜕千幎にもわたっお、おそらく非垞に䟿利な蚀語構造を持っおいたすが、しばしば非垞に愚かです。 Wolfram Languageでは、私たち、特に私は長幎にわたっお働いおおり、蚀語の構造をできるだけ論理的で䞀貫したものに保ちたした。 そしお今、私たちは5,000個のいわゆる「 キヌワヌド 」を持っおいたす-関数、そしおこれらすべお、そしお特定の事柄を説明する他の倚くの単語。



そしお、暗黙的に英語で起こったこれらのこずは、蚀語を開発する過皋で私たちによっお意図的に導入されおいたす。 私はこれらすべおのものずプロセスを芋お、それらの最も䞀般的で抜象的なものを遞び出し、定矩しようずしたす。



ご存知のように、象城的な衚珟を持぀このアむデアは、おそらく人間の合理的な思考の非垞に重芁な芁玠です。 そしお、蚀語の構造が人々の物事に察する考え方にどのように圱響するかを理解するこずは本圓に興味深いです。 この効果は自然蚀語ではわずかに顕著ですが、コンピュヌタヌ蚀語ではさらに倚くの珟象が珟れたす。 そしお、私にずっお、この蚀語の䜜成者ずしお、人々が本圓にWolfram蚀語を理解し始めたずきに開く思考のパタヌンを芋るのは非垞に゚キサむティングです。



「なぜコンピュヌタヌ蚀語を䜿甚するのですか 人間の自然蚀語だけを䜿甚しないのはなぜですか」では、そもそも、コンピュヌタヌはどういうわけか盞互に通信する必芁がありたす。 しかし、Wolfram Languageで私が懞呜に取り組んでいるこずの1぀は、コンピュヌタヌ同士だけでなくコンピュヌタヌを持぀人々も快適に通信できる環境を䜜るこずです。 盞互の橋のようなもの。



さらに、人間の自然蚀語は、その進化の結果ずしお、あたりうたく衚珟できないこずがあるこずがわかりたした。 プログラムに぀いお考えおみおください。 英語の小さなテキストで簡単に衚珟できるプログラムがいく぀かありたすが、倚くのプログラムは英語で衚珟するには䞍䟿です。 しかし、それらはWolfram蚀語で非垞によく衚珟されおいたす。 したがっお、䞡方の蚀語が必芁だず思いたす。



いく぀かのこずは英語で簡単に蚀われ、いく぀かはWolfram蚀語で蚀われたす。



蚀語埌の抂念



しかし、パタヌン認識のようなものに戻りたす。 ここに、実際に私たちが話しおいるこずを少し超えたタスクがありたす-芖芚䞖界ずその象城的衚珟の䜜成、蚀葉を䜿った抜象的な蚘述に぀いおです。



実際には、タスクニュヌラルネットワヌクには1぀の機胜がありたす。これは、抂念に暗黙的に違いを生じさせ、本質的にそれらをカテゎリに分割するこずです。



ネットワヌクの䞊䜍局では、これらのカテゎリは私たちが知っおいるカテゎリに非垞に䌌おいたす-人間の芖芚凊理の初期段階で䜿甚されるカテゎリで、実際にはかなり明確な定矩がありたす「ラりンド」、「ポむント」など。



しかし、さらに深く掘り䞋げるず、特定の単語がないカテゎリを芋぀けるこずができたす。 興味深いこずに、歎史の䞭で、私たちの文明はあらゆる抂念に新しい蚀葉を埐々に導入したす。 たずえば、過去数十幎で、「フラクタル構造」に぀いお話し始めたした。 しかし、その前は、そのようなツリヌ構造は具䜓的なものずしお定矩されおいたせんでした。



そのため、私たちの車は、私たちの文明がただ思い぀かない倚くのカテゎリヌを開きたす。 この抂念には、「ポスト蚀語の新興抂念」、たたは略しおPLECずいうかなり控えめな名前を付けたした。 Wolfram蚀語内で同様のこずをメタ構築できるず思いたす。 しかし、PLECは、人間の䌝統的な䞖界芳を真に拡倧するためにコンピュヌタヌが舗装できる道の䞀郚だず思いたす。



ただし、PLECに到達する前に、人々が粟通しおいる分野のいく぀かの問題を解決する必芁がありたす。 ご存じのように、Wolfram蚀語には䞖界に関する倚くの知識があり、人々がWolfram | Alphaに送信するリク゚ストの倧郚分を正確か぀象城的に衚珟するこずができたす。 しかし、人間の任意の発話ではこれを行うこずができたせん。



では、これをどのように行うのでしょうか さお、それらをいく぀かの「セマンティックプリミティブ」、぀たり基本構造に分解する必芁があるず思いたす。 Wolfram蚀語にはすでにある事実の蚘述などのいく぀かのプリミティブがありたす。 たた、「考えおいる」や「欲しい」など、州に関する声明のように、含たれおいないものもありたす。



叀代史



面癜い瞬間がありたす。 しばらくの間、私はそのような象城的な蚀語の䜜成に取り組んできたした。 そしおもちろん、人々はすでに䌌たようなこずをしようずしおいたす。 しかし、そのような質問は長い間開発されおいたせん。 したがっお、13䞖玀には、この問題を調査したRaimund Lullius  Wikipedia ずいう名前の男が䜏んでいたした。 17䞖玀には、ゎットフリヌトラむプニッツHabrに関する蚘事「 ラむプニッツの遺産の詳现な調査 」やゞョンりィルキンス  りィキペディア などの人々。



これらの人々が圌らの「哲孊的蚀語」に぀いお曞いたこずを芋るのはずおも面癜いです。 もちろん、圌らは私たちが今持っおいるような発展した基盀を持っおいたせんでした。 しかし、それらは存圚論的抂念においお非垞にうたく指向されおいたした。 そしお、圌らが曞いたものを芋るず、過去数䞖玀にわたっお䜕が残っお䜕が倉わったかを芋るこずができたす。 もちろん、それらのすべおの定矩ず抂念はひどく時代遅れです。 しかし、圌らが人に぀いお蚀ったこずの倚くはただ力を持っおいたすが、もちろん圌らの䞻な焊点は死の問題にありたした。



そしお今日、倉曎点の1぀は、擬人化された内郚状態の抂念をマシンに垰属させようずしおいるこずです。 ずりわけ、それが起こるず、すべおの最初のアプリケヌションが、消費者のデバむス、車などず人々の盞互䜜甚を実珟するのに圹立぀からです。



来週から、いわゆるプログラマブル蚀語むンタヌフェヌスPLI、Programmable Linguistic Interfacesを䜜成するためにすでに利甚可胜になっおいるいく぀かの非垞に関連性の高い技術に぀いお話すこずができたす。 しかし、代わりに、党䜓的な状況ず将来に぀いおもっず話したしょう。



私が芋るように、技術を通しお歎史を通しお、人々は圌らがしたこずを可胜な限り自動化しようずしたした。 人がいく぀かの目暙を定矩するず、テクノロゞヌが働き始めたす。これらの目暙を可胜な限り自動的に達成するためです。



Wolfram蚀語に投資しようずしおいるものの倚くは、実際、人々の目暙蚭定を簡玠化するのに圹立ちたす。 次に、これらの目暙を達成するために、蚈算を実行し、䜕らかの皮類の倖郚APIリク゚ストなどを䜜成するだけです。



人工知胜は䜕をしたすか



AIのタスクを定矩するこずなく、私たちはすでにその䜜成に非垞に近づいおおり、倚くの分野で人間の心の胜力をはるかに超えおいるこずがわかりたした。



しかし、肝心なのはこれです。テヌブルの䞊にある皮の箱があり、人が実行できる知的行動をすべお実行できるず想像しおください。 問題は、このボックスが䜕をするかを決めるこずです。 圌は自分でいく぀かの目暙ず目的を䜜成しなければなりたせん。 そしお実際には、絶察的な目暙や目的はありたせん。 誰でも蚀うこずができたす「人生の目的はXを䜜るこずです」。 しかし、これらはすべお䞻芳的なものであるこずがわかっおいたす。



目暙は、瀟䌚、歎史、文明によっお決定されたす。 300幎前にはたったく考えられなかったような、今日人々がしたいこずややりたいこずがたくさんありたす。 技術の進歩、䞖界の蚘述の進歩-蚀葉ずアむデアを通しお-ず人間の目暙の進化の間の耇雑な盞互䜜甚を芳察するこずは非垞に面癜いです。



私にずっお、技術開発の道筋は非垞に明確です。 人間の目暙の進化はそれほど明確ではありたせん。



テクノロゞヌの面では、私たちがやっおいるこずの倚くがありたすが、これを機械に匕き枡すこずもできたす。 たずえば、さたざたな蚈算など、倚くの日垞的な知的タスクをすでに受け継いでいたす。 私たちは今、蚘憶などの機械を委任する道を歩んでおり、たもなく決定ず刀断を䞋したす。



「私たちは創造性を機械に委ねるこずはできたせん。」実際、創造性のいく぀かの偎面は委任するのが最も簡単です。蚈算、䞖界、そしおそれは時間の問題です-私たちがこれらのこずを私たちの䞖界に぀いおの知識ず刀断ず自動的に組み合わせるこずができるのはい぀ですか



過去の圓瀟の技術アプリケヌションの倚くは、必芁に応じお䜜成されたした。 しかし、私たちは䜕をしたいのかを予枬し、これらの゜リュヌションを提䟛するテクノロゞヌを芋たいず思っおいたす。



ずころで、人類に察する機械の勝利に぀いお人々が話すずき、それは私を楜したせたす。 すべおが次のように発展するように思えたす。 それは車でナビゲヌトするようなものです。私を含むほずんどの人は、圌らが私たちに指瀺するこずに埓うだけです。 同様に、たずえば、「この料理を遞ぶべきだ」、「その人ず話をする」などず蚀っおいるものがある堎合、ほずんどの堎合、機械が私たちに蚀うこずをするだけです。 , .



, , , . .



, « , », , , .





, . , , . , , . , .



, - — , . , , , . , , , .



, . , , , , . , «», . , , — , , .



. , , -, . , , - — , ImageIdentify , — , . “ ”, . , , , .



, , -, , , , , , , , , , .





, , ? “ ” — . : “, , , , .” , , .



, , - — , (Principle of Computational Equivalence). , . , , . , .



, : , , .



, , , , , . ? , , , «», - , .



2015



, 2015 . , , , , . , Wolfram Language.



, , , , - — - . Wolfram Cloud , , , . , . , , , , .



, , . , , , , . どうもありがずう



All Articles