SUZUKI Toshio 鈴木登志雄

… Alternative Names

鈴木登志雄スズキトシオ

Less

Researcher Number	30235973
Other IDs
External Links
Affiliation (Current)	2025: 東京都立大学, 理学研究科, 准教授
Affiliation (based on the past Project Information) *help	2025: 東京都立大学, 理学研究科, 准教授 2021 – 2023: 東京都立大学, 理学研究科, 准教授 2018 – 2019: 首都大学東京, 理学研究科, 准教授 2016 – 2017: 首都大学東京, 理工学研究科, 准教授 2014: 首都大学東京, 大学院理学研究院, 准教授 … More 2010 – 2014: 首都大学東京, 理工学研究科, 准教授 2010: 首都大学東京, 大学院・理学研究院, 准教授 2007: Tokyo Metropolitan University, Department of Mathematics and Information Sciences, Associate professor 2006 – 2007: 首都大学東京, 大学院・理工学研究科, 准教授 2006: 首都大学東京, 大学院理工学研究科, 准教授 2005: 大阪府立大学, 大学院・理学系研究科, 講師 2002 – 2004: 大阪府立大学, 総合科学部, 講師 1999 – 2000: 大阪府立大学, 総合科学部, 講師 1995: 大阪府立大学, 総合科学部, 助手 1992 – 1993: 大阪府立大学, 総合科学部, 助手 Less
Review Section/Research Field	Principal Investigator Basic Section 12030:Basic mathematics-related / General mathematics (including Probability theory/Statistical mathematics) / General mathematics (including Probability theory/Statistical mathematics) / Foundations of mathematics/Applied mathematics Except Principal Investigator General mathematics (including Probability theory/Statistical mathematics) / General mathematics (including Probability theory/Statistical mathematics) / Algebra / Geometry
Keywords	Principal Investigator 命題論理 / 数学基礎論 / 情報基礎 / 応用数学 / アルゴリズム / ミニマックス定理 / 最適化問題 / 人工知能 / ゲーム理論 / 数理論理学 … More / 計算量理論 / ジェネリック・オラクル / ゲージ積分 / ハウスドルフ次元 / 実閉体 / 計算可能解析 / アルゴリズム的ランダム性 / 計算可能性理論 / random number / randomness / algorithm / foundation of computer sciences / mathematical logic / 乱数 / ランダム / 計算複雑さ / ランダム・オラクル / 多項式時間階層 / NP / 単純集合 / 免疫集合 / 算術的強制法 / トートロジー / オラクル / クエリー / 計算量 … More Except Principal Investigator NZMATH / Python / ランダム性 / 計算可能性理論 / 数学基礎論 / system for number theory / cryptologic research / algorithmic number theory / 楕円曲線 / 量子公開鍵暗号 / 数論システム / 暗号理論 / 数論アルゴリズム / 超準モデル / 2階算術 / 逆数学 / ロジック / 超準解析 / 保型表現 / ユニタリー表現 / コホモロジー / 数論的部分群 / 代数群 / イデアル / large cardinal / Game ideal / Mycielski ideal / Hausdorff-gap / Martin's Axiom / Cohen real / Generic extension / Almost coinading family Less

バナッハ空間のソロベイ還元Principal Investigator
- Principal Investigator
  
  鈴木登志雄
- Project Period (FY)
  2025 – 2028
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 12030:Basic mathematics-related
- Research Institution
  Tokyo Metropolitan University
From algorithmic randomness to continuous real functions and real closed fieldsPrincipal Investigator
- Principal Investigator
  
  鈴木登志雄
- Project Period (FY)
  2021 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 12030:Basic mathematics-related
- Research Institution
  Tokyo Metropolitan University
Constrained extremal problems on the search cost of Boolean values: Developing a method based on the capital-risk ratioPrincipal Investigator
- Principal Investigator
  
  SUZUKI Toshio
- Project Period (FY)
  2016 – 2019
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Foundations of mathematics/Applied mathematics
- Research Institution
  Tokyo Metropolitan University
Computational Aspects of Randomness and Their Structural Analysis via Nonstandard Methods
- Principal Investigator
  
  TANAKA Kazuyuki
- Project Period (FY)
  2011 – 2014
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Tohoku University
Game trees without a unique equilibrium distribution: A research by resource-bounded martingalesPrincipal Investigator
- Principal Investigator
  
  SUZUKI Toshio
- Project Period (FY)
  2010 – 2014
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Tokyo Metropolitan University
Marriage of non-standard analysis and computability theory toward the light of algorithmic randomness
- Principal Investigator
  
  TANAKA Kazuyuki
- Project Period (FY)
  2007 – 2010
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Tohoku University
Sizes of Cohen-type forcing condition : Application to randomness and computational complexityPrincipal Investigator
- Principal Investigator
  
  SUZUKI Toshio
- Project Period (FY)
  2005 – 2007
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Tokyo Metropolitan University
  Osaka Prefecture University
Development of a system for number theory by script language and related research on algorithmic number theory
- Principal Investigator
  
  NAKAMURA Ken
- Project Period (FY)
  2004 – 2007
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Algebra
- Research Institution
  Tokyo Metropolitan University
