Japanese

Name:

Dr. Kiyoshi Shirayanagi





Current Position:

Professor
Department of Information Science, Faculty of Science
Toho University

Research Interests:

Algebra, Computational algebra, Numeric and symbolic computation.

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-2010.9: Professor of Tokai University, Kanagawa.
2010.10-2011.3: Part-time lecturer of Tokai University, Kanagawa.
2010.10: Professor of Toho University, Chiba.

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.
  24. Sekigawa, H. and Shirayanagi, K.:
    Solvability of Bivariate Polynomial Systems under Perturbation, ISSAC 2010 poster abstracts, ACM Communications in Computer Algebra, Vol. 44, No. 3, pp.147-148, 2010.
  25. Sekigawa, H. and Shirayanagi, K.:
    Isolated Real Zero of a Real Polynomial System under Perturbation , ISSAC 2011 poster abstracts, ACM Communications in Computer Algebra, Vol. 45, No. 2, pp.131-132, 2011.
  26. Sekigawa, H. and Shirayanagi, K.:
    Maximal Perturbation for Preserving the Number of Solutions of a Polynomial System , ISSAC 2012 poster abstracts, ACM Communications in Computer Algebra, Vol. 46, No. 3, pp.120-121, 2012.
  27. Shirayanagi, K. and Sekigawa, H.:
    Interval-symbol method with correct zero rewriting: Reducing exact computations to obtain exact results, Proc. 18th Asian Technology Conference in Mathematics (ATCM2013) , pp. 226-235, 2013.
  28. Sekigawa, H. and Shirayanagi, K.:
    Computing a Perturbation Bound for Preserving the Number of Common Zeros of a Polynomial System, Proc. 18th Asian Technology Conference in Mathematics (ATCM2013), pp. 145-154, 2013.
  29. Katayama, A. and Shirayanagi, K.:
    A New Idea on the Interval-Symbol Method with Correct Zero Rewriting for Reducing Exact Computations, ACM Communications in Computer Algebra, Volume 50, Issue 4, pp. 176-178, December 2016.
  30. Kobayashi, Y., Shirayanagi, K., Takahasi, S-E. and Tsukada, M.:
    Classification of three-dimensional zeropotent algebras over an algebraically closed field, Communications in Algebra (in press), 2017.

Contact Information:

Toho University
Department of Information Science, Faculty of Science
Miyama 2-2-1, Funabashi, Chiba
274-8510 Japan
e-mail: kiyoshi.shirayanagi[AT]is.sci.toho-u.ac.jp, shirayan[AT]acm.org

(Last modified: Jul. 17, 2017)