1. HOME
  2. 電気・情報関連(専門)
  3. 検索結果(専門)

[電気・情報関連] - 計算基盤 - [2000年 - 2009年]

 2 件中 1 - 2 件目を表示
分野のカテゴリ 卓越研究名
2000  計算基盤

ソフトウェア, 情報学基礎理論

ソフトウェア科学に対する先駆的かつ根幹的な貢献

(ソフトウェア科学, コンピュータ, プログラミング言語, ホーア論理, 公理論的アプローチ, クイック・ソート, モニター, 相互通信逐時システム(CSP), 信頼性向上, 整列アルゴリズム)

2004  計算基盤

計算機システム, 情報学基礎理論

現代のパーソナルコンピュータの概念の創出と実現への多大な貢献

(パーソナルコンピュータ, Dynabook, オブジェクト指向, Altoコンピュータ, グラフィック・ユーザ・インターフェース, GUI)

Page Top