@techreport{weko_99449_1,
   author	 = "隠田,亮介 and 平井,佑樹 and 金子,敬一",
   title	 = "「後ろ向き推論」支援による三角形合同証明問題のための学習システム",
   year 	 = "2014",
   institution	 = "東京農工大学, 東京農工大学, 東京農工大学",
   number	 = "13",
   month	 = "mar"
}