この記事は「Theorem Prover Advent Calendar 2013」6日目の記事です。 http://qiita.com/advent-calendar/2013/theorem_prover 神田「野らぼー」にて、地下の薄暗い店内で… 「そう言えばこないだ隣で起こってたポインタオーバーラン、対応大変そうだったですけどちゃんと家に帰れてたんでしょうかね、新婚なのに…」 「ヌルポとかポインタオーバーランとか、どうして無くならないんだろうね。その時はみんな手を抜いてるつもりなんて毛頭なくて、一生懸命考えて大丈夫だと思ってるはずなんだけどね。レビューもして、それでも起こった後でみんなでソース見てみると、なんで気づかなかったんだよ！ってことになる。」 「人間って、そういうの苦手なんでしょうねきっと。ほら、『何かほかにありませんか』って聞かれても出てこないじゃないですか。静的な解析っ

『フォトショップ・ブイアイピー』の新着記事です。フォトショップやデザインをたのしむウェブサイト。2009年３月創刊以来、3800を超えるコンテンツを更新しています。フリーフォントなどの無料デザイン素材／配色やWeb制作といった最新トレンドも公開中。

Case: The anti-pre-roll pre-roll YouTubeで動画を視聴する際に表示される「プレロール広告」。目的の動画本体の前に流れるもので、広告としての効果は高いのですが“5秒間はスキップすることができない”という特性から、視聴者の中にはうっとおしく感じる人も多いといいます。 そんな“嫌われ者・プレロール”を、ユニークなアイディアで“笑えるプレロール”に変えてしまったのが、愉快なプロモーションに定評のあるバーガーキングです。 YouTubeのトップページで「animals attack」と検索し、最も上位に表示された動画に対して流れたのがこちら。 二人の男性がテーブルを挟んで話しています。 「YouTubeのプレロール広告、まじ最悪だな！」 「この人（= PCで“この”動画を視聴しているユーザー）、せっかく動物の映像を観ようと思ってるのに、つまらないバーガーキングの

アメリカ合衆国が毎日世界中の携帯電話のデータ50億件を収拾していると12月4日、「ワシントン・ポスト」が伝えた。アメリカ中央情報局（CIA）の元職員エドワード・スノーデン氏からワシントン・ポストに提供された内部文書で明らかになった。

Available in Target stores August 19, 2014 Preview of the exclusive content from the Amazing Spider-Man 2 Target Exclusive Bonus disc. It's great to be Spider-Man (Andrew Garfield). For Peter Parker, there's no feeling quite like swinging between skyscrapers, embracing being the hero, and spending time with Gwen (Emma Stone). But being Spider-Man comes at a price: only Spider-Man can protect his

「水道水はおいしくない」と、ペットボトルのミネラルウォーターばかりを飲んでいる人もいるかと思います。 東京都は、水処理施設を改良するなど２５年かけて、この秋、ミネラルウォーターにも負けない、おいしい水道水を都内のほぼ全域に供給できるようにしました。 しかし、これまでの「おいしくない」という先入観を払拭（ふっしょく）するのは簡単ではないようで、今月中旬からは、全国でも珍しい取り組みを始めることになりました。 “水道水離れ”は全国の自治体共通の悩みで、都の取り組みに注目しています。 ネット報道部の松田透記者がお伝えします。 都によりますと、昭和４０年代以降、江戸川などの水質悪化に伴って“かび臭さ”を訴える苦情が多く寄せられたということです。 このため、都は、川の水がきれいな多摩地区の一部を除く５か所の浄水場に、順次、「高度浄水処理施設」を導入していき、２５年かかって、ことし１０月から

０．０１ミリ世界最薄コンドーム売れすぎ　相模ゴム工業、開発１０年、汗と涙の結晶 Tweet 1： ◆CHURa/Os2M ＠ちゅら猫ρ ★：2013/12/05(木) 14:37:59.12 ID:???0 ★０．０１ミリ世界最薄コンドーム売れすぎ　相模ゴム工業、開発１０年、汗と涙の結晶 2013.12.04 コンドームブランド「サガミオリジナル」でおなじみの相模ゴム工業（神奈川県厚木市）が新発売 した世界最薄０・０１ミリのコンドームが注目を集めている。発売２週間で売り切れになる店舗も 出るなど、大ヒットの兆しをみせているのだ。構想から１０年以上かけて開発にこぎつけたという逸品。 ２０２０年の東京五輪を前に一足早く“世界記録”を達成し、開発担当者は「この品質をぜひ体感 してほしい」とアピールしている。 世界に誇る日の丸ブランドが快挙達成だ。業界の話題をさらっているのは、相模ゴムが先月、都内

NHKの「妄想ニホン料理」、 もし、日本料理なんて見たことのないイタリアやタイの料理人が、簡単な説明だけをもとに妄想ふくらませ、勝手な「ニホン料理」を作ったら！？　新感覚の異文化交流クッキングバラエティー！ というコンセプトの番組なんですが、 すごく面白いですね、これ。 僕が見た回は、「愛がまんまるメロンパンの巻」。 メロンパンを知らない外国の料理人に、写真も見せず、 簡単なヒントだけを教えて、メロンパンを作ってもらうのです。 メロンパンを作るためのヒントは、 1. メロンパンとはメロンのパンという意味であるが メロンは使わない 2. 上から触った時と 下から触った時とで 触感が違う 3. 食べた時 口の中にくっつくことがある の3つだけ。 このヒントだけをたよりに、 フランス、トルコの料理人が想像だけでメロンパンを作るのです。 「メロンの使わないメロンパンなんて、イチゴを使わないイチゴタ