Toshio SUZUKI

J-GLOBAL         Last updated: Oct 28, 2017 at 02:33
 
Avatar
Name
Toshio SUZUKI
URL
http://toshio-suzuki-logic.jp/index-e.html
Affiliation
Tokyo Metropolitan University
Section
Department of Mathematics and Information Sciences
Job title
Associate Professor,Department of Mathematics and Information Sciences
Degree
Master of Science(University of Tsukuba), Ph.D.(Science)(University of Tsukuba)

Academic & Professional Experience

 
Apr 2006
 - 
Today
Associate Professor, Tokyo Metropolitan University
 
Oct 1999
 - 
Mar 2006
Lecturer, Osaka Prefecture University
 
Apr 1991
 - 
Sep 1999
Research Associate, Osaka Prefecture University
 

Education

 
 
 - 
1991
Graduate School, Institute of Mathematics, University of Tsukuba
 
 
 - 
1989
Faculty of Science, Kyoto University
 

Committee Memberships

 
Mar 2015
 - 
Feb 2017
Mathematical Society of Japan  a councillor
 
Apr 2011
 - 
Jun 2013
Mathematical Society of Japan  a committeeman of section on logic and history of mathematics; an editor of "SUGAKU"
 
Oct 2004
 - 
Sep 2007
Mathematical Society of Japan  a committeeman of section on logic and history of mathematics
 

Awards & Honors

 
May 2012
Best paper award of the 2012 IAENG International Conference on Computer Science, International Association of Engineers
Winner: SUZUKI Toshio
 

Published Papers

 
Toshio SUZUKI
Annals of the Japan Association for Philosophy of Science   25 79-88   Mar 2017   [Refereed][Invited]
Toshio Suzuki
IAENG International Journal of Applied Mathematics   46(2) 187-193   May 2016   [Refereed]
Toshio Suzuki and Yoshinao Niida
Annals of Pure and Applied Logic   166(11) 1150-1164   Aug 2015   [Refereed]
Masahiro Kumabe and Toshio Suzuki
Information and Computation   242 227-248   Jun 2015   [Refereed]
Toshio Suzuki and Yuji Hatakeyama
IAENG Transactions on Engineering Sciences: Special Issue of the International MultiConference of Engineers and Computer Scientists 2013 and World Congress on Engineering 2013   91-100   Apr 2014   [Refereed][Invited]
Toshio Suzuki and Yuji Hatakeyama
Lecture Notes in Engineering and Computer Science: Proceedings of The World Congress on Engineering 2013, WCE 2013, 3--5 July, 2013,London, UK   211-215   Jul 2013   [Refereed]
Resource-bounded randomness and computable Dowd-type generic sets
Toshio Suzuki (with M. Kumabe)
The Bulletin of Symbolic Logic   19(2) 281-281   Jun 2013   [Refereed]
Probability distributions on an AND-OR tree under directional algorithms
Toshio Suzuki and Ryota Nakamura
IAENG Transactions on Electrical Engineering World Scientific   1 70-83   Jan 2013   [Refereed][Invited]
Toshio Suzuki and Ryota Nakamura
IAENG International Journal of Applied Mathematics   42(2) 122-128   May 2012   [Refereed][Invited]
Probability distributions achieving the equilibrium of an AND-OR tree under directional algorithms
Toshio Suzuki and Ryota Nakamura
Lecture Notes in Engineering and Computer Science: Proceedings of The International MultiConference of Engineers and Computer Scientists 2012, IMECS 2012, 14-16 March, 2012, Hong Kong   194-199   Mar 2012   [Refereed]
Masahiro Kumabe and Toshio Suzuki
Proceedings of the 11th Asian Logic Conference   128-146   Nov 2011   [Refereed]
Computable Dowd-type generic oracles
Masahiro Kumabe and Toshio Suzuki
The Bulletin of Symbolic Logic   16 295-296   2010   [Refereed]
Weak randomness, genericity and Boolean decision trees
Toshio Suzuki and Masahiro Kumabe
T. Arai et al. eds., "Proceedings of the 10th Asian Logic Conference", World Scientific (Sigapore)   322--344   2010
Weak randomness, genericity and Boolean decision trees
Masahiro Kumabe and Toshio Suzuki
The Bulletin of Symbolic Logic 15   15 259--260   2009
M. Kumabe, T. Suzuki and T. Yamazaki
Archive for Mathematical Logic   47 159-180   2008
T. Suzuki
Archive for Mathematical Logic   44 751-762   2005
T. Yamakami and T. Suzuki
Theoretical Computer Science   347 90-129   2005
Resource bounded immunity and simplicity (extended abstract)
Toshio Suzuki and Tomoyuki Yamakami
In: J. Levy et al. eds., "Exploring New Frontiers of Theoretical Informatics" (Proceedings of the 3rd IFIP International Conference on Theoretical Computer Science (TCS2004)), Kluwer Academic Publishers.   81-95   2004
T. Suzuki
Information and Computation   176(1) 66-87   2002
Forcing complexity: minimum sizes of forcing conditions
Notre Dame Journal of Formal Logic   42(2) 117-120   2001

Misc

 
Proof theory and complexity
Toshio Suzuki (editor)
RIMS Kokyuroku   1832    Apr 2013
Failure of the uniqueness of eigen-distribution on random assignmentes for game trees
Toshio Suzuki
Surikaiseki Kenkyusho Kokyuroku   1729 111-116   Feb 2011
Logarithmic truth-table reductions and minimum sizes of forcing conditions(with M.Kumabe, T.Yamazaki)
Surikaiseki Kenkyusho Kokyuroku   1442 42-47   2005
On splitting numbers
Surikaiseki Kenkyusho Kokyuroku   818 118-120   1993

