[電気・情報関連] - 計算基盤 (ソフトウェア)

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

ソフトウェア, 知能情報学

人工知能研究への根幹的貢献とプログラミング言語「LISP」の発明

(人工知能, LISP, AI, プログラミング言語, 人口知能の父, 計算機科学, 記号処理用プログラミング言語, コンピュータ工学, 時分割処理)

1992  計算基盤

ソフトウェア

世界初のプログラム記憶式コンピュータの開発と計算機アーキテクチャーの先駆的研究

(計算機アーキテクチャー, プログラム記憶式コンピュータ, EDSAC, 高機能コンピュータ, 超音波遅延線記憶装置, プログラミング手法, 演算制御方式, マイクロプログラミング方式)

1996  情報学基礎

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

プログラミング技法から画期的な電子出版ツールまで幅広い分野におけるコンピュータ科学への多大な貢献

(プログラミング技法, 電子出版ツール, コンピュータ科学, アルゴリズム, プログラミング言語, 情報処理技術, 情報科学, ソフトウェア科学, 文書整形システムTEX, 文字フォント設計システムMETAFONT, コンピュータ処理)

2000  情報学基礎

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

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

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

2012  計算基盤

ソフトウェア, ヒューマンインタフェース・インタラクション

コンピュータグラフィックスと対話的インタフェースにおける先駆的業績

(コンピュータグラフィックス, 対話的インタフェース, スケッチパッド, ヘッドマウント3次元ディスプレイシステム, バーチャルリアリティ)

Page Top