「あるソフトウェア工学者の失敗 日本のITは何故弱いか」 - カレーなる辛口Javaな加齢日記

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

[gaudere]

半可通

[houyhnhm]

ああ考えてたから失敗した、という意味では参考にはなるがな。

[chintaro3]

零戦と上官の例えの下りとか、零戦に乗せられた側からすれば恨みごとを言いたくなるのもやむをえまい。

[ericap]

クソアフィリンク貼りたいだけじゃねーか。

[sgo2]

やる気を出してる人に対して、こうして何を今更的態度を取るのはあまり賢明とは思えず。

[hiroomi]

読んで何を捉えてどうするか。すら人によりけりと言うか、優先順位どうつける