@techreport{weko_31212_1,
   author	 = "岸田,克己 and 神尾,視教",
   title	 = "型推論によるLispプリコンバイラ",
   year 	 = "1986",
   institution	 = "NTT電気通信研究所, NTT電気通信研究所",
   number	 = "72(1986-PRO-039)",
   month	 = "nov"
}