TOP
> Personal Info.
Researcher DataBase - Personal Information :
SUZUKI Nobu-Yuki
SUZUKI Nobu-Yuki
Professor
College of Science - Division of Mathematics
Faculty of Science - Department of Mathematics
Graduate School of Integrated Science and Technology Department of Science - Mathematics Course
Graduate School of Science and Technology,Research Division - Research of Basic Science
suzuki.nobuyuki@@@shizuoka.ac.jp ()
|
|
|
Last updated : 2024/04/10 11:57:27
|
|
Basic information on teaching staff
| Tohoku University 1990/3 学位記番号：理第941号
平成2年3月9日 |
Semantics of Non-Classical Predicate Logics
application of non-classical logics |
| non-classical logic, Kripke semantics |
Research information
[1]. Extended frames and separations of logical principles
Bulletin of Symbolic Logic 29/3 311-353 (2023) [Refereed] refereed [Internationally co-authored papers] non-internationally co-authored paper
[Lead author or co-author] co-author
[Author] MAKOTO FUJIWARA, HAJIME ISHIHARA, TAKAKO NEMOTO, NOBU-YUKI SUZUKI, KEITA YOKOYAMA [DOI]
[2]. A note on disjunction and existence properties in predicate extensions of intuitionistic logic ---An application of Jankov formulas to predicate logics---
V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics} (Outstanding Contributuions to Logic 24) 24/ 221-244 (2022) [Refereed] refereed [Internationally co-authored papers] non-internationally co-authored paper
[Lead author or co-author] author
[Author] Nobu-Yuki Suzuki [DOI]
[3].
2228/ 88-98 (2022) [Refereed] non-refereed [Internationally co-authored papers] non-internationally co-authored paper
[Lead author or co-author] author
[Author] 鈴木信行
[4]. A Negative Solution to Ono’s Problem P52: Existence and Disjunction Properties in Intermediate Predicate Logics
Hiroakira Ono on Substructural Logics, Outstanding Contributions to Logic 23/ 319-337 (2022) [Refereed] refereed [Internationally co-authored papers] non-internationally co-authored paper
[Lead author or co-author] author
[Author] Nobu-Yuki Suzuki [DOI]
[5].
2150/ - (2020) [Refereed] non-refereed [Internationally co-authored papers] non-internationally co-authored paper
[Lead author or co-author] author
[Author] 鈴木信行 [URL]
|
[1].
（2013）
[Book type]book(research)
[Sole author, co-author, or author and editor] joint work
[Author]鈴木 信行
[Notes] 分担執筆. 第6章「ゲーム論理入門」
[2]. Advances in Modal Logic, Volume 4
King's College Publications （2003）
[Book type]book(research)
[Sole author, co-author, or author and editor] single translation
[Author]P. Balbiani,Nobu-Yuki Suzuki,ほか2名 |
[1]. 否定論理式に制限したExistence Propertyを中間述語論理で考える
第58回MLG 数理論理学研究集会 （2024/2/18） other
[Presenter]鈴木 信行
[URL of the repository, etc.]
[Notes] MLG 数理論理学研究集会 （於: 東北大学大学院情報科学研究科）
[2]. Existence Property for Negated Formulas in Intermediate Predicate Logics
京都大学数理解析研究所 研究集会「証明論と計算論の最前線」 （2023/12/11） other
[Presenter]鈴木信行
[URL of the repository, etc.]
[Notes] 京都大学数理解析研究所 京都府京都市
[3]. Intermediate Predicate Logics and Existence Property
Tokyo model theory seminar （2023/11/29） invited
[Presenter]Nobu-Yuki Suzuki
[URL of the repository, etc.]
[Notes] Tokyo model theory seminar
[4]. 中間述語論理に於ける弱い existence property に関する補遺
日本数学会 2023年度秋季総合分科会（数学基礎論分科会） （2023/9/22） other
[Presenter]鈴木 信行
[Notes] 東北大学 宮城県仙台市 日本数学会
[5]. Two properties of quantifiers described as meta-theorems on some non-classical predicate logics
Workshop on Foundations of Game Theory: Logic, Bounded Rationality, and Decisions （2022/11/28） invited
[Presenter]Nobu-Yuki Suzuki
[Notes] Top Global University Project, Center for Positive/Empirical Analysis of Political Economy
SGU at Waseda University (早稲田大学)
|
[1]. ゲーム理論・意思決定理論への理性制約・準理性制約の導入とその影響 （ 2021/4 ～ 2026/3 ） Grant-in-Aid for Scientific Research (B) member
[2]. 構成性を制御しながら直観主義論理を拡大する （ 2020/4 ） Grant-in-Aid for Scientific Research (C) leader
[3]. 制度・認識・正義の経済学の構築に向けて （ 2016/4 ～ 2019/3 ） Grant-in-Aid for Scientific Research (A) member
[4]. 構成性を中間述語論理の観点から理解する （ 2016/1 ～ 2021/3 ） Grant-in-Aid for Scientific Research (C) leader
[5]. 非古典述語論理のための代数的意味論の再構築 （ 2015/4 ～ 2017/3 ） Grant-in-Aid for Scientific Research (C) leader
|
| [1]. 非古典述語論理の意味論的研究 （1999/10 ) [Offer orgnization] 住友財団 [System name] 基礎科学研究助成 |
[1]. MLG 数理論理学 研究集会 （2018/11)
[Role at conference, etc.] is leader [Site of conference, etc.] 静岡大学（静岡県静岡市）
[Notes] 11月31日ー12月2日
[2]. MLG 数理論理学 研究集会 （2017/12)
[Role at conference, etc.] is leader [Site of conference, etc.] 静岡大学（静岡県静岡市）
[3]. MLG 数理論理学 研究集会 （2003/12)
[Role at conference, etc.] is leader [Site of conference, etc.] 静岡大学（静岡県静岡市）
[4]. MLG 数理論理学 研究集会 （2002/12)
[Role at conference, etc.] is leader [Site of conference, etc.] 城崎（兵庫県）
[5]. MLG 数理論理学 研究集会 （1998/1)
[Role at conference, etc.] other [Site of conference, etc.] 静岡大学（静岡県静岡市）
|
[1]. 学術雑誌等の編集(Studia Logica) （2007/1 )
[Notes] Associate Editor |
Education related information
[1]. General Education Course 情報処理・データサイエンス演習 （2023(FY) - first semester )
[2]. General Education Course 数理の構造 （2023(FY) - second semester )
[3]. Graduate School Course(Master's) 数理論理学特論 （2023(FY) - first semester )
[4]. Faculty Course 数理論理学 （2023(FY) - first semester )
[5]. Faculty Course 数学基礎論 （2023(FY) - second semester )
|
2023(FY)
Number of undergraduate students(senior students) 4
Number of master's course students : 1
Number of doctorate course students (main advisor) : 1
2022(FY)
Number of undergraduate students(senior students) 4
Number of master's course students : 1
2021(FY)
Number of undergraduate students(senior students) 4
2020(FY)
Number of undergraduate students(senior students) 1
2019(FY)
Number of master's course students : 0
Number of doctorate course students (main advisor) : 1
|
[1]. 専攻科長表彰 (2019/3)
[Name of student who received the prize] 鮎澤悟 (Graduate School of Integrated Science and Technology)
[Name of organization that offered the prize] 静岡大学大学院総合科学技術研究科理学専攻
[2]. 研究科長表彰 (2016/3)
[Name of student who received the prize] 矢崎大志
[Name of organization that offered the prize] 静岡大学大学院理学研究科 |
Contributions to society
[1]. lecture class 教員免許状更新講習 （2018/8 - 2018/8 )
[Details] 「有限グラフから拡がる数学の世界」
[Notes] 静岡大学静岡キャンパス
[2]. lecture meeting 愛知県数学大学入試問題研究会 （2018/6 )
[Details] 高等学校教諭むけ
[Notes] 名城大学（名古屋市天白区）
2018年6月16日（土）
[3]. extramural lecture サイエンスカフェin静岡 （2018/6 )
[Details] 第126話「論理の理論、理論の論理」
[Notes] B-nest 静岡市産学交流センター ペガサート6階 プレゼンテーションルーム
2018年6月28日（木）18:00-19:30
[4]. training courses エスパルス若手選手対象 一般教養講座(第5回) （2013/11 - 2013/11 )
[Details] 静岡大学との包括連携協定の一環として、第5回一般教養講座がエスパルス若手選手対象に行われ、｢数の話｣をテーマに講義を行った。
[Notes] 株式会社エスパルス本社
静岡県静岡市清水区三保
[5]. 数学の学力をめぐって考える （2003/7 )
[Details] 数学教育研究会
[Notes] 主催者(静岡県東部地区数学教育研究会) |
[1]. newspaper おちゃのこサイサイサイエンス⑮六角形だけでサッカーボールは作れる？ 執筆 (2016/1/11)
[Notes] 静岡新聞朝刊７面 |
[1]. 日本数学会 地区代議員 （2021/3 - 2022/2 )
[Notes] 役割(地区代議員)
[2]. 日本数学会 地区代議員 （2019/3 - 2020/2 )
[Notes] 役割(地区代議員)
[3]. 日本数学会 （2018/3 - 2019/2 )
[Notes] 役割(評議員)
[4]. 日本数学会 歴史および数学基礎論分科会 （2018/3 - 2019/2 )
[Notes] 役割(分科会運営委員)
[5]. 日本数学会 （2007/2 )
[Notes] 役割(代議員)
|
International contributions
Others
[1]. 理学部数学科長 （2024/4 - 2025/3 )
[2]. 理学部数学科長 （2013/1 - 2014/3 )
[3]. 理学部数学科長 （2006/4 - 2007/3 ) |