AboutPressCopyrightContact usCreatorsAdvertiseDevelopersTermsPrivacyPolicy & SafetyHow YouTube worksTest new featuresNFL Sunday Ticket川井（代表）連続発表「カリーハワード対応から始める数理論理学」 - YouTube