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