@inproceedings{weko_222525_1,
   author	 = "井上,健太",
   title	 = "代数ニューラルネットワークのCoqにおける形式化",
   booktitle	 = "夏のプログラミング・シンポジウム2016「教育・学習」報告集",
   year 	 = "2017",
   volume	 = "2016",
   number	 = "",
   pages	 = "71--72",
   month	 = "jan"
}