岩波講座 ソフトウェア科学〈〔展望〕17〉モデルと表現フルブック