@techreport{weko_48299_1,
   author	 = "戸次,大介",
   title	 = "型付き動的論理（TDL）によるイベント量化の分析",
   year 	 = "2003",
   institution	 = "科学技術振興事業団さきがけ研究21「情報と知」領域／東京大学大学院情報理工学系研究科コンピュータ科学専攻",
   number	 = "23(2002-NL-154)",
   month	 = "mar"
}