@techreport{weko_22470_1,
   author	 = "鈴木,賢三 and 永田,守男",
   title	 = "論理的な解析にもとづく関数型プログラミングの支援法",
   year 	 = "1987",
   institution	 = "慶応大学理工学部管理工学科, 慶応大学理工学部管理工学科",
   number	 = "11(1986-SE-052)",
   month	 = "feb"
}