タグ

ブックマーク / yukoba.hatenablog.jp (2)

  • 福島県飯舘村は屋内退避させるべきか否か - yukobaのブログ

    ソフトバンクの孫正義さんが、Twitterで、政府の出している避難指示に関して、http://twitter.com/masason/status/51832607117295616 以下のように書いていて、この問題についてです。 政府は飯舘村や南相馬市に明確な避難命令を出すべき。RT @mryoshi55: 政府が中途半端なことをするから、ここ米沢の避難所から飯館村や南相馬市に戻る避難者が今日出てきた、今はまだ止めた方が良いと思う http://twitter.com/masason/status/51836389716795392 「直ちに問題無し」「避難命令拡大不要」を連呼する政治家や学者は自らの家族がそこにいても避難させないのだろうか? @dunce_jp @masason: 政府は飯舘村や南相馬市に明確な避難命令を出すべき。 僕は、政治哲学として、「平時に決めた緊急時マニュアルは

    福島県飯舘村は屋内退避させるべきか否か - yukobaのブログ
    moriyoshi
    moriyoshi 2011/03/29
  • JavaScriptでソフトウェアの正しさを数学的厳密に証明してみた - yukobaのブログ

    現在、Shibuya.js が開催中です!Ustream で http://www.ustream.tv/channel/shibuyajs にて放送されています。これから、このブログの内容をしゃべります! 今回「テスト」がテーマなうえ、Shibuya.js は「役に立つ話担当」「ネタ担当」に分かれていて、僕は「ネタ担当」なんですが(笑)、いつも通りネタです。でも、遠い未来の役立つネタです! きっかけは、id:t-wada さんに、GUIの自動テスト関係の質問をしたら、凄くいいことを教えてもらいました。 全てのテストはサンプリングテストである (少し表現違ったらごめんなさい)話の流れで、部屋を移動しなくていけなくて、たしか、それしか話ができなかったのですが、要するに、サンプリングテストである以上、全ての入力パターンをテストすることは不可能であり、できることは、限られたコストの中で、効率よく

    JavaScriptでソフトウェアの正しさを数学的厳密に証明してみた - yukobaのブログ
    moriyoshi
    moriyoshi 2011/03/08
  • 1