• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Takahashi Yuta  高橋 優太

ORCIDConnect your ORCID iD *help
… Alternative Names

高橋 優太  タカハシ ユウタ

Less
Researcher Number 70826990
Other IDs
Affiliation (Current) 2025: 青森大学, ソフトウェア情報学部, 講師
Affiliation (based on the past Project Information) *help 2021 – 2023: お茶の水女子大学, 文理融合 AI・データサイエンスセンター, 特任助教
Review Section/Research Field
Principal Investigator
Basic Section 01010:Philosophy and ethics-related
Keywords
Principal Investigator
数学基礎論 / 数学の哲学 / 論理学の哲学 / 項書換え / 構成的集合論 / 順序数 / 証明論 / 型理論
  • Research Projects

    (1 results)
  • Research Products

    (10 results)
  •  Revisiting ordinal notation systems in proof theory: from the viewpoint of linear logicPrincipal Investigator

    • Principal Investigator
      高橋 優太
    • Project Period (FY)
      2021 – 2025
    • Research Category
      Grant-in-Aid for Early-Career Scientists
    • Review Section
      Basic Section 01010:Philosophy and ethics-related
    • Research Institution
      Ochanomizu University

All 2024 2023 2022 2021

All Journal Article Presentation

  • [Journal Article] Size-Based Termination for Non-Positive Types in Simply Typed Lambda-Calculus2022

    • Author(s)
      Yuta Takahashi
    • Journal Title

      27th International Conference on Types for Proofs and Programs (TYPES 2021), Leibniz International Proceedings in Informatics (LIPIcs)

      Volume: 239

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-21K12822
  • [Journal Article] Harmony in the Light of Computational Ludics2021

    • Author(s)
      Alberto Naibo, Yuta Takahashi
    • Journal Title

      Electronic Proceedings in Theoretical Computer Science

      Volume: 353 Pages: 132-156

    • DOI

      10.4204/eptcs.353.7

    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-21K12822
  • [Presentation] Type Checking for Logical Approach to Natural Language Inference2024

    • Author(s)
      Yuta Takahashi
    • Organizer
      French-Japanese Colloquium Disagreement in logic and reasoning
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-21K12822
  • [Presentation] Towards an Interpretation of Inaccessible Sets in Martin-Loef Type Theory with One Mahlo Universe2023

    • Author(s)
      Yuta Takahashi
    • Organizer
      TYPES 2023: 29th International Conference on Types for Proofs and Programs
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-21K12822
  • [Presentation] 論理推論とは何か―証明論的意味論の観点から―2022

    • Author(s)
      高橋優太
    • Organizer
      慶應義塾大学論理と感性のグローバル研究センター2021年度末成果報告会
    • Data Source
      KAKENHI-PROJECT-21K12822
  • [Presentation] On Gentzen's Consistency Proofs: A Case of Disagreement between Intuitionism and Formalism2022

    • Author(s)
      Yuta Takahashi
    • Organizer
      Aspects of Logic Study: An event organized as a series of "Disagreement in Logic and Reasoning" research
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-21K12822
  • [Presentation] Higher-Order Universe Operators in Martin-Loef Type Theory with one Mahlo Universe2022

    • Author(s)
      Yuta Takahashi
    • Organizer
      TYPES 2022: 28th International Conference on Types for Proofs and Programs
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-21K12822
  • [Presentation] Size-Based Termination for Non-Positive Types2021

    • Author(s)
      Yuta Takahashi
    • Organizer
      TYPES 2021: 27th International Conference on Types for Proofs and Programs
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-21K12822
  • [Presentation] Fixed-point operators: from proof-theoretic semantics to computation2021

    • Author(s)
      Alberto Naibo, Yuta Takahashi
    • Organizer
      EXPRESS-IHPST workshop: Truth, proof and communication
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-21K12822
  • [Presentation] マーティン-レーフ型理論における対象の同一性基準について2021

    • Author(s)
      高橋優太
    • Organizer
      日本論理哲学会第25回大会
    • Data Source
      KAKENHI-PROJECT-21K12822

URL: 

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi