Publication: Publication Date: 2019/03/01 Vol. E102-DNo. 3pp. 483-491 Type of Manuscript: Special Section PAPER (Special Section on Foundations of Computer Science — Algorithm, Theory of Computation, and their Applications —) Category: Keyword: quantum algorithms, quantum information theory, query complexity,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2010/06/01 Vol. E93-ANo. 6pp. 1000-1007 Type of Manuscript: Special Section PAPER (Special Section on Discrete Mathematics and Its Applications) Category: Graphs and Networks Keyword: Hajos calculus, planar graph, bounded degree graph, coloring, proof system,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2008/09/01 Vol. E91-ANo. 9pp. 2301-2307 Type of Manuscript: Special Section PAPER (Special Section on Discrete Mathematics and Its Applications) Category: Keyword: Hajos calculus, planar graph, coloring, proof systems,