タグ

2011年3月8日のブックマーク (3件)

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

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

    JavaScriptでソフトウェアの正しさを数学的厳密に証明してみた - yukobaのブログ
  • 「荒らし」を撃退するベストな方法は「無視」ではない | スラド IT

    ストーリー by reo 2011年03月08日 12時30分 (スコア:1, おもしろおかしい) 部門より 掲示板やコミュニティなどにやってくる「荒らし」(英語では「Internet Trolls」と呼ばれる) への対処方法として、長らく「無視する」「火に油を注がない」というのがベストだと言われていた。しかし、これよりも効果的な方法がある、という話題が 家 /. 記事で紹介されている。 Unarmed but still Dangerous の記事によると、David D. Burns による臨床心理学に関する名著「Feeling Good: The New Mood Therapy」にその回答はあったという。詳しくはこの記事を確認してほしいが、「やっては行けないこと」としては 主張に対し批判を行う無視するBANする/BAN要求をする荒らしをするなと説得する批判の対象となっているものを

    「荒らし」を撃退するベストな方法は「無視」ではない | スラド IT
  • サービス終了のお知らせ - NAVER まとめ

    サービス終了のお知らせ NAVERまとめは2020年9月30日をもちましてサービス終了いたしました。 約11年間、NAVERまとめをご利用・ご愛顧いただき誠にありがとうございました。