2014-10-01から1ヶ月間の記事一覧

どうにかしろでどうにかなるなら,その人要らなくない?

今の上司の批判でもなんでもなくて,話に聞いたことやかつて見たことを考慮して,エライ人一般のものの考え方を推測している. どうもエライ人というのは,どうにかしろと言えば自動的に問題が解決されていると思っているようだ.具体的なことは言わない.ア…

成果物を見ない管理職

http://zasshi.news.yahoo.co.jp/article?a=20141007-00000006-sasahi-bus_all http://zasshi.news.yahoo.co.jp/article?a=20141007-00000006-sasahi-bus_all 私は,このセブン&アイ・ホールディングス会長兼CEOの鈴木氏は,偉大だと思った. 世話になって…

コードが正しいことは証明できない

不完全性定理や停止性問題に通じる話だと思う.(不完全性と決定不可能性の関係はいまいちよく分かっていない) その証明が正しいことを証明しろと言われてもできるわけない.説明はできるが,証明はできない.内容見て正しいか判断するしかない.見る人が正…