プログラムに証明が付く日 | RANDMAX
この記事は「Theorem Prover Advent Calendar 2013」6日目の記事です。 http://qiita.com/advent-calendar/2013/theorem_prover 神田「野らぼー」にて、地下の薄暗い店内で… 「そう言えばこないだ隣で起こってたポインタオーバーラン、対応大変そうだったですけどちゃんと家に帰れてたんでしょうかね、新婚なのに…」 「ヌルポとかポインタオーバーランとか、どうして無くならないんだろうね。その時はみんな手を抜いてるつもりなんて毛頭なくて、一生懸命考えて大丈夫だと思ってるはずなんだけどね。レビューもして、それでも起こった後でみんなでソース見てみると、なんで気づかなかったんだよ！ってことになる。」 「人間って、そういうの苦手なんでしょうねきっと。ほら、『何かほかにありませんか』って聞かれても出てこないじゃないですか。静的な解析っ
フェンスを外す人 - β2
イギリスのチェスタートンという批評家の名言に好きな言葉がある。 「なぜフェンスが建てられたのかわかるまで、決してフェンスをとりはずしてはならない 」 高級なクラブなどに行くと気づくのは、そこにある灰皿が極端に小さいことだ。小さく造形された灰皿はそれだけで独特な美しさを持っているが、ここには原作者の粋なアイデアが詰まっている。小さな灰皿は、一本でもたばこを吸えばいっぱいになってしまう。そうすると、スタッフが灰皿を新しいものに替える。そうするとことで、客への細やかなサービスを演出できるし、スタッフに自然と客へ細かく注目させることを可能にしている。 もちろん、これを違うやり方で実現することもできる。たとえばマネージャーが、スタッフに「客を細かく見ろ。灰皿は、客が一本たばこを吸ったら必ず変えろ」と言えばいい。そういうマニュアルを作ってもいいし、バックルームに貼り紙をしてもいい。なんらかの指示や号令
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
