論文誌ジャーナル 4月号 特集「ソフトウェア工学」