免疫集合と単純集合の計算複雑さPrincipal Investigator
- Principal Investigator
  
  鈴木登志雄
- Project Period (FY)
  2002 – 2004
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Osaka Prefecture University
クエリー記号付きブール式の計算複雑さPrincipal Investigator
- Principal Investigator
  
  鈴木登志雄
- Project Period (FY)
  1999 – 2000
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Osaka Prefecture University
リー群の保型表現とその応用
- Principal Investigator
  
  今野泰子
- Project Period (FY)
  1995
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  Geometry
- Research Institution
  Osaka Prefecture University
ゲームイデアル構造の研究
- Principal Investigator
  
  加茂静夫
- Project Period (FY)
  1993
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Osaka Prefecture University
測度理論の基礎的研究
- Principal Investigator
  
  加茂静夫
- Project Period (FY)
  1992
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Osaka Prefecture University

[Book] 証明論と複雑性（数理解析研究所講究録1832 ）2013
- Author(s)
  鈴木登志雄・編集
- Total Pages
  176
- Publisher
  京都大学数理解析研究所
- Data Source
  KAKENHI-PROJECT-22540146
[Book] ゲーデルと20世紀の論地学(1) ゲーデルの20世紀2007
- Author(s)
  田中一之編, 田中一之, 田中尚夫, 鈴木登志雄ほか著
- Total Pages
  240
- Publisher
  東京大学出版会
- Data Source
  KAKENHI-PROJECT-17540131
[Book] ゲーデルと20世紀の論理学(1)ゲーデルの20世紀2006
- Author(s)
  鈴木登志雄, 他
- Total Pages
  230
- Publisher
  東京大学出版
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16340011
[Book] ゲーデルと20世紀の論理学(1) ゲーデルの20世紀2006
- Author(s)
  鈴木登志雄他
- Total Pages
  230
- Publisher
  東京大学出版
- Data Source
  KAKENHI-PROJECT-16340011
[Journal Article] Weakly balanced multi-branching AND-OR trees: Reconstruction of the omitted part of Saks-Wigderson (1986)2022
- Author(s)
  Ryoya Kurita, Taira Shimizu, and Toshio Suzuki
- Journal Title
  
  数理解析研究所講究録
  
  Volume: 2228 Pages: 148-167
- Open Access
- Data Source
  KAKENHI-PROJECT-21K03340
[Journal Article] Rational sequences converging to left-c.e. reals of positive effective Hausdorff dimension2022
- Author(s)
  Hiroyuki Imai, Masahiro Kumabe, Kenshi Miyabe, Yuki Mizusawa and Toshio Suzuki
- Journal Title
  
  Computability Theory and Foundations of Mathematics
  
  Volume: - Pages: 97-121
- DOI
  10.1142/9789811259296_0005
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21K03340, KAKENHI-PROJECT-22K03408, KAKENHI-PROJECT-21K18585
[Journal Article] Communication interruption between a game tree and its leaves2020
- Author(s)
  Toshio Suzuki
- Journal Title
  
  Transactions on Engineering Technologies
  
  Volume: 1 Pages: 182-193
- DOI
  10.1007/978-981-32-9808-8_15
- ISBN
  9789813298071, 9789813298088
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K05255
[Journal Article] Visualization of set inclusion with gloves2018
- Author(s)
  Toshio Suzuki
- Journal Title
  
  CEUR Workshop Proceedings
  
  Volume: 2116 Pages: 68-75
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-16K05255
[Journal Article] An AND-OR-tree connected to leaves via communication channels2018
- Author(s)
  Toshio Suzuki
- Journal Title
  
  Lecture Notes in Engineering and Computer Science: Proceedings of The International MultiConference of Engineers and Computer Scientists 2018, IMECS 2018, 14-16 March, 2018, Hong Kong
  
  Volume: 1
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-16K05255
[Journal Article] Non-depth-first search against independent distributions on an AND?OR tree2018
- Author(s)
  Suzuki Toshio
- Journal Title
  
  Information Processing Letters
  
  Volume: 139 Pages: 13-17
- DOI
  10.1016/j.ipl.2018.06.013
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K05255
[Journal Article] Kazuyuki Tanaka's work on AND-OR trees and subsequent developments2017
- Author(s)
  Toshio Suzuki
- Journal Title
  
  Annals of the Japan Association for Philosophy of Science
  
  Volume: 25
- NAID
  130006069121
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K05255
[Journal Article] A solution to Yamakami's problem on non-uniform context-free languages2016
- Author(s)
  Toshio Suzuki
- Journal Title
  
  IAENG International Journal of Applied Mathematics
  
  Volume: 46 Pages: 187-193
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-22540146
[Journal Article] Resource-bounded martingales and computable Dowd-type generic sets2015
- Author(s)
  Masahiro Kumabe, Toshio Suzuki
- Journal Title
  
  Information and Computation
  
  Volume: - Pages: 227-248
- DOI
  10.1016/j.ic.2015.03.004
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-22540146
[Journal Article] AND-OR木の均衡点：確率制約がある場合2015
- Author(s)
  鈴木登志雄, 仁井田哲尚
