準仮想化 - Wikipedia
計算機科学において準仮想化（じゅんかそうか、英: Paravirtualization）は、仮想機械へのソフトウェアインタフェースを提供する仮想化技術の一つである。その仮想機械 (VM) は、下層の物理ハードウェアと似ているが同一のものではない。 準仮想化を用いることでハイパーバイザ (VMM) はよりシンプルにでき、その上で動作する仮想機械の動作パフォーマンスを仮想化されていない物理ハードウェア上で動作させる時に近づけることができるようになるだろう。しかしながら、オペレーティングシステムを準仮想化されたVMMの上で動作させるには修正が必要になる。プロプライエタリなオペレーティングシステムの開発をおこなっている所は、戦略的な目的で準仮想化を可能にするために自社製品に手を入れることを拒否するかもしれない。 これは古くからあるアイデアに基づいた新しい用語である。IBMの「VM」（オペレーティン
x86仮想化 - Wikipedia
x86仮想化とは、x86ベースのゲストオペレーティングシステム (OS) を、別のx86ベースのホストOS上で、ほとんど（あるいは全く）ゲストOSを修正することなく動作させる手法である。 本来のx86アーキテクチャは、命令セット中に特権命令でないセンシティブな命令がある。このためPopekとGoldbergの仮想化要件を満たしていない。2005年と2006年、インテルとAMDがそれぞれx86アーキテクチャを拡張することでこれに対応し、他の仮想化での問題にも対処した。 Intel VTの名称で知られるインテルによる実装についてはインテル バーチャライゼーション・テクノロジーの項目を、AMD-VおよびAMD-Viなどの名称で知られるAMDによる実装については本記事のAMD-V節を参照のこと。 1999年2月8日、VMware は初のx86仮想化製品 "VMware Virtual Platfo
PopekとGoldbergの仮想化要件 - Wikipedia
PopekとGoldbergの仮想化要件 (英:Popek and Goldberg virtualization requirements) とは、コンピュータアーキテクチャが効率的にシステムの仮想化を実現するための一群の十分条件である。ジェラルド・J・ポペック (Gerald J. Popek) と ロバート・P・ゴールドバーグ (Robert P. Goldberg) の 1974 年の論文 "Formal Requirements for Virtualizable Third Generation Architectures" (仮想化可能な第三世代アーキテクチャへの要件) で示された [1] 。これらの要件は簡単のため仮定に基づいたものであったが、コンピュータアーキテクチャが十分な仮想化機能を備えているかどうかの判断基準と、仮想化されたコンピュータアーキテクチャの設計についての
プランカルキュール - Wikipedia
プランカルキュール（独: Plankalkül、英: Plan Calculus）はコンラート・ツーゼが研究目的で考案したプログラミング言語。世界初の非ノイマン型高級言語として1942年から1945年にかけて設計された。1941年に記述されたこの言語に関するメモが現在も残されている。 プランカルキュールは第二次世界大戦や戦後の混乱期が重なり、また彼自身も計算機Z3を商業化するのに忙しかったため公には発表されなかった。ツーゼは1946年にこの言語に関する書籍[1]を執筆したが発行されなかった。ツーゼは1948年に"Archiv der Mathematik"というタイトルでプランカルキュールについての論文を発表したが反響はほとんどなく、長年にわたりマシン語でなければコンピュータのプログラムは作成できないと考えられていた。 1972年になってようやくプランカルキュールが発表され、1998年に最
Category:データ圧縮規格 - Wikipedia
カテゴリ「データ圧縮規格」にあるページ このカテゴリには 45 ページが含まれており、そのうち以下の 45 ページを表示しています。
ラングトンのアリ - Wikipedia
11000ステップ経ったラングトンのアリ。赤い点のところにアリがいる。 ラングトンのアリ（英: Langton's ant）は、クリストファー・ラングトンが発明した単純な規則で記述される2次元チューリングマシンである。 ラングトンのアリが200ステップ移動するまでのアニメーション 平面が格子状に構成され、各マスが白または黒で塗られる。ここで、1つのマスを「アリ」とする。アリは各ステップで前後左右のいずれかのマスに移動することができる。アリは以下の規則に従って移動する。 白いマスにアリがいた場合、90°右に方向転換し、そのマスの色を反転させ、1マス前進する。 黒いマスにアリがいた場合、90°左に方向転換し、そのマスの色を反転させ、1マス前進する。 この単純な規則で驚くほど複雑な動作をする。当初でたらめな動作をしているが、アリはいずれ例外なく10000歩ほどうろついた後に真っ直ぐな「道」を作る
Roadrunner - Wikipedia
ロードランナーの一部 Roadrunner（ロードランナー）とは、アメリカ合衆国エネルギー省が保有した、ニューメキシコ州のロスアラモス国立研究所に設置されたスーパーコンピューターの一つ。2008年に設置され、2008年6月から2009年6月までのTOP500ランキングで1位となり、2013年3月に撤去[1]された。 米エネルギー省は、備蓄している核兵器を安全・確実に保持する核兵器保全管理計画を進めるため、核兵器の安全性・信頼性評価シミュレーションを目的としてRoadrunnerの建設に着手した。その他にも、天文学、遺伝子、気候変動の解析なども利用目的とした。 Roadrunnerは、1億3300万アメリカ合衆国ドル（2009年末の円-ドル外国為替相場の換算で118億円程度）でピーク性能1.7PFLOPSを目標に設計され、IBMによって構築された。2008年6月のTOP500ランキングで、2
Project MAC - Wikipedia
Project MAC（MACプロジェクト）は、マサチューセッツ工科大学で行われたプロジェクトであり、オペレーティングシステム、人工知能、計算理論などの先駆的研究成果が生み出された研究機関である。後にMITコンピュータ科学研究所（MIT Laboratory for Computer Science、LCS）となった。同時代に同様な研究を行った組織としては、カリフォルニア大学バークレー校のProject Genie、スタンフォード人工知能研究所、（少し後になるが）南カリフォルニア大学の情報科学研究所がある。 "MAC"は頭字語である。当初は Mathematics and Computation であったが、後から考えられたバクロニムとしては Machine Aided Cognition とか Multiple Access Computer(Multi Access Computing
Maclisp - Wikipedia
MacLISP（または MACLISP）は、LISPプログラミング言語の一種。初期のLISPに基づき、1960年代後半、MITの Project MAC で開発された。リチャード・グリーンブラットがメインプログラマとして PDP-6 向けのコードベースを書き、その後の保守や開発は Jon L. White が担当した。'MacLISP' と呼ばれるようになったのは1970年代に入ってからで、PDP-6 上に他の LISP 処理系も登場したためである（BBN Lisp）。 MacLISP は DEC PDP-6/10 上で動作した。当初オペレーティングシステムとしては ITS だけだったが、後には PDP-10 上の他のOSでも動作するようになった。当初の実装は PDP-10 のアセンブリ言語で書かれていたが、後に Multics 上に PL/I を使って移植されている。MacLISP では
シーモア・パパート - Wikipedia
シーモア・パパート（Seymour Aubrey Papert；[ˈpæpərt]、1928年2月29日 - 2016年7月31日）は、南アフリカ出身のアメリカの数学者、計算機科学者、教育者。マサチューセッツ工科大学（MIT）教授。 構築主義学習（英語版）を提唱し、プログラミング言語LOGOを設計するなど、テクノロジーを活かした体験学習、情報教育の礎を築いた。発達心理学者ジャン・ピアジェや人工知能の父マービン・ミンスキーとの共同研究でも知られる。 1980年代、タートルロボットと共に 1960年代に発達心理学者ジャン・ピアジェと共同研究し、彼の発生的認識論（英語版）に大きな影響を受けた。パパートはピアジェの弟子の中で最も活躍・成功した人物とされ、ピアジェ自身も「パパートほど私の考えを理解してくれる者はいない」と述べている。 ピアジェの構成主義（コンストラクティビズム）を発展させた“作ること
セルフホスティング - Wikipedia
セルフホスティング（英: Self-hosting）は、ツール群やオペレーティングシステムの一部であるプログラムを使って、同じプログラムの新しいバージョンを作ることを指す。例えば、コンパイラでそのコンパイラ自身のソースコードをコンパイルすることなどを意味する。セルフホスティング・ソフトウェアはパーソナルコンピュータや大型のシステムでよく使われる。その他にセルフホスティングとなっている典型例としては、カーネル、アセンブラ、シェルなどがある。 全くソフトウェアが書かれていない新しいシステムの場合、ソフトウェアは別のセルフホスティングシステム上で開発され、ターゲットの新システムが読み取れる記憶装置に格納される。この形態の開発は、ターゲットシステムがある程度の信頼性を持って自身の開発に利用できるようになるまで続けられる。例えば、Linuxオペレーティングシステムの開発は、当初MINIXシステム上で
ブートストラップ問題 - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "ブートストラップ問題" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2016年11月) ブートストラップ問題 (Bootstrap problem) は、コンパイラをコンパイル対象のプログラミング言語で作成した際に、そのコンパイラの最初のコンパイルをどうするかといった場合を典型的な例とする、いわゆる「鶏と卵」の形をしたセルフホスティング環境の問題を指す。これを解決するための方式をブートストラップ方式といい、この問題を何とかして最初の完備した環境を作ることをブートストラッピングという[1]。 名前についてはブートストラップの記事を参照
)
京 (スーパーコンピュータ) - Wikipedia
「京」の外観 「京」の1筐体の内部 「京」で使用されていたマイクロプロセッサ（大阪市立科学館にて撮影） 京（けい、英: K computer）は、兵庫県神戸市の理化学研究所計算科学研究機構に設置、運用されていたスーパーコンピュータの名称（愛称）である[1]。従来は「次世代スーパーコンピュータ」、「汎用京速計算機」、「京速」などと呼ばれていた。文部科学省の次世代スーパーコンピュータ計画の一環として、理化学研究所と富士通が共同開発した。「京」は、浮動小数点数演算を1秒あたり1京回おこなう処理能力（10ペタフロップス）に由来する[2]。 総開発費1,120億円を投じ、2012年6月に完成[3]、同年9月に共用稼働を開始[4]。 TOP500で、2011年6月および2011年11月に1位[5][6]になるが、完成直前の翌2012年6月には2位[7]に、同年11月には3位[8]に後退。この年1位の米
地球シミュレータ - Wikipedia
地球シミュレータ（ちきゅうシミュレータ、英: Earth Simulator）は、NEC SXシリーズベース（現行機は第4世代のSX-Aurora TSUBASA B401-8）のスーパーコンピュータシステムである。 神奈川県横浜市金沢区の海洋研究開発機構 (JAMSTEC) 横浜研究所に設置されている。 1993年～1995年[5]にTOP500首位となった数値風洞計画（NAL、富士通）を先導した三好甫が、それに引き続き日本のスーパーコンピュータをリードするシステムとして、JAMSTECと日本電気を先導したのが本計算機計画である。また科学技術庁（1998年度当時）としては地球規模の環境変動の解明・予測といった大義の他、バブル崩壊により著しく落ち込んでいた業界の維持といった目的もあり、600億円を投じて開発が開始された。2001年下旬に三好は逝去したが、残された計画通りシステムは完成、20
pコードマシン - Wikipedia
pコードマシンとは、プロセッサの一種であるが、ハードウェアではなくソフトウェアで、すなわちエミュレータや仮想機械のようなインタプリタ型のプログラムで実装されることを目的としたものであり、p-code と呼ばれる中間コードを解釈実行する。この用語は、そのような仕様一般を指すこともあるが、多くの仕様はそれぞれ個々の名称を持っている。特にUCSD Pascalの p-Machine を指すことが多い。「p」の意味については、Pascal処理系の場合はPascalの頭文字ともされるが、他言語の場合はpseudo（マイクロソフトのサポート情報を参照）やportable[1]などとされる。 このコンセプトは1966年ごろ、BCPLのO-code（英語版）やニクラウス・ヴィルトのEuler（英語版）のPとして実装されたのが最初であるが、pコード (p-code) と呼ばれるようになったのは1970年代初
BTRON - Wikipedia
BTRONは他のTRONと同様に仕様のみが策定されており、実装方法は規定していない。この節では仕様の説明に必要な範囲で実装についても言及しているが、詳細は実装の節を参照されたい。 古い順に示す。BTRONプロジェクトでは、まず松下電器産業とパーソナルメディアにより、後述するCECマシン等を想定した16ビットCPU286への実装である「BTRON286」が試作された。これの仕様が「BTRON/286」であり、パーソナルメディアの「1B」の仕様である「BTRON1」に引き継がれている。BTRON1の仕様書としては、OSのAPIを記した『BTRON1プログラミング標準ハンドブック』と、『BTRON1仕様ソフトウェア仕様書』がある。 BTRON2は、TRONチップへの実装を企画したもので、仕様書[1]のみが作成、出版されている。富士通製のTRONチップ搭載評価機への実装が予定されており[2]、「2
Σプロジェクト - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "Σプロジェクト" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2016年6月) Σプロジェクト（シグマプロジェクト）とは、1985年（昭和60年）から1990年（平成2年）にかけて進められた日本政府の国家プロジェクトである。Σ計画（シグマけいかく）とも呼ばれる。シグマ（SIGMA）とは「Software Industrialized Generator and Maintenance Aids」の頭字語であり「ソフトウェア生産工業化システム」と別称されていた[1]。通商産業省（現経済産業省）所管の情報処理振興事業協会 (IPA) が
第五世代コンピュータ - Wikipedia
この記事には参考文献や外部リンクの一覧が含まれていますが、脚注によって参照されておらず、情報源が不明瞭です。 脚注を導入して、記事の信頼性向上にご協力ください。（2023年9月） 第五世代コンピュータ（だいごせだいコンピュータ）計画とは、1982年から1992年にかけて日本の通商産業省（現経済産業省）所管の新世代コンピュータ技術開発機構（ICOT）が進めた国家プロジェクトで、いわゆる人工知能コンピュータの開発を目的に総額540億円の国家予算が投入された。 第五世代とはICOTが定義した電子計算機の分類に由来し、第一世代（真空管）、第二世代（トランジスタ）、第三世代（集積回路）、第四世代（大規模集積回路）に続く、人工知能対応の次世代技術を意味した。プロジェクトの三本柱は、非ノイマン型計算ハードウェア、知識情報処理ソフトウェア、並行論理プログラミング言語とされた。 当プロジェクトの評価には賛否
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
