@techreport{weko_225749_1,
   author	 = "森,逸汰 and 河野,真治",
   title	 = "GearsAgdaによるRed Black Treeの検証",
   year 	 = "2023",
   institution	 = "琉球大学工学部, 琉球大学工学部",
   number	 = "9",
   month	 = "may"
}