矢田部俊介

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

矢田部俊介, 大田正毅. 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
矢田部俊介. 真理概念は論理結合子となりうるか-真理理論とハーモニー-. 科学哲学科学史研究. 2015. 9

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の登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

前のページに戻る

矢田部 俊介

矢田部俊介