• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

鈴木 信行  SUZUKI Nobuyuki

ORCIDORCID連携する *注記
研究者番号 60216421
その他のID
外部サイト
所属 (現在) 2025年度: 静岡大学, 理学部, 教授
所属 (過去の研究課題情報に基づく) *注記 2015年度 – 2024年度: 静岡大学, 理学部, 教授
2013年度 – 2014年度: 静岡大学, 理学(系)研究科(研究院), 教授
2004年度 – 2013年度: 静岡大学, 理学部, 教授
1997年度 – 2003年度: 静岡大学, 理学部, 助教授
1994年度 – 1996年度: 茨城大学, 工学部, 講師
審査区分/研究分野
研究代表者
数学一般(含確率論・統計数学) / 数学一般(含確率論・統計数学) / 小区分12030:数学基礎関連 / 数学基礎・応用数学
研究代表者以外
理論経済学 / 数学一般(含確率論・統計数学) / 小区分07010:理論経済学関連 / 経済理論 / 科学教育
キーワード
研究代表者
非古典論理 / 述語論理 / Kripke意味論 / 様相論理 / 認識論理 / ゲーム理論 / クリプキ意味論 / Kripke semantics / existence property / disjunction property … もっと見る / 構成性 / 限定合理性 / 代数的意味論 / 数学基礎論 / 中間述語論理 / 構成的推論 / 直観主義的算術 / omniscience principles / set theory of reals / theory of games / algebraic semantics / epistemic logic / modal logic / non-classical logics / クリクキ意味論 / 多様相論理 / 実数の集合論 / Bounded Rationality / Game Theory / Epistemic Logics / Kripke Semantics / Non-Classical Logics / ゲーム理論への応用 / 距離の論理 / 超直感主義論理 / ゲーム理論的意思決定過程 / 強独立系列 / predicate logic / intermodiate logics / non-classical logic … もっと見る
研究代表者以外
ゲーム理論 / 認識論理 / 限定合理性 / 帰納的ゲーム理論 / 協力の発生 / 他人の思考 / 記憶 / 経験 / game theory / epistemic logic / 認識論理学 / 被験者実験 / 帰納的推論 / ナッシュ均衡 / 意思決定 / クリプキ意味論 / 部分構造論理 / 非標準論理 / セント・ぺテルスブルグ・パラドックス / 自己組織化 / 計算機シミュレーション / 公共財ゲーム / 冠頭標準形定理 / 直観主義論理 / 効用比較不能 / ゲーム理論への応用 / 確率の認識限界 / セント・ペテルスブルグ・パラドックス / 限定的準理性 / 限定的理性 / 個人間認識の深さ / シンボリック相互作用 / 準理性制約 / 理性制約 / 実践的 / 有限的立場 / semantics / proof theory / Nash equilibrium / bounded epistemic structure / decision making / 個人と時間 / 社会と個人 / 個人の論理的能力 / 個人間認識 / 誤識論理 / 意味論 / 証明論 / 有限認識構造 / lambda calculi / cut elimination theorem / Kripke semantics / modal logic / substructural logic / nonstandard logic / クリプキ・フレーム / 自然演繹体系 / クリプキ完全性 / ラムダ計算 / カット除去定理 / 様相論理 / Kripke-sheaf / Kripke-type semantics / embedding of graphs / factors of graphs / genetic algorithm / mathematical logic / graph theory / 述語論理 / Kripke意味論 / 非古典論理 / ライフゲーム / 連結因子 / クリプキ・タイプの意味論 / クリプキ層 / クリプキ・タイプ意味論 / グラフの埋め込み / グラフの因子 / 遺伝的アルゴリズム / 数理論理学 / グラフ理論 / 行動実験 / 社会正義 / 期待効用理論 / 社会制度 / かたちの数理科目 / トポロジー / 野生的空間 / 大学院教育 / かたちの数理科学 / 短期記憶 / 長期記憶 / 経験の蓄積 / 協力行 / 社会的役割 / 社会観 / 信念・知識 / 項書換え系 / 知識の論理 隠す
  • 研究課題

    (19件)
  • 研究成果

    (173件)
  • 共同研究者

    (30人)
  •  ゲーム理論・意思決定理論への理性制約・準理性制約の導入とその影響

    • 研究代表者
      金子 守
    • 研究期間 (年度)
      2021 – 2025
    • 研究種目
      基盤研究(B)
    • 審査区分
      小区分07010:理論経済学関連
    • 研究機関
      筑波大学
  •  構成性を制御しながら直観主義論理を拡大する研究代表者

    • 研究代表者
      鈴木 信行
    • 研究期間 (年度)
      2020 – 2024
    • 研究種目
      基盤研究(C)
    • 審査区分
      小区分12030:数学基礎関連
    • 研究機関
      静岡大学
  •  構成性を中間述語論理の観点から理解する研究代表者

    • 研究代表者
      鈴木 信行
    • 研究期間 (年度)
      2016 – 2021
    • 研究種目
      基盤研究(C)
    • 研究分野
      数学基礎・応用数学
    • 研究機関
      静岡大学
  •  制度・認識・社会正義の経済学の構築に向けて

    • 研究代表者
      金子 守
    • 研究期間 (年度)
      2014 – 2018
    • 研究種目
      基盤研究(A)
    • 研究分野
      理論経済学
    • 研究機関
      早稲田大学
  •  非古典述語論理のための代数的意味論の再構築研究代表者

    • 研究代表者
      鈴木 信行
    • 研究期間 (年度)
      2012 – 2016
    • 研究種目
      基盤研究(C)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      静岡大学
  •  帰納的ゲーム論:信念・知識の起源と進化、その限定性と意志決定・行動との相互関連

    • 研究代表者
      金子 守
    • 研究期間 (年度)
      2009 – 2013
    • 研究種目
      基盤研究(A)
    • 研究分野
      理論経済学
    • 研究機関
      早稲田大学
      筑波大学
  •  多様相論理とゲーム理論の融合的研究研究代表者

    • 研究代表者
      鈴木 信行
    • 研究期間 (年度)
      2007 – 2009
    • 研究種目
      基盤研究(C)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      静岡大学
  •  新領域科目「かたちの数理科学」と博士課程後期における数理科学教育

    • 研究代表者
      小山 晃
    • 研究期間 (年度)
      2007 – 2008
    • 研究種目
      萌芽研究
    • 研究分野
      科学教育
    • 研究機関
      静岡大学
  •  帰納的ゲーム理論と限定合理性:経験からの社会観形成と行動決定

    • 研究代表者
      金子 守
    • 研究期間 (年度)
      2006 – 2008
    • 研究種目
      基盤研究(B)
    • 研究分野
      理論経済学
    • 研究機関
      筑波大学
  •  多様相論理の総合的研究とゲーム理論への応用研究代表者

    • 研究代表者
      鈴木 信行
    • 研究期間 (年度)
      2004 – 2006
    • 研究種目
      基盤研究(B)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      静岡大学
  •  個人の社会認識と社会・経済規範

    • 研究代表者
      金子 守
    • 研究期間 (年度)
      2001 – 2003
    • 研究種目
      基盤研究(B)
    • 研究分野
      経済理論
    • 研究機関
      筑波大学
  •  クリプキ意味論の拡張と認識論理・ゲーム理論への応用研究代表者

    • 研究代表者
      鈴木 信行
    • 研究期間 (年度)
      2001 – 2003
    • 研究種目
      基盤研究(C)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      静岡大学
  •  非標準論理研究の新しい展開

    • 研究代表者
      小野 寛晰
    • 研究期間 (年度)
      1998 – 2000
    • 研究種目
      基盤研究(B)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      北陸先端科学技術大学院大学
  •  拡張Kripke意味論と述語論理の強独立系列研究代表者

    • 研究代表者
      鈴木 信行
    • 研究期間 (年度)
      1997 – 1998
    • 研究種目
      奨励研究(A)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      静岡大学
  •  非標準論理とその情報科学への応用

    • 研究代表者
      小野 寛晰
    • 研究期間 (年度)
      1997
    • 研究種目
      基盤研究(C)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      北陸先端科学技術大学院大学
  •  真理値関手を持つKripke意味論研究代表者

    • 研究代表者
      鈴木 信行
    • 研究期間 (年度)
      1996
    • 研究種目
      奨励研究(A)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      茨城大学
  •  Kripke Type意味論における強妥当性研究代表者

    • 研究代表者
      鈴木 信行
    • 研究期間 (年度)
      1995
    • 研究種目
      奨励研究(A)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      茨城大学
  •  情報数学の研究

    • 研究代表者
      加納 幹雄
    • 研究期間 (年度)
      1995 – 1996
    • 研究種目
      基盤研究(C)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      茨城大学
  •  Kripke Sheaf意味論と述語論理研究代表者

    • 研究代表者
      鈴木 信行
    • 研究期間 (年度)
      1994
    • 研究種目
      奨励研究(A)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      茨城大学

すべて 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 その他

