YATABE Shunsuke 矢田部俊介

Researcher Number	70379337
Other IDs
Affiliation (based on the past Project Information) *help	2015: 京都大学, 文学研究科, 講師 2011 – 2015: 京都大学, 文学研究科, 非常勤講師 2014: 京都大学, 文学研究科, その他 2013: 京都大学, 文学研究科, 講師
Review Section/Research Field	Except Principal Investigator Philosophy/Ethics
Keywords	Except Principal Investigator 論理学 / 力学的不変量 / 科学の科学 / 偶然性 / ミクロ-マクロ双対性 / 不確定性原理 / 量子論の基礎 / 音楽の哲学 / 圏論 / 量子論 … More / 計算の哲学 / 論理学の哲学 / 哲学的論理学 / 哲学教育 / 論理学教育 / 非古典論理学 / 哲学 Less

Philosophy of Computation: Towards Various Developements
- Principal Investigator
  
  MIYOSHI Hiroyuki
- Project Period (FY)
  2012 – 2015
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Philosophy/Ethics
- Research Institution
  Kyoto Sangyo University
Advanced logic for philosophy
- Principal Investigator
  
  MURAKAMI Yuko
- Project Period (FY)
  2011 – 2014
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Philosophy/Ethics
- Research Institution
  Tohoku University

All 2015 2014 2013 2012 2011 Other

All Journal Article Presentation

[Journal Article] 真理概念は論理結合子となりうるか―真理理論とハーモニー―2015
- Author(s)
  矢田部俊介
- Journal Title
  
  科学哲学科学史研究
  
  Volume: -
- NAID
  120005593663
- Data Source
  KAKENHI-PROJECT-24320008
[Journal Article] Is truth a logical connective?: A truth theory and the harmony2015
- Author(s)
  Yatabe, S.
- Journal Title
  
  科学哲学科学史研究
  
  Volume: 9 Pages: 1-32
- NAID
  120005593663
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-23520008
[Journal Article] On the crispness of omega and arithmetic with a bisimulation in a constructive naive set theory2014
- Author(s)
  Shunsuke YATABE
- Journal Title
  
  Logic Journal of IGPL
  
  Volume: online first Issue: 3 Pages: 482-493
- DOI
  10.1093/jigpal/jzt045
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23520008, KAKENHI-PROJECT-24320008
[Journal Article] 循環性を受け入れる : 構成主義における可述性の位置づけの変更とその影響2013
- Author(s)
  矢田部俊介
- Journal Title
  
  科学哲学科学史研究
  
  Volume: 7 Pages: 1-26
- NAID
  120005244404
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23520008
[Journal Article] 大きな数としての超準数―超準数と厳格有限主義―2012
- Author(s)
  矢田部俊介
- Journal Title
  
  科学哲学科学史研究
  
  Volume: 6
- NAID
  120003891659
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23520008
[Journal Article] Test-Case Design by Feature Trees2012
- Author(s)
  Takashi Kitamura, Ngoc Thi Bich Do, Hitoshi Ohsaki, Ling Fang, and Shunsuke Yatabe
- Journal Title
  
  Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
  
  Volume: 7609 Pages: 458-473
- DOI
  10.1007/978-3-642-34026-0_34
- ISBN
  9783642340253, 9783642340260
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23520008
[Journal Article] A co-inductive language and truth degrees2011
- Author(s)
  Shunsuke Yatabe
- Journal Title
  
  MOL'11: Proceedings of the 12th biennial conference on The mathematics of language (Sprinter Lecture Note in Computer Science)
  
  Volume: 6878 Pages: 209-226
- DOI
  10.1007/978-3-642-23211-4_13
- ISBN
  9783642232107, 9783642232114
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23520008
[Journal Article] Yablo-like paradoxes and co-induction2011
- Author(s)
  Shunsuke Yatabe
- Journal Title
  
  New Frontiers in Artificial Intelligence(Springer Lecture Notes in Computer Science)
  
  Volume: 6878 Pages: 90-103
- DOI
  10.1007/978-3-642-25655-4_8
- ISBN
  9783642256547, 9783642256554
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23520008
[Presentation] Truth, omega-inconsistency and Harmony2014
- Author(s)
  Shunsuke Yatabe
- Organizer
  Tokyo Forum of Analytic Philosophy
- Place of Presentation
  東京大学本郷キャンパス
- Year and Date
  2014-06-13
- Data Source
  KAKENHI-PROJECT-24320008
[Presentation] Truth, omega-inconsistency and Harmony2014
- Author(s)
  Yatabe, S.
