矢田部俊介 YATABE Shunsuke

研究者番号	70379337
その他のID
所属 (過去の研究課題情報に基づく) *注記	2015年度: 京都大学, 文学研究科, 講師 2011年度 – 2015年度: 京都大学, 文学研究科, 非常勤講師 2014年度: 京都大学, 文学研究科, その他 2013年度: 京都大学, 文学研究科, 講師
審査区分/研究分野	研究代表者以外哲学・倫理学
キーワード	研究代表者以外論理学 / 力学的不変量 / 科学の科学 / 偶然性 / ミクロ-マクロ双対性 / 不確定性原理 / 量子論の基礎 / 音楽の哲学 / 圏論 / 量子論 … もっと見る / 計算の哲学 / 論理学の哲学 / 哲学的論理学 / 哲学教育 / 論理学教育 / 非古典論理学 / 哲学隠す

計算の哲学―様々な展開に向けて―
- 研究代表者
  
  三好博之
- 研究期間 (年度)
  2012 – 2015
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  哲学・倫理学
- 研究機関
  京都産業大学
哲学のための中上級論理学推進
- 研究代表者
  
  村上祐子
- 研究期間 (年度)
  2011 – 2014
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  哲学・倫理学
- 研究機関
  東北大学

すべて 2015 2014 2013 2012 2011 その他

すべて雑誌論文学会発表

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

1. 村上祐子 (80435502)

共同の研究課題数: 2件

共同の研究成果数: 0件
2. 小嶋泉 (60150322)

共同の研究課題数: 2件

共同の研究成果数: 0件
3. 三好博之 (60286135)

共同の研究課題数: 1件

共同の研究成果数: 0件
4. 小澤正直 (40126313)

共同の研究課題数: 1件

共同の研究成果数: 0件
5. 戸田山和久 (90217513)

共同の研究課題数: 1件

共同の研究成果数: 0件
6. 中原幹夫 (90189019)

共同の研究課題数: 1件

共同の研究成果数: 0件
7. 郡司幸夫 (40192570)

共同の研究課題数: 1件

共同の研究成果数: 0件
8. 檜垣立哉 (70242071)

共同の研究課題数: 1件

共同の研究成果数: 0件
9. 細谷暁夫

共同の研究課題数: 1件

共同の研究成果数: 0件
10. 夏田昌和

共同の研究課題数: 1件

共同の研究成果数: 0件
11. 塩谷賢

共同の研究課題数: 1件

共同の研究成果数: 0件
12. YIDUN Wan

共同の研究課題数: 1件

共同の研究成果数: 0件

矢田部 俊介 YATABE Shunsuke

研究課題

研究成果

共同研究者

計算の哲学―様々な展開に向けて―

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

哲学のための中上級論理学推進

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

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

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] Is truth a logical connective?: A truth theory and the harmony2015

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] On the crispness of omega and arithmetic with a bisimulation in a constructive naive set theory2014

著者名/発表者名

雑誌名

DOI

データソース

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

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] 大きな数としての超準数―超準数と厳格有限主義―2012

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] Test-Case Design by Feature Trees2012

著者名/発表者名

雑誌名

DOI

ISBN

データソース

[雑誌論文] A co-inductive language and truth degrees2011

著者名/発表者名

雑誌名

DOI

ISBN

データソース

[雑誌論文] Yablo-like paradoxes and co-induction2011

著者名/発表者名

雑誌名

DOI

ISBN

データソース

[学会発表] Truth, omega-inconsistency and Harmony2014

著者名/発表者名

学会等名

発表場所

年月日

データソース

[学会発表] Truth, omega-inconsistency and Harmony2014

著者名/発表者名

学会等名

発表場所

年月日

データソース

[学会発表] 真理理論とハーモニー2014

著者名/発表者名

学会等名

発表場所

年月日

データソース

[学会発表] Yablo’s paradox and coinduction2014

著者名/発表者名

学会等名

矢田部俊介 YATABE Shunsuke