すべて 雑誌論文 学会発表 図書

  • [図書] 第6章「ゲーム論理入門」、『制度と認識の経済学』(船木由喜彦・石川竜一郎編著)2013

    • 著者名/発表者名
      鈴木信行(分担執筆)
    • 出版者
      NTT出版
    • データソース
      KAKENHI-PROJECT-21243016
  • [図書] 制度と認識の経済学2013

    • 著者名/発表者名
      船木由喜彦, 石川竜一郎, 須賀晃一, 河田陽向, 坂井豊貴, 廣川みどり, 武藤滋夫, 鈴木信行, J.J.クライン
    • 総ページ数
      332
    • 出版者
      NTT出版
    • データソース
      KAKENHI-PROJECT-24540120
  • [雑誌論文] EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES2023

    • 著者名/発表者名
      FUJIWARA MAKOTO、ISHIHARA HAJIME、NEMOTO TAKAKO、SUZUKI NOBU-YUKI、YOKOYAMA KEITA
    • 雑誌名

      The Bulletin of Symbolic Logic

      巻: 29 号: 3 ページ: 311-353

    • DOI

      10.1017/bsl.2023.29

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21KK0045, KAKENHI-PROJECT-18K03392, KAKENHI-PROJECT-20K03716, KAKENHI-PROJECT-22K03400, KAKENHI-PROJECT-23K03205, KAKENHI-PROJECT-19K03601, KAKENHI-PROJECT-20K14354, KAKENHI-PROJECT-23K20588
  • [雑誌論文] A Note on Disjunction and Existence Properties in Predicate Extensions of Intuitionistic Logic?An Application of Jankov Formulas to Predicate Logics2022

    • 著者名/発表者名
      Suzuki Nobu-Yuki
    • 雑誌名

      V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics Outstanding Contributions to Logic

      巻: 24 ページ: 221-244

    • DOI

      10.1007/978-3-031-06843-0_9

    • ISBN
      9783031068423, 9783031068430
    • 査読あり
    • データソース
      KAKENHI-PROJECT-20K03716, KAKENHI-PROJECT-23K20588
  • [雑誌論文] 超直観主義述語論理における Prenex normal form theorem に関する覚書2022

    • 著者名/発表者名
      鈴木信行
    • 雑誌名

      京都大学数理解析研究所講究録

      巻: 2228 ページ: 88-98

    • オープンアクセス
    • データソース
      KAKENHI-PROJECT-20K03716
  • [雑誌論文] 超直観主義述語論理における Prenex normal form theorem に関する覚書2022

    • 著者名/発表者名
      鈴木 信行
    • 雑誌名

      京都大学数理解析研究所講究録

      巻: 2228 ページ: 88-98

    • オープンアクセス
    • データソース
      KAKENHI-PROJECT-23K20588
  • [雑誌論文] A Negative Solution to Ono’s Problem P52: Existence and Disjunction Properties in Intermediate Predicate Logics2021

    • 著者名/発表者名
      Suzuki Nobu-Yuki
    • 雑誌名

      Hiroakira Ono on substructural logics, Outstanding Contributions to Logic

      巻: 23 ページ: 319-337

    • DOI

      10.1007/978-3-030-76920-8_9

    • ISBN
      9783030769192, 9783030769208
    • 査読あり / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K05252, KAKENHI-PROJECT-20K03716, KAKENHI-PROJECT-23K20588
  • [雑誌論文] SMALL INFINITARY EPISTEMIC LOGICS2019

    • 著者名/発表者名
      HU TAI-WEI、KANEKO MAMORU、SUZUKI NOBU-YUKI
    • 雑誌名

      The Review of Symbolic Logic

      巻: - 号: 4 ページ: 1-34

    • DOI

      10.1017/s1755020319000029

    • NAID

      120006594582

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K05252, KAKENHI-PROJECT-26245026, KAKENHI-PROJECT-17H02258
  • [雑誌論文] Small Infinitary Epistemic Logics2017

    • 著者名/発表者名
      Tai-Wei Hu, Mamoru Kaneko, and Nobu-Yuki Suzuki
    • 雑誌名

      WINPEC Working Paper Series

      巻: No. E1705

    • NAID

      120006594582

    • オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26245026
  • [雑誌論文] Some weak variants of the existence and disjunction properties in intermediate predicate logics2017

    • 著者名/発表者名
      Nobu-Yuki Suzuki
    • 雑誌名

      Bulletin of the Section of Logic

      巻: 印刷中

    • 査読あり / 謝辞記載あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-16K05252
  • [雑誌論文] A Negative Solution to Ono's Problem P52: Existence and Disjunction Properties in Intermediate Predicate Logics2017

    • 著者名/発表者名
      Nobu-Yuki Suzuki
    • 雑誌名

      Hiroakira Ono on Residuated Lattices and Substructural Logics (tentative)

      巻: 印刷中

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24540120
  • [雑誌論文] Some Weak Variants of the Existence and Disjunction Properties in Intermediate Predicate Logics2017

    • 著者名/発表者名
      Suzuki Nobu-Yuki
    • 雑誌名

      Bulletin of the Section of Logic

      巻: 46 号: 1/2 ページ: 93-109

    • DOI

      10.18778/0138-0680.46.1.2.08

    • 査読あり / オープンアクセス / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K05252, KAKENHI-PROJECT-26245026
  • [雑誌論文] Some weak variants of the existence and disjunction properties in intermediate predicate logics2017

    • 著者名/発表者名
      Nobu-Yuki Suzuki
    • 雑誌名

      Bulletin of the Section of Logic

      巻: 印刷中

    • 査読あり / オープンアクセス
    • データソース
      KAKENHI-PROJECT-24540120
  • [雑誌論文] Semantics for Intuitionistic Epistemic Logics of Shallow Depths for Game Theory2013

    • 著者名/発表者名
      N. Suzuki
    • 雑誌名

      Economic Theory

      巻: Vol.53 号: 1 ページ: 85-110

    • DOI

      10.1007/s00199-012-0707-1

    • NAID

      120004442649

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21243016, KAKENHI-PROJECT-24540120
  • [雑誌論文] The Occurrence of π Molecular Orbitals in Planar Boron Clusters2012

    • 著者名/発表者名
      Y. Nakagami, N.-Y. Suzuki, R. Sekine, T. Matsuura and J. Aihara
    • 雑誌名

      Bulletin of the Chemical Society of Japan

      巻: 85 号: 4 ページ: 475-480

    • DOI

      10.1246/bcsj.20110203

    • NAID

      10030543816

    • 査読あり
    • データソース
      KAKENHI-PROJECT-24540120
  • [雑誌論文] Semantics for Intuitionistic Epistemic Logics of Shallow Depths for Game2012

    • 著者名/発表者名
      Nobu-Yuki Suzuki
    • 雑誌名

      Economic Theory

      巻: -

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21243016
  • [雑誌論文] A Measure of logical inference and its game theoretical applications2011

    • 著者名/発表者名
      M. Kaneko, and N. Suzuki
    • 雑誌名

      Logic, Rationality, and Interaction

      巻: Vol.6953 ページ: 139-150

    • DOI

      10.1007/978-3-642-24130-7_10

    • ISBN
      9783642241291, 9783642241307
    • 査読あり
    • データソース
      KAKENHI-PROJECT-21243016
  • [雑誌論文] Neural basis of conditional cooperation2011

    • 著者名/発表者名
      Shinsuke Suzuki
    • 雑誌名

      Social Cognitive and Affective Neuroscience

      巻: 6 号: 3 ページ: 338-347

    • DOI

      10.1093/scan/nsq042

    • 査読あり
    • データソース
      KAKENHI-PROJECT-11J02648, KAKENHI-PROJECT-20240026, KAKENHI-PROJECT-21243016
  • [雑誌論文] ある直観主義的認識論理とそのKripke型意味論2009

    • 著者名/発表者名
      鈴木信行
    • 雑誌名

      Proceedings of the 42nd MLG meeting at Fukuoka, Japan 2008 1

      ページ: 43-46

    • データソース
      KAKENHI-PROJECT-19540123
  • [雑誌論文] Kripke-Type Semantics for Intuitionistic Epistemic Logics of Shallow Depths for Game Theory2009

    • 著者名/発表者名
      Nobu-Yuki Suzuki
    • 雑誌名

      Proceedings of he Sixth International Workshop of Logic and Engineering of Natural Language Semantics 1

      ページ: 201-210

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21243016
  • [雑誌論文] Kripke-Type Semantics for Intuitionistic Epistemic Logics of Shallow Depths for Game Theory2009

    • 著者名/発表者名
      Suzuki, Nobu-Yuki
    • 雑誌名

      Proceedings of the Sixth International Workshop of Logic and Engineering of Natural Language Semantics

      ページ: 201-220

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19540123
  • [雑誌論文] Kripke-Type Semantics for Intuitionistic Epistemic Logics of Shallow Depths for Game Theory2009

    • 著者名/発表者名
      Nobu-Yuki Suzuki
    • 雑誌名

      Proceedings of he Sixth International Workshop of Logic and Engineering of Natural Language Semantics 1

      ページ: 201-210

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19540123
  • [雑誌論文] Contentwise Complexity: An Evaluation of Arrow's Impossibility Theorem2008

    • 著者名/発表者名
      Suzuki, Nobu-Yuki, M. Kaneko
    • 雑誌名

      Proceedings of the 42nd MLG meeting at Fukuoka, Japan 2008

      ページ: 41-42

    • データソース
      KAKENHI-PROJECT-19540123
  • [雑誌論文] Chaos, Oscillation and the Evolution of Indirect Reciprocity in n-person games2008

    • 著者名/発表者名
      S. Suzukim, and E. Akiyama
    • 雑誌名

      Journal of Theoretical Biology 252

      ページ: 686-693

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18330034
  • [雑誌論文] ある直観主義的認識論理とそのKripke型意味論2008

    • 著者名/発表者名
      鈴木信行
    • 雑誌名

      Proceedings of the 42nd MLG meeting at Fukuoka, Japan 2008

      ページ: 43-46

    • データソース
      KAKENHI-PROJECT-19540123
  • [雑誌論文] Evolutionary Stability of First-order-information Indirect Reciprocity in Sizable Groups2008

    • 著者名/発表者名
      S. Suzuki, and E. Akiyama
    • 雑誌名

      Theoretical Population Biology 73

      ページ: 426-436

    • NAID

      120007138816

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18330034
  • [雑誌論文] Evolution of Compassion under un-repeated Interaction2007

    • 著者名/発表者名
      S. Suzuki, and E. Akiyama
    • 雑誌名

      In Advancing Social Simulation (eds. S. Takahashi, D. Sallach, J. Rouchier)

      ページ: 273-282

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18330034
  • [雑誌論文] Evolution of Indirect Reciprocity in Groups of Various Sizes and Comparison with Direct Reciprocity2007

    • 著者名/発表者名
      S. Suzuki. and E. Akiyama
    • 雑誌名

      J. Theoretical Biology 245

      ページ: 539-552

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18330034
  • [雑誌論文] Three-person Game Facilitates Indirect Reciprocity under Image Scoring2007

    • 著者名/発表者名
      S. Suzuki, and E. Akiyama
    • 雑誌名

      J. of Theoretical Biology 249

      ページ: 93-100

    • NAID

      120007139069

    • 査読あり
    • データソース
      KAKENHI-PROJECT-18330034
  • [雑誌論文] Contentwise Complexity of Inferences based on Epistemic Logics of Shallow Depths in Game Theoretical Situations2006

    • 著者名/発表者名
      M.Kaneko, N.-Y.Suzuki
    • 雑誌名

      Proceedings of the 39th MLG meeting at Gamagori, Japan 2005

      ページ: 24-27

    • データソース
      KAKENHI-PROJECT-16340022
  • [雑誌論文] Contentwise Complexity of Inferences based on Epistemic Logics of Shallow Depths in Game Theoretical Situations2005

    • 著者名/発表者名
      M.Kaneko, N.-Y.Suzuki
    • 雑誌名

      Proceedings of the 39th MLG meeting at Gamagori, Japan

      ページ: 24-27

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-16340022
  • [雑誌論文] Contentwise Complexity of Inferences based on Epistemic Logics of Shallow Depths in Game Theoretical Situations2005

    • 著者名/発表者名
      M.Kaneko, N.-Y.Suzuki
    • 雑誌名

      Proceedings of the 39th MLG meeting at Gamagori, Japan 2005,

      ページ: 24-27

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-16340022
  • [雑誌論文] Contentwise complexity of inferences in epistemic logic2004

    • 著者名/発表者名
      Mamoru Kaneko, Nobu-Yuki Suzuki
    • 雑誌名

      Proceedings of the 38th MLG meeting

      ページ: 47-49

    • データソース
      KAKENHI-PROJECT-16340022
  • [学会発表] 否定論理式に制限したExistence Propertyを中間述語論理で考える2024

    • 著者名/発表者名
      鈴木信行
    • 学会等名
      第58回MLG数理論理学研究集会
    • データソース
      KAKENHI-PROJECT-20K03716
  • [学会発表] 否定論理式に制限したExistence Propertyを中間述語論理で考える2024

    • 著者名/発表者名
      鈴木 信行
    • 学会等名
      第58回MLG数理論理学研究集会、東北大学大学院情報科学研究科
    • データソース
      KAKENHI-PROJECT-23K20588
  • [学会発表] 中間述語論理に於ける弱い existence property に関する補遺2023

    • 著者名/発表者名
      鈴木信行
    • 学会等名
      日本数学会 令和5年度秋季総合分科会(数学基礎論および歴史分科会)
    • データソース
      KAKENHI-PROJECT-20K03716
  • [学会発表] Existence Property for Negated Formulas in Intermediate Predicate Logics2023

    • 著者名/発表者名
      鈴木信行
    • 学会等名
      RIMS研究集会「証明論と計算論の最前線」
    • データソース
      KAKENHI-PROJECT-20K03716
  • [学会発表] Intermediate Predicate Logics and Existence Property2023

    • 著者名/発表者名
      Nobu-Yuki Suzuki
    • 学会等名
      Tokyo Model Theory Seminar、オンライン
    • 招待講演
    • データソース
      KAKENHI-PROJECT-23K20588
  • [学会発表] Existence Property for Negated Formulas in Intermediate Predicate Logics2023

    • 著者名/発表者名
      鈴木 信行
    • 学会等名
      RIMS研究集会「証明論と計算論の最前線」、京都大学数理解析研究所
    • データソース
      KAKENHI-PROJECT-23K20588
  • [学会発表] 中間述語論理に於ける弱い existence property に関する補遺2023

    • 著者名/発表者名
      鈴木 信行
    • 学会等名
      日本数学会 令和5年度秋季総合分科会(数学基礎論および歴史分科会)、東北大学
    • データソース
      KAKENHI-PROJECT-23K20588
  • [学会発表] Intermediate Predicate Logics and Existence Property2023

    • 著者名/発表者名
      Nobu-Yuki Suzuki
    • 学会等名
      Tokyo Model Theory Seminar
    • 招待講演
    • データソース
      KAKENHI-PROJECT-20K03716
  • [学会発表] Prenex normal form theoremを超直観主義述語論理で考える2022

    • 著者名/発表者名
      鈴木 信行
    • 学会等名
      第56回MLG数理論理学研究集会、オンライン開催
    • データソース
      KAKENHI-PROJECT-23K20588
  • [学会発表] Prenex normal form theoremを超直観主義述語論理で考える2022

    • 著者名/発表者名
      鈴木信行
    • 学会等名
      第56回MLG 数理論理学研究集会
    • データソース
      KAKENHI-PROJECT-16K05252
  • [学会発表] 冠頭標準形定理が成り立つ中間述語論理についての注意2022

    • 著者名/発表者名
      鈴木信行
    • 学会等名
      日本数学会 令和4年度秋季総合分科会(数学基礎論および歴史分科会)
    • データソース
      KAKENHI-PROJECT-20K03716
  • [学会発表] 冠頭標準形定理が成り立つ中間述語論理についての注意2022

    • 著者名/発表者名
      鈴木 信行
    • 学会等名
      日本数学会 令和4年度秋季総合分科会(数学基礎論および歴史分科会)
    • データソース
      KAKENHI-PROJECT-23K20588
  • [学会発表] Two properties of quantifiers described as meta-theorems on some non-classical predicate logics2022

    • 著者名/発表者名
      Nobu-Yuki Suzuki
    • 学会等名
      Workshop on Foundations of Game Theory: Logic, Bounded Rationality, and Decisions
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-23K20588
  • [学会発表] Prenex normal form theoremを超直観主義述語論理で考える2022

    • 著者名/発表者名
      鈴木信行
    • 学会等名
      第56回MLG 数理論理学研究集会
    • データソース
      KAKENHI-PROJECT-20K03716
  • [学会発表] Two properties of quantifiers described as meta-theorems on some non-classical predicate logics2022

    • 著者名/発表者名
      Nobu-Yuki Suzuki
    • 学会等名
      Workshop on Foundations of Game Theory: Logic, Bounded Rationality, and Decisions
    • 招待講演 / 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-20K03716
  • [学会発表] 超直観主義述語論理におけるPrenex normal form theorem に関する覚書2021

    • 著者名/発表者名
      鈴木信行
    • 学会等名
      京都大学数理解析研究所 研究集会「証明と計算の理論と応用」
    • データソース
      KAKENHI-PROJECT-20K03716
  • [学会発表] 超直観主義述語論理におけるPrenex normal form theorem に関する覚書2021

    • 著者名/発表者名
      鈴木信行
    • 学会等名
      京都大学数理解析研究所 研究集会「証明と計算の理論と応用」
    • データソース
      KAKENHI-PROJECT-16K05252
  • [学会発表] 超直観主義述語論理におけるPrenex normal form theorem に関する覚書2021

    • 著者名/発表者名
      鈴木 信行
    • 学会等名
      RIMS研究集会「証明と計算の理論と応用」、京都大学数理解析研究所
    • データソース
      KAKENHI-PROJECT-23K20588
  • [学会発表] 中間述語論理における選言特性と存在特性2020

    • 著者名/発表者名
      鈴木信行
    • 学会等名
      日本数学会 2020年度秋季総合分科会(数学基礎論分科会)
    • 招待講演
    • データソース
      KAKENHI-PROJECT-20K03716
  • [学会発表] 中間述語論理における選言特性と存在特性2020

    • 著者名/発表者名
      鈴木信行
    • 学会等名
      日本数学会 2020年度秋季総合分科会(数学基礎論分科会)
    • 招待講演
    • データソース
      KAKENHI-PROJECT-16K05252
  • [学会発表] Existence and disjunction properties in intermediate predicate logics2020

    • 著者名/発表者名
      N.-Y. Suzuki
    • 学会等名
      Colloquium at Departments of Philosophy I and II of Ruhr University Bochum
    • 招待講演
    • データソース
      KAKENHI-PROJECT-16K05252
  • [学会発表] 中間述語論理における選言特性と存在特性および2019

    • 著者名/発表者名
      鈴木信行
    • 学会等名
      京都大学数理解析研究所 研究集会「証明論その周辺」
    • データソース
      KAKENHI-PROJECT-16K05252
  • [学会発表] Shehtmanの問いから始まる話2019

    • 著者名/発表者名
      鈴木信行
    • 学会等名
      第54回MLG数理論理学研究集会
    • データソース
      KAKENHI-PROJECT-16K05252
  • [学会発表] 選言特性を持ち存在特性を持たない中間述語論理についてのもうひとつの注意2019

    • 著者名/発表者名
      鈴木 信行
    • 学会等名
      日本数学会 2018年度年会(数学基礎論分科会)
    • データソース
      KAKENHI-PROJECT-26245026
  • [学会発表] Kripke 枠不完全かつ代数的不完全な中間述語論理をたくさん作っていた2019

    • 著者名/発表者名
      鈴木信行
    • 学会等名
      日本数学会 2019年度秋季総合分科会(数学基礎論分科会)
    • データソース
      KAKENHI-PROJECT-16K05252
  • [学会発表] A remark on predicate extensions of intuitionistic logic2018

    • 著者名/発表者名
      N.-Y. Suzuki
    • 学会等名
      Second Workshop on Mathematical Logic and its Applications, Kanazawa, Japan
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26245026
  • [学会発表] A remark on predicate extensions of intuitionistic logic2018

    • 著者名/発表者名
      Nobu-Yuki Suzuki
    • 学会等名
      Second Workshop on Mathematical Logic and its Applications
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K05252
  • [学会発表] 中間述語論理における選言特性と2つの弱い変種について2018

    • 著者名/発表者名
      鈴木信行
    • 学会等名
      第53回MLG数理論理学研究集会
    • データソース
      KAKENHI-PROJECT-16K05252
  • [学会発表] 中間述語論理における選言特性とその弱い変種についての注意2018

    • 著者名/発表者名
      鈴木 信行
    • 学会等名
      日本数学会 2018年度秋季総合分科会(数学基礎論分科会)
    • データソース
      KAKENHI-PROJECT-26245026
  • [学会発表] 存在特性を持ち選言特性を持たない中間述語論理をたくさん作る2018

    • 著者名/発表者名
      鈴木信行
    • 学会等名
      日本数学会 2018年度年会(数学基礎論分科会)
    • データソース
      KAKENHI-PROJECT-16K05252
  • [学会発表] 選言特性を持ち存在特性を持たない中間述語論理についてのもうひとつの注意2018

    • 著者名/発表者名
      鈴木信行
    • 学会等名
      日本数学会 2018年度年会(数学基礎論分科会)
    • データソース
      KAKENHI-PROJECT-16K05252
  • [学会発表] 存在特性を持ち選言特性を持たない中間述語論理について2018

    • 著者名/発表者名
      鈴木信行
    • 学会等名
      第5回 山陰 基礎論・解析学 研究集会
    • データソース
      KAKENHI-PROJECT-16K05252
  • [学会発表] 存在特性を持ち選言特性を持たない中間述語論理について2018

    • 著者名/発表者名
      鈴木 信行
    • 学会等名
      第5回 山陰 基礎論・解析学 研究集会, 皆生の宿 ゆるり, 鳥取県米子市
    • データソース
      KAKENHI-PROJECT-26245026
  • [学会発表] 中間述語論理における選言特性とその弱い変種についての注意2018

    • 著者名/発表者名
      鈴木信行
    • 学会等名
      日本数学会 2018年度秋季総合分科会(数学基礎論分科会)
    • データソース
      KAKENHI-PROJECT-16K05252
  • [学会発表] 中間述語論理における選言特性と2つの弱い変種について2018

    • 著者名/発表者名
      鈴木 信行
    • 学会等名
      第53回MLG数理論理学研究集会
    • データソース
      KAKENHI-PROJECT-26245026
  • [学会発表] 存在特性を持ち選言特性を持たない中間述語論理をたくさん作る2018

    • 著者名/発表者名
      鈴木 信行
    • 学会等名
      日本数学会 2018年度年会(数学基礎論分科会)
    • データソース
      KAKENHI-PROJECT-26245026
  • [学会発表] Disjunction propertyを持ちexistence propertyを持たない中間述語論理2017

    • 著者名/発表者名
      鈴木 信行
    • 学会等名
      第52回MLG数理論理学研究集会, 静岡大学理学部, 静岡県静岡市
    • データソース
      KAKENHI-PROJECT-26245026
  • [学会発表] 中間述語論理における公理型としてのomniscience principles2017

    • 著者名/発表者名
      鈴木信行
    • 学会等名
      日本数学会 2017年度年会(数学基礎論分科会)
    • 発表場所
      首都大学東京 (東京都八王子市)
    • 年月日
      2017-03-25
    • データソース
      KAKENHI-PROJECT-24540120
  • [学会発表] Omniscience principlesに関する中間述語論理からの注意2017

    • 著者名/発表者名
      鈴木 信行
    • 学会等名
      第4回 山陰 基礎論・解析学 研究集会
    • 発表場所
      国際ファミリープラザ(鳥取県・米子市)
    • 年月日
      2017-01-18
    • データソース
      KAKENHI-PROJECT-26245026
  • [学会発表] 中間述語論理における公理型としてのomniscience principles2017

    • 著者名/発表者名
      鈴木 信行
    • 学会等名
      日本数学会 2017年度年会(数学基礎論分科会)
    • 発表場所
      首都大学東京(東京都・八王子市)
    • 年月日
      2017-03-25
    • データソース
      KAKENHI-PROJECT-26245026
  • [学会発表] 中間述語論理における公理型としてのomniscience principles2017

    • 著者名/発表者名
      鈴木信行
    • 学会等名
      日本数学会 2017年度年会(数学基礎論および歴史分科会)
    • 発表場所
      首都大学東京 (東京都八王子市)
    • 年月日
      2017-03-25
    • データソース
      KAKENHI-PROJECT-16K05252
  • [学会発表] Separation of non-constructive principles and Kripke models2017

    • 著者名/発表者名
      藤原誠, 石原哉, 根元多佳子, 鈴木信行, 横山啓太
    • 学会等名
      第52回MLG数理論理学研究集会
    • データソース
      KAKENHI-PROJECT-16K05252
  • [学会発表] Omniscience principlesに関する中間述語論理からの注意2017

    • 著者名/発表者名
      鈴木信行
    • 学会等名
      第4回 山陰 基礎論・解析学 研究集会
    • 発表場所
      国際ファミリープラザ(鳥取県米子市)
    • 年月日
      2017-01-08
    • データソース
      KAKENHI-PROJECT-16K05252
  • [学会発表] Disjunction propertyを持ちexistence propertyを持たない中間述語論理2017

    • 著者名/発表者名
      鈴木信行
    • 学会等名
      第52回MLG数理論理学研究集会
    • データソース
      KAKENHI-PROJECT-16K05252
  • [学会発表] Omniscience principlesに関する中間述語論理からの注意2017

    • 著者名/発表者名
      鈴木信行
    • 学会等名
      第4回 山陰 基礎論・解析学 研究集会
    • 発表場所
      国際ファミリープラザ(鳥取県米子市)
    • 年月日
      2017-01-08
    • データソース
      KAKENHI-PROJECT-24540120
  • [学会発表] Some weak variants of existence and disjunction properties in intermediate predicate logics2016

    • 著者名/発表者名
      Nobu-Yuki Suzuki
    • 学会等名
      第51回MLG数理論理学研究集会
    • 発表場所
      四季の湯強羅静雲荘(神奈川県箱根町)
    • 年月日
      2016-10-29
    • データソース
      KAKENHI-PROJECT-24540120
  • [学会発表] Some weak variants of existence and disjunction properties in intermediate predicate logics2016

    • 著者名/発表者名
      Nobu-Yuki Suzuki
    • 学会等名
      第51回MLG数理論理学研究集会
    • 発表場所
      四季の湯強羅静雲荘(神奈川県・足柄下郡箱根町強羅)
    • 年月日
      2016-10-29
    • データソース
      KAKENHI-PROJECT-26245026
  • [学会発表] 中間述語論理におけるdisjunction propertyとexistence propertyのいくつかの弱い変種について2016

    • 著者名/発表者名
      鈴木信行
    • 学会等名
      日本数学会 2016年度秋季総合分科会(数学基礎論分科会)
    • 発表場所
      関西大学 (大阪府吹田市)
    • 年月日
      2016-09-18
    • データソース
      KAKENHI-PROJECT-16K05252
  • [学会発表] Some weak variants of existence and disjunction properties in intermediate predicate logics2016

    • 著者名/発表者名
      Nobu-Yuki Suzuki
    • 学会等名
      第51回MLG数理論理学研究集会
    • 発表場所
      四季の湯強羅静雲荘(神奈川県箱根町)
    • 年月日
      2016-10-29
    • データソース
      KAKENHI-PROJECT-16K05252
  • [学会発表] Relations among some weak variants of existence and disjunction properties in intermediate predicate logics2016

    • 著者名/発表者名
      Nobu-Yuki Suzuki
    • 学会等名
      Logic Colloquium 2016
    • 発表場所
      Leeds大学 イギリス
    • 年月日
      2016-08-02
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K05252
  • [学会発表] 中間述語論理におけるdisjunction propertyとexistence propertyのいくつかののいくつかの弱い変種について2016

    • 著者名/発表者名
      鈴木 信行
    • 学会等名
      日本数学会 2016年度秋季総合分科会(数学基礎論分科会)
    • 発表場所
      関西大学(大阪府・吹田市)
    • 年月日
      2016-09-18
    • データソース
      KAKENHI-PROJECT-26245026
  • [学会発表] 中間述語論理におけるdisjunction propertyとexistence propertyのいくつかの弱い変種について2016

    • 著者名/発表者名
      鈴木信行
    • 学会等名
      日本数学会 2016年度秋季総合分科会(数学基礎論分科会)
    • 発表場所
      関西大学 (大阪府吹田市)
    • 年月日
      2016-09-18
    • データソース
      KAKENHI-PROJECT-24540120
  • [学会発表] Relations among some weak variants of existence and disjunction properties in intermediate predicate logics2016

    • 著者名/発表者名
      Nobu-Yuki Suzuki
    • 学会等名
      Logic Colloquium 2016
    • 発表場所
      Leeds大学、リーズ(イギリス)
    • 年月日
      2016-08-02
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26245026
  • [学会発表] Relations among some weak variants of existence and disjunction properties in intermediate predicate logics2016

    • 著者名/発表者名
      Nobu-Yuki Suzuki
    • 学会等名
      Logic Colloquium 2016
    • 発表場所
      Leeds大学, UK
    • 年月日
      2016-08-02
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-24540120
  • [学会発表] Small Infinitary Logic, and Fixed Point Logic (with M.\ Kaneko and T.-W.\ Hu)2015

    • 著者名/発表者名
      Nobu-Yuki Suzuki
    • 学会等名
      East Asian Game Theory Conference 2015 (EAGT2015)
    • 発表場所
      早稲田大学早稲田キャンパス(東京都 新宿区)
    • 年月日
      2015-08-26
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-24540120
  • [学会発表] 直観主義述語論理に付加してdisjunction propertyとexistence propertyを保存2015

    • 著者名/発表者名
      鈴木信行
    • 学会等名
      日本数学会 2015年度秋季総合分科会(数学基礎論分科会)
    • 発表場所
      京都産業大学, 京都府, 京都市
    • 年月日
      2015-09-13
    • データソース
      KAKENHI-PROJECT-26245026
  • [学会発表] 中間述語論理におけるexistence property のいくつかの弱い変種について2015

    • 著者名/発表者名
      鈴木信行
    • 学会等名
      日本数学会 2015年度年会(数学基礎論分科会)
    • 発表場所
      明治大学駿河台キャンパス(東京都)
    • 年月日
      2015-03-21
    • データソース
      KAKENHI-PROJECT-24540120
  • [学会発表] Axiom schema of Markov's principle preserves disjunction and existence2015

    • 著者名/発表者名
      Nobu-Yuki Suzuki
    • 学会等名
      Computability Theory and Foundations of Mathematics (CTFM) 2015
    • 発表場所
      東京工業大学, 東京都
    • 年月日
      2015-09-07
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26245026
  • [学会発表] Small Infinitary Logic, and Fixed Point Logic2015

    • 著者名/発表者名
      Nobu-Yuki Suzuki
    • 学会等名
      Joint conferences on "Logic, Game Theory, and Social Choice 8" and "The 8th Pan-Pacific Conference on Game Theory"
    • 発表場所
      Academia Sinica, Taipei, Taiwan
    • 年月日
      2015-05-19
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26245026
  • [学会発表] The existence property and related properties in intermediate predicate logics2015

    • 著者名/発表者名
      Nobu-Yuki Suzuki
    • 学会等名
      JAIST LOGIC WORKSHOP SERIES 2015: Constructivism and Computability
    • 発表場所
      金沢県政記念館 しいのき迎賓館 (石川県金沢市)
    • 年月日
      2015-03-05
    • データソース
      KAKENHI-PROJECT-24540120
  • [学会発表] 中間述語論理と構成的数学の接点2015

    • 著者名/発表者名
      鈴木信行
    • 学会等名
      認識論理・様相論理研究会
    • 発表場所
      早稲田大学早稲田キャンパス(東京都 新宿区)
    • 年月日
      2015-12-04
    • 招待講演
    • データソース
      KAKENHI-PROJECT-24540120
  • [学会発表] 中間述語論理の話題2015

    • 著者名/発表者名
      鈴木信行
    • 学会等名
      鹿児島大学数理情報科学談話会
    • 発表場所
      鹿児島大学(鹿児島県 鹿児島市)
    • 年月日
      2015-11-05
    • 招待講演
    • データソース
      KAKENHI-PROJECT-24540120
  • [学会発表] 中間述語論理におけるExistence Propertyに関する話題2015

    • 著者名/発表者名
      鈴木信行
    • 学会等名
      数理論理学セミナー
    • 発表場所
      東京工業大学 大岡山キャンパス (東京都)
    • 年月日
      2015-01-23
    • データソース
      KAKENHI-PROJECT-24540120
  • [学会発表] Small Infinitary Logic, and Fixed Point Logic2015

    • 著者名/発表者名
      Nobu-Yuki Suzuki
    • 学会等名
      East Asian Game Theory Conference 2015 Tokyo
    • 発表場所
      早稲田大学, 東京都
    • 年月日
      2015-08-24
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-26245026
  • [学会発表] Small Infinitary Logic, and Fixed Point Logic (with M.\ Kaneko and T.-W.\ Hu)2015

    • 著者名/発表者名
      Nobu-Yuki Suzuki
    • 学会等名
      Joint conferences on ``Logic, Game Theory, and Social Choice 8'' and ``The 8th Pan-Pacific Conference on Game Theory'' (LGS 8 & 8 PPCGT)
    • 発表場所
      Academia Sinica, Taipei, Taiwan
    • 年月日
      2015-05-19
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-24540120
  • [学会発表] 直観主義述語論理に付加してdisjunction propertyとexistence propertyを保存する公理型について2015

    • 著者名/発表者名
      鈴木信行
    • 学会等名
      日本数学会 2015年度秋季総合分科会(数学基礎論分科会)
    • 発表場所
      京都産業大学(京都府 京都市)
    • 年月日
      2015-09-16
    • データソース
      KAKENHI-PROJECT-24540120
  • [学会発表] Axiom schema of Markov's principle preserves disjunction and existence properties2015

    • 著者名/発表者名
      Nobu-Yuki Suzuki
    • 学会等名
      Computability Theory and Foundations of Mathematics (CTFM) 2015
    • 発表場所
      東京工業大学大岡山キャンパス(東京都 目黒区)
    • 年月日
      2015-09-07
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-24540120
  • [学会発表] The existence property and related properties in intermediate predicate logics2015

    • 著者名/発表者名
      Nobu-Yuki Suzuki
    • 学会等名
      JAIST LOGIC WORKSHOP SERIES 2015:Constructivism and Computability
    • 発表場所
      金沢県政記念館 しいのき迎賓館 (旧県庁)
    • 年月日
      2015-03-05
    • データソース
      KAKENHI-PROJECT-26245026
  • [学会発表] Some properties related to existence property in intermediate predicate logics2014

    • 著者名/発表者名
      Nobu-Yuki Suzuki
    • 学会等名
      Logic Colloquium 2014
    • 発表場所
      Vienna, Austria
    • 年月日
      2014-07-14
    • データソース
      KAKENHI-PROJECT-26245026
  • [学会発表] Decision criteria and their feasibility in games with constructive reasoning2014

    • 著者名/発表者名
      Nobu-Yuki Suzuki
    • 学会等名
      14th SAET Conference on Current Trends in Economics 2014
    • 発表場所
      早稲田大学 (東京都)
    • 年月日
      2014-08-20
    • データソース
      KAKENHI-PROJECT-24540120
  • [学会発表] Two weak versions of existence property in intermediate predicate logics2014

    • 著者名/発表者名
      Nobu-Yuki Suzuki
    • 学会等名
      2014年度第49回MLG数理論理学研究集会
    • 発表場所
      山中温泉 石川県
    • 年月日
      2014-12-05
    • データソース
      KAKENHI-PROJECT-26245026
  • [学会発表] Remarks on the existence property in intermediate predicate logics2014

    • 著者名/発表者名
      Nobu-Yuki Suzuki
    • 学会等名
      数理解析研究所研究集会「証明論・計算論とその周辺」
    • 発表場所
      京都大学数理解析研究所 (京都府京都市)
    • 年月日
      2014-12-26
    • データソース
      KAKENHI-PROJECT-24540120
  • [学会発表] Two weak versions of existence property in intermediate predicate logics2014

    • 著者名/発表者名
      Nobu-Yuki Suzuki
    • 学会等名
      数理論理学研究集会
    • 発表場所
      山中温泉河鹿荘ロイヤルホテル (石川県加賀市)
    • 年月日
      2014-12-05
    • データソース
      KAKENHI-PROJECT-24540120
  • [学会発表] Remarks on the existence property in intermediate predicate logics2014

    • 著者名/発表者名
      Nobu-Yuki Suzuki
    • 学会等名
      数理解析研究所 研究集会「証明論・計算論とその周辺」
    • 発表場所
      京都大学数理解析研究所
    • 年月日
      2014-12-26
    • データソース
      KAKENHI-PROJECT-26245026
  • [学会発表] 中間述語論理における existence property とdisjunction property の独立性2014

    • 著者名/発表者名
      鈴木 信行
    • 学会等名
      日本数学会 2014年度秋季総合分科会(数学基礎論分科会)
    • 発表場所
      広島大学
    • 年月日
      2014-09-28
    • データソース
      KAKENHI-PROJECT-26245026
  • [学会発表] 中間述語論理におけるexistence property とdisjunction property の独立性2014

    • 著者名/発表者名
      鈴木信行
    • 学会等名
      日本数学会 2014年度秋季総合分科会(数学基礎論分科会)
    • 発表場所
      広島大学 (広島県東広島市)
    • 年月日
      2014-09-28
    • データソース
      KAKENHI-PROJECT-24540120
  • [学会発表] Some properties related to existence property in intermediate predicate logics2014

    • 著者名/発表者名
      Nobu-Yuki Suzuki
    • 学会等名
      Logic Colloquium 2014
    • 発表場所
      Vienna, Austria
    • 年月日
      2014-07-14
    • データソース
      KAKENHI-PROJECT-24540120
  • [学会発表] Decision criteria and their feasibility in games with constructive reasoning2014

    • 著者名/発表者名
      Nobu-Yuki Suzuki
    • 学会等名
      14th SAET Conference on Current Trends in Economics 2014
    • 発表場所
      早稲田大学
    • 年月日
      2014-08-20
    • データソース
      KAKENHI-PROJECT-26245026
  • [学会発表] Some Considerations of Prediction/Decision Criteria in Epistemic Predicate Logics2013

    • 著者名/発表者名
      N. Suzuki
    • 学会等名
      13th SAET Conference on Current Trends in Economics 2013
    • 発表場所
      Paris, France
    • 年月日
      2013-07-22
    • データソース
      KAKENHI-PROJECT-21243016
  • [学会発表] ゲーム論に由来する直観主義的認識述語論理とその意味論(その2)2012

    • 著者名/発表者名
      鈴木 信行
    • 学会等名
      日本数学会 2012年度年会
    • 発表場所
      東京理科大学
    • 年月日
      2012-03-27
    • データソース
      KAKENHI-PROJECT-21243016
  • [学会発表] First-Order Intuitionistic Epistemic Logics Arising from Game Theory2012

    • 著者名/発表者名
      N. Suzuki
    • 学会等名
      Advances in Modal Logic 2012
    • 発表場所
      Copenhagen, Denmark
    • 年月日
      2012-08-22
    • データソース
      KAKENHI-PROJECT-21243016
  • [学会発表] ゲーム論に由来する直観主義的認識述語論理とその意味論(その2)2012

    • 著者名/発表者名
      鈴木信行
    • 学会等名
      日本数学会2012年度年会
    • 発表場所
      東京理科大学神楽坂キャンパス(東京都)
    • 年月日
      2012-03-27
    • データソース
      KAKENHI-PROJECT-21243016
  • [学会発表] Quantified Intuitionistic Epistemic Logics of Shallow Depths for Game Theory2011

    • 著者名/発表者名
      Nobu-Yuki Suzuki
    • 学会等名
      Logic, Game theory and Social Choice 7
    • 発表場所
      National School of Political and Administrative Studies, Bcharest, Romania
    • データソース
      KAKENHI-PROJECT-21243016
  • [学会発表] Predicate Intuitionistic Epistemic Logics Arising from Game Theory2011

    • 著者名/発表者名
      N. Suzuki
    • 学会等名
      Second International Conference on Order, Algebra, and Logics
    • 発表場所
      Krakow, Poland
    • 年月日
      2011-06-06
    • データソース
      KAKENHI-PROJECT-21243016
  • [学会発表] First-Order Intuitionistic Epistemic Logics of Shallow Depths Arising from Game Theory2011

    • 著者名/発表者名
      鈴木信行
    • 学会等名
      ACAN : Algebraic and Coalgebraic Approaches to Non-Classical Logics
    • 発表場所
      京都大学数理解析研究所(京都市)
    • 年月日
      2011-05-18
    • データソース
      KAKENHI-PROJECT-21243016
  • [学会発表] ゲーム理論に由来する直観主義的多様相述語論理およびそのKripke型意味論2011

    • 著者名/発表者名
      Nobu-Yuki Suzuki
    • 学会等名
      数理論理学研究集会
    • 発表場所
      KKR湯沢ゆきぐに (新潟県)
    • 年月日
      2011-01-08
    • データソース
      KAKENHI-PROJECT-21243016
  • [学会発表] Remarks on Existence Property in Super-Intuitionistic Predicate Logics2011

    • 著者名/発表者名
      鈴木信行
    • 学会等名
      数理論理学研究集会
    • 発表場所
      KKR湯沢ゆきぐに(新潟県南魚沼郡湯沢町)
    • 年月日
      2011-10-25
    • データソース
      KAKENHI-PROJECT-21243016
  • [学会発表] ある直観主義的認識述語論理とその意味論2011

    • 著者名/発表者名
      Nobu-Yuki Suzuki
    • 学会等名
      日本数学会2011年度年会(数学基礎論分科会)
    • 発表場所
      早稲田大学(東京都)(震災「みなし」成立)
    • 年月日
      2011-03-21
    • データソース
      KAKENHI-PROJECT-21243016
  • [学会発表] Predicate Intuitionistic Epistemic Logics Arising from Game Theory2011

    • 著者名/発表者名
      Nobu-Yuki Suzuki
    • 学会等名
      Second International Conference on Order, Algebra, and Logics
    • 発表場所
      Jagiellonian University, Krakow, Poland
    • データソース
      KAKENHI-PROJECT-21243016
  • [学会発表] Semantics for intuitionistic epistemic logics of shanow depths for gametheory2010

    • 著者名/発表者名
      Nobu-Yuki Suzuki
    • 学会等名
      The 2010 Workshop on Inductive Game Theory and its Related Topicsi, (Tutorial)
    • 発表場所
      Tsukuba University (茨城県)
    • 年月日
      2010-11-27
    • データソース
      KAKENHI-PROJECT-21243016
  • [学会発表] Semantics for intuitionistic epistemic logics of shallow depths for game theory2009

    • 著者名/発表者名
      Nobu-Yuki Suzuki
    • 学会等名
      Logic, Game theory, and Social Choise 6
    • 発表場所
      筑波大学 (つくば市)
    • 年月日
      2009-08-27
    • データソース
      KAKENHI-PROJECT-19540123
  • [学会発表] Kripke-Type Semantics for Intuitionistic Epistemic Logics of Shallow Depths for Game Theory2009

    • 著者名/発表者名
      N. Suzuki
    • 学会等名
      Logic and Engineering of Natural Language Semantics 6 (LENLS VI)
    • 発表場所
      キャンパスイノベーションセンター(東京都)
    • 年月日
      2009-11-20
    • データソース
      KAKENHI-PROJECT-21243016
  • [学会発表] Semantics for intuitionistic epistemic logics of shallow depths for game theory2009

    • 著者名/発表者名
      N. -Y. Suzuki
    • 学会等名
      SAET Conference on Current Trends in Economics 2009
    • 発表場所
      Ischia, Italy
    • 年月日
      2009-07-04
    • データソース
      KAKENHI-PROJECT-19540123
  • [学会発表] Semantics for intuitionistic epistemic logics of shallow depths for game theory2009

    • 著者名/発表者名
      Nobu-Yuki Suzuki
    • 学会等名
      SAET Conference on Current Trends in Economics 2009
    • 発表場所
      Ischia (イタリア)
    • 年月日
      2009-07-04
    • データソース
      KAKENHI-PROJECT-19540123
  • [学会発表] Kripke-Type Semantics for Intuitionistic Epistemic Logics of Shallow Depths for Game Theory2009

    • 著者名/発表者名
      Nobu-Yuki Suzuki
    • 学会等名
      Logic and Engineering of Natural Language Semantics 6 (LENLS VI)
    • 発表場所
      キャンパスイノベーションセンター (東京都)
    • 年月日
      2009-11-20
    • データソース
      KAKENHI-PROJECT-19540123
  • [学会発表] Semantics for intuitionistic epistemic logics of shallow depths for game theory, Logic2009

    • 著者名/発表者名
      N. -Y. Suzuki
    • 学会等名
      Game theory, and Social Choise 6
    • 発表場所
      Tsukuba, Japan
    • 年月日
      2009-08-27
    • データソース
      KAKENHI-PROJECT-19540123
  • [学会発表] Kripke-Type Semantics for Intuitionistic Epistemic Logics of Shallow Depths for Game Theory2009

    • 著者名/発表者名
      N. -Y. Suzuki
    • 学会等名
      Logic and Engineering of Natural Language Semantics 6 (LENLS VI)
    • 発表場所
      Tokyo, Japan
    • 年月日
      2009-11-20
    • データソース
      KAKENHI-PROJECT-19540123
  • [学会発表] Semantics for intuitionistic epistemic logics of shallow depths for game theory2009

    • 著者名/発表者名
      Nobu-Yuki Suzuki
    • 学会等名
      Logic, Game theory, and Social Choise 6
    • 発表場所
      筑波大学(茨城県)
    • 年月日
      2009-08-27
    • データソース
      KAKENHI-PROJECT-21243016
  • [学会発表] Semantics for intuitionistic epistemic logics of shallow depths for game theory2009

    • 著者名/発表者名
      N. Suzuki
    • 学会等名
      SAET Conference on Current Trends in Economics 2009
    • 発表場所
      Ischia (イタリア)
    • 年月日
      2009-07-14
    • データソース
      KAKENHI-PROJECT-21243016
  • [学会発表] A Proof-Theoretic Evaluation of Arrow's Impossibility Theorem2008

    • 著者名/発表者名
      M. Kaneko, N. -Y. Suzuki
    • 学会等名
      9th International Meeting of the Society for Social Choice and Welfare
    • 発表場所
      Concordia University, Montreal, Canada
    • 年月日
      2008-06-21
    • データソース
      KAKENHI-PROJECT-19540123
  • [学会発表] ある直観主義的認識論理とその意味論2008

    • 著者名/発表者名
      鈴木信行
    • 学会等名
      日本数学会秋季総合分科会
    • 発表場所
      東京工業大学
    • 年月日
      2008-09-26
    • データソース
      KAKENHI-PROJECT-19540123
  • [学会発表] A Proof-Theoretic Evaluation of Arrow's Impossibility Theorem2008

    • 著者名/発表者名
      M. Kaneko, N. -Y. Suzuki
    • 学会等名
      Logic and Economics(Players with Limited Cognitive and Inferential Abilities and Mental-Behavioral Consequences)
    • 発表場所
      Tsukuba, Japan
    • 年月日
      2008-08-27
    • データソース
      KAKENHI-PROJECT-19540123
  • [学会発表] Semantics for Intuitionistic Epistemic Logics of Shallow Depths for Game Theory2008

    • 著者名/発表者名
      N. -Y. Suzuki
    • 学会等名
      Logic and Economics(Players with Limited Cognitive and Inferential Abilities and Mental-Behavioral Consequences)
    • 発表場所
      Tsukuba, Japan
    • 年月日
      2008-08-26
    • データソース
      KAKENHI-PROJECT-19540123
  • [学会発表] Contentwise Complexity: An evaluation of Arrow's impossibility theomem2008

    • 著者名/発表者名
      金子守、鈴木信行
    • 学会等名
      42nd MLG数理論理学研究集会2008
    • 発表場所
      九州産業大学
    • 年月日
      2008-11-08
    • データソース
      KAKENHI-PROJECT-19540123
  • [学会発表] Contentwise Complexity : An Evaluation of Arrow's Impossibility Theorem2008

    • 著者名/発表者名
      金子守鈴木信行
    • 学会等名
      数理論理学研究集会
    • 発表場所
      九州産業大学
    • 年月日
      2008-11-08
    • データソース
      KAKENHI-PROJECT-19540123
  • [学会発表] A Proof-Theoretic Evaluation of Arrow's Impossibility Theorem2008

    • 著者名/発表者名
      Nobu-Yuki Suzuki
    • 学会等名
      Logic and Economics
    • 発表場所
      筑波大学
    • 年月日
      2008-08-26
    • データソース
      KAKENHI-PROJECT-19540123
  • [学会発表] ある直観主義的認識論理とそのKripke型意味論2008

    • 著者名/発表者名
      鈴木信行
    • 学会等名
      42nd MLG数理論理学研究集会2008
    • 発表場所
      九州産業大学
    • 年月日
      2008-11-08
    • データソース
      KAKENHI-PROJECT-19540123
  • [学会発表] ある直観主義的認識論理とそのKripke型意味論2008

    • 著者名/発表者名
      鈴木信行
    • 学会等名
      数理論理学研究集会
    • 発表場所
      九州産業大学
    • 年月日
      2008-11-08
    • データソース
      KAKENHI-PROJECT-19540123
  • [学会発表] Semantics for Intuitionistic Epistemic Logics of Shallow Depths for Game Theory2008

    • 著者名/発表者名
      Nobu-Yuki Suzuki
    • 学会等名
      Logic and Economics
    • 発表場所
      筑波大学
    • 年月日
      2008-08-26
    • データソース
      KAKENHI-PROJECT-19540123
  • [学会発表] ある直観主義的認識論理とその意味論2008

    • 著者名/発表者名
      鈴木信行
    • 学会等名
      日本数学会秋季総合分科会(数学基礎論分科会)
    • 発表場所
      東京工業大学東京・日本
    • 年月日
      2008-09-26
    • データソース
      KAKENHI-PROJECT-19540123
  • [学会発表] Semantics of Epistemic Logics for Constructive and Shallow Epistemic Inferences2007

    • 著者名/発表者名
      N. -Y. Suzuki
    • 学会等名
      2007 Joint Conference in Game Theory and Decentralization
    • 発表場所
      Taipei, Taiwan
    • 年月日
      2007-10-21
    • データソース
      KAKENHI-PROJECT-19540123
  • [学会発表] Some Logical Aspects in Game Theoretical Situations:Constructive and Shallow Epistemic Inferences2007

    • 著者名/発表者名
      Nobu-Yuki Suzuki
    • 学会等名
      Workshop on Epistemic Logic and Game Theory
    • 発表場所
      台北(Taipei)
    • 年月日
      2007-08-19
    • データソース
      KAKENHI-PROJECT-19540123
  • [学会発表] Semantics of Epistemic Logics for Constructive and Shallow Epistemic Inferences2007

    • 著者名/発表者名
      Nobu-Yuki Suzuki
    • 学会等名
      2007 Joint Conference in Game Theory and Decentralization
    • 発表場所
      台北(Taipei)
    • 年月日
      2007-10-21
    • データソース
      KAKENHI-PROJECT-19540123
  • [学会発表] Intuitionistic Epistemic Logics of Shallow Depths for Game Theoretical Applocations: ompleteness and Decidability2007

    • 著者名/発表者名
      N. -Y. Suzuki
    • 学会等名
      5th International Conference on Logic, Game Theory and Social Choice 2007
    • 発表場所
      Bilbao, Spain
    • 年月日
      2007-06-22
    • データソース
      KAKENHI-PROJECT-19540123
  • [学会発表] ntutionistic Epistemic Logics of Shallow Depths: Possible-State-of-Mind Semantics2007

    • 著者名/発表者名
      N. -Y. Suzuki
    • 学会等名
      8th SAET Conference on Current Trends in Economics 2007
    • 発表場所
      Kos, Greece
    • 年月日
      2007-06-19
    • データソース
      KAKENHI-PROJECT-19540123
  • [学会発表] Intutionistic Epistemic Logics of Shallow Depths2007

    • 著者名/発表者名
      Nobu-Yuki Suzuki
    • 学会等名
      8th SAET Conference on Current Trends in Economics
    • 発表場所
      コス、ギリシャ(Kos,Greece)
    • 年月日
      2007-06-19
    • データソース
      KAKENHI-PROJECT-19540123
  • [学会発表] Some Logical Aspects in Game Theoretical Situations: Constructive and Shallow Epistemic Inferences-Intuitionistic Epistemic Logic-2007

    • 著者名/発表者名
      N. -Y. Suzuki
    • 学会等名
      Workshop on Epistemic Logic and Game Theory
    • 発表場所
      Taipei, Taiwan
    • 年月日
      2007-08-19
    • データソース
      KAKENHI-PROJECT-19540123
  • [学会発表] Intuitionistic Epistemic Logics of Shallow Depths for Game Theoretical Applications:Completeness and Decidability2007

    • 著者名/発表者名
      Nobu-Yuki Suzuki
    • 学会等名
      The 5th International Conference on Logic, Game Theory and Social Choice 2007
    • 発表場所
      ビルバオ、スペイン(Bilbao,Spain)
    • 年月日
      2007-06-22
    • データソース
      KAKENHI-PROJECT-19540123
  • [学会発表] 述語論理でのPrediction/Decision Criteria の予備的考察

    • 著者名/発表者名
      鈴木信行
    • 学会等名
      認識論理とゲーム理論研究会
    • 発表場所
      筑波大学(茨城県)
    • 招待講演
    • データソース
      KAKENHI-PROJECT-21243016
  • [学会発表] A Treatment of Decision and Prediction Criteria in the Setting of Game Logic GLEF

    • 著者名/発表者名
      N.-Y. Suzuki
    • 学会等名
      InternationalWorkshop on Game Theory, Epistemic Logic, & Related Topics
    • 発表場所
      筑波大学(茨城県)
    • 招待講演
    • データソース
      KAKENHI-PROJECT-21243016
  • [学会発表] First-Order Intuitionistic Epistemic Logics Arising from Game Theory

    • 著者名/発表者名
      N.-Y. Suzuki
    • 学会等名
      Advances in Modal Logic 2012
    • 発表場所
      Copenhagen (Denmark)
    • データソース
      KAKENHI-PROJECT-21243016
  • [学会発表] A Note on the Existence and Disjunction Properties in Super-Intuitionistic Predicate Logics

    • 著者名/発表者名
      N.-Y. Suzuki
    • 学会等名
      Advances in Modal Logic 2012
    • 発表場所
      Copenhagen (Denmark)
    • データソース
      KAKENHI-PROJECT-21243016
  • [学会発表] Ono's problem N52

    • 著者名/発表者名
      Nobu-Yuki Suzuki
    • 学会等名
      数理論理学研究集会
    • 発表場所
      KKR 湯沢ゆきぐに(新潟県)
    • データソース
      KAKENHI-PROJECT-24540120
  • [学会発表] Decision and Prediction Criteria for Games and Intuitionistic Epistemic Logic of Shallow Depths

    • 著者名/発表者名
      Suzuki, N.
    • 学会等名
      Kanazawa Workshop for Epistemic Logic and its Dynamic Extensions
    • 発表場所
      Kanazawa, Japan
    • 招待講演
    • データソース
      KAKENHI-PROJECT-21243016
  • [学会発表] 中間述語論理におけるPrawiz Doorman term existence property

    • 著者名/発表者名
      鈴木信行
    • 学会等名
      日本数学会 2013 年度秋季総合分科会(数学基礎論分科会)
    • 発表場所
      愛媛大学(愛媛県)
    • データソース
      KAKENHI-PROJECT-24540120
  • [学会発表] Decision Criteria for Games in Epistemic Logic

    • 著者名/発表者名
      Nobu-Yuki Suzuki
    • 学会等名
      The 2nd International Workshop on Game Theory, Epistemic Logic, & Related Topics
    • 発表場所
      筑波大学(茨城県)
    • データソース
      KAKENHI-PROJECT-24540120
  • [学会発表] 中間述語論理におけるexistence property のいくつかの弱い変種について

    • 著者名/発表者名
      鈴木 信行
    • 学会等名
      日本数学会 2015年度年会(数学基礎論分科会)
    • 発表場所
      明治大学駿河台キャンパス
    • 年月日
      2015-03-21 – 2015-03-24
    • データソース
      KAKENHI-PROJECT-26245026
  • [学会発表] A Note on the Existence and Disjunction Properties in Super-Intuitionistic Predicate Logics

    • 著者名/発表者名
      Nobu-Yuki Suzuki
    • 学会等名
      Advances in Modal Logic 2012
    • 発表場所
      IDA Conference Center (デンマーク, コペンハーゲン)
    • データソース
      KAKENHI-PROJECT-24540120
  • [学会発表] The Prawiz-Doorman term existence property in superintuitionistic predicate logics

    • 著者名/発表者名
      Nobu-Yuki Suzuki
    • 学会等名
      RIMS 研究集会「証明論と複雑性」
    • 発表場所
      京都大学数理解析研究所(京都府)
    • データソース
      KAKENHI-PROJECT-24540120
  • [学会発表] A Treatment of Decision and Prediction Criteria in the Setting of Game Logic GLEF

    • 著者名/発表者名
      Nobu-Yuki Suzuki
    • 学会等名
      InternationalWorkshop on Game Theory, Epistemic Logic, & Related Topics
    • 発表場所
      筑波大学(茨城県)
    • データソース
      KAKENHI-PROJECT-24540120
  • [学会発表] Remarks on Ono's Two Problems: Existence and Disjunction Properties in Super-Intuitionistic Predicate Logics

    • 著者名/発表者名
      N.-Y. Suzuki
    • 学会等名
      Logic, Algebra and Truth Degrees 2012
    • 発表場所
      石川県立美術館(石川県)
    • データソース
      KAKENHI-PROJECT-21243016
  • [学会発表] Some Considerations of Prediction/Decision Criteria

    • 著者名/発表者名
      Suzuki, N.
    • 学会等名
      13th SAET Conference on Current Trends in Economics 2013
    • 発表場所
      Paris, France
    • データソース
      KAKENHI-PROJECT-21243016
  • [学会発表] Some Considerations of Prediction/Decision Criteria in Epistemic Predicate Logics

    • 著者名/発表者名
      Nobu-Yuki Suzuki
    • 学会等名
      13th SAET 2013
    • 発表場所
      MINES ParisTech(パリ、フランス)
    • データソース
      KAKENHI-PROJECT-24540120
  • [学会発表] The Prawiz-Doorman term existence property in superintuitionistic predicate logics

    • 著者名/発表者名
      N.-Y. Suzuki
    • 学会等名
      RIMS 研究集会「証明論と複雑性」
    • 発表場所
      京都大学数理解析研究所
    • データソース
      KAKENHI-PROJECT-21243016
  • [学会発表] Ono's problem N52

    • 著者名/発表者名
      N.-Y. Suzuki
    • 学会等名
      数理論理学研究集会
    • 発表場所
      KKR 湯沢ゆきぐに(新潟県)
    • データソース
      KAKENHI-PROJECT-21243016
  • [学会発表] Decision and Prediction Criteria for Games and Intuitionistic Epistemic Logic of Shallow Depths

    • 著者名/発表者名
      Nobu-Yuki Suzuki
    • 学会等名
      Kanazawa Workshop for Epistemic Logic and its Dynamic Extensions
    • 発表場所
      しいのき迎賓館(石川県)
    • 招待講演
    • データソース
      KAKENHI-PROJECT-24540120
  • [学会発表] First-Order Intuitionistic Epistemic Logics Arising from Game Theory

    • 著者名/発表者名
      Nobu-Yuki Suzuki
    • 学会等名
      Advances in Modal Logic 2012
    • 発表場所
      IDA Conference Center (デンマーク, コペンハーゲン)
    • データソース
      KAKENHI-PROJECT-24540120
  • [学会発表] 述語論理でのPrediction/Decision Criteria の予備的考察

    • 著者名/発表者名
      鈴木信行
    • 学会等名
      認識論理とゲーム理論研究会
    • 発表場所
      筑波大学(茨城県)
    • データソース
      KAKENHI-PROJECT-24540120
  • [学会発表] Remarks on Ono's Two Problems: Existence and Disjunction Properties in Super-Intuitionistic Predicate Logics

    • 著者名/発表者名
      Nobu-Yuki Suzuki
    • 学会等名
      Logic, Algebra and Truth Degrees 2012
    • 発表場所
      石川県立美術館(石川県)
    • データソース
      KAKENHI-PROJECT-24540120
  • [学会発表] Decision Criteria for Games in Epistemic Logic

    • 著者名/発表者名
      Nobu-Yuki Suzuki
    • 学会等名
      International Workshop on Inductive Game Theory
    • 発表場所
      クイーンズランド大学(ブリスベン、オーストラリア)
    • 招待講演
    • データソース
      KAKENHI-PROJECT-24540120
  • 1.  金子 守 (40114061)
    共同の研究課題数: 11件
    共同の研究成果数: 11件
  • 2.  秋山 英三 (40317300)
    共同の研究課題数: 6件
    共同の研究成果数: 5件
  • 3.  小野 寛晰 (90055319)
    共同の研究課題数: 5件
    共同の研究成果数: 0件
  • 4.  石川 竜一郎 (80345454)
    共同の研究課題数: 5件
    共同の研究成果数: 0件
  • 5.  高野 道夫 (70126423)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 6.  古森 雄一 (10022302)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 7.  加納 幹雄 (20099823)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 8.  志村 立矢 (90246835)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 9.  松井 彰彦 (30272165)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 10.  吉田 雅敏 (00201012)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 11.  依岡 輝幸 (60432192)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 12.  外山 芳人 (00251968)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 13.  小山 晃 (40116158)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 14.  千葉 慶子 (90022227)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 15.  田中 直樹 (00207119)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 16.  清水 扇丈 (50273165)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 17.  大田 春外 (40126769)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 18.  久村 裕憲 (30283336)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 19.  船木 由喜彦 (50181433)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 20.  竹内 あい (10453979)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 21.  Kvasov Dmitriy (90791525)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 22.  須賀 晃一 (00171116)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 23.  畳谷 整克 (40272166)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 24.  梶井 厚志 (80282325)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 25.  クライン ジェフリー
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 26.  フー タイ ウェイ
    共同の研究課題数: 1件
    共同の研究成果数: 1件
  • 27.  石原 哉
    共同の研究課題数: 0件
    共同の研究成果数: 1件
  • 28.  根元 多佳子
    共同の研究課題数: 0件
    共同の研究成果数: 1件
  • 29.  横山 啓太
    共同の研究課題数: 0件
    共同の研究成果数: 1件
  • 30.  藤原 誠
    共同の研究課題数: 0件
    共同の研究成果数: 1件

URL: 

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi