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