@techreport{weko_232898_1,
   author	 = "吉渡,叶 and 小野,廣隆",
   title	 = "クラスPに属する全象なルールセット",
   year 	 = "2024",
   institution	 = "名古屋大学大学院情報学研究科, 名古屋大学大学院情報学研究科",
   number	 = "10",
   month	 = "mar"
}