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)：

Shunsuke Yatabe, Masaki Ota. A practical report of CBTC security analysis. WCRR2019 proceedings. 2019
Shunsuke Yatabe. Truth as a logical connective. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2017. 10091. 166-182
akanori Ambe, Shunsuke Yatabe, Yasuhiro Muneda, Yamato Fukuta, Takashi Mori, Takashi Kunifuji. Development of common middleware dedicated to railway signalling. The proceedings of World Congress on Railway Research (WCRR) 2016, Milan, Italy. 2016
者 Takashi Mori, Shunsuke Yatabe, Daisuke Souma, Kenji Taguchi, Hideki Nishihara, Hidenori Kuwakado. Security Evaluation for Communication Based Train Control System Using Attack Tree Method. The Proceedings of International Symposium on Seed-up and Service Technology for Railway and Maglev Systems: STECH 2015. 2015
Shunsuke Yatabe. Is truth a logical connective?: A truth theory and the harmony. Philosophy and History of Science Studies. 2015. 9

ｍore...

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

ｍore...

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)

ｍore...

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