アカウント名:
パスワード:
ここまでこの2人の名が挙がっていないとは…
現在のプログラミング方法論とプログラミング言語は全てこの2人の仕事の影響を受けているといっても過言ではありません。
C. A. R. Hoare構造化プログラミング,ホーア論理,CSP,クイックソート,etc.
R. Milner型多相,型推論,ML,CCS,π計算,etc.
C. A. R. Hoare 構造化プログラミング,ホーア論理,CSP,クイックソート,etc.
構造化プログラミングといえば、ダイクストラ [wikipedia.org]でしょう。
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
「毎々お世話になっております。仕様書を頂きたく。」「拝承」 -- ある会社の日常
ホーアとミルナー (スコア:2)
ここまでこの2人の名が挙がっていないとは…
現在のプログラミング方法論とプログラミング言語は全てこの2人の仕事の影響を受けているといっても過言ではありません。
C. A. R. Hoare
構造化プログラミング,ホーア論理,CSP,クイックソート,etc.
R. Milner
型多相,型推論,ML,CCS,π計算,etc.
Re: (スコア:0)
Re: (スコア:0)
構造化プログラミングといえば、ダイクストラ [wikipedia.org]でしょう。