プログラムに証明が付く日 | RANDMAX
この記事は「Theorem Prover Advent Calendar 2013」6日目の記事です。 http://qiita.com/advent-calendar/2013/theorem_prover 神田「野らぼー」にて、地下の薄暗い店内で… 「そう言えばこないだ隣で起こってたポインタオーバーラン、対応大変そうだったですけどちゃんと家に帰れてたんでしょうかね、新婚なのに…」 「ヌルポとかポインタオーバーランとか、どうして無くならないんだろうね。その時はみんな手を抜いてるつもりなんて毛頭なくて、一生懸命考えて大丈夫だと思ってるはずなんだけどね。レビューもして、それでも起こった後でみんなでソース見てみると、なんで気づかなかったんだよ！ってことになる。」 「人間って、そういうの苦手なんでしょうねきっと。ほら、『何かほかにありませんか』って聞かれても出てこないじゃないですか。静的な解析っ
作業効率が劇的にアップ！PC 上級者が知ってて当然の Windows ソフト２６選｜Synclogue Navi
例えば会社の先輩を見ていて、「あの人はなんであんなに仕事の効率が良いのだろう？」と不思議に思ったことはありませんか？ 仕事効率が良い人ほど、Windowsソフトをうまく使って自分の業務がはかどるようにパソコンをカスタマイズしているものです。 そうした、上級者はどのようなWindowsソフトを入れているのか気になりませんか？ 前回は、初心者向けWindowsソフトをまとめましたが、今回はその続編として、上級者向けのWindowsソフトをまとめました。 どれも、あなたのパソコンをさらに便利にするソフトばかりです。 是非参考にしてください！ ※Windows開発者へおすすめの無料ソフトは、別記事の「Windows開発者必見！生産性を劇的に上げる無料ソフト１６選」でまとめているので、こちらも参考にしてください。 1. プログラムをワンタッチで呼び出すランチャーソフト 通常は、プログラムを実行するた
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
