プログラムに証明が付く日 | RANDMAX
この記事は「Theorem Prover Advent Calendar 2013」6日目の記事です。 http://qiita.com/advent-calendar/2013/theorem_prover 神田「野らぼー」にて、地下の薄暗い店内で… 「そう言えばこないだ隣で起こってたポインタオーバーラン、対応大変そうだったですけどちゃんと家に帰れてたんでしょうかね、新婚なのに…」 「ヌルポとかポインタオーバーランとか、どうして無くならないんだろうね。その時はみんな手を抜いてるつもりなんて毛頭なくて、一生懸命考えて大丈夫だと思ってるはずなんだけどね。レビューもして、それでも起こった後でみんなでソース見てみると、なんで気づかなかったんだよ！ってことになる。」 「人間って、そういうの苦手なんでしょうねきっと。ほら、『何かほかにありませんか』って聞かれても出てこないじゃないですか。静的な解析っ
AddinBox(祝日マクロ-1)
自由に各自のマクロに組み込んで利用して下さい。なお、フリー/シェアソフト 開発での利用も可（フリー/シェアでの利用の場合、事後で結構ですので一言 お知らせください）です。ただし、引用に当たっては、マクロの先頭に記述してある コメント（CopyRight ）を必ず一緒に引用する事 を条件とします。 なお、 他サイト上で本マクロを直接引用(マクロ全体を丸々貼り付ける等) する事は、ご遠慮願います。本ページへのリンクによる紹介で対応して下さい。 [ktHolidayName]という関数名そのものは、各自の環境における命名規則に沿って 変更しても構いません。 ＶＢＡ（ＶＢ含む）で利用する場合はマクロのコード構成を一切変更しないでください。 ＶＢＡというレスポンス的に不利な言語でも出来る限りレスポンスを良くする事を前提に 設計してある為､コード内容を変更するとレスポンスが低下
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
