コンピュータプログラミングの概念・技法・モデルat TECHコンピュータプログラミングの概念・技法・モデル - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞの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。つまり形式主義というのは皮肉な話。 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch