ブラウザよりも高速アクセス！
38 関係: 並列計算、人工知能、人工生命、マービン・ミンスキー、マサチューセッツ州、マサチューセッツ工科大学、リチャード・P・ファインマン、ブリュースター・ケール、ヒトゲノム、データマイニング、ニューヨーク大学、ニューラルネットワーク、インターネットアーカイブ、オラクル (企業)、ガイ・スティール・ジュニア、クレイ、コネクションマシン、スーパーコンピュータ、スティーブン・ウルフラム、サン・マイクロシステムズ、国防高等研究計画局、C言語、Common Lisp、超並列マシン、FORTRAN、IBM、Mathematica、MIMD、MIT人工知能研究所、Scheme、SIMD、数式処理システム、1989年、1990年、1991年、1992年、1994年、1995年。
並列計算
並列計算（へいれつけいさん、parallel computing）は、コンピュータにおいて複数のプロセッサで1つのタスクを動作させること。並列コンピューティングや並列処理とも呼ばれる。問題を解く過程はより小さなタスクに分割できることが多い、という事実を利用して処理効率の向上を図る手法である。また、このために設計されたコンピュータを並列コンピュータという。ディープ・ブルーなどが有名。 関連する概念に並行計算（へいこうけいさん）があるが、並行計算は一つのタスクの計算を並列化することにとどまらず、複数の相互作用しうるタスクをスレッドなどをもちいて複数の計算資源にスケジューリングするといった、より汎用性の高い処理をさす。 特に、並列計算専用に設計されたコンピュータを用いずに、複数のパーソナルコンピュータやサーバ、スーパーコンピュータを接続することで並列計算を実現するものをコンピュータ・クラスターと呼ぶ。このクラスターをインターネットなどの広域ネットワーク上に分散させるものも、広義には並列計算に属すが、分散コンピューティングあるいはグリッド・コンピューティングと呼び、並列計算とは区別することが多い。.
新しい！!: シンキングマシンズと並列計算 · 続きを見る »
人工知能
250px 人工知能（じんこうちのう、artificial intelligence、AI）とは、「計算機（コンピュータ）による知的な情報処理システムの設計や実現に関する研究分野」を指す。.
新しい！!: シンキングマシンズと人工知能 · 続きを見る »
人工生命
人工生命（じんこうせいめい）は、人間によって設計、作製された生命。生化学やコンピュータ上のモデルやロボットを使って、生命をシミュレーションすることで、生命に関するシステム（生命プロセスと進化）を研究する分野である。「人工生命」は1986年にアメリカの理論的生物学者、クリストファー・ラングトンによって命名された。人工生命は生物学的現象を「再現」しようと試みる点で生物学を補うものである。また、人工生命（Artificial Life）を ALife と呼ぶことがある。手段によってそれぞれ、「ソフトALife」（コンピュータ上のソフトウェア）、「ハードALife」（ロボット）、「ウェットALife」（生化学）と呼ばれる。.
新しい！!: シンキングマシンズと人工生命 · 続きを見る »
マービン・ミンスキー
マービン・ミンスキー（Marvin Minsky, 1927年8月9日 - 2016年1月24日）は、アメリカ合衆国のコンピュータ科学者であり、認知科学者。専門は人工知能 (AI) であり、マサチューセッツ工科大学の人工知能研究所の創設者の1人。初期の人工知能研究を行い、AIや哲学に関する著書でも知られ、「人工知能の父」と呼ばれる。現在ダートマス会議として知られる、"The Dartmouth Summer Research Project on Artificial Intelligence (1956)" の発起人の一人。.
新しい！!: シンキングマシンズとマービン・ミンスキー · 続きを見る »
マサチューセッツ州
マサチューセッツ州（Commonwealth of Massachusetts、）は、アメリカ合衆国の州であり、北東部ニューイングランド6州の1つでもある。マサチューセッツ州は「州」(State) の代わりにコモンウェルスを使っているが、日本語では他州と同様に「州」と訳されている。2010年度の人口は 6,547,629 人。 南はロードアイランド州とコネチカット州、西はニューヨーク州、北はバーモント州とニューハンプシャー州に接している。東は大西洋である。アメリカ合衆国50州の中で、陸地面積では第44位、人口では第14位、人口密度が第3位である。東部のボストン大都市圏と、西部のスプリングフィールド大都市圏という2つの中心地がある。人口の約3分の2はボストン大都市圏に住んでいる。州都はボストン市であり、人口最大の都市でもある。ボストン大都市圏には、ハーバード大学、マサチューセッツ工科大学などがあるケンブリッジやサマービル、クインシーなどの市町が含まれている。 マサチューセッツ州はアメリカ史の中で各分野にわたって重要な役割を演じてきた。1620年、メイフラワー号の乗船客ピルグリムによって、プリマス植民地が設立された。1636年に設立されたハーバード大学は国内最古の高等教育機関である。1692年、セイラムとその周辺ではセイラム魔女裁判と呼ばれる忌まわしい事件が起こった。18世紀、大西洋圏を席捲したプロテスタントの第一次大覚醒運動は、ノーサンプトンの説教師ジョナサン・エドワーズに端を発していた。18世紀後半には、アメリカ独立戦争とイギリスからの独立に繋がる扇動によって、ボストンは「自由の揺籃」とも呼ばれた。1777年にヘンリー・ノックス将軍が設立したスプリングフィールド造兵廠は、産業革命の時代に交換部品など多くの重要な技術進歩を促進した。1786年、州西部の農夫によるポピュリスト革命、シェイズの反乱が直接アメリカ合衆国憲法制定会議の開催に繋がる要因になった。 南北戦争以前の時代には、禁酒運動、超越論的思想、奴隷制度廃止運動の中心になった。1837年、コネチカット川バレーのサウスハドリーの町に、国内初の女子カレッジであるマウント・ホリヨーク大学が開校した。19世紀、州西部の都市、スプリングフィールドとホリヨークでバスケットボールとバレーボールが発明された。2004年、州最高裁判所の判決により、国内で初めて同性結婚を法律で認める州になった。州内からはアダムズ家やケネディ家など多くの著名政治家を輩出してきた。 マサチューセッツ州は当初漁業、農業、貿易業に依存していたが、産業革命の間に工業の中心に変わった。20世紀にはその経済が工業からサービス業に転換された。21世紀には、高等教育、医療技術、ハイテクと金融業で指導的存在である。.
新しい！!: シンキングマシンズとマサチューセッツ州 · 続きを見る »
マサチューセッツ工科大学
マサチューセッツ工科大学（英語: Massachusetts Institute of Technology）は、アメリカ合衆国マサチューセッツ州ケンブリッジに本部を置く私立工科大学である。1865年に設置された。通称はMIT（エム・アイ・ティー。「ミット」は誤用で主に日本、欧州の極めて一部で用いられる）。 全米屈指のエリート名門校の1つとされ、ノーベル賞受賞者を多数（2014年までの間に1年以上在籍しMITが公式発表したノーベル賞受賞者は81名で、この数はハーバード大学の公式発表受賞者48名を上回る）輩出している。最も古く権威ある世界大学評価機関の英国Quacquarelli Symonds（QS）による世界大学ランキングでは、2012年以来2017年まで、ハーバード大学及びケンブリッジ大学を抑えて6年連続で世界第一位である。 同じくケンブリッジ市にあるハーバード大学とはライバル校であるが、学生達がそれぞれの学校の授業を卒業単位に組み込める単位互換制度（Cross-registration system）が確立されている。このため、ケンブリッジ市は「世界最高の学びのテーマパーク」とさえも称されている。物理学や生物学などの共同研究組織を立ち上げるなど、ハーバード大学との共同研究も盛んである。 MITはランドグラント大学でもある。1865年から1900年の間に約19万4千ドル(これは2008年時点の生活水準でいうところの380万ドルに相当)のグラントを得、また同時期にマサチューセッツ州から更なる約36万ドル（2008年時点の生活水準で換算して700万ドルに相当）の資金を獲得しているD.
新しい！!: シンキングマシンズとマサチューセッツ工科大学 · 続きを見る »
リチャード・P・ファインマン
リチャード・フィリップス・ファインマン（Richard Phillips Feynman, 1918年5月11日 - 1988年2月15日）は、アメリカ合衆国出身の物理学者である。.
新しい！!: シンキングマシンズとリチャード・P・ファインマン · 続きを見る »
ブリュースター・ケール
ブルースター・ケール（Brewster Kahle、1960年10月22日 - ）はアメリカのインターネット起業家であり、デジタル図書館の実践的研究者でもある。ケールはシンキングマシン社の初期メンバーで、ここでWAISシステムを考案した。後にWAIS社（AOLに売却）、非営利組織Internet Archive、関連する営利企業アレクサ・インターネット（Amazon.comに売却）を創設した。2006年現在、インターネットアーカイブの運営を続けている。電子フロンティア財団の理事、オープン・コンテント・アライアンスの中心人物の一人でもある。活動の目標として「全知識体系への全世界的アクセス（Universal Access to all Knowledge）」をかかげて活動している。.
新しい！!: シンキングマシンズとブリュースター・ケール · 続きを見る »
ヒトゲノム
ヒトゲノムは、その名の通りヒト (Homo sapiens) のゲノム、すなわち、遺伝情報の１セットである。ヒトゲノムは核ゲノムとミトコンドリアゲノムから成る。.
新しい！!: シンキングマシンズとヒトゲノム · 続きを見る »
データマイニング
データマイニング（Data mining）とは、統計学、パターン認識、人工知能等のデータ解析の技法を大量のデータに網羅的に適用することで知識を取り出す技術のことである。DMと略して呼ばれる事もある。通常のデータの扱い方からは想像が及びにくい、ヒューリスティク（heuristic、発見的）な知識獲得が可能であるという期待を含意していることが多い。とくにテキストを対象とするものをテキストマイニング、そのなかでもウェブページを対象にしたものをウェブマイニングと呼ぶ。英語では"Data mining"の語の直接の起源となった研究分野であるknowledge-discovery in databases（データベースからの知識発見）の頭文字をとってKDDとも呼ばれる。.
新しい！!: シンキングマシンズとデータマイニング · 続きを見る »
ニューヨーク大学
NYUの図書館（ボブスト図書館） ニューヨーク大学 （英:New York University, NYU）は、アメリカ合衆国、ニューヨーク市マンハッタン区にある全米有数の大規模な私立総合大学である。校訓は、Perstare et praestare "To persevere and to excel"。 大学ランキングにおいて世界的指標であるタイムズ・ハイアー・エデュケーションの世界大学ランキングでの総合30位（全米18位）である。 特に国際法学、税法学で全米ランク1位のニューヨーク大学・ロー・スクールや経営大学院（MBA）全米ランク10位のビジネススクールは全米屈指のトップ校として有名であり、その他「不動産」、「出版」、「スポーツビジネス」など専門分野の経営を学ぶ修士課程も知られている。 社会科学や人文科学、数学、公共政策学、看護学等の大学院ランキングでもトップ10に位置する有名な存在であり、これまでに24名以上のノーベル賞受賞者を輩出。芸術学部演劇学科及び映画学科は世界的に高い評価を受けており、30名以上のアカデミー賞受賞者等、数多くの映画監督や有名俳優を輩出している。卒業生が幅広い分野で活躍しているのが特徴。.
新しい！!: シンキングマシンズとニューヨーク大学 · 続きを見る »
ニューラルネットワーク
ニューラルネットワーク（神経回路網、neural network、略称: NN）は、脳機能に見られるいくつかの特性を計算機上のシミュレーションによって表現することを目指した数学モデルである。研究の源流は生体の脳のモデル化であるが、神経科学の知見の改定などにより次第に脳モデルとは乖離が著しくなり、生物学や神経科学との区別のため、人工ニューラルネットワーク（artificial neural network、ANN）とも呼ばれる。.
新しい！!: シンキングマシンズとニューラルネットワーク · 続きを見る »
インターネットアーカイブ
旧インターネットアーカイブ本部（1996年 - 2009年11月） インターネットアーカイブ (The Internet Archive) は、WWW・マルチメディア資料のアーカイブ閲覧サービスとして有名なウェイバックマシン (Wayback Machine)を運営している団体である。本部はカリフォルニア州サンフランシスコのリッチモンド地区に置かれている。 アーカイブにはプログラムが自動で、または利用者が手動で収集したウェブページのコピー（ウェブアーカイブ）が混在しており、これは「WWWのスナップショット」と呼ばれる。ほか、ソフトウェア・映画・本・録音データ（音楽バンドなどの許可によるライブ公演の録音も含む）などがある。アーカイブは、それらの資料を無償で提供している。.
新しい！!: シンキングマシンズとインターネットアーカイブ · 続きを見る »
オラクル (企業)
ラクル（）は、アメリカ合衆国カリフォルニア州に本拠を置く、民間法人や公的機関を対象とするビジネス用途に特化したソフトウェア会社である。 日本法人は日本オラクル。.
新しい！!: シンキングマシンズとオラクル (企業) · 続きを見る »
ガイ・スティール・ジュニア
イ・L・スティール・ジュニア（Guy L. Steele, Jr.、1954年10月2日 - ）はアメリカ合衆国の計算機科学者であり、3つの書籍の著者として知られている。あだ名は The Great Quux。ジャーゴンファイルの編集者でもあったが、その後エリック・レイモンドが改版したときにはガイ・スティール・ジュニアのイラスト付きの序文が寄せられた（MIT出版局）。Scheme 言語の共同開発者としても知られている。.
新しい！!: シンキングマシンズとガイ・スティール・ジュニア · 続きを見る »
クレイ
レイ・インコーポレイテッド (Cray Inc.) は、アメリカワシントン州シアトルのスーパーコンピュータ製造企業。その前身であるクレイ・リサーチ (Cray Research, Inc., CRI) は1972年にコンピュータ設計者シーモア・クレイによって設立された。1989年、シーモア・クレイは自身の会社クレイ・コンピュータ (Cray Computer Corporation.
新しい！!: シンキングマシンズとクレイ · 続きを見る »
コネクションマシン
ネクションマシン（Connection Machine）は、スーパーコンピュータシリーズの名称である。1980年代初頭、マサチューセッツ工科大学の Danny Hillis によるノイマン型コンピュータの代替となるアーキテクチャの研究から発展して製品化された。最初の CM-1 は、MITで考案されたもので、数千の単純なプロセッサノード（それぞれにRAMを持つ）をハイパーキューブ型に接続した超並列マシンであり、各CPUノードにはRAMを持ちSIMD方式で動作した。人工知能や記号処理に使うことを目的としていたが、計算科学分野で成功した。 Hillis と Sheryl Handler はシンキングマシンズ社をマサチューセッツ州 Waltham に設立し（1983年）、CM-1 を製造し、後に最大 65,536プロセッサ構成の CM-2を開発した。各プロセッサは非常に単純な 1ビットプロセッサである。後に数値演算コプロセッサ（Weitek 3132）を追加できるように改良され、32ノードがひとつの数値演算コプロセッサを共有する構成となっていた。CM-2 の小規模版 CM-2a（最大 4096プロセッサか 8192プロセッサ）や、高速版 CM-200 も後にリリースされた。 その本来の目的がAI研究であったため、CM-1/CM-2 のソフトウェアはLISPが基本とされ、Common Lispの派生版である *Lisp（スターリスプ）が実装された。CM-1/2のユーティリティの大半は *Lisp で書かれていた。 1991年に発表された CM-5 では、アーキテクチャを完全に変更し、Fat Tree構成のネットワークでSPARC RISCプロセッサを接続し、MIMD方式で動作した。後継の CM-5E では、SPARC を SuperSPARC に置き換えている。 コネクションマシン（CM-1）は一辺が 1.5メートルの立方体型であった。8個の同サイズの立方体に分かれている。その各立方体内に16枚のプリント基板とプロセッサが収められていた。各プリント基板には32個のチップが搭載されている。各チップには、ルーターと呼ばれる伝送路、16個のプロセッサ、16個のRAM、その他電子部品が集積されている。コネクションマシンは、全体としてはルーティングネットワークと主記憶と入出力プロセッサから構成されていた。そのスイッチングネットワーク部分を nexus と呼ぶ。主記憶装置は512メガバイト、補助記憶装置は 10ギガバイトであった。 コネクションマシンはその特異なデザインで記憶されている。CM-2 は立方体型で、その表面の大部分で LED が点滅しているのが見えた。CM-5 は上から見ると稲妻型になっていて、やはりLEDが多数並んだパネルが付いていた。そのデザインのためと思われるが、CM-5は、映画『ジュラシックパーク』で中央制御室に置かれていた。 コネクションマシンについて書かれた Danny Hillis 自身の著作 The Connection Machine (MIT Press Series in Artificial Intelligence) (ISBN 0262081571) は既に絶版となっている（2005年現在）。この本ではコネクションマシンの哲学、アーキテクチャ、ソフトウェアを概観しており、CPUノード間のデータルーティング手法、超並列マシンでのLISPプログラミング手法などが解説されている。なお、邦訳は1990年にパーソナルメディアより刊行(ISBN 4-89362-062-2)され、現在でも入手可能である（2009年10月現在）。邦訳にあたっては1985年発行の原書の内容が古くなったため、Danny Hillis自身の希望により、訳者がCM-2の記述を第2部として追加している。.
新しい！!: シンキングマシンズとコネクションマシン · 続きを見る »
スーパーコンピュータ
ーパーコンピュータ（supercomputer）は、科学技術計算を主要目的とする大規模コンピュータである。日本国内での略称はスパコン。また、計算科学に必要となる数理からコンピュータシステム技術までの総合的な学問分野を高性能計算と呼ぶ。スーパーコンピュータでは計算性能を最重要視し、最先端の技術が積極的に採用されて作られる。.
新しい！!: シンキングマシンズとスーパーコンピュータ · 続きを見る »
スティーブン・ウルフラム
ティーブン・ウルフラム（Stephen Wolfram、1959年8月29日 - ）は英国人（学部卒業後はアメリカで進学）の理論物理学者で、米ウルフラム・リサーチ社を創業し現在も最高経営責任者である。.
新しい！!: シンキングマシンズとスティーブン・ウルフラム · 続きを見る »
サン・マイクロシステムズ
ン・マイクロシステムズ本社 サン・マイクロシステムズ（Sun Microsystems）は、アメリカ合衆国カリフォルニア州サンタクララに本社を置いていたコンピュータの製造・ソフトウェア開発・ITサービス企業である。2010年1月27日にオラクルにより吸収合併され、独立企業・法人としては消滅した。.
新しい！!: シンキングマシンズとサン・マイクロシステムズ · 続きを見る »
国防高等研究計画局
アメリカ国防高等研究計画局（アメリカこくぼうこうとうけんきゅうけいかくきょく、Defense Advanced Research Projects Agency）は、軍隊使用のための新技術開発および研究を行うアメリカ国防総省の機関である。日本語では防衛高等研究計画局、国防高等研究事業局、国防高等研究計画庁などとも表記される。略称はダーパ（DARPA）。ARPAの時期にインターネットの原型であるARPANET・全地球測位システムのGPSを開発したことで知られている。.
新しい！!: シンキングマシンズと国防高等研究計画局 · 続きを見る »
C言語
C言語（シーげんご）は、1972年にAT&Tベル研究所のデニス・リッチーが主体となって開発したプログラミング言語である。英語圏では単に C と呼んでおり、日本でも文書や文脈によっては同様に C と呼ぶことがある。.
新しい！!: シンキングマシンズとC言語 · 続きを見る »
Common Lisp
Common Lisp（コモン・リスプ）は、コンピュータ・プログラミング言語 Lispの標準（の、ひとつ）であり、Lisp方言のひとつである。Common Lispの略称はCL(ごくまれにclispとも。なおCLISPという実装が実在するので混同回避のためあまり用いられない)。規格はANSIによる ANSI INCITS X3.226-1994 (R2004) 。仕様を指すこともあれば、実装を指すこともある。いくつかの、フリーソフトウェアの定義に合致したライセンスによりライセンスされている実装や、オープンソースの定義に合致したライセンスによりライセンスされている実装や、プロプライエタリなライセンスによりライセンスされている実装がある。 Lispの基本的な特徴の他、いくつかのプログラミングパラダイムのLispへの取り込みについて標準を提供しているという、マルチパラダイムプログラミング言語という面がある。.
新しい！!: シンキングマシンズとCommon Lisp · 続きを見る »
超並列マシン
超並列マシン (ちょうへいれつマシン、Massively parallel machine) は1990年代から台頭してきた、並列計算機の中で規模の大きなもの（CPU数の多いもの）を言う。大規模クラスターマシン、大規模ワークステーションクラスター、地球シミュレーターなども超並列マシンの範疇に入れることができる。時代と共に並列度は大きくなり、CPU性能は向上するため、何個以上のCPU数（或いは性能）で超並列であるというはっきりとした定義はない。 超並列マシンは分散メモリ型のコンピュータシステムであり、多数のノードから構成され、各ノードは基本的に独立したコンピュータとなっている。本来の超並列マシンはnCUBEやコネクションマシンなどのように、ほとんどのノードがCPUとメモリとノード間接続用の通信ポートのみで構成されるものであった。ノード間通信にはMPIのような標準的なプロトコルを使用してメッセージをやり取りする。2005年現在のスーパーコンピュータはほとんどが超並列マシンである。超並列マシンの性能は、実行しようとするアプリケーションの並列性と、スレッド間の通信量に左右される。アプリケーションの並列性が高ければ多くのノードに展開して並列実行できるため、性能向上が期待できる。しかし、共有メモリ型と異なり、あるスレッドの実行結果をメモリに置くだけでは他のスレッドからは見えないため、通信が必要となる。したがって、計算途中に他のスレッドの結果を待ち合わせなければならないようなアプリケーションではノード数に比例した性能向上は期待できない。超並列マシンでの計算性能の向上は研究の活発な領域である。.
新しい！!: シンキングマシンズと超並列マシン · 続きを見る »
FORTRAN
FORTRAN（フォートラン）は、1954年にIBMのジョン・バッカスによって考案された、コンピューターにおいて広く使われた世界最初の高級言語である。.
新しい！!: シンキングマシンズとFORTRAN · 続きを見る »
IBM
IBM（アイビーエム、正式社名: International Business Machines Corporation）は、民間法人や公的機関を対象とするコンピュータ関連製品およびサービスを提供する企業である。本社はアメリカ合衆国ニューヨーク州アーモンクに所在する。世界170カ国以上で事業を展開している。.
新しい！!: シンキングマシンズとIBM · 続きを見る »
Mathematica
Mathematica（マセマティカ）は、スティーブン・ウルフラムが考案し広く使われている数式処理システム。ウルフラム・リサーチの、ウルフラムが率いる数学者とプログラマのチームが開発し、同社が販売している。Mathematicaは項書き換えを基本として、複数のパラダイムをエミュレートするプログラミング言語としても強力である。.
新しい！!: シンキングマシンズとMathematica · 続きを見る »
MIMD
225px MIMD(Multiple Instruction stream, Multiple Data stream)とは、コンピューティングにおいて並列性を達成するのに使われる技法の一種。MIMD型のマシンは、独立して機能する複数のプロセッサを持つ。任意の時点で、異なるプロセッサは異なる命令を使って異なるデータを処理している。MIMDアーキテクチャは様々な分野で応用されており、CAD/CAM、シミュレーション、モデリング、通信スイッチなどに使われている。MIMD型マシンは、共有メモリ型と分散メモリ型に分類される。この分類は、MIMD型マシンのプロセッサがどのようにメモリにアクセスするかに着目したものである。共有メモリ型マシンは、単純なバスを使ったものや、階層型のバスを使ったものがある。分散メモリ型マシンは、ハイパーキューブ型やメッシュ型の相互接続ネットワークを使うことが多い。.
新しい！!: シンキングマシンズとMIMD · 続きを見る »
MIT人工知能研究所
MIT人工知能研究所（MIT Artificial Intelligence Laboratory、AI Lab）は、マサチューセッツ工科大学にかつて存在した学際的研究機関であり、人工知能とロボット工学の分野で世界的な貢献をしたことで知られる。MITでの人工知能研究は1959年に始まった。1963年、人工知能研究グループは新たに結成された Project MAC に編入され、1970年にそこから分離して人工知能研究所を設立。2003年、同研究所は Project MAC の流れを受け継いだMITコンピュータ科学研究所と合併し、CSAILとなった。 創設者には、マービン・ミンスキー、ジョン・マッカーシー（LISP言語発明者）などがいた。1950年代から1970年代にかけて、彼らは自らが開発したタイムシェアリング方式のオペレーティングシステム ITS を載せたコンピュータ（当初はPDP-6、後にPDP-10）を共有して使っていた。 TECO 上で Emacs を開発したリチャード・ストールマンなどの多くの才能あるプログラマ達がこの環境で育った。 人工知能研究所の主な研究テーマは、視覚、機械的動作と操作、言語などで、彼らはそれらがより知的な機械を構築するためのキーになると考えていた。.
新しい！!: シンキングマシンズとMIT人工知能研究所 · 続きを見る »
Scheme
Scheme（スキーム）はコンピュータ・プログラミング言語 Lispの方言のひとつで、静的スコープなどが特徴である。仕様（2017年現在、改7版まで存在する）を指すこともあれば、実装を指すこともある。Schemeにより、Lisp方言に静的スコープが広められた。.
新しい！!: シンキングマシンズとScheme · 続きを見る »
SIMD
SIMDの概念図PU.
新しい！!: シンキングマシンズとSIMD · 続きを見る »
数式処理システム
数式処理システム（すうしきしょりシステム、Computer algebra system、CAS，Formula Manipulation System，広義にはSymbolic Computation System）は、コンピュータを用いて数式を記号的に処理するソフトウェアである。コンピュータによる通常の数値計算処理では実数を有限精度の数値（浮動小数点数）で近似し、数値と演算に対して丸め誤差を許容して計算を行なうので数学的に厳密な結果を得ることが困難もしくは不可能であるのに対して、数式処理システムでは主に抽象度の高い記号列を取り扱い，可能な範囲で代数的な規則に基づきながら厳密な記号処理を行う。ただし最近では応用性と実用性の観点から、数値とその演算に対して浮動小数点数も扱える（数値・数式の）融合計算システムとでも呼べるような数式処理システムも増えて来た。 また，数式処理システムに向けた計算アルゴリズムを研究する分野も数式処理（あるいは computer algebra の直訳として計算機代数）と呼ぶ。.
新しい！!: シンキングマシンズと数式処理システム · 続きを見る »
1989年
この項目では、国際的な視点に基づいた1989年について記載する。.
新しい！!: シンキングマシンズと1989年 · 続きを見る »
1990年
この項目では、国際的な視点に基づいた1990年について記載する。.
新しい！!: シンキングマシンズと1990年 · 続きを見る »
1991年
この項目では、国際的な視点に基づいた1991年について記載する。.
新しい！!: シンキングマシンズと1991年 · 続きを見る »
1992年
この項目では、国際的な視点に基づいた1992年について記載する。.
新しい！!: シンキングマシンズと1992年 · 続きを見る »
1994年
この項目では、国際的な視点に基づいた1994年について記載する。.
新しい！!: シンキングマシンズと1994年 · 続きを見る »
1995年
この項目では、国際的な視点に基づいた1995年について記載する。.
新しい！!: シンキングマシンズと1995年 · 続きを見る »
