Toshio SUZUKI

J-GLOBAL         Last updated: Oct 18, 2018 at 16:02
 
Avatar
Name
Toshio SUZUKI
URL
http://toshio-suzuki-logic.jp/index-e.html
Affiliation
Tokyo Metropolitan University
Section
Department of Mathematical Sciences
Job title
Associate Professor
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

 
Apr 2018
 - 
Today
Tokyo Journal of Mathematics  an editor
 
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

 
Sep 2018
Certificate of Merit for The 2018 IAENG International Conference on Computer Science, International Association of Engineers
Winner: Toshio Suzuki
 
May 2012
Best paper award of the 2012 IAENG International Conference on Computer Science, International Association of Engineers
Winner: Toshio Suzuki and Ryota Nakamura
 

Published Papers

 
Non-depth-first search against independent distributions on an AND-OR tree
Toshio Suzuki
Information Processing Letters   139 13-17   Nov 2018   [Refereed]
Visualization of set inclusion with gloves
Toshio Suzuki
Proceedings of International Workshop on Set Visualization and Reasoning (SetVR 2018) co-located with 10th International Conference on the Theory and Application of Diagrams (Diagrams 2018) Edinburgh, UK, June 18, 2018. CEUR Workshop Proceedings   2116 68-75   Jun 2018   [Refereed]
An AND-OR-tree connected to leaves via communication channels
Toshio Suzuki
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   185-189   Mar 2018   [Refereed]
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]
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

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
MSJ Annual meeting 2018 (Univ. of Tokyo)   18 Mar 2018   
An AND-OR-tree connected to leaves via communication channels
Toshio SUZUKI
The International MultiConference of Engineers and Computer Scientists 2018 (IMECS 2018, Hong Kong)   16 Mar 2018   
Non-depth-first search of an AND-OR tree
Toshio SUZUKI
Workshop on Computability Theory and the Foundations of Mathematics (National University of Singapore)   11 Sep 2017   
Delta 1 relations on HF
Toshio SUZUKI
Logic summer school 2017 (Meiji Univ., Surugadai campus)   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   

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