トップページ > プログラム > 2014年09月20日 > EUFRt8Dw

書き込み順位＆時間帯一覧

65 位/196 ID中時間01234567891011121314151617181920212223Total
書き込み数0010000000000000000000001



使用した名前一覧書き込んだスレッド一覧
デフォルトの名無しさん
Lisp Scheme Part39

書き込みレス一覧

Lisp Scheme Part39
57 ：デフォルトの名無しさん[sage]：2014/09/20(土) 02:08:25.61 ID:EUFRt8Dw
>>54
Algol WのWはWirthさんのWだったのか。
なるほど、それをHoareさんらと共同でまとめて対抗案として提案したという延長として、
さらにPascalをWirthさんが作ったときに
HoareさんはFloydさんのアプローチを発展させた公理的意味論を編み出して
Pascalに対して具体的に定義したわけだ。


※このページは、『２ちゃんねる』の書き込みを基に自動生成したものです。オリジナルはリンク先の２ちゃんねるの書き込みです。
※このサイトでオリジナルの書き込みについては対応できません。
※何か問題のある場合はメールをしてください。対応します。