- Organizer
  The 2nd Conference on Contemporary Philosophy in East Asia
- Place of Presentation
  京都大学
- Year and Date
  2014-08-28
- Data Source
  KAKENHI-PROJECT-23520008
[Presentation] 真理理論とハーモニー2014
- Author(s)
  矢田部俊介
- Organizer
  応用哲学会第六回大会
- Place of Presentation
  関西大学高槻ミューズキャンパス
- Year and Date
  2014-05-11
- Data Source
  KAKENHI-PROJECT-24320008
[Presentation] Yablo’s paradox and coinduction2014
- Author(s)
  Shunsuke Yatabe
- Organizer
  The 2nd Kyoto-Bristol symposium
- Place of Presentation
  Kyoto, Japan
- Data Source
  KAKENHI-PROJECT-24320008
[Presentation] A non-classical approach to modeling the circularity2013
- Author(s)
  Shunsuke Yatabe
- Organizer
  International Workshop on Game Theory, Epistemic Logic, & Related Topics
- Place of Presentation
  Tsukuba
- Data Source
  KAKENHI-PROJECT-24320008
[Presentation] 集合項は論理結合子と見なしうるか2013
- Author(s)
  矢田部俊介
- Organizer
  日本科学哲学会2013年度年会ワークショップ
- Place of Presentation
  法政大学市ヶ谷キャンパス
- Data Source
  KAKENHI-PROJECT-24320008
[Presentation] 構成的真理と構成的素朴集合論2013
- Author(s)
  矢田部俊介
- Organizer
  日本哲学会大会「構成的真理- パラドックスの解決」ワークショップ
- Place of Presentation
  お茶の水女子大学
- Data Source
  KAKENHI-PROJECT-24320008
[Presentation] A Test-case Design Method based on Feature Trees2012
- Author(s)
  Do Thi Bich Ngoc, Kitamura Takashi, Ohsaki Hitoshi, Fang Ling and Yatabe Shunsuke
- Organizer
  Off the Beaten Track: Underrepresented Problems for Programming Language Researchers
- Place of Presentation
  heraton Society Hill Hotel, Philadelphia, USA
- Data Source
  KAKENHI-PROJECT-23520008
[Presentation] Yablo paradox and co-induction2012
- Author(s)
  Shunsuke Yatabe
- Organizer
  Indiana University Logic Seminar
- Place of Presentation
  Indiana University, USA
- Data Source
  KAKENHI-PROJECT-23520008
[Presentation] ヤブローのパラドックス：自己相似性と自己言及性2011
- Author(s)
  矢田部俊介
- Organizer
  言語学と言語哲学研究会
- Place of Presentation
  東京大学駒場キャンパス
- Data Source
  KAKENHI-PROJECT-23520008
[Presentation] テスト工程における形式手法の利用2011
- Author(s)
  矢田部俊介、北村崇師、Ling Fang、Do Thi Bich Ngoc、大崎人士
- Organizer
  形式手法の産業界応用ワークショップ
- Place of Presentation
  千里ライフサイエンスセンター
- Data Source
  KAKENHI-PROJECT-23520008
[Presentation] A truth theory and co-induction2011
- Author(s)
  Shunsuke Yatabe
- Organizer
  Algebraic and Coalgebraic Approaches to Non-Classical Logics Workshop (ACAN)
- Place of Presentation
  京都大学
- Data Source
  KAKENHI-PROJECT-23520008
[Presentation] あいまい性と極限2011
- Author(s)
  矢田部俊介
- Organizer
  論理学と数学の哲学に関する研究会
- Place of Presentation
  星陵会館
- Data Source
  KAKENHI-PROJECT-23520008
[Presentation] On the crispness of $\omega$ and an arithmetic with a bi-simulation in a constructive naive set theory2011
- Author(s)
  Shunsuke Yatabe
- Organizer
  Non-classical Modal and Predicate Logics
- Place of Presentation
  Sun Yat-sen University, Guangzhou, China
- Data Source
  KAKENHI-PROJECT-23520008
[Presentation] A co-inductive language and truth degrees2011
- Author(s)
  Shunsuke Yatabe
- Organizer
  12th Meeting on Mathematics of Language
- Place of Presentation
  奈良県文化会館
- Data Source
  KAKENHI-PROJECT-23520008
[Presentation] 余帰納的言語と真理の度合理論2011
- Author(s)
  矢田部俊介
- Organizer
  日本科学哲学会
- Place of Presentation
  大阪市立大学
