つれづれなる技術屋日記

しがない技術屋。専門は情報工学で、「つれづれ技術屋」って呼んで。

チューリング賞はモデル検証

今年のACMチューリング賞は、モデル検証がらみ。(正確には、2007年チューリング賞

http://www.acm.org/press-room/news-releases/turing-award-07/

個人的には、”モデル検証と申しましても、いささか広うございまして、、”。ちょっと勉強して、自分にマッチしそうなのが何か、考えないと行けない。

あっ、念のためだけど、いつもACMのレター読んでるわけじゃない。気になってる人のブログに、書いてあった次第。

©2005-2022 ほんだ事務所(honda-jimusyo) All rights reserved.