[logic-ml] PPL2013のご案内(参加登録:2/18まで)