研究者
J-GLOBAL ID:201101085039408696   更新日: 2024年01月30日

矢田部 俊介

Yatabe Shunsuke
研究分野 (5件): 制御、システム工学 ,  言語学 ,  哲学、倫理学 ,  ソフトウェア ,  数学基礎
研究キーワード (13件): 哲学的論理学 ,  computational linguistics ,  計算言語学 ,  truth theory ,  the comprehension principle ,  set theory ,  non-classical logic ,  logic ,  真理理論 ,  包括原理 ,  集合論 ,  非古典論理 ,  論理学
競争的資金等の研究課題 (6件):
  • 2012 - 2016 計算の哲学-様々な展開に向けて-
  • 2011 - 2015 哲学のための中上級論理学推進
  • 2009 - 2010 ファジイ数学の基礎としてのファジイ集合論
  • 2008 - 2009 「仕様書の統一様式の策定と仕様 整合性検証システムの研究開発」
  • 2003 - 2006 Set Theory within many-valued logic
全件表示
論文 (22件):
もっと見る
MISC (36件):
  • 矢田部俊介. ウソツキの論理学(連載版) 哲学的論理学入門 第4回 「形式化、未完のプロジェクト」. フィルカル. 2021. 6. 1. 266-312
  • 矢田部俊介. 衛星測位と鉄道の安全の考え方. 鉄道と電気技術. 2021. 32. 3. 21-26
  • 矢田部俊介. ウソツキの論理学(連載版) 哲学的論理学入門 第3回 「ハーモニーが崩れる時」. フィルカル. 2020. 5. 3. 296-339
  • 矢田部俊介. ウソツキの論理学(連載版) 哲学的論理学入門 第2回 「ハーモニー」. フィルカル. 2020. 5. 2. 256-292
  • 矢田部俊介. ウソツキの論理学(連載版) 哲学的論理学入門 第1回 「哲学的論理学の「哲学」とは何のつもりか」. フィルカル. 2020. 5. 1. 226-251
もっと見る
書籍 (1件):
  • On a set theory with uncertain membership relations
    IOS press "Design and application of Hybrid intelligent systems" 2003
講演・口頭発表等 (110件):
  • 論理学上級I:ウソツキのパラドックス2020(傾向と対策)ー真理理論入門
    (京都大学大学院文学研究科 応用哲学・倫理学センター(CAPE)公開セミナー 2021)
  • 論理学上級I:古典論理の推件計算と計算的内実
    (2020年度CAPE主催公開セミナー 2020)
  • A practical report of CBTC security analysis
    (The 12th World Congress on Railway Research (WCRR 2019) 2019)
  • 推論主体の範囲はどこまでか
    (応用哲学会WS 「社会学と哲学の協業に向けて-質的調査・推論主義・プラグマティズム」 2019)
  • 証明論的意味論と自然化された論理学の哲学
    (2019 年度 CAPE 主催公開セミナー 「論理学上級 I」 2019)
もっと見る
学歴 (6件):
  • - 2003 神戸大学
  • - 2003 神戸大学 自然科学研究科 情報メディア科学専攻
  • - 1997 東北大学 理学研究科 数学専攻
  • - 1997 東北大学
  • - 1995 東北大学 理学部 数学科
全件表示
学位 (1件):
  • 博士(理学) (神戸大学大学院自然科学研究科)
経歴 (11件):
  • 2020/06 - 西日本旅客鉄道株式会社 イノベーション本部
  • 2015/04 - 2020/05 西日本旅客鉄道株式会社 技術開発部
  • 2013/04 - 2015/03 西日本旅客鉄道株式会社 技術部
  • 2014/04 - 京都大学大学院文学研究科 応用哲学・倫理学教育研究センター(CAPE) 研究員
  • 2012/04 - 2013/03 産業技術総合研究所セキュアシステム研究部門 研究員(2号)
全件表示
委員歴 (5件):
  • 2011/04 - 現在 Logic and Engineering of Natural Language Semantics (LENLS) A member of the program committee
  • 2014/04 - 2017/03 応用哲学会 理事
  • 2012/04 - 2014/03 応用哲学会 学生理事
  • 2011/10 - 2012/09 Logic, Algebra and Truth Degrees (LATD 2012) A member of the organizing committee
  • 2008/07 - 2010/03 経済産業省・地域イノベーション創出研究開発事業「仕様書の統一様式の策定と仕様整合性検証システムの研究開発」研究推進会議 委員
所属学会 (4件):
科学基礎論学会 ,  Association for Symbolic Logic ,  応用哲学会 ,  日本科学哲学会
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る