[ 日本語 | 英語 ]

矢田部俊介

住所：〒661-0974 兵庫県尼崎市若王子 3-11-46

Tel: 06-6494-8047

Fax: 06-6494-8073

Email: shunsuke.yatabe(at)aist.go.jp

学位・職歴・業績リストに関しては、 researchmap.jp をご参照ください。

PDF files:

論文（査読あり）:

• 非古典論理上の包括原理を持つ集合論
  • A note on Hajek, Paris and Shepherdson's theorem (Abstract) (pdf) (pdf on this site)
    矢田部俊介. Logic Journal of IGPL, pp.261-266, vol.13(2), March 2005.
  • Distinguishing non-standard natural numbers in a set theory within Lukasiewicz logic(Abstract) (pdf on this site)
    矢田部俊介. Archive for Mathematical Logic, pp.281-287, vol.46(3-4), April 2007.
  • Comprehension contradicts to the induction within Lukasiewicz predicate logic (Abstract)(pdf on this site)
    矢田部俊介Archive for Mathematical Logic, pp.265-268, vol.48(3-4), May 2009.
• 曖昧さについて
  • On Evans's vague object from set theoretic viewpoint (Abstract) (pdf on this site)
    矢田部俊介, 稲岡大志. Journal of Philosophical Logic, pp.423-434, vol.35(4), August 2006.
  • Vagueness and Extensionality (Abstract) (pdf on this site)
    矢田部俊介, 稲岡大志. Proceedings of 2nd International Conference on Fuzzy Systems and Knowledge Discovery, Lecture Notes in Computer Science, Volume 3613, Springer-Verlag (2005).
• 公理的集合論・実数の組合せ論
  • Forcing indestructibility of MAD families (Abstract)(pdf)
    Jorg Brendle, 矢田部俊介. Annals of Pure and Applied Logic, pp.271-312, vol.132(2-3), March 2005.
• 検証ツール
  • Verification Tool and Unified Specifications for Embedded Software (pdf)
    矢田部俊介. The proceedings of STFSSD 2009 IEEE Computer Society Press.
• その他
  • On a Set Theory with Uncertain Membership Relations
    矢田部俊介, 角田譲 and 菊池誠.
    Design and application of Hybrid Intelligent Systems, pp.458-467, IOS press, 2003. (pdf)
  • The comprehension principle and arithmetic in fuzzy logic
    矢田部俊介.
    Papers of the 31st International Wittgenstein Symposium.(pdf)

論文(査読なし):

• Iterated forcing indestructibility of MAD families (in Japanese)
  京都大学数理解析研究所講究録「集合論的手法による相対的無矛盾性の証明の周辺」 No. 1304 (2003), 29-46.
• 「包括原理のある集合論と超準的自然数」(pdf)
  京都大学数理解析研究所講究録「自然数の超準モデルにおける1階定義可能性の研究」 No.1469 (2006), 4-16.
