@techreport{weko_48389_1,
   author	 = "戸次,大介",
   title	 = "型付き動的論理による日本語の量化・照応の分析",
   year 	 = "2002",
   institution	 = "科学技術振興事業団さきがけ研究21「情報と知」領域／東京大学大学院情報理工学系研究科コンピュータ科学専攻",
   number	 = "66(2002-NL-150)",
   month	 = "jul"
}