- Journal Title
  
  京都大学数理解析研究所講究録
  
  Volume: 1950 Pages: 34-39
- Open Access
- Data Source
  KAKENHI-PROJECT-22540146
[Journal Article] Equilibrium points of an AND-OR tree: Under constraints on probability2015
- Author(s)
  Toshio Suzuki and Yoshinao Niida
- Journal Title
  
  Annals of Pure and Applied Logic
  
  Volume: 166 Issue: 11 Pages: 1150-1164
- DOI
  10.1016/j.apal.2015.07.002
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22540146
[Journal Article] Geometrical redundancy of street patterns based on threshold of isoperimetric ratio2014
- Author(s)
  Toshio Suzuki, Yuji Hatakeyama
- Journal Title
  
  IAENG Transactions on Engineering Sciences
  
  Volume: special issue Pages: 91-100
- DOI
  10.1201/b16763-10
- ISBN
  9780429227202
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-22540146
[Journal Article] Threshold of isoperimetric ratio based on compressibility via invertible affine transformations2013
- Author(s)
  Toshio Suzuki and Yuji Hatakeyama
- Journal Title
  
  Lecture Notes in Engineering and Computer Science: Proceedings of The World Congress on Engineering 2013
  
  Volume: 1
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22540146
[Journal Article] Resource-bounded randomness and computable Dowd-type generic sets2013
- Author(s)
  Toshio Suzuki (with M. Kumabe)
- Journal Title
  
  The Bulletin of Symbolic Logic
  
  Volume: 19
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22540146
[Journal Article] Probability distributions on an AND-OR tree under directional algorithms2013
- Author(s)
  Toshio Suzuki
- Journal Title
  
  IAENG Transactions on Electrical Engineering
  
  Volume: 1 Pages: 70-83
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22540146
[Journal Article] The eigen distribution of an AND-OR tree under directional algorithms2012
- Author(s)
  Toshio Suzuki
- Journal Title
  
  IAENG International Journal of Applied Mathematics
  
  Volume: 42 Pages: 122-128
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22540146
[Journal Article] Probability distributions achieving the equilibrium of an AND-OR tree under directional algorithms2012
- Author(s)
  Toshio Suzuki, Ryota Nakamura
- Journal Title
  
  Lecture Notes in Engineering and Computer Science : Proceedings of IMECS 2012
  
  Pages: 194-199
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22540146
[Journal Article] Failure of the uniqueness of eigen-distribution on random assignments for game trees2011
- Author(s)
  Suzuki, T.
- Journal Title
  
  京都大学数理解析研究所講究録
  
  Volume: 1729 Pages: 111-116
- Data Source
  KAKENHI-PROJECT-22540146
[Journal Article] Computable Dowd-type generic oracles2011
- Author(s)
  Masahiro Kumabe, Toshio Suzuki
- Journal Title
  
  Proceedings of the 11th Asian Logic Conference
  
  Pages: 128-146
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22540146
[Journal Article] ランダム性をもったゲーム木を読み切るコストの期待値2011
- Author(s)
  中村亮太, 鈴木登志雄
- Journal Title
  
  京都大学数理解析研究所講究録
  
  Volume: 1729 Pages: 95-110
- Data Source
  KAKENHI-PROJECT-22540146
[Journal Article] Computable Dowd-type generic oracle (abstract)2010
- Author(s)
  Kumabe, M., Suzuki, T.
- Journal Title
  
  Bulletin of Symbolic Logic
  
  Volume: 16 Pages: 295-296
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22540146
[Journal Article] Does truth-table of linear norm reduce the one-query tautologies to a random oracle?2008
- Author(s)
  M. Kumabe, T. Suzuki, T. Yamazaki
- Journal Title
  
  Archive for Mathematical Logic 47
  
  Pages: 159-180
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19340019
[Journal Article] Does truth-table of linear norm reduce the one-query tautologies to a random oracle2008
- Author(s)
  M. Kumabe, T. Suzuki and T. Yamazaki
- Journal Title
  
  Archive for Mathematical Logic
  
  Volume: 47 Pages: 159-180
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19340019
[Journal Article] Efficient, Non-Optimistic Secure Circuit Evaluation Based on the EIGamal Encryption and Its Applications2007
- Author(s)
  Koji, Chida, Go, Yamamoto, Koutarou, Suzuki, Shigenori, Uchiyama, Noburou, Taniguchi, Osamu, Shionoiri, Atsushi, Kanai
- Journal Title
  
  IEICE Trans. Fundamentals Vol.E90-A, No.1
  
  Pages: 128-138
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16340011
[Journal Article] Truth-table reductions and minimum sizes of forcing conditions2007
- Author(s)
  M.Kumabe(T Suzuki、T.Yamazakiと連名)
- Journal Title
  
  京都大学数理解析研究所講究録 1533
  
  Pages: 9-14
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17540131
[Journal Article] Truth-table reductions and minimum sizes of forcing conditions2007
- Author(s)
  Masahiro Kumabe, Toshio Suzuki and Takeshi Yamazak
