今年のACMチューリング賞は、モデル検証がらみ。(正確には、2007年チューリング賞)
http://www.acm.org/press-room/news-releases/turing-award-07/
個人的には、”モデル検証と申しましても、いささか広うございまして、、”。ちょっと勉強して、自分にマッチしそうなのが何か、考えないと行けない。
あっ、念のためだけど、いつもACMのレター読んでるわけじゃない。気になってる人のブログに、書いてあった次第。
今年のACMチューリング賞は、モデル検証がらみ。(正確には、2007年チューリング賞)
http://www.acm.org/press-room/news-releases/turing-award-07/
個人的には、”モデル検証と申しましても、いささか広うございまして、、”。ちょっと勉強して、自分にマッチしそうなのが何か、考えないと行けない。
あっ、念のためだけど、いつもACMのレター読んでるわけじゃない。気になってる人のブログに、書いてあった次第。