• 再帰的定義を可能にする述語論理の証明支援系上の実装(Preliminary Version)
  産業技術総合研究所 システム検証研究センター 算譜科学研究速報 (テクニカルレポート）PS-2008-007, 2008年3月.
• 「曖昧さ：真理値の確定性、境界不在性と縮約規則」
  「哲学の探求」第35号, 2008年6月.

講演など:

• 国際会議 (査読あり)
  • On a Set Theory with Uncertain Membership Relations
    矢田部俊介, 角田譲, 菊池誠. 2003年12月15日. at 3rd International Conference on Hybrid Intelligent Systems (Web site), in Melbourne, Australia.
    
  • Vagueness and Extensionality
    矢田部俊介, 稲岡大志. 2005年8月28日. at 2nd International Conference on Fuzzy Systems and Knowlege Discovery (Web site), in Changsha, China. (Presentation file)
  • Temporal states and the contraction rule (Presentation file)
    矢田部俊介. 2006年9月8日. at Prague International Colloquium 2006 Uncertainty: Reasoning about probability and vagueness (Web site), in Prague, Czech.
  • Recursion contradicts to induction within Lukasiewicz logic (abstract) (presentation file)
    矢田部俊介. 2007年7月8日. at Many Valued Logic and Cognition - Trends in Logic V Conference (Web site), in Guangzhou, China.
  • On an arithmetic in a set theory within Lukasiewicz logic (presentation file)
    矢田部俊介. 2007年8月5日. at TANCL'07 (Web site) in Oxford, UK.
  • The comprehension principle and arithmetic in fuzzy logic
    矢田部俊介. 2008年8月12日. at 31st International Wittgenstein Symposium (IWS) (Web site) in Kirchberg am Wechsel, Austria.
    
  • Are truth degrees about truth?
    矢田部俊介. 2008年9月9日. at Logic, Algebra and Truth Degrees (LATD 2008) (Web site) in Siena, Italy.
  • Verification Tool and Unified Specifications for Embedded Software
    矢田部俊介. 2009年3月17日. at STFSSD 2009 (Web site).
  • The revenge of the modest liar (abstract)
    矢田部俊介. 2009年6月17日. at Non-Classical Mathematics 2009 (Web site)
• 国際会議 (査読なし)
  • Forcing indestructibility of MAD families
    Jorg Brendle, 矢田部俊介. 2002年7月25日. at 2nd Mexico-Japan International Topology Conference (Web site), 島根県松江市.
• 国内学会など(2005年以降)
  • オーガナイザー
    • ワークショップ「様相論理の『意味論』再考 -クリプキ意味論を超えて-」 (ワークショップ報告書)
      日本科学哲学会2008年度大会 2008年10月19日.
  • 発表
    • 「包括原理のある集合論と超準的自然数」
      矢田部俊介. 京都大学数理解析研究所 研究集会「自然数の超準モデルにおける1階定義可能性の研究」 2005年9月13日
    • 「多値論理上の集合論と自然数の超準モデル」
      矢田部俊介. 日本数学会2005年度秋期大会（岡山県岡山市）
    • 「Evans の vague objectについて」 (スライド)
      矢田部俊介, 稲岡大志. 日本科学基礎論学会2005年度秋の研究例会 2005年10月22日.
    • 「多値論理上の集合論の自然なタルスキ意味論の構成について」 (スライド)
      矢田部俊介. 日本科学哲学会2005年度大会 2005年12月4日.
    • On Evans Vague object
      矢田部俊介, 稲岡大志. 2005年度 MLG 数理論理学研究集会 2005年12月7日
    • 「Evansのvague objectについて」
      矢田部俊介, 稲岡大志. 日本数学会2006年度年会 2006年3月27日
    • 「H における超準的自然数の区別可能性について」(スライド)
      矢田部俊介. 日本数学会2006年度秋期大会 2006年9月22日.
    • 「曖昧さ：境界不在性と縮約規則」 (ス ライド)
      矢田部俊介. 京都科学哲学コロキアム例会　 2007年1月28日.
    • 「『砂山のパラドックス』の集合論的表現」 (スライド)
      矢田部俊介. 計 算機言語談話会 2007年2月23日.
    • Distinguishing non-standard natural numbers in a set theory within Lukasiewicz logic. (スライド)
      矢田部俊介. Workshop on Algebra and Logic 2007年3月12日.
    • 「包括原理と超準的自然数」
      矢田部俊介. 日本科学哲学会2007年度大会（東京都）のワークショップ「双対性から論理と計算を捉え直す―領域理論から量子計算、相互作用の 幾何まで」にて発表 2007年11月11日.
    • 「様相論理の証明支援系上の実装」 (スライド)
      矢田部俊介. JAIST-AISTワークショップ（石川県能美市）にて発表 2008年3月3日.
    • 「再帰的定義を可能にする述語論理の証明支援系上の実装」
      矢田部俊介. 第68回情報処理学会・プログラミング研究会（神奈川県川崎市）にて発表 2008年3月17日.
    • 「再帰的定義を可能にする、述語論理のAgdaへの実装について」
      矢田部俊介. 産業技術総合研究所 システム検証研究センター 計算機言語談話会（大阪府豊中市） 2008年3月27日.
    • 「仕様書の統一様式の策定と仕様整合性検証システムの開発」 (スライド)
      大崎人士、岡本圭史、北村崇師、木下佳樹、矢田部俊介.システム検証の科学技術シンポジウム 2008年11月18日(要旨)
    • 仕様書の統一様式の策定と仕様整合性検証システムの研究開発のご紹介
      斉藤泰淳、矢田部俊介.ETWest 2009 （大阪市インテックス大阪） 2009年6月4日
    • The omega-inconsistency and overspill in Cantor-Lukasiewicz set theory
      矢田部俊介. チェコ科学アカデミー（チェコ共和国プラハ市）2009年6月29日
    • Toward a forcing model construction of H
      矢田部俊介. チェコ科学アカデミー（チェコ共和国プラハ市）2009年8月28日
    • Truth theory and co-inductive definitions
      矢田部俊介. バース大学（イギリス・バース市）2009年9月10日
    • Specification check tool S3 and its mathematical model
      矢田部俊介. Workshop on Simulation Based Development of Certified Embedded Systems (兵庫県淡路市)2009年10月7日
    • Specification check tool S3 and its mathematical model
      矢田部俊介. TPP (Theorem Proving and Prover) meeting 2009 (兵庫県三田市) 2009年11月20日
    • ω-矛盾な真理理論について
      矢田部俊介. 科学哲学会第42回大会 （東京都）(2009年11月21日
    • 嘘つきのパラドックスと不動点
      矢田部俊介. 金沢大学数学特別講演会（石川県金沢市）2009年12月4日
• 国外ミーティング
  • An implementation of satisfaction function of konowledge modal logic on Agda
    in May 26, 2008, at Bath University (Presentation file)
  • An implementation of satisfaction function of konowledge modal logic on Agda
    in May 30, 2008, at The 8th Agda Implementors' Meeting, in Gothenburg, Sweden.
  • A new project on formalizing specifications
    in September 17, 2008, at the 2nd AIST-Bath computer sicence seminar, at Bath University.
• その他
  • 先端ITスペシャリスト育成プログラム・先端IT特別講義 II（2009年1月14日・早稲田大学理工学部）

所属研究グループ:

• MathFuzzLog, a working group of EUSFLAT (European Society for Fuzzy Logic and Technology).

Preprints:

• Concepts with unstable boundaries

Notes:

• 「多値論理 の集合論と超準的自然数」 2005年3月8日 1st Kobe Symposium on Logic, Information and Designにて発表（神戸市）
• "An introduction to inner model theory" lecture notes: the lecture was given by Professor Philip D. Welch in 1997 at Kobe University.

• システム検証研究センター,
  
• 産業技術総合研究所.