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 ()
 image-profile
Last updated : 2025/04/19 2:05:09

Basic information on teaching staff

【Degrees earned】
Tohoku University 　 1990/3 　学位記番号：理第941号 平成2年3月9日
【research themes】
Semantics of Non-Classical Predicate Logics
application of non-classical logics
【Research Keyword】
non-classical logic, Kripke semantics
 

Research information

【Papers, etc.】
[1].
2293/ - 5 (2024) [Refereed] non-refereed [Internationally co-authored papers] non-internationally co-authored paper
[Lead author or co-author] author
[Author] 鈴木信行 [URL]
[2]. 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]
[3]. 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]
[4].
2228/ 88-98 (2022) [Refereed] non-refereed [Internationally co-authored papers] non-internationally co-authored paper
[Lead author or co-author] author
[Author] 鈴木信行
[5]. 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]
【Books, etc.】
[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名
【Academic conference/research presentations】
[1]. 中間述語論理における量化子消滅公理
鹿児島モデル理論研究会 （2025/3/6） invited
[Presenter]鈴木信行
[URL of the repository, etc.]
[Notes] 鹿児島大学　理学部
[2]. Hyperdoctrinal Semantics for Super-N Predicate Logics
第59回MLG 数理論理学研究集会 （2025/2/22） other
[Presenter]一倉海斗
[URL of the repository, etc.]
[Notes] MLG 数理論理学研究集会 （於: 東北大学大学院情報科学研究科） 共同研究者が発表
[3]. The Existence and Related Properties in Extensions of Intuitionistic Logic
京都大学数理解析研究所　研究集会「数理論理学の最近の進展」 （2024/7/11） invited
[Presenter]鈴木信行
[URL of the repository, etc.]
[Notes] 京都大学数理解析研究所　京都府京都市
[4]. 否定論理式に制限したExistence Propertyを中間述語論理で考える
第58回MLG 数理論理学研究集会 （2024/2/18） other
[Presenter]鈴木 信行
[URL of the repository, etc.]
[Notes] MLG 数理論理学研究集会 （於: 東北大学大学院情報科学研究科）
[5]. Existence Property for Negated Formulas in Intermediate Predicate Logics
京都大学数理解析研究所　研究集会「証明論と計算論の最前線」 （2023/12/11） other
[Presenter]鈴木信行
[URL of the repository, etc.]
[Notes] 京都大学数理解析研究所　京都府京都市
【Grants-in-aid for Scientific Research 】
[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

【Research Grants & Projects（except for KAKENHI）】
[1]. 非古典述語論理の意味論的研究 （1999/10 ) [Offer orgnization] 住友財団 [System name] 基礎科学研究助成
【Holding academic or research conferences, etc.】
[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.] 静岡大学（静岡県静岡市）
【Other academic research activity】
[1]. 学術雑誌等の編集(Studia Logica) （2007/1 )
[Notes] Associate Editor

Education related information

【Courses being taught this academic year】
[1]. General Education Course 数理の構造 （2024(FY) - second semester )
[2]. Graduate School Course(Master's) 数学特別講究Ⅰ （2024(FY) - first semester )
[3]. General Education Course 新入生セミナー （2024(FY) - first semester )
[4]. Faculty Course 数理論理学 （2024(FY) - first semester )
[5]. Graduate School Course(Doctoral) かたちの数理科学 （2024(FY) - first semester )
【Number of students advising】
2024(FY)
Number of undergraduate students(senior students) 2
Number of doctorate course students (main advisor) : 1
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
【Prizes students you are advising won】
[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

【Seminar,Workshop, Event, etc.】
[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] 主催者(静岡県東部地区数学教育研究会)
【News coverage】
[1]. newspaper おちゃのこサイサイサイエンス⑮六角形だけでサッカーボールは作れる？　執筆 (2016/1/11)
[Notes] 静岡新聞朝刊７面
【Committees outside the university, etc.】
[1]. 日本数学会 地区代議員 （2025/3 - 2026/2 )
[Notes] 役割(地区代議員)
[2]. 日本数学会 地区代議員 （2021/3 - 2022/2 )
[Notes] 役割(地区代議員)
[3]. 日本数学会 地区代議員 （2019/3 - 2020/2 )
[Notes] 役割(地区代議員)
[4]. 日本数学会 （2018/3 - 2019/2 )
[Notes] 役割(評議員)
[5]. 日本数学会　歴史および数学基礎論分科会 （2018/3 - 2019/2 )
[Notes] 役割(分科会運営委員)

International contributions

Others

【School dean, etc.】
[1]. 理学部数学科長 （2024/4 - 2025/3 )
[2]. 理学部数学科長 （2013/1 - 2014/3 )
[3]. 理学部数学科長 （2006/4 - 2007/3 )