コンピュータプログラミングの概念・技法・モデル
at TECH
[
2ch
|
▼Menu
]
■コピペモード
□
スレを通常表示
□
オプションモード
□このｽﾚｯﾄﾞのURL
■項目テキスト
100:84 08/01/28 16:36:29 数学的観点からプログラムを見る形式主義を批判してる、コペンハーゲン大学の計算機科学教授を知ってる？ 101:デフォルトの名無しさん 08/01/28 17:57:37 その人が何でも正しいわけではない。 102:デフォルトの名無しさん 08/01/28 18:15:34 C言語原理主義者「あとはわかるよな。」ｗ 103:デフォルトの名無しさん 08/01/28 18:16:58 >>90 PyPy初めて知りました。アリガ㌧。 104:99 08/01/28 18:19:07 てか、知らない。誰？ チューリング賞講演集とか読むと、名だたる大家がそれぞれ正反対の主張を してたり面白いよね。直接関係ない話だけど。 105:デフォルトの名無しさん 08/01/28 18:57:10 >>104 たぶんだけど「ナウア」ｼﾞｬﾏｲｶ ttp://ja.wikipedia.org/wiki/%E3%83%94%E3%83%BC%E3%82%BF%E3%83%BC%E3%83%BB%E3%83%8A%E3%82%A6%E3%82%A2 >>102は勘違いだと思う。ナウアはALGOL60とかBNF。つまり形式主義というのは皮肉な話。
次ページ
最新レス表示
スレッドの検索
類似スレ一覧
話題のニュース
おまかせリスト
▼オプションを表示
レスジャンプ
mixiチェック！
Twitterに投稿
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch
5382日前に更新/45 KB
担当:undef