Takahashi Yuta 高橋優太

… 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

Takahashi Yuta 高橋 優太

高橋 優太 タカハシ ユウタ

Research Projects

Research Products

Revisiting ordinal notation systems in proof theory: from the viewpoint of linear logicPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

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

Author(s)

Journal Title

Data Source

[Journal Article] Harmony in the Light of Computational Ludics2021

Author(s)

Journal Title

DOI

Data Source

[Presentation] Type Checking for Logical Approach to Natural Language Inference2024

Author(s)

Organizer

Data Source

[Presentation] Towards an Interpretation of Inaccessible Sets in Martin-Loef Type Theory with One Mahlo Universe2023

Author(s)

Organizer

Data Source

[Presentation] 論理推論とは何か―証明論的意味論の観点から―2022

Author(s)

Organizer

Data Source

[Presentation] On Gentzen's Consistency Proofs: A Case of Disagreement between Intuitionism and Formalism2022

Author(s)

Organizer

Data Source

[Presentation] Higher-Order Universe Operators in Martin-Loef Type Theory with one Mahlo Universe2022

Author(s)

Organizer

Data Source

[Presentation] Size-Based Termination for Non-Positive Types2021

Author(s)

Organizer

Data Source

[Presentation] Fixed-point operators: from proof-theoretic semantics to computation2021

Author(s)

Organizer

Data Source

[Presentation] マーティン-レーフ型理論における対象の同一性基準について2021

Author(s)

Organizer

Data Source

Takahashi Yuta 高橋優太

高橋優太タカハシユウタ