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