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