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