|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ ー ： [ちょうおん] (n) long vowel mark (usually only used in katakana)
コラド・ベーム（Corrado Böhm, 1923年1月17日 - ）は、イタリアミラノ出身の計算機科学者。ローマ・ラ・サピエンツァ大学名誉教授。 1946年にローザンヌ大学で電気工学を修了した後、コンピュータ科学の研究を始め、1966年にジュゼッペ・ヤコピーニとともに構造化定理を証明した。この構造化定理は、エドガー・ダイクストラが提唱した構造化プログラミングの理論的基礎となった。 その他、ラムダ計算や関数型言語の研究でも知られる。 == 外部リンク == コラド・ベーム公式サイト 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「コラド・ベーム」の詳細全文を読む スポンサード リンク
|