@techreport{weko_32527_1,
   author	 = "山崎,勇",
   title	 = "証明方程式の線形時間解法アルゴリズム",
   year 	 = "1992",
   institution	 = "(株)東芝総合研究所",
   number	 = "58(1992-AL-028)",
   month	 = "jul"
}