ブラウザよりも高速アクセス！
49 関係: ABI、Android、Apple A7、中小企業技術革新研究プログラム、ミネソタ大学ツインシティー校、マイクロカーネル、チューリッヒ工科大学、ハイパーバイザ、ポートランド (オレゴン州)、リアルタイムシステム、ロバストネス、ワーキングセット、ボーイング、ボーイング AH-6、トーマス・J・ワトソン研究所、プラットフォーム、プロセス間通信、ファミリー、ドイツ、ニューサウスウェールズ大学、分散オペレーティングシステム、アドレス空間、アセンブリ言語、インテル、インターフェース、オペレーティングシステム、カーネル、カールスルーエ工科大学、クアルコム、コモンクライテリア、コンパイラ、システム、ジェネラル・ダイナミクス、セキュリティ、国際標準化機構、国防高等研究計画局、BSDライセンス、Capability-based security、関数型言語、GNU General Public License、Haskell、IEC、Intel 80386、Itanium、Linux、Mach、Symbian OS、Unix系、XScale。
ABI
ABI.
新しい！!: L4マイクロカーネルファミリーとABI · 続きを見る »
Android
Android（アンドロイド）は、Googleが開発したモバイルオペレーティングシステムである。Linuxカーネルやオープンソースソフトウェアがベースで、主にスマートフォンやタブレットなどのタッチスクリーンモバイルデバイス向けにデザインされている。テレビ用にはAndroid TV、自動車用にはAndroid Auto、ウェアラブルデバイス用にはWear OSがある。世界で最も人気のあるモバイルオペレーティングシステムであり、20億人を超える月間アクティブユーザーがいる。.
新しい！!: L4マイクロカーネルファミリーとAndroid · 続きを見る »
Apple A7
Apple A7とはアップルにより設計された64ビット SoC である。2013年9月10日発売の iPhone 5s にて初めて登場した。アップルによると、前世代の Apple A6 と比較して最大2倍早く、最大2倍のグラフィックス性能を備えているという。世界初の64ビットARM CPU ではないが、コンシューマー向けのスマートフォン・タブレット用途としては初めて出荷された。.
新しい！!: L4マイクロカーネルファミリーとApple A7 · 続きを見る »
中小企業技術革新研究プログラム
中小企業技術革新研究プログラム（Small Business Innovation Research、SBIR）は、アメリカ合衆国連邦政府が小企業監督庁とともに実施しているプログラムである。全ての連邦政府機関は外部委託研究予算の2.5%（1億ドル以上）を中小企業への研究助成に用いるように定めている。 このプログラムは、1982年に中小企業技術革新開発法（Small Business Innovation Development Act）が制定されて開始され、定期的にアメリカ合衆国議会によって再認可されている。再認可は1986年、1992年、2000年に行われ、最近の認可では2008年9月30日までの延長が計画されていたが、2度の予算継続決議によって2009年3月20日、7月31日まで延長されている。 創設者のロナルド・ティベッツは、SBIRプログラムは「初期のイノベーションのアイデア、ベンチャー企業等の民間の発明者にはリスクが高すぎるアイデアに資金を供給すること」だと述べている。SBIRプログラムにおいて、「中小企業」とは、営利を目的とし、500人以下の従業員であり、アメリカ合衆国の市民権か永住権を持つ1人か複数人の個人によって所有される企業とされている。 類似のプログラムである中小企業技術移転プログラム（STTR）は、中小企業とアメリカ合衆国の非営利の研究機関の間の官民交流を活性化し、関係政府機関の外部委託予算の3%を基金に用いるというものである。 全国中小企業者協会のSmall Business Technology Councilは、「SBIRの成果の中で最も良い企業、プロジェクト、組織、個人を表彰する」ティベッツ賞を毎年選定している。.
新しい！!: L4マイクロカーネルファミリーと中小企業技術革新研究プログラム · 続きを見る »
ミネソタ大学ツインシティー校
ミネソタ大学ツインシティー校(The University of Minnesota, TwinCities)は、アメリカ合衆国ミネソタ州最大の都市ミネアポリスと同州の州都セントポールにまたがって本部を置く、同国最大の研究機関型州立総合大学の一つである。ミネアポリスとセントポールの二都市を中心とした大都市圏が「Twin Cities（＝双子都市）」と呼称されるため、学校名も「ミネソタ大学ツインシティー校」という。1851年に設置された。大学の略称は「U of M」、「UMTC」。同州のミネソタ州立大学（w:Minnesota State University）とは別の大学組織である。 ツインシティー校はミネソタ大学（The University of Minnesota）の旗艦校（本校）であり、ツインシティー校、ダルース（Duluth）校、モーリス（Morris）校、クルークストン（Crookston）校、ロチェスター（Rochester）校の5校からなる、ミネソタ大学系列の中で最古かつ最大の大学である。州立大学の大学として「パブリック・アイビー」の一つに数えられることもある。医療、理工学の研究実績で名高い。1908年より、北米トップレベルの研究型大学で組織されるアメリカ大学協会（The Association of American Universities, AAU）に加盟している。これまでに9名の卒業生、15名の教授がノーベル賞を受賞、86名のグッゲンハイムフェローをはじめ、数多くの分野にわたり人材を輩出してきた。 総学生数は50,678人（2015年統計）で、その規模と同時に17対1の学生対教員の比率が保たれ充実した教育・研究機関としても知られる。143の学部の学位と150の大学院の学位を授与している。国際交流にも力を入れており、日本の一橋大学、名古屋大学、広島大学、上智大学をはじめ、海外250校以上の大学との交換留学プログラムを有する。.
新しい！!: L4マイクロカーネルファミリーとミネソタ大学ツインシティー校 · 続きを見る »
マイクロカーネル
マイクロカーネル（microkernel）とはオペレーティングシステムの設計思想、及びそのようなOSのカーネル部の名称である。OSが担う各種機能のうち、必要最小限のみをカーネル空間に残し、残りをユーザーレベルに移すことで全体の設計が簡素化でき、結果的に性能も向上できるという考え方。カーネル本体が小規模な機能に限定されるので「マイクロカーネル」と呼ばれるが、必ずしも小さなOSを構成するとは限らない。 マイクロカーネルの出現に伴い、従来型のOSを「モノリシックカーネル（一枚岩のカーネルという意）」と呼ぶようになった。.
新しい！!: L4マイクロカーネルファミリーとマイクロカーネル · 続きを見る »
チューリッヒ工科大学
イス連邦工科大学チューリッヒ校（スイスれんぽうこうかだいがくチューリッヒこう、Eidgenössische Technische Hochschule Zürich, ETH Zürich, ETHZ）は、スイス連邦のチューリッヒ市にある、スイス連邦経済・教育・研究省配下の公立大学（Hochschule）である。 自然科学と工学を対象とした工科大学であり、1855年に創設され、これまでに21名のノーベル賞受賞者を輩出している。 ETHは世界有数の工科大学であり、さまざまな大学ランキングの上位に入ることが多い。また、フランス語圏のローザンヌには姉妹校であるスイス連邦工科大学ローザンヌ校 (EPFL)がある。ETHはIDEAリーグと国際研究型大学連合の創設時のメンバーであり、Top Industrial Managers for Europe の一員でもある。 建築学科、土木工学科、機械工学科、化学科、林学科に加えて、多目的学科(数学・自然科学・文学・社会学・政治学を包括)があり、レントゲン、アインシュタインなどが学んだ。アインシュタインは、大学に残って助手になりたがったが採用されなかった（後に教授職についている）。 また、ソルトレイクシティオリンピックで男子スキージャンプ・ノーマルヒルとラージヒルで金メダルを獲得したシモン・アマンが2006年より在学している。.
新しい！!: L4マイクロカーネルファミリーとチューリッヒ工科大学 · 続きを見る »
ハイパーバイザ
ンピュータ用語における、ハイパーバイザ (hypervisor) とは、コンピュータの仮想化技術のひとつである仮想機械（バーチャルマシン）を実現するための、制御プログラムである。仮想化モニタや仮想化OSと呼ばれることもある。.
新しい！!: L4マイクロカーネルファミリーとハイパーバイザ · 続きを見る »
ポートランド (オレゴン州)
ポートランド（）は、アメリカ合衆国オレゴン州北西部マルトノマ郡にある都市。同州最大の都市かつ同郡の郡庁所在地である。太平洋岸北西部ではワシントン州シアトル、カナダブリティッシュコロンビア州バンクーバーに次いで3番目に人口が多い。 ポートランドは環境に優しい都市であるとされ、その評価は全米第1位、世界で見てもアイスランドのレイキャヴィークに次いで第2位と言われる。 2009年10月にフォーブス誌は、ポートランドを全米で3番目に安全な都市にランクした。しかし治安については、犯罪発生率で殺人を除く全カテゴリーで全米平均を上回っている。 また、強力な土地利用計画を行っていることで有名で、オレゴン地域政府「メトロ」がサポートするライトレールシステムへの投資でもよく知られる。そして、地ビールや蒸留酒を生産する小規模な醸造所（マイクロブルワリー）や蒸留所（マイクロディスティラリー）が数多く存在し、コーヒーの消費も非常に盛んである。 温暖な気候によりバラの栽培に非常によく適しているため、市内には国際バラ試験農園を筆頭として多くのバラ園が散在し、ポートランドは100年以上に渡り「バラの町」（The City of Roses）の異名で知られ、最も一般的な愛称ともなっており.
新しい！!: L4マイクロカーネルファミリーとポートランド (オレゴン州) · 続きを見る »
リアルタイムシステム
リアルタイムシステム(Real-time System)とは、ジョブの実行が命令された時、その処理を設定された時間通りに動作することに着目した制御工学における概念の一つであり、「リアルタイム処理」とも呼ばれている。;ハードリアルタイムシステム;ファームリアルタイムシステム;ソフトリアルタイムシステム リアルタイム性を高めるために、どのような順番でジョブを処理するか（スケジューリング）が重要となる。各ジョブ（タスク）の重要度がスケジューリングの基準となることが多く、重要度が時間と共に変化する動的スケジューリングと、変化しない静的スケジューリングに大別される。またスケジューリングの結果、各ジョブがどの程度実行されるかも議論の対象となる。.
新しい！!: L4マイクロカーネルファミリーとリアルタイムシステム · 続きを見る »
ロバストネス
バストネスまたはロバスト性とは、ある系が応力や環境の変化といった外乱の影響によって変化することを阻止する内的な仕組み、または性質のこと。ロバストネスを持つような設計をロバスト設計、ロバストネスを最適化することをロバスト最適化という。 「頑強な」という意味の形容詞 "robust" が語源であり、他に頑強性、強靭性、堅牢性、強さ、などと呼称されることもある。.
新しい！!: L4マイクロカーネルファミリーとロバストネス · 続きを見る »
ワーキングセット
ワーキングセット(Working set)とは、プロセスがある時点で使用中の仮想メモリページの集合である。 ワーキングセットは大きすぎても小さすぎても問題を生じるので、そのサイズの及ぼす効果は重要である。ワーキングセットが大きすぎると同時に実行可能なプロセス数が少なくなる。小さすぎるとページフォールトが発生しやすくなる。.
新しい！!: L4マイクロカーネルファミリーとワーキングセット · 続きを見る »
ボーイング
ボーイング（The Boeing Company）は、アメリカ合衆国に所在する世界最大の航空宇宙機器開発製造会社。1997年にマクドネル・ダグラス社を買収したため、現在アメリカで唯一の大型旅客機メーカーであり、ヨーロッパのエアバスと世界市場を二分する巨大企業である。また旅客機だけでなく、軍用機、ミサイル、宇宙船や宇宙機器などの研究開発・設計製造を行う。機体の設計に関して、有限要素法の設計手法の導入に先んじていて、その技術は車輌構体設計など他分野にも技術供与されており、世界の航空宇宙機器業界をリードしている。.
新しい！!: L4マイクロカーネルファミリーとボーイング · 続きを見る »
ボーイング AH-6
ボーイング AH-6は、ボーイングロータークラフトシステムズ社が開発中のUAV機能付き攻撃ヘリコプターである。 以下本項目では特記事項がない限りAH-6Xと呼称する。.
新しい！!: L4マイクロカーネルファミリーとボーイング AH-6 · 続きを見る »
トーマス・J・ワトソン研究所
トーマス・J・ワトソン研究所（トーマス・ジェイ・ワトソンけんきゅうじょ、Thomas J. Watson Research Center）は、IBMの研究部門の本部である。研究所の名称は、1915年から1971年までIBMを社長・CEOとして率いていた、トーマス・J ・ワトソン・シニアとその息子トーマス・J ・ワトソン・ジュニアの名前に因んだものである。 この研究所は三つの敷地に分かれて建っており、主要な研究所はニューヨーク市から北へ70kmほどに位置するニューヨーク州ヨークタウン・ハイツ（Yorktown Heights）にある。他の２つはニューヨーク州ホーソン（Hawthorne）とマサチューセッツ州ケンブリッジ（Cambridge）にそれぞれ位置している。 ここでの研究内容は、物理学や半導体技術などコンピュータ・ハードウェアに関するもの、ビジネスモデルやコンサルティング、経営などサービス業に関する研究、プログラミング言語やセキュリティ、データ管理などといったソフトウェアに関連するもの、OSやサーバといったシステム関連の研究と、多岐にわたる。 トーマス・J・ワトソン研究所は1945年、コロンビア大学のワトソン・サイエンティフィック・コンピューティング研究所（Watson Scientific Computing Laboratory）としてニューヨークに設立された。この施設は1953年に拡張され、1957年にはヨークタウン・ハイツに本部を移転し、1961年にはEero Saarinenによる設計の新しい研究所が完成した。1945年以来の施設は1970年に閉鎖、後にこの建物はコロンビア大学に譲渡され、現在ではCasa Hispanica（ヒスパニックの家の意）とワトソン・ホールとして知られている。更に1984年にはホーソンにも施設が拡張された。 この研究所で働いた著名な研究者には、数学者のブノワ・マンデルブロ、グレゴリー・チャイティン、Shmuel Winograd、物理学者の江崎玲於奈、発明家のRobert Dennard、コンピューター学者のジョン・コック、Stuart Feldman 、Irene Greifらがいる。.
新しい！!: L4マイクロカーネルファミリーとトーマス・J・ワトソン研究所 · 続きを見る »
プラットフォーム
プラットフォーム、プラットホーム（）とは、周辺よりも高くなった水平で平らな場所（台地）をさす英語。中期フランス語 （plate-forme）から英語に取り入れられた。 転じて、官公庁の施策における”環境（整備）”、”基盤（づくり）”、ソフトウェアやシステムにおける”動作環境”、作業をするための”足場”の意で用いられている。.
新しい！!: L4マイクロカーネルファミリーとプラットフォーム · 続きを見る »
プロセス間通信
プロセス間通信(IPC、interprocess communication)はコンピュータの動作において複数のプロセス間（の複数のスレッド間）でデータをやりとりするための仕組み。通信するプロセスは同一コンピュータ上にある場合と、ネットワークで接続された別のコンピュータ上にある場合がある。そのようなローカル内対リモート間といったような分類以外にも多くの観点から分類でき、また、スレッド間の通信の帯域幅とレイテンシは様々であり、やりとりされるデータの種類も様々である。メッセージパッシング、同期、共有メモリ、RPCなどといったメカニズムやプリミティブがある。 プロセス間通信の目的・理由には以下のようなものがある。.
新しい！!: L4マイクロカーネルファミリーとプロセス間通信 · 続きを見る »
ファミリー
ファミリー（family）.
新しい！!: L4マイクロカーネルファミリーとファミリー · 続きを見る »
ドイツ
ドイツ連邦共和国（ドイツれんぽうきょうわこく、Bundesrepublik Deutschland）、通称ドイツ（Deutschland）は、ヨーロッパ中西部に位置する連邦制共和国である。もともと「ドイツ連邦共和国」という国は西欧に分類されているが、東ドイツ（ドイツ民主共和国）の民主化と東西ドイツの統一により、「中欧」または「中西欧」として再び分類されるようになっている。.
新しい！!: L4マイクロカーネルファミリーとドイツ · 続きを見る »
ニューサウスウェールズ大学
ニューサウスウェールズ大学（英語：University of New South Wales、略称：UNSWまたはUNSW Sydney）は、オーストラリア連邦ニューサウスウェールズ州シドニーに本部を置く公立総合大学である。優れた教育実績と研究成果により、アジア太平洋地域における最良の大学の1つとされ、オーストラリア国内においてシドニー大学やメルボルン大学と並び常にトップに位置づけられている名門大学である。世界的にも高く評価されており、2017年のQS世界大学ランキングにおいては世界45位に位置付けられ、ニューサウスウェールズ州内の大学では1位となった。また、ニューサウスウェールズ大学はオーストラリアの中でも特に優れた8つの名門大学により構成されるGroup of Eightの創立メンバーである。.
新しい！!: L4マイクロカーネルファミリーとニューサウスウェールズ大学 · 続きを見る »
分散オペレーティングシステム
分散オペレーティングシステム（ぶんさんオペレーティングシステム、distributed operating system、分散OS）とは分散コンピューティングのための（機能を持つ、あるいはそれらの機能が強化されている）オペレーティングシステムである。.
新しい！!: L4マイクロカーネルファミリーと分散オペレーティングシステム · 続きを見る »
アドレス空間
情報処理において、アドレス空間 (Address Space) とは、メモリアドレスが意味を成すコンテキストを定義したもの。あるいは、一連のメモリアドレスによってアクセス可能なメモリ空間を意味する。 メモリアドレスはコンピュータのメモリ内の物理的位置を識別するものであり、住所とある意味で類似している。アドレスはデータが格納されている位置を指すが、それはちょうど人間の住所がその人の居住地を指すのと同じである。人間の住所とのアナロジーで言えば、「アドレス空間」とは、町や市や国といったある範囲の地域に対応すると考えることができる。2つのアドレスが数値的に同じでも、それぞれ異なるアドレス空間内のアドレスであれば、異なる位置を指していると言える。これは2つの市に「××町○丁目△-□」という住所が存在したとき、それらが別の場所を指すのと同じことである。 アドレス空間の例：.
新しい！!: L4マイクロカーネルファミリーとアドレス空間 · 続きを見る »
アセンブリ言語
モトローラ MC6800 のアセンブリ言語のソースコード アセンブリ言語（アセンブリげんご、英: assembly language）とは、コンピュータ、マイクロコントローラ、その他のプログラム可能な機器を動作させるための機械語を人間にわかりやすい形で記述する、代表的な低水準言語である。なお、英語の assembly とは「組立」という意味である。.
新しい！!: L4マイクロカーネルファミリーとアセンブリ言語 · 続きを見る »
インテル
インテル（英:Intel Corporation）は、アメリカ合衆国カリフォルニア州に本社を置く半導体素子メーカーである。 社名の由来はIntegrated Electronics（集積されたエレクトロニクス）の意味である。.
新しい！!: L4マイクロカーネルファミリーとインテル · 続きを見る »
インターフェース
インターフェース (interface) はインタフェイス、インターフェイスとも書き、英語で界面や接触面、中間面などといった意味を持ち、転じてコンピュータと周辺機器の接続部分を表すようになった。さらに、ユーザーインターフェースなどのように、人間と自動機械との間の複雑な操作をする手順・規則との意味にも使われる。.
新しい！!: L4マイクロカーネルファミリーとインターフェース · 続きを見る »
オペレーティングシステム
ペレーティングシステム（Operating System、OS、オーエス）とは、コンピュータのオペレーション（操作・運用・運転）のために、ソフトウェアの中でも基本的、中核的位置づけのシステムソフトウェアである。通常、OSメーカーが組み上げたコンピュータプログラムの集合として、作成され提供されている。 オペレーティングシステムは通常、ユーザーやアプリケーションプログラムとハードウェアの中間に位置し、ユーザーやアプリケーションプログラムに対して標準的なインターフェースを提供すると同時に、ハードウェアなどの各リソースに対して効率的な管理を行う。現代のオペレーティングシステムの主な機能は、ファイルシステムなどの補助記憶装置管理、仮想記憶などのメモリ管理、マルチタスクなどのプロセス管理、更にはGUIなどのユーザインタフェース、TCP/IPなどのネットワーク、などがある。オペレーティングシステムは、パーソナルコンピュータからスーパーコンピュータまでの各種のコンピュータや、更にはスマートフォンやゲーム機などを含む各種の組み込みシステムで、内部的に使用されている。 製品としてのOSには、デスクトップ環境やウィンドウシステムなど、あるいはデータベース管理システム (DBMS) などのミドルウェア、ファイル管理ソフトウェアやエディタや各種設定ツールなどのユーティリティ、基本的なアプリケーションソフトウェア（ウェブブラウザや時計などのアクセサリ）が、マーケティング上の理由などから一緒に含められていることもある。 OSの中で、タスク管理やメモリ管理など特に中核的な機能の部分をカーネル、カーネル以外の部分（シェルなど）をユーザランドと呼ぶ事もある。 現代の主なOSには、Microsoft Windows、Windows Phone、IBM z/OS、Android、macOS（OS X）、iOS、Linux、FreeBSD などがある。.
新しい！!: L4マイクロカーネルファミリーとオペレーティングシステム · 続きを見る »
カーネル
ーネルはアプリケーションソフトウェアとコンピュータのハードウェアを結び付ける。 カーネル（kernel）は、階層型に設計されたオペレーティングシステム (OS) の中核となる部分である。アプリケーションとハードウェアレベルでの実際のデータ処理との間の架け橋である。システムのリソースを管理し、ハードウェアとソフトウェアコンポーネントのやりとりを管理する。 オペレーティングシステムの基本コンポーネントとして、カーネルはメモリ、CPU、入出力を中心としたハードウェアを抽象化し、ハードウェアとソフトウェアがやり取りできるようにする。また、ユーザープログラムのための機能として、プロセスの抽象化、プロセス間通信、システムコールなどを提供する。 これらのタスクはカーネルによって方式が異なり、設計も実装も異なる。モノリシックカーネルは全てを一つの仮想アドレス空間に格納されたコードで実行して性能を向上させようとする。マイクロカーネルはサービスの大部分をユーザー空間で実行し、コードの保守性とモジュール性を向上させようとする, by K.J.。多くのカーネルはこの二つのカテゴリのいずれか、あるいは中間である。.
新しい！!: L4マイクロカーネルファミリーとカーネル · 続きを見る »
カールスルーエ工科大学
ールスルーエ工科大学（独：KIT / Karlsruher Institut für Technologie）は、1825年、ルートヴィヒ1世 (バーデン大公) によって創立されたドイツでは最古の工業大学。ドイツのバーデン＝ヴュルテンベルク州に位置する。 ドイツ9大工科大学によるコンソーシアム（TU9）に参加している。世界100大学に常に入り、工学系は現在ドイツで最も評価が高い。.
新しい！!: L4マイクロカーネルファミリーとカールスルーエ工科大学 · 続きを見る »
クアルコム
アルコム （Qualcomm, Inc.、） は、アメリカの移動体通信の通信技術および半導体の設計開発を行う企業。.
新しい！!: L4マイクロカーネルファミリーとクアルコム · 続きを見る »
コモンクライテリア
モンクライテリア（Common Criteria, 略称 CC）とは、コンピュータセキュリティのための国際規格であり、 ISO/IEC 15408 である。 IT 製品や情報システムに対して、情報セキュリティを評価し認証するための評価基準を定めている。 正式名称は "Common Criteria for Information Technology Security Evaluation"（情報技術セキュリティ評価のためのコモンクライテリア）である。 ISO/IEC 15408 の規格名は "Evaluation criteria for IT security", JIS X 5070 としての名称は「情報技術セキュリティの評価基準」である。 現在は「バージョン3.1 リリース4（2012年9月）」が最新版である。 日本ではコモンクライテリアまたは CC と呼ばれるほか、情報技術セキュリティ評価基準、ITセキュリティ評価基準、広く一般的にはセキュリティ評価基準などと呼ばれる。 現在では独立行政法人情報処理推進機構が、日本の「ITセキュリティ評価及び認証制度（JISEC：Japan Information Technology Security Evaluation and Certification Scheme）」における認証機関を運営している。.
新しい！!: L4マイクロカーネルファミリーとコモンクライテリア · 続きを見る »
コンパイラ
ンパイラ（英:compiler）とは、コンピュータ・プログラミング言語の処理系（言語処理系）の一種で、高水準言語によるソースコードから、機械語に（あるいは、元のプログラムよりも低い水準のコードに）変換するプログラムである。.
新しい！!: L4マイクロカーネルファミリーとコンパイラ · 続きを見る »
システム
テム（system）は、相互に影響を及ぼしあう要素から構成される、まとまりや仕組みの全体。一般性の高い概念であるため、文脈に応じて系、体系、制度、方式、機構、組織といった多種の言葉に該当する。系 (自然科学) の記事も参照。 それ自身がシステムでありながら同時に他のシステムの一部でもあるようなものをサブシステムという。.
新しい！!: L4マイクロカーネルファミリーとシステム · 続きを見る »
ジェネラル・ダイナミクス
ェネラル・ダイナミクス (General Dynamics Corporation、) は、米国バージニア州フォールズチャーチに本社を置く重機械コングロマリットである。ニューヨーク証券取引所上場。.
新しい！!: L4マイクロカーネルファミリーとジェネラル・ダイナミクス · 続きを見る »
セキュリティ
ュリティ（security）は、人、住居、地域社会、国家、組織、資産などを対象とした、害からの保護。 一般には保安のことであり、犯罪や事故などを防止するための警備全般を指す。 コンピュータ関連の文脈では、特にコンピュータセキュリティを単にセキュリティと呼ぶ場合がある。 金融業界では、出資を募る団体を損害から保護するという意味から派生して、セキュリティが証券を意味する場合がある。.
新しい！!: L4マイクロカーネルファミリーとセキュリティ · 続きを見る »
国際標準化機構
国際標準化機構（こくさいひょうじゅんかきこう、International Organization for Standardization）、略称 ISO（アイエスオー、イソ、アイソ）は、各国の国家標準化団体で構成される非政府組織である。 スイス・ジュネーヴに本部を置く、スイス民法による非営利法人である。1947年2月23日に設立された。国際的な標準である国際規格(IS: international standard)を策定している。 国際連合経済社会理事会に総合協議資格(general consultative status)を有する機関に認定された最初の組織の1つである。.
新しい！!: L4マイクロカーネルファミリーと国際標準化機構 · 続きを見る »
国防高等研究計画局
アメリカ国防高等研究計画局（アメリカこくぼうこうとうけんきゅうけいかくきょく、Defense Advanced Research Projects Agency）は、軍隊使用のための新技術開発および研究を行うアメリカ国防総省の機関である。日本語では防衛高等研究計画局、国防高等研究事業局、国防高等研究計画庁などとも表記される。略称はダーパ（DARPA）。ARPAの時期にインターネットの原型であるARPANET・全地球測位システムのGPSを開発したことで知られている。.
新しい！!: L4マイクロカーネルファミリーと国防高等研究計画局 · 続きを見る »
BSDライセンス
BSD License（ビーエスディー ライセンス）は、フリーソフトウェアで使われているライセンス体系のひとつ。カリフォルニア大学によって策定され、同大学のバークレー校内の研究グループ、Computer Systems Research Groupが開発したソフトウェア群であるBSDなどで採用されている。.
新しい！!: L4マイクロカーネルファミリーとBSDライセンス · 続きを見る »
Capability-based security
Capability-based security は、セキュリティの高い（セキュアな）コンピュータを設計するためのコンセプトの一つである。.
新しい！!: L4マイクロカーネルファミリーとCapability-based security · 続きを見る »
関数型言語
関数型言語（かんすうがたげんご、functional language）は、以下に述べる関数型プログラミングを基本スタイルとして推奨する機能を持つプログラミング言語、関数型プログラミング言語の略称である。.
新しい！!: L4マイクロカーネルファミリーと関数型言語 · 続きを見る »
GNU General Public License
GNU General Public License(GNU GPLもしくは単にGPLとも)とは、GNUプロジェクトのためにリチャード・ストールマンにより作成されたフリーソフトウェアライセンスである。八田真行の日本語訳ではGNU 一般公衆利用許諾書と呼んでいる。.
新しい！!: L4マイクロカーネルファミリーとGNU General Public License · 続きを見る »
Haskell
Haskell（ハスケル）は非正格な評価を特徴とする純粋関数型プログラミング言語である。名称は数学者であり論理学者であるハスケル・カリーに由来する。.
新しい！!: L4マイクロカーネルファミリーとHaskell · 続きを見る »
IEC
IEC.
新しい！!: L4マイクロカーネルファミリーとIEC · 続きを見る »
Intel 80386
Intel 80386（またはi386）はインテルの32ビットマイクロプロセッサ(CPU)である。1985年10月に発表され、x86アーキテクチャを32ビットに拡張し、レジスタを強化した。インテルが現在使用している名称はIntel386TMプロセッサ (Intel386TM Processor) である。互換CPUにも386の型番が付くものがある。 後にIA-32と呼ばれる、インテルの32ビットCPUのベースとなる命令セットアーキテクチャは、このCPUで確定した。アーキテクチャとしてのi386については、x86およびIA-32の項目も参照のこと。.
新しい！!: L4マイクロカーネルファミリーとIntel 80386 · 続きを見る »
Itanium
Itanium（アイテニアム）は、インテルが2001年にリリースした、64ビットマイクロプロセッサ。ヒューレット・パッカード (HP) と共同開発した高性能サーバ向けの命令セットアーキテクチャであるIA-64を初めて採用した。 Itanium 2（アイテニアムツー）は、翌2002年に発表されたItaniumの後継で、3次キャッシュを内蔵させるなど性能の向上を図った。 2008年2月25日、インテルはItanium 2の表記を「Itanium 9000」などに変更した。これはプロセッサナンバーの採用によりItaniumとItanium 2を区別する必要性が薄れたこと、ブランド力の強化などがあげられる。.
新しい！!: L4マイクロカーネルファミリーとItanium · 続きを見る »
Linux
Linux（リナックス、他の読みは後述）とは、Unix系オペレーティングシステムカーネルであるLinuxカーネル、およびそれをカーネルとして周辺を整備したシステム（GNU/Linuxシステムも参照）である。.
新しい！!: L4マイクロカーネルファミリーとLinux · 続きを見る »
Mach
Mach（マーク）は、カーネギーメロン大学のリチャード・ラシッド教授（実際の実装はアビー・テバニアンが中心）らの Mach プロジェクトにより開発されたマイクロカーネルタイプのオペレーティングシステム (OS)。名前は「複数非同期通信ホスト」を意味する英語「multiple asynchronously communication hosts」に由来している。.
新しい！!: L4マイクロカーネルファミリーとMach · 続きを見る »
Symbian OS
Symbian OS（シンビアンオーエス）はシンビアンによる携帯機器向けオペレーティングシステムであり、関連するライブラリ、ユーザインタフェースフレームワーク、一般的なツールの参照実装が含まれる。2008年にシンビアンはノキアに買収され、2011年末までにノキアから多国籍コンサルティング企業のアクセンチュアに事業が移管された。2010年時点では、スマートフォンのオペレーティングシステム (OS) ではシェア1位であり、フィーチャー・フォンでも広く使われていた。その後Android及びiOSによってシェアは激減し、2012年のシェアは僅か3.3%となった。ノキアは2013年夏、最後のSymbian OSベースのスマートフォンを出荷し、今後はWindows Phoneに完全に移行することを発表している。.
新しい！!: L4マイクロカーネルファミリーとSymbian OS · 続きを見る »
Unix系
複数のUnix系システム間の関連図 Unix系（ユニックスけい、ユニックスライク）とは、Unixに類似した振る舞いをするオペレーティングシステム (OS) を指す用語である。その判断基準や範囲には複数の議論がある。.
新しい！!: L4マイクロカーネルファミリーとUnix系 · 続きを見る »
XScale
XScale（エックススケール）は、インテルが実装した第五世代ARMアーキテクチャのRISCマイクロプロセッサであり、v5TE ISAに基づいている。 これは、DECのStrongARMマイクロプロセッサおよびマイクロコントローラの後継であり、StrongARMはDECとの訴訟問題の和解案としてDECの半導体部門から購入した経緯がある。インテルはStrongARMを同社の古くなったRISCプロセッサ(i860、i960)の後継として使用した。 2006年6月27日のプレスリリースでインテルはマーベル・テクノロジー・グループにXScaleおよびその周辺チップ事業を6億ドルで譲渡する事を発表した。.
新しい！!: L4マイクロカーネルファミリーとXScale · 続きを見る »