- Journal Title
  
  算術体系の証明論(Proof theory of arithmetic, Kyoto, 2007).数理解析研究所講究録 1553
  
  Pages: 9-14
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16340011
[Journal Article] Truth-table, reductions and minimum, sizes of forcing conditions2007
- Author(s)
  Masahiro, Kumabe, Toshio, Suzuki, Takeshi, Yamazak
- Journal Title
  
  Proof theory of arithmetic, Kyoto 2007 1553
  
  Pages: 9-14
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16340011
[Journal Article] Truth-table reductions and minimum sizes of forcing conditions2007
- Author(s)
  Masahiro Kumabe, Toshio Suzuki and Takeshi Yamazak
- Journal Title
  
  算術体系の証明論(Prooftheory of arithmetic, Kyoto, 2007).数理解析研究所講究録 1553
  
  Pages: 9-14
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16340011
[Journal Article] Truth-table reductions and minimum sizes of forcing conditions2007
- Author(s)
  M. Kumabe, (T. Suzuki, T. Yamazaki)
- Journal Title
  
  Surikaisekikenkyusho-kokyuroku 1533
  
  Pages: 9-14
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17540131
[Journal Article] Truth-table reductions and minimum sizes of forcing conditions (preliminary draft)2007
- Author(s)
  M.Kumabe, T.Suzuki, T.Yamazaki
- Journal Title
  
  数理解析研究所講究録 1533
  
  Pages: 9-14
- Data Source
  KAKENHI-PROJECT-17540131
[Journal Article] Logarithmic truth-table reductions and minimum sizes of forcing conditions2005
- Author(s)
  M.Kumabe(T Suzuki、T.Yamazakiと連名)
- Journal Title
  
  京都大学数理解析研究所講究録 1442
  
  Pages: 42-47
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17540131
[Journal Article] Bounded truth table does not reduce the one-query tautologies to a random oracle2005
- Author(s)
  Toshio Suzuki
- Journal Title
  
  Archive for Mathematical Logic (掲載予定)
- Data Source
  KAKENHI-PROJECT-14740082
[Journal Article] Random extraction from freehand drawings and its semantics (preliminary report) (in Japanese)2005
- Author(s)
  A. Kawanishi (T. Suzuki)
- Journal Title
  
  Surikaisekikenkyusho-kokyutoku 1422
  
  Pages: 8-41
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17540131
[Journal Article] Logarithmic truth-table reductions and minimum sizes of forcing conditions2005
- Author(s)
  M.Kumabe, T.Suzuki, T.Yamazaki
- Journal Title
  
  京都大学数理解析研究所講究録 1442
  
  Pages: 42-47
- Data Source
  KAKENHI-PROJECT-17540131
[Journal Article] Logarithmic truth-table reductions and minimum sizes of forcing conditions2005
- Author(s)
  M. Kumabe (T. Suzuki, T. Yamazaki)
- Journal Title
  
  Surikaisekikenkyusho-kokyuroku 1422
  
  Pages: 42-47
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17540131
[Journal Article] 手描き曲線からの乱数抽出とそのセマンティクス(中間報告)2005
- Author(s)
  川西暁夫(鈴木登志雄と連名)
- Journal Title
  
  京都大学数理解析研究所講究録 1442
  
  Pages: 8-41
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17540131
[Journal Article] Resource bounded immunity and simplicity2005
- Author(s)
  Tomoyuki Yamakami(Toshio Suzukiと連名)
- Journal Title
  
  Theoretical Computer Science 347
  
  Pages: 90-129
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17540131
[Journal Article] Resource bounded immunity and simplicity2005
- Author(s)
  Tomoyuki Yamakami, Toshio Suzuki
- Journal Title
  
  Theoretical Computer Science 347
  
  Pages: 90-129
- Data Source
  KAKENHI-PROJECT-17540131
[Journal Article] 手描き曲線からの乱数抽出とそのセマンティクス(中間報告)2005
- Author(s)
  川西暁夫, 鈴木登志雄
- Journal Title
  
  京都大学数理解析研究所講究録 1442
  
  Pages: 8-41
- Data Source
  KAKENHI-PROJECT-17540131
[Journal Article] Bounded truth table does not reduce the one-query tautologies to a random oracle2005
- Author(s)
  Toshio Suzuki
- Journal Title
  
  Archive for Mathematical Logic 44
  
  Pages: 751-762
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17540131
[Journal Article] Bounded truth table does not reduce the one-query tautologies to a random oracle2005
- Author(s)
  Toshio, Suzuki
- Journal Title
  
  Archive for Mathematical Logic 44
  
  Pages: 751-762
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17540131
[Journal Article] Resource bounded immunity and simplicity (extended abstract)2004
- Author(s)
  T.Suzuki, T.Yamakami
- Journal Title
  
  Exploring New Frontiers of Theoretical Informatics (単行本)
  
  Pages: 81-95
- Data Source
  KAKENHI-PROJECT-14740082
[Journal Article] Resource bounded immunity and simplicity
- Author(s)
  Tomoyuki, Yamakami (Toshio, Suzuki)
- Journal Title
  
  Theoretical Computer Science 347
  
  Pages: 90-129
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17540131
[Presentation] 自由な形の AND-OR 木における均衡値(2)2024
- Author(s)
  鈴木登志雄
