@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00112696, author = {比嘉, 健太 and 河野, 真治 and Yasutaka, Higa and Shinji, Kono}, book = {ウィンターワークショップ2015・イン・宜野湾 論文集}, month = {Jan}, pages = {49--50}, publisher = {情報処理学会}, title = {形式手法を学び始めて思うことと,形式手法を広めるには}, volume = {2015}, year = {2015} }