[logic-ml] 超準解析シンポジウム(第1報)