ゴール指向要求工学と推論( 知能ソフトウェア工学〔第2回〕)