タグ

論理に関するiuyuiのブックマーク (2)

  • 背理法を使うとき忘れてはならないこと - hiroyukikojima’s blog

    週刊東洋経済の9月1日号に載る(はずの)原稿を書き終えた。 その中に、キドランドとプレスコットがノーベル賞を受賞することとなった「動学的不整合性理論」の解説を書いた。(この理論については、週刊東洋経済9月1日発売号をちゃんと買って読んでくださいな)。そこで実は、筆がすべって、よせばいいのに、ちょっと「リフレ派」批判的なニュアンスを書いてしまった。打ち合わせをしているとき、編集者がどうしても書かせたいらしく、何度も焚きつけるので、ついついその尻馬に乗ってしまった、というのが正直なところだ。 「リフレ政策」というのは、不況のときに、中央銀行が「ある目標のパーセントのインフレになるまでは断固貨幣供給を続ける」とコミットして、人々に「インフレになるならモノを買わなきゃ」と決意させて、消費を刺激し、景気回復をはかる政策のことで、「インフレターゲット論」とも呼ばれる。(もちろん、高すぎるインフレ率を下

    背理法を使うとき忘れてはならないこと - hiroyukikojima’s blog
  • 論理的思考の放棄 - 登 大遊@筑波大学情報学類の SoftEther VPN 日記

    僕は、1 日に少なくとも 3,000 行程度、多く書くときで 10,000 行以上のプログラムを書くことができる。その結果、多い月で 10 万行 / 月くらいである。なお、言語は書くソフトウェアの性質上、大半が C 言語である。 また、プログラミングにはバグが付き物だが、ここ 2、3 年の間は、発生するバグの数を極めて少なく保つことに成功している。 とても大きく複雑で、かつレイヤ的に OS に近い処理をたくさんやるプログラムを書く場合は、プログラミングをするときでも、事前の設計が極めて重要となる。設計をうまく行わないと、後になって全面的に書き直しをしないといけなくなったり、パフォーマンスが低下したりする原因となり、開発者の苦痛の原因となる。 当然のことながら、これまで書いたいくつかの大きく複雑といえるソフトウェアの大半の設計も、自分で行った。いかなる場合でも、設計は、最初の 1 回目で確定

    論理的思考の放棄 - 登 大遊@筑波大学情報学類の SoftEther VPN 日記
  • 1