September 22, 2017
Associate professor, Department of Mathematics and Information Sciences, Tokyo Metropolitan University.
Ph.D.(Sc.) in mathematics, Institute of Math., Univ. of Tsukuba.
researchmap contains basic information on my research.
Japanese page contains more information.
Recent papers and preprints:
"Non-depth-first search against independent distributions on an AND-OR tree",
preprint, arXiv:1709.07358[cs.DS] (Sep. 22, 2017). slide, video (YouTube).
"Kazuyuki Tanaka's work on AND-OR trees and subsequent developments,"
Annals of the Japan Association for Philosophy of Science, 25, pp.79--88 (2017).
"A solution to Yamakami's problem on non-uniform context-free languages,"
IAENG International Journal of Applied Mathematics, 46, pp. 187--193 (2016).
"Equilibrium points of an AND-OR tree: Under constraints on probability" (with Yhoshinao Niida),
Annals of Pure and Applied Logic, 166, pp. 1150--1164 (2015), DOI: 10.1016/j.apal.2015.07.002.
Preprint version: arXiv:1401.8175 [cs.AI] (Jan. 31, 2014).
"Resource-bounded martingales and computable Dowd-type generic sets" (with Masahiro Kumabe),
Information and Computation 242, pp. 227--248 (2015), DOI: 10.1016/j.ic.2015.03.004.
At the page of publications, you may download my doctoral dissertation.
Department of Mathematics and Information Sciences,
Tokyo Metropolitan University
Hachioji, Tokyo 192-0397, JAPAN.
toshio-suzuki[at]tmu[dot]ac[dot]jp