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