プログラムに証明が付く日 | RANDMAX
この記事は「Theorem Prover Advent Calendar 2013」6日目の記事です。 http://qiita.com/advent-calendar/2013/theorem_prover 神田「野らぼー」にて、地下の薄暗い店内で… 「そう言えばこないだ隣で起こってたポインタオーバーラン、対応大変そうだったですけどちゃんと家に帰れてたんでしょうかね、新婚なのに…」 「ヌルポとかポインタオーバーランとか、どうして無くならないんだろうね。その時はみんな手を抜いてるつもりなんて毛頭なくて、一生懸命考えて大丈夫だと思ってるはずなんだけどね。レビューもして、それでも起こった後でみんなでソース見てみると、なんで気づかなかったんだよ！ってことになる。」 「人間って、そういうの苦手なんでしょうねきっと。ほら、『何かほかにありませんか』って聞かれても出てこないじゃないですか。静的な解析っ
北斗の拳に脳内変換したらバッチリわかる！聖徳太子以前の日本古代史 - BUSHOO!JAPAN（武将ジャパン）
「飛鳥時代」って、具体的にいつのことだかご存知でしょうか？歴史の授業でも出てきますが、この時代区分というのは意外に難しいです。 日本大百科全集（小学館）を見ると＜一般には推古朝（５９３～６２８）前後から大化改新（６４５）までとするのが普通であるが、これをさらに天智朝（６６２～６７１）ごろまで下げて考える説も美術史家の間には行われており、さらに時代を下げて平城遷都（７１０）までを飛鳥時代とみる説もある＞ という具合です。 この「飛鳥時代」に日韓（日本と新羅）が一触即発になっていた状況で、九州の豪族が新羅から豪華な馬具をもらっていたらしいというのがＮＨＫのクローズアップ現代「明らかになる古代の日韓交流史」（１２月２日放送）でした。 その前史。つまり、そもそもなんで日本と新羅が緊張状態にあったのかという継体天皇のお話をきのう武将ジャパンにて書かせていただきました。 「古代の日韓交流史」ＮＨＫがク
「お金あげるから」と懇願の妊婦を殴る蹴るして強盗 母子ら逮捕 神奈川 - MSN産経ニュース
母子で強盗を計画、妊婦を襲ったとして、神奈川県警少年捜査課などは５日、強盗致傷の疑いで、綾瀬市の飲食店従業員の女（４１）と、海老名市に住む女の次男を含む少年３人＝いずれも（１７）＝を逮捕したと発表した。いずれも容疑を認めているという。 逮捕容疑は、７月３０日深夜、海老名市上郷の路上で、歩いて帰宅途中の自営業の女性（３４）の顔を殴るなどし、外傷性くも膜下出血などの重傷を負わせ、現金約１０万円入りのバッグを奪ったとしている。 同課によると、女は借金返済のため、次男ら３人と犯行を計画。襲撃は３人が行った。女は３人を車で送迎し、「やりすぎるんじゃないよ。つかまるなよ」などと注意していた。 女性は妊娠しており、「お金あげるから殴らないで」と懇願したが、顔を殴られた後に跳び蹴りをされ、一時意識不明の重体となった。胎児は無事という。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
