[logic-ml] QIT45(ポスター講演募集11/12締切)