- Organizer
  日本数学会年会（大阪公立大学）
- Data Source
  KAKENHI-PROJECT-21K03340
[Presentation] 自由な形の AND-OR 木における均衡値2023
- Author(s)
  鈴木登志雄
- Organizer
  日本数学会秋季総合分科会（東北大学）
- Data Source
  KAKENHI-PROJECT-21K03340
[Presentation] Computable Hoelder continuous functions and real closed fields2022
- Author(s)
  鈴木登志雄
- Organizer
  Tokyo Model Theory Sminar (online)
- Data Source
  KAKENHI-PROJECT-21K03340
[Presentation] Saks and Wigderson (1986)：2007 年以降のゲーム木研究の背景として2021
- Author(s)
  鈴木登志雄
- Organizer
  RIMS共同研究（公開型）「証明と計算の理論と応用」
- Data Source
  KAKENHI-PROJECT-21K03340
[Presentation] ソロベイ還元と連続性2019
- Author(s)
  鈴木登志雄
- Organizer
  日本数学会2019年度秋季総合分科会
- Data Source
  KAKENHI-PROJECT-16K05255
[Presentation] Characterization of quasi Solovay reduction via sequences2019
- Author(s)
  Toshio Suzuki
- Organizer
  CTFM 2019: The 9th International Conference on Computability Theory and Foundations of Mathematics
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K05255
[Presentation] ソロベイ還元と連続性2019
- Author(s)
  鈴木登志雄
- Organizer
  日本応用数理学会2019年度年会
- Data Source
  KAKENHI-PROJECT-16K05255
[Presentation] チュートリアル AND-OR木の探索コスト2019
- Author(s)
  鈴木登志雄
- Organizer
  日本応用数理学会2019年度年会
- Data Source
  KAKENHI-PROJECT-16K05255
[Presentation] ゲーム木と葉の間の通信中断2019
- Author(s)
  鈴木登志雄
- Organizer
  日本数学会２０１９年度年会（東京工業大学）
- Data Source
  KAKENHI-PROJECT-16K05255
[Presentation] Independent distributions on a multi-branching AND-OR tree of height 22018
- Author(s)
  Toshio Suzuki
- Organizer
  Computability Theory and Foundations of Mathematics 2018 (CTFM 2018, Meiji University, Surugadai campus)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K05255
[Presentation] An AND-OR-tree connected to leaves via communication channels2018
- Author(s)
  Toshio Suzuki
- Organizer
  The International MultiConference of Engineers and Computer Scientists 2018 (IMECS 2018, Hong Kong)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K05255
[Presentation] Visualization of set inclusion with gloves2018
- Author(s)
  Toshio Suzuki
- Organizer
  International Workshop on Set Visualization and Reasoning (SetVR 2018) co-located with 10th International Conference on the Theory and Application of Diagrams (Diagrams 2018)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K05255
[Presentation] 高さが２の多分岐AND-OR木上の独立分布2018
- Author(s)
  鈴木登志雄
- Organizer
  日本数学会秋季総合分科会（岡山大学）
- Data Source
  KAKENHI-PROJECT-16K05255
[Presentation] Solovay reduction and continuity2018
- Author(s)
  Toshio Suzuki
- Organizer
  Sendai Logic School 2018 (SLS 2018)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K05255
[Presentation] Non-depth-first search of an AND-OR tree2018
- Author(s)
  鈴木登志雄
- Organizer
  日本数学会２０１８年度年会（東京大学）
- Data Source
  KAKENHI-PROJECT-16K05255
[Presentation] An Alternative Proof of 1-Generic Splittings2017
- Author(s)
  水澤勇気（鈴木登志雄と連名）
- Organizer
  RIMS共同研究（公開型）「証明論と証明活動」
- Data Source
  KAKENHI-PROJECT-16K05255
[Presentation] HF上のデルタ1関係2017
- Author(s)
  鈴木登志雄
- Organizer
  数学基礎論サマースクール2017（明治大学駿河台キャンパス）
- Data Source
  KAKENHI-PROJECT-16K05255
[Presentation] 2-c.e. 次数の 1-generic 分解2017
- Author(s)
  水澤勇気・伴滉一郎・鈴木登志雄
- Organizer
  日本数学会２０１７年度年会
- Place of Presentation
  首都大学東京
- Year and Date
  2017-03-25
- Data Source
  KAKENHI-PROJECT-16K05255
[Presentation] Non-depth-first search of an AND-OR tree2017
- Author(s)
  Toshio Suzuki
- Organizer
  Workshop on Computability Theory and the Foundations of Mathematics (National University of Singapore)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K05255
[Presentation] A solution to Yamakami's problem on advised context-free languages2015
- Author(s)
  Toshio Suzuki
- Organizer
  日本数学会2015年度秋季総合分科会
- Place of Presentation
  京都産業大学
- Year and Date
  2015-09-16
- Data Source
  KAKENHI-PROJECT-22540146
[Presentation] AND-OR木の均衡点：確率制約がある場合2014
- Author(s)
  鈴木登志雄, 仁井田哲尚
