[logic-ml] 「ロボットは東大に入れるか」シンポジウムのご案内