日経エレクトロニクス最新号の、特集「たたいてつくるソフトウェア」を読む。副題が「検証しやすい設計へ」。 NEの最新号のページに少し紹介記事が出ている。なお、このページは最新号のページなので、しばらくたったら更新されるので、注意してね。 ソフト…