アカウント名:
パスワード:
ここまでこの2人の名が挙がっていないとは…
現在のプログラミング方法論とプログラミング言語は全てこの2人の仕事の影響を受けているといっても過言ではありません。
C. A. R. Hoare構造化プログラミング,ホーア論理,CSP,クイックソート,etc.
R. Milner型多相,型推論,ML,CCS,π計算,etc.
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
身近な人の偉大さは半減する -- あるアレゲ人
ホーアとミルナー (スコア:2)
ここまでこの2人の名が挙がっていないとは…
現在のプログラミング方法論とプログラミング言語は全てこの2人の仕事の影響を受けているといっても過言ではありません。
C. A. R. Hoare
構造化プログラミング,ホーア論理,CSP,クイックソート,etc.
R. Milner
型多相,型推論,ML,CCS,π計算,etc.
Re:ホーアとミルナー (スコア:0)