Re: [logic-ml] JAIST国際シンポジウム「知能ロボティクス」開催のご案内