Category:形式手法の人物
エドガー・ダイクストラ
Edsger W. Dijkstraデイナ・スコット
Dana Scott
バートランド・メイヤー
Bertrand Meyer
アロンゾ・チャーチ
Alonzo Church
アミール・プヌーリ
Amir Pnueli
ロビン・ミルナー
Robin Milnerカール・ヒューイット
Carl Hewitt
ニクラウス・ヴィルト
Niklaus Wirth
カール・アダム・ペトリ
Carl Adam Petri
クリストファー・ストレイチー
Christopher Strachey
ロバート・フロイド
Robert W. Floyd
デイビッド・パーナス
David Parnas
オーレ＝ヨハン・ダール
Ole-Johan Dahl
ハーラン・ミルズ
Harlan Mills
アレン・エマーソン
E. Allen Emerson
レスリー・ランポート
Leslie Lamport
アントニー・ホーア
Tony Hoare
ドナルド・クヌース
Donald Knuth
ジョン・マッカーシー
John McCarthy (computer scientist)
アラン・チューリング
Alan Turing