- Organizer
  RIMS研究集会　証明論・計算論とその周辺
- Place of Presentation
  京都大学数理解析研究所（京都府・京都市）
- Year and Date
  2014-12-24
- Data Source
  KAKENHI-PROJECT-22540146
[Presentation] Equilibrium Points of an AND-OR Tree: under Constraints on Probability2014
- Author(s)
  Toshio Suzuki, Yoshinao Niida
- Organizer
  日本応用数理学会2014年度年会　ポスターセッション
- Place of Presentation
  政策研究大学院大学（東京都・港区）
- Year and Date
  2014-09-03
- Data Source
  KAKENHI-PROJECT-22540146
[Presentation] Equilibrium Points of an AND-OR Tree: under Constraints on Probability2014
- Author(s)
  Toshio Suzuki
- Organizer
  ELC Seminar
- Place of Presentation
  東京工業大学田町キャンパス（東京都・港区）
- Year and Date
  2014-12-04
- Invited
- Data Source
  KAKENHI-PROJECT-22540146
[Presentation] Equilibrium Points of an AND-OR Tree: under Constraints on Probability2014
- Author(s)
  Toshio Suzuki, Yoshinao Niida
- Organizer
  日本数学会2014年度秋季総合分科会
- Place of Presentation
  広島大学（広島県・広島市）
- Year and Date
  2014-09-27
- Data Source
  KAKENHI-PROJECT-22540146
[Presentation] Equilibrium Points of an AND-OR Tree: under Constraints on Probability2014
- Author(s)
  Toshio Suzuki, Yoshinao Niida
- Organizer
  The 25th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms (Poster Session)
- Place of Presentation
  パリ（フランス）
- Year and Date
  2014-06-16
- Data Source
  KAKENHI-PROJECT-22540146
[Presentation] Resource-bounded forcing theorem and randomness2014
- Author(s)
  Toshio Suzuki (with M. Kumabe)
- Organizer
  Computability Theory and Foundations of Mathematics 2014 (CTFM2014)
- Place of Presentation
  東京工業大学大岡山キャンパス
- Data Source
  KAKENHI-PROJECT-22540146
[Presentation] Equilibrium Points of an AND-OR Tree: under Constraints on Probability2014
- Author(s)
  Toshio Suzuki
- Organizer
  Workshop on Mathematical Logic on the Occasion of Sakae Fuchino's 60th Birthday
- Place of Presentation
  神戸大学（兵庫県・神戸市）
- Year and Date
  2014-11-17
- Invited
- Data Source
  KAKENHI-PROJECT-22540146
[Presentation] Forcing complexity2013
- Author(s)
  Toshio Suzuki (with M. Kumabe)
- Organizer
  ELC Workshop on Randomness and Probability Through Computability (RPTC2013)
- Place of Presentation
  東京大学本郷キャンパス
- Data Source
  KAKENHI-PROJECT-22540146
[Presentation] Threshold of isoperimetric ratio based on compressibility via invertible affine transformations2013
- Author(s)
  Toshio Suzuki and Yuji Hatakeyama
- Organizer
  World Congress on Engineering 2013 (WCE2013)
- Place of Presentation
  Imperial College London, London, UK
- Data Source
  KAKENHI-PROJECT-22540146
[Presentation] Probability distributions achieving the equilibrium of an AND-OR tree under directional algorithms2012
- Author(s)
  Toshio Suzuki, Ryota Nakamura
- Organizer
  The International MultiConference of Engineers and Computer Scientists 2012
- Place of Presentation
  oyal Garden Hotel, Hong Kong
- Year and Date
  2012-03-15
- Data Source
  KAKENHI-PROJECT-22540146
[Presentation] Probability distributions achieving the equilibrium of an AND-OR tree under directional algorithms2012
- Author(s)
  Toshio Suzuki and Ryota Nakamura
- Organizer
  The International MultiConference of Engineers and Computer Scientists 2012
- Place of Presentation
  香港（中国）
- Data Source
  KAKENHI-PROJECT-23340020
[Presentation] Resource-bounded randomness and computable Dowd-type generic sets2011
- Author(s)
  Masahiro Kumabe, Toshio Suzuki
- Organizer
  The 12th Asian Logic Conference (ALC12)
- Place of Presentation
  Victoria University of Wellington, New Zealand
- Year and Date
  2011-12-17
- Data Source
  KAKENHI-PROJECT-22540146
[Presentation] Independent distributions on an AND-OR tree2011
- Author(s)
  Toshio Suzuki, Masahiro Kumab
- Organizer
  Workshop on Proof Theory and Theory of Computing 2011
- Place of Presentation
  首都大学東京国際交流会館
- Year and Date
  2011-09-13
- Data Source
  KAKENHI-PROJECT-22540146
[Presentation] No-free-lunch theorem and uniqueness of eigen-distribution of a game tree (joint work with Nakamura, R.)2011
- Author(s)
  Suzuki, T.
- Organizer
  Workshop on Proof Theory and Computability Theory
- Place of Presentation
  Akiu Spa Hotel Iwanumaya(仙台市)(招待講演)
