研究者
J-GLOBAL ID:200901042226646798   更新日: 2024年03月20日

鈴木 登志雄

スズキ トシオ | SUZUKI Toshio
所属機関・部署:
職名: 准教授
ホームページURL (2件): http://toshio-suzuki-logic.jp/index-j.htmlhttp://toshio-suzuki-logic.jp/index-e.html
研究分野 (3件): 応用数学、統計数学 ,  数学基礎 ,  情報学基礎論
研究キーワード (5件): 数理論理学 ,  計算量理論 ,  Mathematical logic ,  Computational complexity ,  計算理論
競争的資金等の研究課題 (12件):
  • 2021 - 2025 アルゴリズム的ランダム性から連続な実関数と実閉体へ
  • 2016 - 2020 ブール値探索コストの条件付き極値問題:資本対リスク比による手法の展開
  • 2011 - 2015 ランダム性の計算的諸相と超準的手法によるその構造解析
  • 2010 - 2014 ゲーム木における固有分布一意性の破れ:計算資源限定マルチンゲールによる研究
  • 2007 - 2010 超準解析と計算可能性理論の融合-ランダム性へのロジカル・アプローチ-
全件表示
論文 (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
もっと見る
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
講演・口頭発表等 (55件):
  • Computable Hölder continuous functions and real closed fields
    (Tokyo model theory seminar (online) 2022)
  • Saks and Wigderson (1986):2007 年以降のゲーム木研究の背景として
    (RIMS 共同研究(公開型)「証明と計算の理論と応用」数理解析研究所 2021)
  • ソロベイ還元と連続性
    (日本数学会2019年度秋季総合分科会 2019)
  • ソロベイ還元と連続性
    (日本応用数理学会2019年度年会 2019)
  • チュートリアル AND-OR木の探索コスト
    (日本応用数理学会2019年度年会 2019)
もっと見る
学歴 (2件):
  • - 1991 筑波大学 数学研究科 数学
  • - 1989 京都大学 理学部 数学
学位 (2件):
  • 理学修士 (筑波大学)
  • 博士(理学) (筑波大学)
経歴 (3件):
  • 2006/04 - 現在 東京都立大学(首都大学東京) 准教授
  • 1999/10 - 2006/03 大阪府立大学 講師
  • 1991/04 - 1999/09 大阪府立大学 助手
委員歴 (7件):
  • 2024/03 - 現在 日本数学会 評議員
  • 2023/04 - 現在 Tokyo Journal of Mathematics 編集委員
  • 2018/04 - 2021/03 Tokyo Journal of Mathematics 編集委員
  • 2015/03 - 2017/02 日本数学会 評議員
  • 2012/04 - 2016/03 都立桜修館中等教育学校 学校運営連絡協議会委員
全件表示
受賞 (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の登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る