@inproceedings{weko_147535_1, author = "横川,智教 and 早水,公二", title = "形式手法 -普及拡大における課題とその解決-", booktitle = "ウィンターワークショップ2016・イン・逗子 論文集", year = "2016", volume = "2016", number = "", pages = "1--2", month = "jan" }