- Year and Date
  2011-02-22
- Data Source
  KAKENHI-PROJECT-22540146
[Presentation] Resource-bounded martingales and Dowd-type generic oracles2011
- Author(s)
  Masahiro Kumabe, Toshio Suzuki
- Organizer
  Workshop on Proof Theory and Theory of Computing 2011
- Place of Presentation
  首都大学東京国際交流会館
- Year and Date
  2011-09-12
- Data Source
  KAKENHI-PROJECT-22540146
[Presentation] ランダム性をもったゲーム木を読み切るコストの期待値2010
- Author(s)
  中村亮太, 鈴木登志雄
- Organizer
  形式体系と証明論
- Place of Presentation
  京都大学数理解析研究所(京都市)
- Year and Date
  2010-09-15
- Data Source
  KAKENHI-PROJECT-22540146
[Presentation] Computable Dowd-type generic oracles2010
- Author(s)
  Suzuki, T., Kumabe, M.
- Organizer
  日本数学会 2010年度秋季総合分科会
- Place of Presentation
  名古屋大学(名古屋市)
- Year and Date
  2010-09-22
- Data Source
  KAKENHI-PROJECT-22540146
[Presentation] Which weak-randomness property is preserved by Boolean decision trees2007
- Author(s)
  鈴木登志雄
- Organizer
  2007年度証明論研究集会
- Place of Presentation
  首都大学東京国際交流会館
- Year and Date
  2007-12-04
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17540131
[Presentation] Which weak-randomness property is preserved by Boolean decision trees?2007
- Author(s)
  Toshio, Suzuki
- Organizer
  Proof theory 2007
- Place of Presentation
  Tokyo Metropolitan University
- Year and Date
  2007-12-04
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17540131
[Presentation] Which weak-randomness property is preserved by Boolean decision trees?2007
- Author(s)
  鈴木登志雄
- Organizer
  2007年度証明論研究集会
- Place of Presentation
  首都大学東京国際交流会館
- Year and Date
  2007-12-04
- Data Source
  KAKENHI-PROJECT-17540131
[Presentation] Which weak-randomness property is preserved by Boolean decision trees?2007
- Author(s)
  鈴木登志雄
- Organizer
  2007年度証明論研究集会
- Place of Presentation
  首都大学東京国際交流会館中会議室
- Year and Date
  2007-12-03
- Data Source
  KAKENHI-PROJECT-16340011
[Presentation] Which weak-randomness property is preserved by Boolean decision trees2007
- Author(s)
  鈴木登志雄
- Organizer
  2007年度証明論研究集会
- Place of Presentation
  首都大学東京国際交流会館中会議室
- Year and Date
  2007-12-03
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16340011
[Presentation] Truth-table reduction and minimum sizes of forcing conditions2006
- Author(s)
  Toshio, Suzuki (M. Kumabe, T. Yamazaki)
- Organizer
  Mathematical Society of Japan
- Place of Presentation
  Osaka City University
- Year and Date
  2006-09-22
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17540131
[Presentation] Truth-table reduction and minimum sizes of forcing conditions2006
- Author(s)
  隈部正博、鈴木登志雄、山崎武
- Organizer
  日本数学会2006年度秋季総合分科会数学基礎論分科会
- Place of Presentation
  大阪市立大学
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16340011
[Presentation] Truth-table reduction and minimum sizes of forcing conditions2006
- Author(s)
  Toshio, Suzuki (M. Kumabe, T. Yamazaki)
- Organizer
  Proof theory of arithmetic
- Place of Presentation
  Research Institute of Mathematical Sciences, Kyoto University
- Year and Date
  2006-08-23
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17540131
[Presentation] Truth-table reduction and minimum sizes of forcing conditions2006
- Author(s)
  鈴木登志雄(隈部正博、山崎武と連名)
- Organizer
  2006年度日本数学会秋季総合分科会
- Place of Presentation
  大阪市立大学
- Year and Date
  2006-09-22
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17540131
[Presentation] Arithmetical forcing and forcing conditions2006
- Author(s)
  Toshio, Suzuki
- Organizer
  Mathematical logic and computational complexity
- Place of Presentation
  The University of Electro-Communication
- Year and Date
  2006-12-22
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17540131
[Presentation] Truth-table reductions and minimum sizes of forcing conditions2006
- Author(s)
  鈴木登志雄(隈部正博、山崎武と連名)
- Organizer
  算術体系の証明論
- Place of Presentation
  京都大学数理解析研究所
- Year and Date
  2006-08-23
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17540131
[Presentation] 算術的フォーシングとフォーシング条件:クエリー記号付きプール式・計算量およびランダム性との関連2006
- Author(s)
  鈴木登志雄
- Organizer
  数学基礎論と計算量理論
- Place of Presentation
  電気通信大学
- Year and Date
  2006-12-22
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17540131
[Presentation] Truth-table reductions and minimum sizes of forcing onditions2006
- Author(s)
  Masahiro Kumabe, Toshio Suzuki and Takeshi Yamazaki
- Organizer
  算術体系の証明論, Proof the ory of arithmetic, Kyoto)
