(Translated by https://www.hiragana.jp/)
Wolfram Science:計算宇宙を使って新しい種類のテクノロジーを生み出す

Wolfram Computation Meets Knowledge

テクノロジー

Wolfram Science™.

計算けいさん宇宙うちゅう基礎きそ科学かがく使つかってあたらしい種類しゅるいのテクノロジーを

Stephen Wolframの2002ねん著書ちょしょ「A New Kind of Science」の頭文字かしらもじちなんで「NKS」としてもられているWolfram Scienceは,作成さくせい可能かのうなプログラムの計算けいさん宇宙うちゅう,つまりその動作どうさ一般いっぱん特性とくせい応用おうよう理解りかいすることをあつか基礎きそ科学かがく一部いちぶです.

Wolfram Scienceは,計算けいさんについてのあたらしいかんがかた計算けいさんとうのテクノロジー創成そうせいのためのあたらしいアプローチをひらきます.


Wolfram Scienceのかんがかたによって,作成さくせい可能かのうなプログラムの計算けいさん宇宙うちゅう利用りようすることは,Wolframの製品せいひん使用しようされるアルゴリズムを作成さくせいするさい重要じゅうようなアプローチとなっています.Wolfram Researchは長期ちょうきてきなビジョン企業きぎょうとして,Wolfram Scienceとその知的ちてき発展はってんをサポートしつづけます.

簡単かんたんなプログラムでおどろくような動作どうさ

Wolfram Scienceにおける中核ちゅうかくてき発見はっけんは,1ぎょう未満みまんWolfram言語げんごコードとう非常ひじょうみじかいプログラムでも,おどろくほどゆたかで複雑ふくざつなことができるというてんです.

ルール30

これはStephen Wolframのおりの発見はっけんは,非常ひじょう複雑ふくざつなのでおおくのめんでランダムにさええる動作どうさ生成せいせいする,おどろくほど簡単かんたんなプログラムです.これらのめん非常ひじょうにランダムなため,すぐれた擬似ぎじ乱数らんすう生成せいせい作成さくせいできます.

計算けいさん宇宙うちゅう探究たんきゅう

望遠鏡ぼうえんきょうによって現在げんざい天文学てんもんがく可能かのうとなり,現在げんざい物理ぶつりがくみちびかれたように,Wolfram言語げんごとその先駆さきがけとなったものによって、計算けいさん宇宙うちゅう探究たんきゅう可能かのうとなり,Wolfram Scienceがみちびかれました.

計算けいさん等価とうかせい原理げんり

Stephen Wolframの中心ちゅうしん原則げんそくは,長年ながねんわた計算けいさん宇宙うちゅう研究けんきゅうから演繹えんえきてきみちびかれました.これは,科学かがく,テクノロジー,そして世界せかいたいする我々われわれかんがかたふか影響えいきょうあたえるものです.

可能かのうなすべての数学すうがく空間くうかん

今日きょう数学すうがくは,Mathematicaおおくの関数かんすうとらえられているように,特定とくてい公理こうりもとづいています.Wolfram Scienceは,まだ発見はっけんされていない数学すうがく分野ぶんやす,可能かのう公理こうりゆたかな空間くうかん強調きょうちょうしています.

自然しぜん計算けいさんモデル

Stephen Wolframをはじめとするおおくの人々ひとびと克明こくめい研究けんきゅうけて,数学すうがく方程式ほうていしきよりも簡単かんたんなプログラムのほうが,幅広はばひろけいとく複雑ふくざつ動作どうさられる場合ばあいには,広範こうはんけいのモデリングの方法ほうほうとしてこのまれるようになりました.

汎用はんようせい出発しゅっぱつてん

汎用はんようコンピュータをつくるのになに必要ひつようでしょうか.Wolfram Scienceのこたえは,おどろくほど簡単かんたんなシステムでさえ,なんでも計算けいさんできるようプログラムできる汎用はんようコンピュータとしての役割やくわりたせるというものです.

生物せいぶつがくのパラダイム?

デジタル情報じょうほう概念がいねんがゲノミクスをしたように,計算けいさん宇宙うちゅうについてのかんがかた将来しょうらい多様たよう生物せいぶつがくてき過程かてい,および医学いがくむずかしいものにする複雑ふくざつせい理解りかいすることにつながるかもしれません.

物理ぶつりがくもとめる

簡単かんたんなプログラムで複雑ふくざつ動作どうさ無限むげん生成せいせいできるのであれば,このぜん宇宙うちゅう簡単かんたんなプログラムだけであらわすことができるかもしれません.Stephen Wolframはながあいだこのかんがえを研究けんきゅうしており,多様たよう結果けっかしてきましたが,まだ宇宙うちゅう発見はっけんにはいたっていません.

創造そうぞうせい自動じどう

計算けいさん宇宙うちゅうのプログラムはすべて,それ自身じしん結果けっかふくあたらしいアイディアのようなものです.その奇抜きばつさ,かしこさ,有用ゆうようせいうつくしさにおどろかされることもあります.

自然しぜんかいうつくしさの一般いっぱん

自然しぜんかい特定とくてい簡単かんたんなプログラムにしたがうことで,複雑ふくざつうつくしい形式けいしき生成せいせいします.しかし,計算けいさん宇宙うちゅうのプログラムすべてを使つかっても,自然しぜんのように探究たんきゅうできるうつくしさはきることがありません.

WolframTonesあたらしい種類しゅるい音楽おんがく

着信ちゃくしんおんだい流行りゅうこうした2005ねん構築こうちくされたWolframTonesは,計算けいさん宇宙うちゅうからしたものをもとにみじか音楽おんがく作成さくせいします.

生物せいぶつがく創造そうぞうりょく

簡単かんたんなプログラムをさがすというかんがえは,あたらしいものではありません.実際じっさいこれは自然しぜん淘汰とうた同様どうよう生物せいぶつがくにおいておおきな影響えいきょうりょくつものであり,生物せいぶつがくられる際限さいげんなく創造そうぞうてきかつ複雑ふくざつ形式けいしきにつながる可能かのうせいがあるものです.

Wolfram Scienceの芸術げいじゅつ

簡単かんたんなプログラム(とくにセルオートマトン)は,プログラムの計算けいさん宇宙うちゅう検索けんさくすることで見付みつけられたさまざまなスタイルを形式けいしきで,装飾そうしょく美術びじゅつ生成せいせいひろ使つかわれてきました.

建築けんちく形式けいしき

建築けんちくプロジェクトで,かくれた論理ろんりゆたかで複雑ふくざつ構造こうぞう形式けいしき必要ひつよう場合ばあい,Wolfram Scienceを使つかってそれを生成せいせいする簡単かんたんなプログラムを見付みつけることがよくあります.

アルゴリズムの発見はっけん

わたしたちなんせんねんもテクノロジーのために物理ぶつりてき宇宙うちゅう利用りようしてきました.いまこそ計算けいさん宇宙うちゅう利用りようして,これまで想像そうぞうしなかったようなアルゴリズムを発見はっけんするときです.Wolfram Researchではすでになん年間ねんかんもこれがおこなわれてきました.

Wolfram Algorithmbaseの構築こうちく

画像がぞう解析かいせき関数かんすう評価ひょうか,ランダムせい生成せいせい機械きかい学習がくしゅうをはじめとする分野ぶんやにおいて多数たすうのWolfram言語げんごのアルゴリズムが,計算けいさん宇宙うちゅう利用りようすることによって見付みつけられました.そのかずいまつづけています.

最適さいてきなものが意外いがいなものの場合ばあい

従来じゅうらいのアルゴリズムのおおくには,非常ひじょう規則きそくてき反復はんぷく周期しゅうき構造こうぞう再帰さいき(ネスト)構造こうぞうふくまれています.Wolfram Scienceの検索けんさくでは,そのような明確めいかく構造こうぞうたない,より最適さいてきなアルゴリズムが見付みつかることがよくあります.

アルゴリズムの発見はっけん過程かてい

化学かがくかいにおけるそうやくのように,計算けいさん宇宙うちゅうにおけるアルゴリズムの発見はっけんにも目標もくひょう必要ひつようです.おおくの場合ばあい目標もくひょう潜在せんざいてきなアルゴリズムと比較ひかくしたり,それをテストしたりするWolfram言語げんごプログラムとして定義ていぎされます.

徐々じょじょげない方法ほうほう

従来じゅうらい方法ほうほうでは,徐々じょじょにアルゴリズムを構築こうちくしていきます.Wolfram Scienceの方法ほうほうには,うまくいったらすぐに最終さいしゅう結果けっかられる,だい規模きぼ検索けんさく使つかわれています.

膨大ぼうだいなプログラムの検索けんさく

Wolfram Researchでは,膨大ぼうだいかずのプログラムを検索けんさくして,特定とくてい目的もくてき最適さいてきなアルゴリズムを見付みつけることがよくあります.通常つうじょうしん意外いがいなものに到達とうたつしにくい増分ぞうぶんほう発展はってんてき方法ほうほう除外じょがいされます.

人間にんげん理解りかいできないプログラム

計算けいさん宇宙うちゅうでは,見付みつけた最適さいてきプログラムの操作そうさ理解りかいしがたいものであることもよくあります.このため,性能せいのう評価ひょうかしたり正確せいかくせい証明しょうめいしたりするための自動じどうされたメソッドが必要ひつようになるのです.

Wolfram|Alphaの秘密ひみつ

おおくの意味いみで,Wolfram ScienceはつのキラーアプリとなったWolfram|Alphaは,科学かがく概念がいねん発見はっけんおよび導入どうにゅうされた実践じっせんてき方法ほうほうによって可能かのうとなりました.

すべて計算けいさん

Stephen Wolframは,計算けいさん知識ちしきには人間にんげんちか人工じんこう知能ちのう必要ひつようなくWolfram|Alphaプロジェクトは実行じっこう可能かのうだということを確信かくしんさせてくれたのは,計算けいさん等価とうかせい原理げんりであるとっています.

判断はんだん美観びかん自動じどう

Wolfram|Alphaには,人間にんげん判断はんだんおよび美的びてき選択せんたく自動じどうする多数たすうのヒューリスティックがふくまれています.これらのヒューリスティックスのおおくは,Wolfram Scienceのメソッドで見付みつけられものや,Wolfram Scienceのメソッドが熟知じゅくちしているものでした.

言語げんご理解りかい飛躍ひやくてき進歩しんぽ

Wolfram|Alphaの言語げんご理解りかいシステムは,Wolfram Scienceのかんがかたおおきく依存いぞんしており,初歩しょほてき言語げんごプロセスを表現ひょうげんする,相互そうご作用さようする簡単かんたんなプログラムのコレクションを設定せっていしています.

計算けいさんプロセスの可視かし

Wolfram Scienceにおける研究けんきゅうでは,計算けいさん過程かていだい規模きぼ可視かし使つかわれることがよくあります.このテクニックは,Wolfram|Alphaの開発かいはつでもひろ使つかわれているものです.

計算けいさん関連かんれんした教育きょういく基礎きそ

Wolfram Scienceは,数学すうがくのように入門にゅうもんレベルから抽象ちゅうしょうてき思考しこううながしています.また,計算けいさん遍在へんざいする今日きょうなかにおいて,学生がくせい重要じゅうよう理論りろんてき概念的がいねんてき基礎きそあたえています.

幼稚園ようちえんから

セルオートマトンのパターンを作成さくせいするルールにしたがうことは,幼稚園ようちえんせいにも可能かのう活動かつどうです.アルゴリズムの概念がいねん正確せいかくさの重要じゅうようせいおしえ,現実げんじつ世界せかいとの関連かんれんせいしめすことになります.

利用りようしやすい数学すうがくふうかんがかた

とくてい学年がくねんでは,Wolfram Scienceは数学すうがく同様どうよう抽象ちゅうしょう思考しこう厳密げんみつ思考しこうおしえます.この思考しこうは,通常つうじょうもっと具体ぐたいてきであり利用りようしやすく,現実げんじつ世界せかいとのおどろくような直接ちょくせつ関連かんれんせいがあります.

包括ほうかつてき科学かがく

芸術げいじゅつ,テクノロジー,自然しぜん,プログラミング,探究たんきゅう抽象ちゅうしょう思考しこう.Wolfram Scienceには,幅広はばひろ学生がくせいそうにとって魅力みりょくてきなコンポーネントがあります.

ライブ実験じっけん

Wolfram Scienceは,コンピュータ実験じっけんのライブ授業じゅぎょう台本だいほんなしでおこなうことで,発見はっけんプロセスをせるというユニークな機会きかい先生せんせいかた提供ていきょうしています.

コンピュータサイエンスのまえ

Wolfram Scienceは,数学すうがく前提ぜんていとせずに計算けいさん概念がいねん導入どうにゅうし,学生がくせいのち従来じゅうらいのコンピュータサイエンスをまなぶときのための強力きょうりょくなフレームワークを提供ていきょうします.

ひとつの科学かがくおおくの方法ほうほう

Wolfram Scienceには,コンピュータ実験じっけん実験じっけん観察かんさつ理論りろんてき抽象ちゅうしょう思考しこう,モデルの生成せいせい評価ひょうか,および美学びがく関連かんれんした視覚しかくてき思考しこうふくまれます.

だれもが最先端さいせんたん

Wolfram Scienceの研究けんきゅうは,非常ひじょう学生がくせい利用りようしやすくなっており,てい学年がくねん学習がくしゅうしゃでも,自分じぶん発見はっけんができる可能かのうせいがあります.その理由りゆう一部いちぶに,Wolfram Scienceの研究けんきゅう非常ひじょうあたらしいことや,その特殊とくしゅなメソッドがげられます.

Wolframサマースクール

2003以来いらい毎年まいとしおこなわれているWolfram Summer Schoolは,Wolfram Scienceのプロジェクトベースの教育きょういくのモデルとして成果せいかげています.

Wolfram言語げんご役割やくわり

Wolfram Scienceは,Wolfram言語げんご先駆さきがけのテクノロジーによって可能かのうになりました.Wolfram言語げんごはWolfram Scienceにとって非常ひじょう最適さいてきされた環境かんきょう提供ていきょうしています.

計算けいさん幅広はばひろさを表現ひょうげん

Wolfram言語げんごには記号きごうてきプリミティブとパターンマッチング機能きのうがあるため,幅広はばひろ計算けいさんモデルおよびさまざまなタイプの簡単かんたんなプログラムの表現ひょうげんてきしたものとなっています.

まれたWolfram Science関数かんすう

Wolfram言語げんごには,セルオートマトンの実行じっこう,チューリングマシンとう共通きょうつう操作そうさをWolfram Scienceでおこなうための多様たよう組込くみこ関数かんすうふくまれています.

生産せいさんまでスケールアップ

Wolfram言語げんごでWolfram Scienceの発見はっけんがなされると,そのアルゴリズム,モデルとう使つかって,簡単かんたん生産せいさんまでスケールアップすることができます.

すぐに実験じっけん

Wolfram言語げんごはインタラクティブであり,高度こうど自動じどうされているため,おもいついたときにすぐにコンピュータ実験じっけん実行じっこうするのに非常ひじょうてきしています.

コンピュータ実験じっけんようのノートブック

Wolframノートブックは,コンピュータ実験じっけん記録きろく一連いちれんのステップの表示ひょうじ関係かんけいのある観察かんさつへのテキストの挿入そうにゅう理想りそうてきです.

歴史れきし背景はいけい

Wolfram Scienceは,1980ねん以来いらいStephen Wolframによる中核ちゅうかくてき貢献こうけんふくめ,おおくの人々ひとびと研究けんきゅう成果せいか賜物たまものとしてまれま,2002ねんのWolframの著書ちょしょA New Kind of Science」に結実けつじつしました.

科学かがく一般いっぱん

1600年代ねんだい以来いらい厳密げんみつ科学かがくのほとんどは世界せかいたいする数学すうがく方程式ほうていしき構築こうちくすることを基盤きばんとしています.Wolfram Scienceは,世界せかいをモデルする方程式ほうていしきかわりにプログラムを使つかって,科学かがく一般いっぱんしてきました.

複雑ふくざつせい科学かがく

複雑ふくざつせい理論りろんは,ある意味いみで1980年代ねんだい初頭しょとうのStephen Wolframの研究けんきゅうによってされたもので,複雑ふくざつ動作どうさけい研究けんきゅうしますが,Wolfram Scienceとは計算けいさん宇宙うちゅう全体ぜんたいてき見解けんかいことなります.

古典こてんてきなパラダイムのシフト

Stephen Wolframの著書ちょしょが2002ねん発表はっぴょうされたとき,歴史れきしてき科学かがくてきパラダイムのシフトにおいておおられるような動揺どうようひろがりました.しかしそのながいプロセスをひろれられるようになりました.

さらなる根拠こんきょ

計算けいさん等価とうかせい原理げんりのような概念がいねんは,2007ねんにWolframが主催しゅさいした,もっと簡単かんたん万能ばんのうチューリングマシンの証明しょうめいのような,漸進ぜんしんてき検証けんしょう必要ひつようとする,長期ちょうきてき科学かがくてきアイディアです.

セルオートマトンをえて

1980年代ねんだい初頭しょとうのStephen Wolframの発見はっけんは,セルオートマトンとしてられる簡単かんたんなプログラムの研究けんきゅうでなされました.Wolframの2002ねん著書ちょしょは,実際じっさいにこの発見はっけんがどれほど幅広はばひろいものであったかをしめしています.

「Mathematicaが必要ひつよう

Stephen Wolframは基礎きそ科学かがく研究けんきゅうつづけるためのツールが必要ひつようだったため,1986ねんにMathematicaを開発かいはつはじめました.そして1991ねんから2002ねんまでMathematicaを使つかってさまざまな発見はっけんをし,それを「A New Kind of Science」で発表はっぴょうしたのです.

なんまんもの論文ろんぶん

自然しぜん科学かがく社会しゃかい科学かがく数理すうり科学かがくとうのさまざまな分野ぶんやにおけるモデルの作成さくせい発見はっけんのために,多数たすう論文ろんぶんでWolfram Scienceのメソッドが利用りようされてきました.

結果けっか証拠しょうこ

科学かがくにおける究極きゅうきょくのテストは,それが有用ゆうようであるかどうかということです.Wolfram Scienceは科学かがく,テクノロジー,芸術げいじゅつ哲学てつがくおよびそのにおける結果けっか主要しゅようソースとして,確固かっこたる地位ちいきずいてきました.