Sakai Ko
Associate Professor
Pure and Applied Sciences
Tsukuba International University
Japan
Biography
Career history 1978-04 -- 1982-09 Representative of Finance Business Division, NEC Corporation 1982-10 -- 1985-05 (New generation) コ ン ピ ュ ー ã‚¿ technology development agency researcher 1985-06 -- 1992-03 (New generation) コ ン ピ ュ ー ã‚¿ technology development agency director researcher 1992-04 -- 1995-03 University of Tsukuba Lecturer, Electronic and Information Engineering 1995-04 -- 2007-03 Associate Professor of mathematics at the University of Tsukuba 2007-04 -- (current) Professor of Mathematics and Physics, University of Tsukuba Academic background -- 1976-03 Tokyo Institute of Technology Faculty of Science æƒ…å ±ç§‘å¦ Graduated -- 1978-03 Tokyo Institute of Technology Graduate School, Division of Science and Engineering æƒ…å ±ç§‘å¦ Completed Degree 1990-11 Doctor of Science Tokyo Institute of Technology Academic societies 1999 -- (current) Japan Mathematical Society 1983 -- (current) Information Processing Society of Japan 2003 -- (current) Japan Mathematical Society 1990 -- 2005 JAPAN SOCIETY FOR SOFTWARE SCIENCE AND TECHNOLOGY 1997 -- 2007 The Japan Society for Industrial and Applied Mathematics
Research Interest
Theory of informatics Theoretical Computer Science，Combinatorics Combinatorics Alebra Logic
Publications
-
Overall design of SIMPOS S. Takagi; H. Hattori; J. Tsuji; S. Uchida; T. Kurokawa; ... 2nd International Conference on Logic Programming, 1984-01
-
A complete axiom system for rational sets with multiplicity M. Morisakai; K. Sakai Theoretical Computer Science/11/p.79-92, 1980-01
-
F - 048 Analysis and evaluation of a mathematical majority decision model Miura Akira; Sakai Ko; Kanai Takashi Information Science and Technology Forum Conference Paper / 12 (2) / pp. 393 - 394, 2013 - 08
