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