[logic-ml] PPL2016最終参加募集:第18回プログラミングおよびプログラミング言語ワークショップ