"西崎真也,玉野 浩嗣","等式アーカイブにおける安全な検査","日本ソフトウェア科学会第22回大会","日本ソフトウェア科学会第22回大会論文集","日本ソフトウェア科学会",,,,2010,July