翻訳と辞書
Words near each other
・ バーバラ・ペントランド
・ バーバラ・ボニー
・ バーバラ・ポーラス
・ バーバラ・マイケルズ
・ バーバラ・マクリントク
・ バーバラ・マクリントック
・ バーバラ・マーツ
・ バーバラ・モーガン
・ バーバラ・ラ・マー
・ バーバラ・ラ・マール
バーバラ・リスコフ
・ バーバラ・ルイス
・ バーバラ・ルディ
・ バーバラ・レプチェンコ
・ バーバラ・ローズマリー・グラント
・ バーバラ・ロールズ
・ バーバラ・ワグナー
・ バーバラ・ヴァイン
・ バーバラ寺岡
・ バーバリアン


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

バーバラ・リスコフ : ミニ英和和英辞書
バーバラ・リスコフ[ちょうおん]
=====================================
〔語彙分解〕的な部分一致の検索結果は以下の通りです。

: [ちょうおん]
 (n) long vowel mark (usually only used in katakana)

バーバラ・リスコフ : ウィキペディア日本語版
バーバラ・リスコフ[ちょうおん]

バーバラ・リスコフ(Barbara Liskov、1939年11月7日 - )はアメリカ合衆国計算機科学者。MIT電気工学/計算機科学部門の教授を務めている。
== 経歴 ==
ロサンゼルス生まれ。1961年、カリフォルニア大学バークレー校で数学の学士号を取得し、1968年スタンフォード大学でアメリカ合衆国で女性として初の計算機科学の博士号を取得した〔 Profile from the National Academies of Engineering.〕〔 PhDs granted at UW-Madison Computer Sciences Department.〕。博士論文のテーマは、チェスの終盤をプレイするプログラムに関するものだった。当時、計算機科学部門を有する大学は少なく、スタンフォードでも計算機科学の学位を取得する学生は非常に限られていた。
リスコフは数々の重要なプロジェクトを主導した。
* オペレーティングシステム Venus の開発 - 小型低コストの対話型システム
* CLU言語の設計と実装 - 世界初のデータ抽象化機能をサポートしたプログラミング言語(1970年代)
* Argus 言語 - 世界初の分散プログラムをサポートした高級言語。future という機構を実装。(1980年代)
* Thor - オブジェクト指向データベースシステム
また、Jeannette Wing と共に派生型という概念を定義し、現在ではリスコフの置換原則として知られている。MIT では Programming Methodology Group を率い、ビザンチン・フォールトトレラント性分散コンピューティングを研究している。
リスコフは全米技術アカデミーの会員であり、アメリカ芸術科学アカデミーAssociation for Computing Machinery (ACM) のフェローである。2004年、「プログラミング言語、プログラミング手法、分散システムの理論的貢献に対して」、フォン・ノイマンメダルを授与された。3冊の著書と百以上の論文を発表している。
2008年、オブジェクト指向プログラミングの発展へとつながったプログラミング言語(特にCLUとArgus)設計とソフトウェア方法論についての貢献により〔 Barbara Liskov Wins Turing Award | March 10, 2009 from the Dr. Dobb's Journal website〕、ACMチューリング賞を受賞〔Top prize in computing goes to MIT professor from the website of ''The Boston Globe''〕。ACMでは、プログラミング言語とシステム設計への実用的および理論的基盤への貢献を挙げており、特にデータ抽象化フォールトトレラント設計分散コンピューティングに関連した業績を挙げている。

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「バーバラ・リスコフ」の詳細全文を読む




スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.