• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

SUZUKI Toshio  鈴木 登志雄

ORCIDConnect your ORCID iD *help
… Alternative Names

鈴木 登志雄  スズキ トシオ

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

    (12 results)
  • Research Products

    (98 results)
  • Co-Researchers

    (31 People)
  •  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

All 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2008 2007 2006 2005 2004 Other

All Journal Article Presentation Book

  • [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] 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

    • 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: -

    • 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 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

    • 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] ソロベイ還元と連続性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
      日本数学会2019年度年会(東京工業大学)
    • 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] 高さが2の多分岐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
      日本数学会2018年度年会(東京大学)
    • 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
      日本数学会2017年度年会
    • 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: 21 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: 0 results
  • 31.  吉冨 和志 (40304729)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results

URL: 

Are you sure that you want to connect your ORCID iD to this researcher?
* This action can be performed only by the researcher themselves.

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi