[logic-ml] PPL2013論文募集