プログラムに証明が付く日 | RANDMAX
この記事は「Theorem Prover Advent Calendar 2013」6日目の記事です。 http://qiita.com/advent-calendar/2013/theorem_prover 神田「野らぼー」にて、地下の薄暗い店内で… 「そう言えばこないだ隣で起こってたポインタオーバーラン、対応大変そうだったですけどちゃんと家に帰れてたんでしょうかね、新婚なのに…」 「ヌルポとかポインタオーバーランとか、どうして無くならないんだろうね。その時はみんな手を抜いてるつもりなんて毛頭なくて、一生懸命考えて大丈夫だと思ってるはずなんだけどね。レビューもして、それでも起こった後でみんなでソース見てみると、なんで気づかなかったんだよ！ってことになる。」 「人間って、そういうの苦手なんでしょうねきっと。ほら、『何かほかにありませんか』って聞かれても出てこないじゃないですか。静的な解析っ
プログラマとしてレベルを上げるために必要な4つの要素 - 思考と現場の間で
最近、プログラマの成長について考えることが多くなりました。自分自身についても仲間についても。成長しているメンバーが集まらないといいモノは作れません。個人としても、エンジニアは常に成長していかないと仕事にならなくなる瞬間がやってきます。簡単にできるものではありませんが、やらざるを得ない状況でもあり、これまでの経験からプログラマとしてレベルを上げるために必要な要素を整理してみました。 1)基礎 コンピュータサイエンスやプログラミング言語です。まずは基本が無いとしっかりとしてものを作ることができません。 2)師匠 ノウハウというものは言語化できるものばかりではありません。ちょっとしたコツや考え方は、出来る人と一緒に仕事をすることが一番です。教えてもらい見て盗む。また、一緒にやることで自分自身が感じられる世界を広げることもできます。 3)実践 実際のプロジェクトです。やり方ばかりを学んでも、実践し
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
