翻訳と辞書 Words near each other ・ アレン・アンド・オーヴェリー ・ アレン・アヴディッチ ・ アレン・イゼル・アイバーソン ・ アレン・ウェスト ・ アレン・ウェスト (ギタリスト) ・ アレン・ウェスト (政治家) ・ アレン・ウェブスター ・ アレン・ウェルシュ・ダレス ・ アレン・ウォーカー ・ アレン・ウッドリング ・ アレン・エマーソン ・ アレン・エレンダー ・ アレン・カー ・ アレン・カーン方程式 ・ アレン・ガーフィールド ・ アレン・キボム ・ アレン・ギンスバーグ ・ アレン・ギンズバーグ ・ アレン・ギーンズバーグ ・ アレン・クラブ Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク アレン・エマーソン ： ミニ英和和英辞書 アレン・エマーソン[ちょうおん] ===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ ー ： [ちょうおん] 　(n) long vowel mark (usually only used in katakana) アレン・エマーソン ： ウィキペディア日本語版 アレン・エマーソン[ちょうおん] アーネスト・アレン・エマーソン（Ernest Allen Emerson）は、アメリカ合衆国の計算機科学者であり、テキサス大学オースティン校の教授。 エドムンド・クラーク、ジョセフ・シファキスと共にモデル検査の先駆的研究で2007年のチューリング賞を受賞した。1998年には、記号的モデル検査 (Symbolic Model Cheking) の研究に対してACMのパリス・カネラキス実践的理論賞を受賞した。 1976年、テキサス大学オースティン校で数学の学士号を取得し、1981年、ハーバード大学で応用数学の博士号を取得した〔。 1980年代にエドムンド・クラークと共同研究し、計算木論理を考案した。 ACMの会員である。 == 脚注・出典 == 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「アレン・エマーソン」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.