@techreport{weko_30324_1,
   author	 = "西崎,真也",
   title	 = "環境λ計算と単一化機構",
   year 	 = "1996",
   institution	 = "千葉大学理学部数学・情報数理学科",
   number	 = "58(1996-PRO-007)",
   month	 = "may"
}