Conference Activities & Talks

 
Non-depth-first search of an AND-OR tree
Toshio SUZUKI
Workshop on Computability Theory and the Foundations of Mathematics   11 Sep 2017   
Delta 1 relations on HF
Toshio SUZUKI
Logic summer school 2017   7 Aug 2017   
Separation of parallel advice and serial advice on real-time deterministic context-free languages
Toshio SUZUKI
MSJ Autumn Meeting (Kansai Univ.)   18 Sep 2016   
A solution to Yamakami's problem on advised context-free languages
Toshio Suzuki
MSJ Autumn Meeting (Kyoto Sangyo Univ.)   16 Sep 2015   
Kazuyuki Tanaka's work on AND-OR trees and subsequent development [Invited]
Toshio Suzuki
Computability Theory and Foundations of Mathematics 2015 (CTFM 2015, Tokyo Institute of Technology, Ookayama campus)   10 Sep 2015   
Equilibrium points of an AND-OR tree: under constraints on probability [Invited]
Toshio Suzuki
ELC Seminar (Tokyo Institute of Technology, Tamachi campus)   4 Dec 2014   
Equillibrium Points of an AND-OR Tree: under Constraints on Probability
SUZUKI Toshio (with Yoshinao Niida)
RIMS workshop: Proof theory, computability theory and related issues   24 Dec 2014   
Equilibrium points of an AND-OR tree: under constraints on probability
Toshio Suzuki
Workshop on Mathematical Logic on the Occasion of Sakaé Fuchino's 60th Birthday (Kobe Univ.)   17 Nov 2014   
Equilibrium points of an AND-OR tree: under constraints on probability
Toshio Suzuki (with Yoshinao Niida)
MSJ Autumn Meeting 2014 (Hiroshima Univ.)   27 Sep 2014   
Equilibrium points of an AND-OR tree: under constraints on probability
Toshio Suzuki (with Yoshinao Niida)
JSIAM Annual Meeting 2014 (National Graduate Institute for Policy Studies, Tokyo)   3 Sep 2014   
Equilibrium points of an AND-OR tree: under constraints on probability
Toshio Suzuki (with Yoshinao Niida)
The 25th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms (AofA 2014, Université Pierre et Marie Curie), poster session   16 Jun 2014   
Resource-bounded forcing theorem and randomness
SUZUKI Toshio (with M. Kumabe)
Computability Theory and Foundations of Mathematics 2014 (CTFM 2014, Tokyo Institute of Technology, Ookayama campus)   17 Feb 2014   
Street pattern complexity based on affine compressibility
Toshio Suzuki (with Yuji Hatakeyama)
MSJ Autumn Meeting 2013 (Ehime Univ.)   26 Sep 2013   
Affine compression and complexity
SUZUKI Toshio
Kochi Logic Workshop 2013 (Kochi Univ. of Technology)   23 Sep 2013   
Threshold of judging non-succinct quadrilateral: an application to street pattern complexity
Toshio Suzuki (with Yuji Hatakeyama)
JSIAM Annual Meeating 2013 (ACROS Fukuoka)   9 Sep 2013   
Threshold of isoperimetric ratio based on compressibility via invertible affine transformations
Toshio Suzuki and Yuji Hatakeyama
World Congress on Engineerig 2013 (WCE 2013, Imperial College London, London, UK)   5 Jul 2013   
Forcing complexity
Toshio Suzuki (with M. Kumabe)
ELC Workshop on Randomness and Probability Through Computability (RPTC2013, The Univ. of Tokyo, Hongo campus)   14 May 2013   
Resource-bounded randomness and computable Dowd-type generic sets
SUZUKI Toshio (with M. Kumabe)
MSJ Autumn Meeting 2012 (Chiba Univ.)   20 Sep 2012   
The eigen distribution of an AND-OR tree under directional algorithms
SUZUKI Toshio (with R. Nakamura)
MSJ Autumn Meeting 2012 (Chiba Univ.)   20 Sep 2012   
Probability distributions achieving the equilibrium of an AND-OR tree under directional algorithms
Toshio Suzuki (with Ryota Nakamura)
The International MultiConference of Engineers and Computer Scientists 2012 (IMECS 2012, Hong Kong)   Mar 2012   

Research Grants & Projects

 
Constrained extremum problem of Boolean search cost: developing method by capital to risk ratio
Grant-in-Aid for Scientific Research
Project Year: Oct 2016 - Mar 2020    Investigator(s): Toshio Suzuki
Failure of uniqueness for an equilibrium point in game trees: study by means of resource-bounded martingales
Grant-in-Aid for Scientific Research
Project Year: 2010 - 2014    Investigator(s): Toshio Suzuki
Mathematics of sizes of Cohen-type forcing conditions: applications to complexity and randomness
Grant-in-Aid for Scientific Research
Project Year: 2005 - 2007    Investigator(s): Toshio Suzuki
Computational complexity of immune sets and simple sets
Grant-in-Aid for Scientific Research
Project Year: 2002 - 2004    Investigator(s): Toshio Suzuki
Computational complexity of Boolean formulas with query symbols
Grant-in-Aid for Scientific Research
Project Year: 1999 - 2000    Investigator(s): Toshio Suzuki