@techreport{weko_30568_1,
   author	 = "山本,章博",
   title	 = "型付確定節プログラムの上昇証明木解釈",
   year 	 = "1993",
   institution	 = "北海道大学工学部",
   number	 = "46(1993-PRO-012)",
   month	 = "may"
}