Rchr
J-GLOBAL ID:201101085039408696   Update date: Jan. 30, 2024

Yatabe Shunsuke

Yatabe Shunsuke
Research field  (5): Control and systems engineering ,  Linguistics ,  Philosophy and ethics ,  Software ,  Basic mathematics
Research keywords  (13): philosophical logic ,  computational linguistics ,  計算言語学 ,  truth theory ,  the comprehension principle ,  set theory ,  non-classical logic ,  logic ,  真理理論 ,  包括原理 ,  集合論 ,  非古典論理 ,  論理学
Research theme for competitive and other funds  (6):
  • 2012 - 2016 Philosophy of Computation: Towards Various Developements
  • 2011 - 2015 Advanced logic for philosophy
  • 2009 - 2010 ファジイ数学の基礎としてのファジイ集合論
  • 2008 - 2009 「仕様書の統一様式の策定と仕様 整合性検証システムの研究開発」
  • 2003 - 2006 Set Theory within many-valued logic
Show all
Papers (22):
more...
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
more...
Books (1):
  • On a set theory with uncertain membership relations
    IOS press "Design and application of Hybrid intelligent systems" 2003
Lectures and oral presentations  (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)
more...
Education (6):
  • - 2003 Kobe University Graduate School, Division of National Science and Technology Information and media science major
  • - 2003 Kobe University
  • - 1997 Tohoku University
  • - 1997 Tohoku University Graduate School, Division of Natural Science mathematics major
  • - 1995 Tohoku University Faculty of Science Department of Mathematics
Show all
Professional career (1):
  • Dr. (Sci)
Work history (11):
  • 2020/06 - West Japan Railway Company
  • 2015/04 - 2020/05 West japan Railway Company R&D department
  • 2013/04 - 2015/03 West Japan Railway Company R&D department
  • 2014/04 - Graduate School of Letters, Kyoto University Center for Applied Philosophy & Ethics Research fellow
  • 2012/04 - 2013/03 System Life-cycle group, Research institute for secure systems, AIST Research scientist (2)
Show all
Committee career (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 経済産業省・地域イノベーション創出研究開発事業「仕様書の統一様式の策定と仕様整合性検証システムの研究開発」研究推進会議 委員
Association Membership(s) (4):
JAPAN ASSOCIATION FOR PHILOSOPHY OF SCIENCE ,  Association for Symbolic Logic ,  応用哲学会 ,  日本科学哲学会
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page