- Data Source
  KAKENHI-PROJECT-23520008
[Presentation] 部分構造論理上の理論
- Author(s)
  矢田部俊介
- Organizer
  CAPEセミナー・論理学上級シリーズ
- Place of Presentation
  京都大学
- Data Source
  KAKENHI-PROJECT-23520008
[Presentation] ワークショップ「余帰納法と論理学」
- Author(s)
  矢田部俊介
- Organizer
  日本科学哲学会
- Place of Presentation
  宮崎大学
- Data Source
  KAKENHI-PROJECT-23520008
[Presentation] Yablo paradox and semantics of coinductive language
- Author(s)
  Shunsuke Yatabe
- Organizer
  CAPE Truth theory and Logic Workshop
- Place of Presentation
  京都大学
- Data Source
  KAKENHI-PROJECT-23520008
[Presentation] Yablo's paradox, a coinductive language and its semantics
- Author(s)
  Shunsuke Yatabe
- Organizer
  LENLS 9
- Place of Presentation
  北海道大学
- Data Source
  KAKENHI-PROJECT-23520008
[Presentation] Test-Case Design by Feature Trees
- Author(s)
  北村崇師, DO THI BICH NGOC, 大崎人士, 矢田部俊介
- Organizer
  ISoLA2012
- Place of Presentation
  ドイツ・ポツダム
- Data Source
  KAKENHI-PROJECT-23520008
[Presentation] Naive set theory and coinduction
- Author(s)
  Shunsuke Yatabe
- Organizer
  Research Meeting: Social Responsibilities of Logicians and Philosophers
- Place of Presentation
  宮城県蔵王町
- Data Source
  KAKENHI-PROJECT-23520008
[Presentation] 嘘つきのパラドックス -自己言及の論理学-
- Author(s)
  矢田部俊介
- Organizer
  大人のための数学講座
- Place of Presentation
  京都大学
- Data Source
  KAKENHI-PROJECT-23520008
[Presentation] 部分構造論理とその階層
- Author(s)
  矢田部俊介
- Organizer
  CAPEセミナー・論理学上級シリーズ
- Place of Presentation
  京都大学
- Data Source
  KAKENHI-PROJECT-23520008
[Presentation] 構成的真理と構成的素朴集合論
- Author(s)
  矢田部俊介
- Organizer
  日本哲学会
- Place of Presentation
  お茶の水女子大学
- Data Source
  KAKENHI-PROJECT-23520008
[Presentation] 集合項は論理結合子と見なしうるか
- Author(s)
  矢田部俊介
- Organizer
  日本科学哲学会
- Place of Presentation
  法政大学
- Data Source
  KAKENHI-PROJECT-23520008
[Presentation] A non-classical approach to modeling the circularity
- Author(s)
  Shunsuke Yatabe
- Organizer
  International Workshop on Game Theory, Epistemic Logic, & Related Topics
- Place of Presentation
  筑波大学
- Data Source
  KAKENHI-PROJECT-23520008
[Presentation] A constructive naive set theory and Kreisel-Goodman paradox
- Author(s)
  Shunsuke YATABE
- Organizer
  「台湾論理・方法論与科学哲学」国際学術検討会
- Place of Presentation
  台北, 台湾
- Invited
- Data Source
  KAKENHI-PROJECT-23520008
[Presentation] 計算的言語理論とCCG
- Author(s)
  矢田部俊介
- Organizer
  応用哲学会大会
- Place of Presentation
  千葉大学
- Data Source
  KAKENHI-PROJECT-23520008
[Presentation] Naive set theory and coinduction
- Author(s)
  Shunsuke Yatabe
- Organizer
  Research Meeting: Social Responsibilities of Logicians and Philosophers 2013
- Place of Presentation
  東京大学本郷キャンパス
- Data Source
  KAKENHI-PROJECT-24320008
[Presentation] RAMS の認証とセーフティケース
- Author(s)
  相馬大輔, 田口研治, 西原秀明, 大岩寛, 矢田部俊介, 森崇 2矢田部俊介
- Organizer
  第11回クリティカルソフトウェアワークショップ
- Place of Presentation
  宇宙航空研究開発機構
- Data Source
  KAKENHI-PROJECT-23520008
[Presentation] Yablo's paradox and -inconsistency
- Author(s)
  Shunsuke Yatabe
- Organizer
  Numbers and Truth, A Marcus Wallenberg Symposium, Gothenburg
- Place of Presentation
  スウェーデン・ヨテンボリ
- Data Source
  KAKENHI-PROJECT-23520008