- Place of Presentation
  京都大学数理解析研究所
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16340011
[Presentation] EIGamal暗号を用いたマルチパーティによる秘匿回路計算2005
- Author(s)
  千田浩司, 山本剛, 鈴木幸太郎, 内山成憲
- Organizer
  2005年暗号と情報セキュリティシンポジウム(SCIS2005)SCI52005-4F1-1
- Place of Presentation
  シーサイドホテル舞子ビラ神戸
- Year and Date
  2005-01-28
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16340011
[Presentation] Random extraction from freehand drawings and its semantics based on forcing complexity2005
- Author(s)
  鈴木登志雄(川西暁夫と連名)
- Organizer
  Franco-Canadian Workshop on Combinatorial Algo rithm(COMAL 2005)
- Place of Presentation
  McMaster University(カナダ、オンタリオ州)
- Year and Date
  2005-08-18
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17540131
[Presentation] Random extraction from freehand drawings and its semantics based on forcing complexity2005
- Author(s)
  Toshio, Suzuki (A. Kawanishi)
- Organizer
  Algebra and computation 2005 (AC2005)
- Place of Presentation
  Tokyo Metropolitan University
- Year and Date
  2005-11-18
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17540131
[Presentation] Random extraction from freehand drawings and its semantics based on forcing complexity2005
- Author(s)
  Toshio, Suzuki (A. Kawanishi)
- Organizer
  Franco-Canadian workshop on combinatorial algorithm (COMAL 2005)
- Place of Presentation
  McMaster University.(Canada)
- Year and Date
  2005-08-18
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17540131
[Presentation] Random extraction from freehand drawings and its semantics based on forcing complexity2005
- Author(s)
  鈴木登志雄(川西暁夫と連名)
- Organizer
  第6回「代数学と計算」研究集会(AC2005)
- Place of Presentation
  首都大学東京国際交流会館
- Year and Date
  2005-11-18
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17540131
[Presentation] The eigen distribution of an AND-OR tree under directional algorithms
- Author(s)
  鈴木登志雄
- Organizer
  日本数学会2012年度秋季総合分科会
- Place of Presentation
  九州大学
- Data Source
  KAKENHI-PROJECT-22540146
[Presentation] Resource-bounded randomness and computable Dowd-type generic sets
- Author(s)
  鈴木登志雄
- Organizer
  日本数学会2012年度秋季総合分科会
- Place of Presentation
  九州大学
- Data Source
  KAKENHI-PROJECT-22540146

1. KUMABE Masahiro (70255173)

# of Collaborated Projects: 6 results

# of Collaborated Products: 22 results
2. 加茂静夫 (30128764)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
3. KURODA Satoru (30300586)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
4. HATTORI Tetsuya (10180902)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
5. TANAKA Kazuyuki (70188291)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
6. YAMAZAKI Takeshi (30336812)

# of Collaborated Projects: 2 results

# of Collaborated Products: 2 results
7. OZAWA Masanao (40126313)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
8. 米田薫 (80079029)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
9. KASHIMA Ryo (10240756)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
10. TADAKI Kohtaro (70407881)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
11. YOKOYAMA Keita (10534430)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
12. NAKAMURA Ken (80110849)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
13. UCHIYAMA Shigenori (40433172)

# of Collaborated Projects: 1 results

# of Collaborated Products: 3 results
14. TSUMURA Hirofumi (20310419)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
15. KIDA Masanari (20272057)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
16. NAGAO Ko-ichi (00308321)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
17. 数見哲也 (40224422)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
18. 佐藤優子 (50081419)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
19. 林利治 (10208621)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
20. 岡野初男 (40079033)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
21. 今野泰子 (70028231)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
22. 山口睦 (80182426)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
23. 高橋哲也 (20212011)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
24. 石井伸郎 (30079024)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
25. 福永力 (00189961)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
26. 松野一夫 (40332936)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
27. 栗原将人 (40211221)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
28. 徳永浩雄 (30211395)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
29. 福田隆 (00181272)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
30. 宮部賢志 (00583866)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
31. 吉冨和志 (40304729)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

SUZUKI Toshio 鈴木 登志雄

鈴木 登志雄 スズキ トシオ

Research Projects

Research Products

Co-Researchers

バナッハ空間のソロベイ還元Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

From algorithmic randomness to continuous real functions and real closed fieldsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Constrained extremal problems on the search cost of Boolean values: Developing a method based on the capital-risk ratioPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Computational Aspects of Randomness and Their Structural Analysis via Nonstandard Methods

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Game trees without a unique equilibrium distribution: A research by resource-bounded martingalesPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Marriage of non-standard analysis and computability theory toward the light of algorithmic randomness

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Sizes of Cohen-type forcing condition : Application to randomness and computational complexityPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Development of a system for number theory by script language and related research on algorithmic number theory

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

免疫集合と単純集合の計算複雑さPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

クエリー記号付きブール式の計算複雑さPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

リー群の保型表現とその応用

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

ゲームイデアル構造の研究

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

測度理論の基礎的研究

Principal Investigator

Project Period (FY)

SUZUKI Toshio 鈴木登志雄

鈴木登志雄スズキトシオ