[logic-ml] PPL2012論文募集