研究者
J-GLOBAL ID：201301041203186753   更新日: 2024年09月26日

高橋 優太

タカハシ ユウタ | Takahashi Yuta
所属機関・部署：
青森大学 ソフトウェア情報学部 ソフトウェア情報学科

青森大学 ソフトウェア情報学部 ソフトウェア情報学科 について


職名： 講師
その他の所属（所属・部署名・職名） (3件)：
ホームページURL (1件)： https://takahashi-yt.github.io/
研究分野 (1件)： 哲学、倫理学
研究キーワード (2件)： 数学基礎論 ,  分析哲学
競争的資金等の研究課題 (4件)：
  • 2021 - 2026 証明論的順序数表記系の再検討:線形論理の観点から
  • 2019 - 2021 完全性の観点からの証明論的意味論の研究
  • 2016 - 2019 ゲンツェンの証明論的手法を用いたブラウワーの知識論および言語論の再構築
  • 2014 - 2016 ゲンツェンの無矛盾性証明への直観主義からの影響およびその哲学的興味
論文 (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
もっと見る
MISC (10件)：
  • Mizuki Iinuma, Sora Tagami, Yuta Takahashi, Daisuke Bekki. Neural DTS: A hybrid NLI system combining two procedural approaches. Abstracts of Workshop "Procedural and computational models of semantic and pragmatic processes". 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
  • 高橋 優太. TARB書評: 飯田隆(編)『知の教科書 論理の哲学』. Tokyo Academic Review of Books. 2021. 35. 1-1
  • 高橋 優太. 計算と演繹 : 個人的な回想. 哲學(三田哲学会編). 2021. 146. 163-168
  • 岡田 光弘, 高橋 優太. 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
もっと見る
講演・口頭発表等 (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)
もっと見る
学歴 (3件)：
  • 2009 - 2014 慶應義塾大学 文学研究科 哲学・倫理学専攻 後期博士課程
  • 2007 - 2009 慶應義塾大学 文学研究科 哲学・倫理学専攻 前期博士課程
  • 2003 - 2007 茨城大学 人文学部 人文学科 哲学専攻
学位 (2件)：
  • 博士(哲学) (慶應義塾大学)
  • 修士(哲学) (慶應義塾大学)
経歴 (16件)：
  • 2024/04 - 現在 青森大学 ソフトウェア情報学部 ソフトウェア情報学科 講師
  • 2024/04 - 現在 慶應義塾大学 未来共生デザイン研究センター 共同研究員
  • 2022/04 - 現在 早稲田大学 文化構想学部 非常勤講師
  • 2021/10 - 現在 慶應義塾大学 文学部 非常勤講師
  • 2021/08 - 現在 慶應義塾大学 通信教育部 科目担当員
全件表示
委員歴 (1件)：
  • 2009/08 - 2011/07 哲学若手研究者フォーラム 世話人
受賞 (1件)：
  • 2014/11 - 科学基礎論学会 2013年度科学基礎論学会奨励賞 ゲンツェンを読む-三つの無矛盾性証明の統一的解釈-
所属学会 (6件)：
応用哲学会 ,  日本論理哲学会 ,  日本科学哲学会 ,  科学基礎論学会 ,  人工知能学会 ,  言語処理学会
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM