研究者
J-GLOBAL ID：200901042226646798   更新日: 2024年10月22日

鈴木 登志雄

スズキ トシオ | SUZUKI Toshio
所属機関・部署：
東京都立大学 理学研究科 数理科学専攻

東京都立大学 理学研究科 数理科学専攻 について


職名： 准教授
ホームページURL (2件)： http://toshio-suzuki-logic.jp/index-j.html ,  http://toshio-suzuki-logic.jp/index-e.html
研究分野 (3件)： 応用数学、統計数学 ,  数学基礎 ,  情報学基礎論
研究キーワード (5件)： 数理論理学 ,  計算量理論 ,  Mathematical logic ,  Computational complexity ,  計算理論
競争的資金等の研究課題 (12件)：
  • 2021 - 2025 アルゴリズム的ランダム性から連続な実関数と実閉体へ
  • 2016 - 2020 ブール値探索コストの条件付き極値問題:資本対リスク比による手法の展開
  • 2011 - 2015 ランダム性の計算的諸相と超準的手法によるその構造解析
  • 2010 - 2014 ゲーム木における固有分布一意性の破れ:計算資源限定マルチンゲールによる研究
  • 2007 - 2010 超準解析と計算可能性理論の融合-ランダム性へのロジカル・アプローチ-
全件表示
論文 (30件)：
  • Masahiro Kumabe, Kenshi Miyabe, Toshio Suzuki. Solovay reducibility via Lipschitz functions and signed-digit representation. Computability. 2024. to appear. 1-27
  • 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
もっと見る
MISC (25件)：
  • 鈴木登志雄. 数学科向け論理学の洋書. 数学セミナー. 2022. 61. 12. 30-32
  • 栗田亮也, 清水泰良, 鈴木登志雄. Weakly balanced multi-branching AND-OR trees: Reconstruction of the omitted part of Saks-Wigderson (1986). 数理解析研究所講究録. 2022. 2228. 148-167
  • 鈴木登志雄. なぜ計算機で足し算をできるのか : 「数学と人間の活動」の話題として. 東京都立大学教職課程紀要. 2021. 5. 59-68
  • 鈴木 登志雄. 進路別・数学科1年生に薦める本. 数学セミナー増刊『数学好きな人のためのブックガイド』. 2020. 36-41
  • 鈴木 登志雄. 「否定命題を作れ」の解法を教えてください. 数学セミナー増刊 「大学数学の質問箱」. 2019. 98-102
もっと見る
書籍 (5件)：
  • ろんりの相談室 : 大学1年生の真理値表と体系
    日本評論社 2021 ISBN:9784535789401
  • 例題で学ぶ集合と論理
    森北出版 2016 ISBN:9784627061910
  • 論理リテラシー
    培風館 2009 ISBN:9784563003838
  • ゲーデルと20世紀の論理学(1) ゲーデルの20世紀
    東京大学出版会 2006 ISBN:413064095X
  • 数学のロジックと集合論
    培風館 2003 ISBN:4563003379
講演・口頭発表等 (59件)：
  • 形状制約なしAND-OR木に関する関する均衡値不等式
    (日本応用数理学会2024年度年会(京都大学) 2024)
  • 自由な形のAND-OR木における均衡値(2)
    (日本数学会2024年度年会(大阪公立大学) 2024)
  • 自由な形のAND-OR木における均衡値
    (日本数学会2023年度秋季総合分科会(東北大学) 2023)
  • 計算論速習
    (数学基礎論サマースクール(明治大学) 2023)
  • Computable Hölder continuous functions and real closed fields
    (Tokyo model theory seminar (online) 2022)
もっと見る
学歴 (2件)：
  • - 1991 筑波大学 数学研究科 数学
  • - 1989 京都大学 理学部 数学
学位 (2件)：
  • 理学修士 (筑波大学)
  • 博士(理学) (筑波大学)
経歴 (3件)：
  • 2006/04 - 現在 東京都立大学(首都大学東京) 准教授
  • 1999/10 - 2006/03 大阪府立大学 講師
  • 1991/04 - 1999/09 大阪府立大学 助手
委員歴 (8件)：
  • 2024/03 - 現在 日本数学会 評議員
  • 2023/04 - 現在 Tokyo Journal of Mathematics 編集委員
  • 2018/04 - 2021/03 Tokyo Journal of Mathematics 編集委員
  • 2017/04 - 2020/03 日本学術振興会 科学研究費助成事業審査委員
  • 2015/03 - 2017/02 日本数学会 評議員
全件表示
受賞 (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
所属学会 (6件)：
International Association of Engineers ,  日本応用数理学会 ,  European Association for Theoretical Computer Science ,  Association for Computing Machinery ,  Association for Symbolic Logic ,  日本数学会
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM