プログラムに証明が付く日 | RANDMAX
この記事は「Theorem Prover Advent Calendar 2013」6日目の記事です。 http://qiita.com/advent-calendar/2013/theorem_prover 神田「野らぼー」にて、地下の薄暗い店内で… 「そう言えばこないだ隣で起こってたポインタオーバーラン、対応大変そうだったですけどちゃんと家に帰れてたんでしょうかね、新婚なのに…」 「ヌルポとかポインタオーバーランとか、どうして無くならないんだろうね。その時はみんな手を抜いてるつもりなんて毛頭なくて、一生懸命考えて大丈夫だと思ってるはずなんだけどね。レビューもして、それでも起こった後でみんなでソース見てみると、なんで気づかなかったんだよ！ってことになる。」 「人間って、そういうの苦手なんでしょうねきっと。ほら、『何かほかにありませんか』って聞かれても出てこないじゃないですか。静的な解析っ
歩道を走行の自転車が衝突 男性死亡 NHKニュース
６日夕方、栃木県茂木町で、中学生の乗った自転車が歩道を歩いていた男性に衝突し、男性が頭などを強く打って死亡しました。 ６日午後５時ごろ、茂木町鮎田の県道脇の歩道で、１３歳の男子中学生が乗った自転車が前を歩いていた水戸市の警備員、大畠邦良さん（５９）に衝突しました。 この事故で、大畠さんは路上に転倒し、頭などを強く打って病院に運ばれましたが、７日午前、死亡しました。 また、事故の衝撃で自転車も転倒し、乗っていた男子生徒が腹部などを打つ軽いけがをしました。 警察によりますと、現場は自転車が走行できる幅２メートルほどの歩道で、急な下り坂になっているということです。 警察は、男子生徒が前を歩いていた大畠さんを追い抜こうとした際に衝突したのではないかとみて詳しい原因を調べています。
水道管にタヌキ、川に飛び込み泳いで逃げる : 社会 : YOMIURI ONLINE（読売新聞）
６日午前７時３０分頃、さいたま市西区三橋の鴨川に架かる加茂川橋の水道管の上にタヌキが横たわっているのを通行人が見つけた。 連絡を受け、駆けつけた市職員が救出しようとしたが、タヌキは約３メートル下の川に飛び込んで泳いで逃げた。 職員はタヌキが動き出すのを待っていたが、午前１０時半頃に橋から網で捕まえようとしたところ、突然川に飛び込んだ。タヌキは岸まで泳いだ後、草むらに逃げたという。 市環境総務課によると、アライグマなどの外来種は鳥獣保護法に基づき捕獲できるが、在来種のタヌキは実害がない限り捕獲できないという。市の担当者は「無事に逃げてくれてよかった」と話していた。
ドイツの裁判所、オープンソースプログラムに違法なコードが混入したのはプロジェクトオーナーの責任と判断 | スラド オープンソース
オープンソースのダウンロードツール「JDownloader2」の非公式ベータ版に技術的保護手段を回避する機能が含まれていたとして、ドイツ・ハンブルクの裁判所が開発母体のAppWorkに罰金25万ユーロの支払いを命じているそうだ(TorrentFreakの記事、 JDownloader.orgの記事、 heise onlineの記事、 本家/.)。 違法とされたのは暗号化されたRTMPE方式のストリーミング動画をダウンロードする機能で、外部のコントリビューターが追加したもの。AppWorkによれば、該当バージョンはナイトリービルドとして自動で生成されており、その時点では違法な機能が含まれることを確認することはできなかったという。JDownloader2の事前差止と罰金の支払いを命ずる判決は6月に出されており、控訴も先日棄却されたとのこと。これについてAppWorkでは、小規模なプロジェクトで
朝日新聞は知る権利に応え続けます 編成局長・杉浦信之：朝日新聞デジタル
■朝日新聞ゼネラルエディター兼東京本社編成局長 杉浦信之 特定秘密保護法が成立した。私たちは、この法律の危険性を指摘してきたが、今後も問題点を追及していきたいと思う。それは、国民一人一人の生活を脅かす恐れがあるからだ。 どんな組織にも公開できない情報はあり、日本にはそれを守らせる法律も現にある。しかし、新たな法律は（１）秘密の範囲を際限なく広げ（２）官僚や政治家の都合のいいように秘密を指定できるようにした。さらに（３）秘密を扱う人たちのプライバシーの把握は家族にまで及び（４）秘密の指定を監視する独立した機関もない。 ２０１１年の東日本大震災と原発事故で、政府は国民の生命財産を守るのに必要な情報さえ隠し、活用もできなかった。今回の法律は、一般人を何が秘密かわからない状態に置いたまま、その秘密を漏らせば懲役１０年の罰を科す。動く方向が正反対ではないのか。 私たちは、この法律が施行されたときに一
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
牛乳は体に悪い? 知られざる秘密 - ライブドアニュース