Rchr
J-GLOBAL ID：201301041203186753   Update date: Sep. 26, 2024

Takahashi Yuta

タカハシ ユウタ | Takahashi Yuta
Affiliation and department：
Aomori University Faculty of Software and Information Technology, Department of Software and Information Technology

About Aomori University Faculty of Software and Information Technology, Department of Software and Information Technology


Job title： Lecturer
Other affiliations (3)：
Homepage URL  (1)： https://takahashi-yt.github.io/
Research field  (1)： Philosophy and ethics
Research keywords  (2)： Foundations of mathematics ,  Analytic Philosophy
Research theme for competitive and other funds  (4)：
  • 2021 - 2026 Revisiting ordinal notation systems in proof theory: from the viewpoint of linear logic
  • 2019 - 2021 完全性の観点からの証明論的意味論の研究
  • 2016 - 2019 ゲンツェンの証明論的手法を用いたブラウワーの知識論および言語論の再構築
  • 2014 - 2016 ゲンツェンの無矛盾性証明への直観主義からの影響およびその哲学的興味
Papers (22)：
  • Natsuki Murakami, Mana Ishida, Yuta Takahashi, Hitomi Yanaka, Daisuke Bekki. Knowledge Injection for Disease Names in Logical Inference between Japanese Clinical Texts. Proceedings of the 5th Clinical Natural Language Processing Workshop. 2023. 108-117
  • 小斉平 ひな, 高橋 優太, 戸次 大介. 依存型意味論の未指定型による照応解析の試み. 2023年度人工知能学会全国大会論文集(第37回). 2023
  • 村上 夏輝, 石田 真捺, 高橋 優太, 谷中 瞳, 戸次 大介. 病名知識の公理補完を用いた症例テキスト間の論理推論. 2023年度人工知能学会全国大会論文集(第37回). 2023
  • 飯沼 瑞稀, 高橋 優太, 田上 青空, 戸次 大介. 型検査アルゴリズムを用いたNeural DTSのための推論手続きの試み. 2023年度人工知能学会全国大会論文集(第37回). 2023
  • Daisuke Bekki, Ribeka Tanaka, Yuta Takahashi. Integrating Deep Neural Networks with Dependent Type Semantics. Logic and Algorithms in Computational Linguistics 2021 (LACompLing2021). 2023. 261-284
ｍore...
MISC (10)：
  • Mizuki Iinuma, Sora Tagami, Yuta Takahashi, Daisuke Bekki. Neural DTS: A hybrid NLI system combining two procedural approaches. 2023
  • Hina Kosaihira, Yuta Takahashi, Daisuke Bekki. Implementation of Anaphora Resolution Using the Refine Tactic of Coq. Abstract Booklet of the 2023 Workshop on Proof Theory and its Applications. 2023
  • Yuta Takahashi. TARB書評: 飯田隆(編)『知の教科書 論理の哲学』. Tokyo Academic Review of Books. 2021. 35. 1-1
  • 高橋 優太. 計算と演繹 : 個人的な回想. 哲學(三田哲学会編). 2021. 146. 163-168
  • Mitsuhiro Okada, Yuta Takahashi. A Remark for the Use of a Path Ordering with an Algebra and a Howard-Style Interpretation of Lambda for Termination Proofs of Typed Rewrite Systems. Informal Proceedings of the 13th International Workshop on Rewriting Logic and its Applications (WRLA 2020). 2020. 157-171
ｍore...
Lectures and oral presentations  (55)：
  • Large Universe Construction by Indexed Induction-Recursion in Agda
    (TYPES 2024: 30th International Conference on Types for Proofs and Programs 2024)
  • Type Checking for Logical Approach to Natural Language Inference
    (French-Japanese Colloquium: Disagreement in logic and reasoning 2024)
  • Martin-Löf型理論におけるマーロ宇宙がもつ非可述性
    (日本科学哲学会第56回(2023年)大会 2023)
  • Implementation of Anaphora Resolution Using the Refine Tactic of Coq
    (2023 Workshop on Proof Theory and its Applications 2023)
  • Towards an Interpretation of Inaccessible Sets in Martin-Löf Type Theory with One Mahlo Universe
    (TYPES 2023: 29th International Conference on Types for Proofs and Programs 2023)
ｍore...
Education (3)：
  • 2009 - 2014 Keio University Graduate School of Letters Philosophy and Ethics Department, Doctoral Course
  • 2007 - 2009 Keio University Graduate School of Letters Philosophy and Ethics Department, Master Course
  • 2003 - 2007 Ibaraki University
Professional career (2)：
  • PhD (Philosophy) (Keio University)
  • MPhil (Philosophy) (Keio University)
Work history (16)：
  • 2024/04 - 現在 Aomori University Faculty of Software and Information Technology, Department of Software and Information Technology Lecturer
  • 2024/04 - 現在 Keio University Research Centers and Institutes Keio University Global Research Institute Cooperative Member
  • 2022/04 - 現在 Waseda University School of Culture, Media and Society Part-Time Lecturer
  • 2021/10 - 現在 Keio University Faculty of Letters Part-Time Lecturer
  • 2021/08 - 現在 Keio University Correspondence Courses
Show all
Committee career (1)：
  • 2009/08 - 2011/07 哲学若手研究者フォーラム 世話人
Awards (1)：
  • 2014/11 - 科学基礎論学会 2013年度科学基礎論学会奨励賞 ゲンツェンを読む-三つの無矛盾性証明の統一的解釈-
Association Membership(s) (6)：
Japanese Association for the Contemporary and Applied Philosophy ,  The Japan Association for Logical Philosophy ,  THE PHILOSOPHY OF SCIENCE SOCIETY, JAPAN ,  JAPAN ASSOCIATION FOR PHILOSOPHY OF SCIENCE ,  人工知能学会 ,  言語処理学会
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM