@techreport{weko_21557_1,
   author	 = "角川裕次",
   title	 = "自己安定分散アルゴリズムの自動検証システム1",
   year 	 = "2000",
   institution	 = "広島大学工学部第二類（電気系）",
   number	 = "70(2000-SE-128)",
   month	 = "jul"
}