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