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