Rchr
J-GLOBAL ID：200901042226646798   Update date: Mar. 20, 2024

SUZUKI Toshio

スズキ トシオ | SUZUKI Toshio
Affiliation and department：
東京都立大学 理学研究科 数理科学専攻

About 東京都立大学 理学研究科 数理科学専攻


Job title： 准教授
Homepage URL  (2)： http://toshio-suzuki-logic.jp/index-j.html ,  http://toshio-suzuki-logic.jp/index-e.html
Research field  (3)： Applied mathematics and statistics ,  Basic mathematics ,  Information theory
Research keywords  (5)： 数理論理学 ,  計算量理論 ,  Mathematical logic ,  Computational complexity ,  Theory of computation
Research theme for competitive and other funds  (12)：
  • 2021 - 2025 From algorithmic randomness to continuous real functions and real closed fields
  • 2016 - 2020 Constrained extremum problem of Boolean search cost: developing method by capital to risk ratio
  • 2011 - 2015 Computational Aspects of Randomness and Their Structural Analysis via Nonstandard Methods
  • 2010 - 2014 Failure of uniqueness for an equilibrium point in game trees: study by means of resource-bounded martingales
  • 2007 - 2010 Marriage of non-standard analysis and computability theory toward the light of algorithmic randomness
Show all
Papers (29)：
  • Hiroyuki Imai, Masahiro Kumabe, Kenshi Miyabe, Yuki Mizusawa, Toshio Suzuki. Rational sequences converging to left-c.e. reals of positive effective Hausdorff dimension. Computability Theory and Foundations of Mathematics Proceedings of the 9th International Conference on Computability Theory and Foundations of Mathematics. 2022. 97-121
  • Masahiro Kumabe, Kenshi Miyabe, Yuki Mizusawa, Toshio Suzuki. Solovay reducibility and continuity. Journal of Logic and Analysis. 2020. 12. 2. 1-22
  • Mika Shigemizu, Toshio Suzuki, Koki Usami. Independent distributions on a multi-branching AND-OR tree of height 2. Discrete Applied Mathematics. 2020. 285. 274-282
  • Toshio Suzuki. Communication interruption between a game tree and its leaves. Transactions on Engineering Technologies. 2020. 182-193
  • Toshio Suzuki. Non-depth-first search against independent distributions on an AND-OR tree. Information Processing Letters. 2018. 139. 13-17
ｍore...
MISC (25)：
  • 鈴木登志雄. 数学科向け論理学の洋書. 数学セミナー. 2022. 61. 12. 30-32
  • Ryoya Kurita, Taira Shimizu, Toshio Suzuki. Weakly balanced multi-branching AND-OR trees: Reconstruction of the omitted part of Saks-Wigderson (1986). RIMS Kôkyûroku. 2022. 2228. 148-167
  • 鈴木登志雄. なぜ計算機で足し算をできるのか : 「数学と人間の活動」の話題として. 東京都立大学教職課程紀要. 2021. 5. 59-68
  • 鈴木 登志雄. 進路別・数学科1年生に薦める本. 数学セミナー増刊『数学好きな人のためのブックガイド』. 2020. 36-41
  • 鈴木 登志雄. 「否定命題を作れ」の解法を教えてください. 数学セミナー増刊 「大学数学の質問箱」. 2019. 98-102
ｍore...
Books (5)：
  • ろんりの相談室 : 大学1年生の真理値表と体系
    日本評論社 2021 ISBN:9784535789401
  • 例題で学ぶ集合と論理
    森北出版 2016 ISBN:9784627061910
  • 論理リテラシー
    培風館 2009 ISBN:9784563003838
  • ゲーデルと20世紀の論理学(1) ゲーデルの20世紀
    東京大学出版会 2006 ISBN:413064095X
  • 数学のロジックと集合論
    培風館 2003 ISBN:4563003379
Lectures and oral presentations  (55)：
  • Computable Hölder continuous functions and real closed fields
    (2022)
  • Saks and Wigderson (1986):2007 年以降のゲーム木研究の背景として
    (RIMS 共同研究(公開型)「証明と計算の理論と応用」数理解析研究所 2021)
  • Solovay reduction and continuity
    (MSJ Autumn Meeting 2019 2019)
  • Solovay reduction and continuity
    (JSIAM Annual Meeting 2019)
  • Tutorial: Search cost of AND-OR trees
    (JSIAM Annual Meeting 2019)
ｍore...
Education (2)：
  • - 1991 University of Tsukuba
  • - 1989 Kyoto University Faculty of Science
Professional career (2)：
  • Master of Science (University of Tsukuba)
  • Ph.D.(Science) (University of Tsukuba)
Work history (3)：
  • 2006/04 - 現在 Tokyo Metropolitan University associate professor
  • 1999/10 - 2006/03 Osaka Prefecture University
  • 1991/04 - 1999/09 Osaka Prefecture University
Committee career (7)：
  • 2024/03 - 現在 Mathematical Society of Japan a councillor
  • 2023/04 - 現在 Tokyo Journal of Mathematics editor
  • 2018/04 - 2021/03 Tokyo Journal of Mathematics editor
  • 2015/03 - 2017/02 Mathematical Society of Japan a councillor
  • 2012/04 - 2016/03 Oshukan secondary school a member, school council
Show all
Awards (2)：
  • 2018/09 - International Association of Engineers Certificate of Merit for The 2018 IAENG International Conference on Computer Science
  • 2012/05 - International Association of Engineers Best paper award of the 2012 IAENG International Conference on Computer Science
Association Membership(s) (6)：
International Association of Engineers ,  The Japan Society for Industrial and Applied Mathematics ,  European Association for Theoretical Computer Science ,  Association for Computing Machinery ,  Association for Symbolic Logic ,  Mathematical Society of Japan
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM