- HOME
- 電気・情報関連(専門)
- 検索結果(専門)
[電気・情報関連] - 計算基盤 - [2000年 - 2009年]
2 件中 1 - 2 件目を表示
分野のカテゴリ | 卓越研究名 |
---|---|
2000 計算基盤 ソフトウェア, 情報学基礎理論 |
ソフトウェア科学に対する先駆的かつ根幹的な貢献
(ソフトウェア科学, コンピュータ, プログラミング言語, ホーア論理, 公理論的アプローチ, クイック・ソート, モニター, 相互通信逐時システム(CSP), 信頼性向上, 整列アルゴリズム) |
2004 計算基盤 計算機システム, 情報学基礎理論 |
現代のパーソナルコンピュータの概念の創出と実現への多大な貢献
(パーソナルコンピュータ, Dynabook, オブジェクト指向, Altoコンピュータ, グラフィック・ユーザ・インターフェース, GUI) |