「あるソフトウェア工学者の失敗 日本のITは何故弱いか」 - カレーなる辛口Javaな加齢日記http://www.shayashi.jp/myfailures.pdf なんか話題になってたから読んだけど，うーん，周回遅れ？ 林晋 京都大学文学研究科 最初に思ったのは「なんで文学？」。 現在の私は人文学者だが、もともとは数学者だった。学位研究の分野は、構成的数学というもので、チューリング計算可能関数と関係が深い。しかし、学位を取得したものの職がなく、ソフトウェア工学の形式的技法、特に形式的検証というものに分野を変えた。 こっちを読んでも，あー数学者かー． べつに数学者をバカにする気は無いけど*1，ことプログラミングにおける形式的仕様記述や検証については，最初から望み薄だったと思う．「仕様変更」や「ちゃぶ台返し」，「機能追加」を経験したことがある人なら常識レベル．*2完璧な仕様書が完成するころには，プロダクトの寿命が尽きている．*3 他についてもソフトウエア工学に関して幾つか誤りが見
