[logic-ml] 1月15日:3つのセッション "Discussion with Girard" ”Disagreement in logic" "Interdisciplinary Studies