プログラムに証明が付く日 | RANDMAX
この記事は「Theorem Prover Advent Calendar 2013」6日目の記事です。 http://qiita.com/advent-calendar/2013/theorem_prover 神田「野らぼー」にて、地下の薄暗い店内で… 「そう言えばこないだ隣で起こってたポインタオーバーラン、対応大変そうだったですけどちゃんと家に帰れてたんでしょうかね、新婚なのに…」 「ヌルポとかポインタオーバーランとか、どうして無くならないんだろうね。その時はみんな手を抜いてるつもりなんて毛頭なくて、一生懸命考えて大丈夫だと思ってるはずなんだけどね。レビューもして、それでも起こった後でみんなでソース見てみると、なんで気づかなかったんだよ！ってことになる。」 「人間って、そういうの苦手なんでしょうねきっと。ほら、『何かほかにありませんか』って聞かれても出てこないじゃないですか。静的な解析っ
意外と知らない Windows OS 標準の「ステップ記録ツール」
操作の手順を記録したいWindows 7 からアプリケーションの操作をステップごとに記録してくれる便利なツールが付属しています。それが、「ステップ記録ツール」です。 Windows 7 では、「問題ステップ記録ツール」という名称でした。Windows 8, 8.1, 10 では、「ステップ記録ツール」という名称で統一されています。 スタートメニューに表示されないため、知らない人も多いツールです。エンドユーザーで知っている人はまずいないでしょう。 このツールを利用することで、操作を記録して、その様子をまとめたレポートを作成してくれます。アプリケーションのユーザーさんから問い合わせがあったときに、手順を教えてもらったり、不具合の再現方法をいただく際に重宝します。 起動Windows の検索にて、「記録」や「ステップ」と入力してみましょう。「ステップ記録ツール」が検索結果に表示されます。 上図は
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
