コラド・ベーム
ナビゲーションに移動
検索に移動
コラド・ベーム(Corrado Böhm, 1923年1月17日 - )は、イタリアミラノ出身の計算機科学者。ローマ・ラ・サピエンツァ大学名誉教授。
1946年にローザンヌ大学で電気工学を修了した後、コンピュータ科学の研究を始め、1966年にジュゼッペ・ヤコピーニとともに構造化定理を証明した。この構造化定理は、エドガー・ダイクストラが提唱した構造化プログラミングとよく混同されるが、本来はあまり関係のないものである。
関連項目[編集]
- P′′(コラド・ベームが開発したプログラミング言語)