@techreport{weko_27484_1,
   author	 = "松永,裕介",
   title	 = "等価検証の効率化手法に関する一考察",
   year 	 = "2002",
   institution	 = "九州大学大学院システム情報科学研究院情報工学部門",
   number	 = "113(2002-SLDM-107)",
   month	 = "nov"
}