[Presentation] Verification of System Requirement Specification of Radio Based Train Control (JRTC-W) Using Modeling Language
- Author(s)
  MORI Takashi , Shunsuke YATABE, Hiroyuki YAMAMOTO, Takahiro ARAKAWA, Kenji TAGUCHI, Daisuke SOUMA, Izumi TAKEUTI, Sumitaka AKIBA and Hitoshi OHSAKI
- Organizer
  WCRR2013
- Place of Presentation
  Sydney, Australia
- Data Source
  KAKENHI-PROJECT-23520008
[Presentation] A constructive naive set theory and Kreisel-Goodman paradox
- Author(s)
  Shunsuke Yatabe
- Organizer
  「台湾論理・方法論与科学哲学」国際学術検討会
- Place of Presentation
  LMPS, Taiwan
- Invited
- Data Source
  KAKENHI-PROJECT-24320008
[Presentation] PARADOKSY LOGICZNE ― PARADOKS YABLO
- Author(s)
  Shunsuke Yatabe
- Organizer
  logic seminar, University of Warsaw
- Place of Presentation
  ポーランド・ワルシャワ大学
- Invited
- Data Source
  KAKENHI-PROJECT-23520008
[Presentation] A constructive naive set theory and the -rule
- Author(s)
  Shunsuke Yatabe
- Organizer
  Logic, algebra and truth degrees
- Place of Presentation
  金沢
- Data Source
  KAKENHI-PROJECT-23520008
[Presentation] A constructive naive set theory, a truth predicate and the omega-rule
- Author(s)
  Shunsuke Yatabe
- Organizer
  logic and set theory seminar, Bristol University
- Place of Presentation
  イギリス・ブリストル大学
- Invited
- Data Source
  KAKENHI-PROJECT-23520008
[Presentation] Yablo’s paradox and coinduction
- Author(s)
  Shunsuke Yatabe
- Organizer
  Kyoto-Bristol symposium
- Place of Presentation
  京都大学
- Data Source
  KAKENHI-PROJECT-23520008
[Presentation] 構成的素朴集合論と無限
- Author(s)
  矢田部俊介
- Organizer
  認識論理とゲーム理論研究会
- Place of Presentation
  筑波大学
- Data Source
  KAKENHI-PROJECT-23520008
[Presentation] A constructive naive set theory and the omega-rule
- Author(s)
  Shunsuke Yatabe
- Organizer
  Oxford University
- Place of Presentation
  イギリス・オックスフォード大学
- Invited
- Data Source
  KAKENHI-PROJECT-23520008

1. MURAKAMI Yuko (80435502)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
2. 小嶋泉 (60150322)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
3. MIYOSHI Hiroyuki (60286135)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
4. OZAWA Masanao (40126313)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
5. TODAYAMA Kazuhisa (90217513)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
6. NAKAHARA Mikio (90189019)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. GUNJI Yukio (40192570)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
8. HIGAKI Tatsuya (70242071)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
9. HOSOYA Akio

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
10. NATSUDA Masakazu

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
11. SHIOTANI Ken

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
12. YIDUN Wan

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

YATABE Shunsuke 矢田部 俊介

Research Projects

Research Products

Co-Researchers

Philosophy of Computation: Towards Various Developements

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Advanced logic for philosophy

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] 真理概念は論理結合子となりうるか―真理理論とハーモニー―2015

Author(s)

Journal Title

NAID

Data Source

[Journal Article] Is truth a logical connective?: A truth theory and the harmony2015

Author(s)

Journal Title

NAID

Data Source

[Journal Article] On the crispness of omega and arithmetic with a bisimulation in a constructive naive set theory2014

Author(s)

Journal Title

DOI

Data Source

[Journal Article] 循環性を受け入れる : 構成主義における可述性の位置づけの変更とその影響2013

Author(s)

Journal Title

NAID

Data Source

[Journal Article] 大きな数としての超準数―超準数と厳格有限主義―2012

Author(s)

Journal Title

NAID

Data Source

[Journal Article] Test-Case Design by Feature Trees2012

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] A co-inductive language and truth degrees2011

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] Yablo-like paradoxes and co-induction2011

Author(s)

Journal Title

DOI

ISBN

Data Source

[Presentation] Truth, omega-inconsistency and Harmony2014

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] Truth, omega-inconsistency and Harmony2014

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] 真理理論とハーモニー2014

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] Yablo’s paradox and coinduction2014

Author(s)

Organizer

YATABE Shunsuke 矢田部俊介