Japanese

Name:

Dr. Kiyoshi Shirayanagi





Current Position:

Professor
Department of Mathematical Sciences, School of Science
Tokai University

Research Interests:

Computational algebra, algebraic algorithms, numeric and symbolic computation, stabilization of algorithms, computer Go.

Degree:

Ph.D. (Mathematical Sciences) from the University of Tokyo (1992.10).

Biography:

1982.3: B.S. in Mathematics from the University of Tokyo, Tokyo.
1984.3: M.S. in Mathematics from the University of Tokyo, Tokyo.
1984.4: Joined NTT, Musashino Electric Communication Labs., Tokyo.
1991.7: Joined Communication Science Labs., Kyoto.
1992.9-1993.8: Visiting scholar of Mathematical Sciences Institute of Cornell University, NY, U.S.A.
1994.4-1998.3: Guest associate professor of Nara Institute of Science and Technology, Nara.
1994.9-1994.10: Part-time lecturer of Kobe University, Kobe.
1998.4-2001.3: Guest associate professor of Kyoto University, Kyoto.
2002.4-2003.3: Part-time lecturer of Tokyo University of Science, Tokyo.
2005.4-2005.9: Part-time lecturer of the University of Electro-Communications, Tokyo.
2006.4: Professor of Tokai University, Kanagawa.

Society Membership:

Selected Publications:

  1. Shirayanagi, K.:
    Algebras associated with LSGOP, Journal of Algebra, Vol. 113, No. 2, pp.318-338 (1988).
  2. Shirayanagi, K.:
    On the Isomorphism Problem for Finite-dimensional Binomial Algebras, in Proc. of International Symposium on Symbolic and Algebraic Computation (ISSAC'90), pp.106-111 (1990).
  3. Shirayanagi, K.:
    Knowledge Representation and its Refinement in Go Programs, Computers, Chess, and Cognition (eds. T.A.Marsland & J.Schaeffer), Springer-Verlag, pp.287-300 (1990).
  4. Shirayanagi, K.:
    A Classification of Finite-dimensional Monomial Algebras, Effective Methods in Algebraic Geometry (T. Mora and C. Traverso eds.) Progress in Mathematics Vol. 94, Birkhauser, pp.469-482 (1991).
  5. Shirayanagi, K.:
    Decision of Algebra Isomorphisms Using Groebner Bases, Computational Algebraic Geometry (F. Eyssette and A. Galligo eds.) Progress in Mathematics Vol. 109, Birkhauser, pp.253-265 (1993).
  6. Shirayanagi, K. and Sweedler, M.:
    A Theory of Stabilizing Algebraic Algorithms, Technical Report 95-28, Mathematical Sciences Institute, Cornell University, pp.1-92 (1995).
  7. Shirayanagi, K.:
    Floating Point Groebner Bases, Mathematics and Computers in Simulation, Vol. 42, No. 4-6, pp.509-528 (1996).
  8. Shirayanagi, K. and Sweedler, M.:
    Remarks on Automatic Algorithm Stabilization, in Electronic Proc. of the 4th IMACS Conference on Applications of Computer Algebra (1998).
  9. Shirayanagi, K. and Sweedler, M.:
    Remarks on Automatic Algorithm Stabilization, Journal of Symbolic Computation, Vol. 26, No. 6, pp.761-766 (1998).
  10. Sekigawa, H. and Shirayanagi, K.:
    Automatic Algorithm Stabilization System
    Josai Mathematical Monographs 2, NLA99 Computer Algebra, pp. 159-168 (2000).
  11. Shirayanagi, K. and Sweedler, M.:
    Algorithm Stabilization in Computational Algebra, in Abstracts of Invited Lectures at the 10th International Colloquium on Numerical Analysis and Computer Science with Applications, pp.148 (2001).
  12. Shirayanagi, K.:
    On New Applications of the Theory of Stabilizing Algorithms, in Abstracts of the 8th International Conference on Applications of Computer Algebra, pp.8, (2002).
  13. Kawano, Y., Kimura, K., Sekigawa, H., Shirayanagi, K., Noro, M, Kitagawa, M. & Ozawa, M.:
    Existence of the exact CNOT on a quantum computer with the exchange interaction, Quantum Information Processing, Springer, Vol.4, No.2, pp. 65-85 (2005).
  14. Sekigawa, H. and Shirayanagi, K.:
    On the Location of Zeros of an Interval Polynomial, Proc. International Workshop on Symbolic-Numeric Computation 2005 (SNC2005), pp. 144-165, 2005.
  15. Sekigawa, H. and Shirayanagi, K.:
    On the Location of Zeros of a Complex Interval Polynomial, Abstracts of 11th International Conference on Applications of Computer Algebra (ACA'2005), p. 15, 2005.
  16. Sekigawa, H. and Shirayanagi, K.:
    On the Location of Pseudozeros of a Complex Interval Polynomial, Proc. Asian Symposium on Computer Mathematics (ASCM2005), pp. 231-234, 2005.
  17. Miyamoto, K., Yamamoto, W., Sekigawa, H. and Shirayanagi, K.:
    Deductive System for Human-like Proofs in Geometry, Proc. 13th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning 2006 (Calculemus'06), pp. 5-20, 2006.
  18. Sekigawa, H. and Shirayanagi, K.:
    Locating Real Multiple Zeros of a Real Interval Polynomial, Proc. International Symposium on Symbolic and Algebraic Computation (ISSAC2006), pp. 310-317, 2006.
  19. Sekigawa, H. and Shirayanagi, K.:
    On the Location of Zeros of an Interval Polynomial, Symbolic-Numeric Computation, D. Wang and L. Zhi (eds.), Birkhaeuser, pp. 167-184, 2007.
  20. Khungurn, P., Sekigawa, H. and Shirayanagi, K.:
    Minimum Converging Precision of the QR-Factorization Algorithm for Real Polynomial GCD, Proc. International Symposium on Symbolic and Algebraic Computation (ISSAC2007), pp. 227-234, 2007.
  21. Sekigawa, H. and Shirayanagi, K.:
    On the Location of Pseudozeros of a Complex Interval Polynomial, Mathematics in Computer Science, Vol. 1, No. 2, pp. 321-335, 2007.
  22. Shirayanagi, K and Sekigawa, H.:
    A New Groebner Basis Conversion Method Based on Stabilization Techniques, Theoretical Computer Science, Vol. 409, pp. 311-317, 2008.
  23. Shirayanagi, K and Sekigawa, H.:
    Reducing Exact Computations to Obtain Exact Results Based on Stabilization Techniques, Proc. International Workshop on Symbolic-Numeric Computation 2009 (SNC2009), pp. 191-197, 2009.

Contact Information:

Tokai University
Department of Mathematical Sciences, School of Science
Kitakaname 1117, Hiratsuka, Kanagawa
259-1292 Japan
phone: +81 463 58 1211 ext.3642
fax: +81 463 50 2013
e-mail: shirayan[AT]tokai-u.jp, shirayan[AT]acm.org

(Last modified: Nov. 23, 2009)