|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ ブル : [ぶる] 【名詞】 1. bull 2. (n) bull ・ ー : [ちょうおん] (n) long vowel mark (usually only used in katakana)
マヌエル・ブラム(Manuel Blum、1938年4月26日 - )はベネズエラのカラカス出身の著名な計算機科学者。1995年、「計算複雑性理論の基礎的研究とその暗号およびプログラム検証への応用に関する貢献に対して」チューリング賞を授与された〔ACM Turing Award Citation , retrieved 2010-01-24.〕。 == 経歴 == ブラムはマサチューセッツ工科大学で学び、1959年に学士号、1961年に修士号を取得(いずれも電気工学および計算機科学)。1964年にはマービン・ミンスキーの下で数学の博士号を取得した。 1999年までカリフォルニア大学バークレー校で計算機科学の教授を務めた〔Honored professor stumps computers , Jonathan Potts, Pittsburgh Tribune-Review, May 16, 2002.〕。2002年、米国科学アカデミーの会員に選ばれた〔。 現在、ブラムはカーネギーメロン大学で計算機科学の教授を務めている。彼の妻 Lenore Blum と息子 Avrim Blum も同大学で計算機科学の教授を務めている。 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「マヌエル・ブラム」の詳細全文を読む 英語版ウィキペディアに対照対訳語「 Manuel Blum 」があります。 スポンサード リンク
|