高橋優太 Takahashi Yuta

研究者番号	70826990
その他のID
所属 (現在)	2025年度: 青森大学, ソフトウェア情報学部, 講師
所属 (過去の研究課題情報に基づく) *注記	2021年度 – 2023年度: お茶の水女子大学, 文理融合 AI・データサイエンスセンター, 特任助教
審査区分/研究分野	研究代表者小区分01010:哲学および倫理学関連
キーワード	研究代表者数学基礎論 / 数学の哲学 / 論理学の哲学 / 項書換え / 構成的集合論 / 順序数 / 証明論 / 型理論

研究課題
(1件)
研究成果
(10件)

証明論的順序数表記系の再検討：線形論理の観点から研究代表者
- 研究代表者
  
  高橋優太
- 研究期間 (年度)
  2021 – 2025
- 研究種目
  
  若手研究
- 審査区分
  
  小区分01010:哲学および倫理学関連
- 研究機関
  お茶の水女子大学

すべて 2024 2023 2022 2021

すべて雑誌論文学会発表

[雑誌論文] Size-Based Termination for Non-Positive Types in Simply Typed Lambda-Calculus2022
- 著者名/発表者名
  Yuta Takahashi
- 雑誌名
  
  27th International Conference on Types for Proofs and Programs (TYPES 2021), Leibniz International Proceedings in Informatics (LIPIcs)
  
  巻: 239
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-21K12822
[雑誌論文] Harmony in the Light of Computational Ludics2021
- 著者名/発表者名
  Alberto Naibo, Yuta Takahashi
- 雑誌名
  
  Electronic Proceedings in Theoretical Computer Science
  
  巻: 353 ページ: 132-156
- DOI
  10.4204/eptcs.353.7
- 査読あり / オープンアクセス / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-21K12822
[学会発表] Type Checking for Logical Approach to Natural Language Inference2024
- 著者名/発表者名
  Yuta Takahashi
- 学会等名
  French-Japanese Colloquium Disagreement in logic and reasoning
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-21K12822
[学会発表] Towards an Interpretation of Inaccessible Sets in Martin-Loef Type Theory with One Mahlo Universe2023
- 著者名/発表者名
  Yuta Takahashi
- 学会等名
  TYPES 2023: 29th International Conference on Types for Proofs and Programs
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-21K12822
[学会発表] 論理推論とは何か―証明論的意味論の観点から―2022
- 著者名/発表者名
  高橋優太
- 学会等名
  慶應義塾大学論理と感性のグローバル研究センター2021年度末成果報告会
- データソース
  KAKENHI-PROJECT-21K12822
[学会発表] On Gentzen's Consistency Proofs: A Case of Disagreement between Intuitionism and Formalism2022
- 著者名/発表者名
  Yuta Takahashi
- 学会等名
  Aspects of Logic Study: An event organized as a series of "Disagreement in Logic and Reasoning" research
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-21K12822
[学会発表] Higher-Order Universe Operators in Martin-Loef Type Theory with one Mahlo Universe2022
- 著者名/発表者名
  Yuta Takahashi
- 学会等名
  TYPES 2022: 28th International Conference on Types for Proofs and Programs
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-21K12822
[学会発表] Size-Based Termination for Non-Positive Types2021
- 著者名/発表者名
  Yuta Takahashi
- 学会等名
  TYPES 2021: 27th International Conference on Types for Proofs and Programs
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-21K12822
[学会発表] Fixed-point operators: from proof-theoretic semantics to computation2021
- 著者名/発表者名
  Alberto Naibo, Yuta Takahashi
- 学会等名
  EXPRESS-IHPST workshop: Truth, proof and communication
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-21K12822
[学会発表] マーティン-レーフ型理論における対象の同一性基準について2021
- 著者名/発表者名
  高橋優太
- 学会等名
  日本論理哲学会第25回大会
- データソース
  KAKENHI-PROJECT-21K12822

高橋 優太 Takahashi Yuta

研究課題

研究成果

証明論的順序数表記系の再検討：線形論理の観点から研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

[雑誌論文] Size-Based Termination for Non-Positive Types in Simply Typed Lambda-Calculus2022

著者名/発表者名

雑誌名

データソース

[雑誌論文] Harmony in the Light of Computational Ludics2021

著者名/発表者名

雑誌名

DOI

データソース

[学会発表] Type Checking for Logical Approach to Natural Language Inference2024

著者名/発表者名

学会等名

データソース

[学会発表] Towards an Interpretation of Inaccessible Sets in Martin-Loef Type Theory with One Mahlo Universe2023

著者名/発表者名

学会等名

データソース

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

著者名/発表者名

学会等名

データソース

[学会発表] On Gentzen's Consistency Proofs: A Case of Disagreement between Intuitionism and Formalism2022

著者名/発表者名

学会等名

データソース

[学会発表] Higher-Order Universe Operators in Martin-Loef Type Theory with one Mahlo Universe2022

著者名/発表者名

学会等名

データソース

[学会発表] Size-Based Termination for Non-Positive Types2021

著者名/発表者名

学会等名

データソース

[学会発表] Fixed-point operators: from proof-theoretic semantics to computation2021

著者名/発表者名

学会等名

データソース

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

著者名/発表者名

学会等名

データソース

高橋優太 Takahashi Yuta