@techreport{weko_220238_1,
   author	 = "谷中,瞳",
   title	 = "論理に基づく推論システムの再訪",
   year 	 = "2022",
   institution	 = "東京大学／理化学研究所",
   number	 = "8",
   month	 = "sep"
}