[logic-ml] 論理学について議論するSlackグループ