2017年3月 解集合プログラミングを用いた多層ナンバーリンクの解法 第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017) 坡山 直樹, 川原 征大, 迫 龍哉, 宋 剛秀, 番原 睦則, 田村 直之 記述言語 日本語 会議種別 ポスター発表 主催者 日本ソフトウェア科学会 プログラミング論研究会 開催地 華やぎの章 慶山 (山梨県・笛吹市)