コラド・ベーム

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動: 案内検索

コラド・ベーム(Corrado Böhm, 1923年1月17日 - )は、イタリアミラノ出身の計算機科学者ローマ・ラ・サピエンツァ大学名誉教授

1946年ローザンヌ大学電気工学を修了した後、コンピュータ科学の研究を始め、1966年ジュゼッペ・ヤコピーニとともに構造化定理を証明した。この構造化定理は、エドガー・ダイクストラが提唱した構造化プログラミングの理論的基礎となった。

その他、ラムダ計算関数型言語の研究でも知られる。

外部リンク[編集]

コラド・ベーム公式サイト