Kiyoshi Shirayanagi, Ph.D.
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:
- American Mathematical Society
- Association for Computing Machinery
- The Mathematical Society of Japan
- Japan Society for Symbolic and Algebraic Computation
Selected Publications
- Shirayanagi, K.:
Algebras associated with LSGOP, Journal of Algebra, Vol. 113, No. 2, pp.318-338 (1988). - 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). - 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). - 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). - 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). - Shirayanagi, K. and Sweedler, M.:
A Theory of Stabilizing Algebraic Algorithms, Technical Report 95-28, Mathematical Sciences Institute, Cornell University, pp.1-92 (1995). - Shirayanagi, K.:
Floating Point Groebner Bases, Mathematics and Computers in Simulation, Vol. 42, No. 4-6, pp.509-528 (1996). - Shirayanagi, K. and Sweedler, M.:
Remarks on Automatic Algorithm Stabilization, in Electronic Proc. of the 4th IMACS Conference on Applications of Computer Algebra (1998). - Shirayanagi, K. and Sweedler, M.:
Remarks on Automatic Algorithm Stabilization, Journal of Symbolic Computation, Vol. 26, No. 6, pp.761-766 (1998). - Sekigawa, H. and Shirayanagi, K.:
Automatic Algorithm Stabilization System
Josai Mathematical Monographs 2, NLA99 Computer Algebra, pp. 159-168 (2000). - 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). - 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). - 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). - 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. - 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. - 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. - 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. - 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. - 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. - 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. - 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. - Shirayanagi, K and Sekigawa, H.:
A New Groebner Basis Conversion Method Based on Stabilization Techniques, Theoretical Computer Science, Vol. 409, pp. 311-317, 2008. - 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. - 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. - 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. - 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. - 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. - 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. - 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. - Kobayashi, Y., Shirayanagi, K., Takahasi, S.-E. and Tsukada, M.:
Classification of three-dimensional zeropotent algebras over an algebraically closed field, Communications in Algebra, Volume 45, Issue 12, pp. 5037-5052, 2017. - Nakasuji, Y., Shirayanagi, K., and Takahasi, S.-E.:
Young's inequality is a Heaven's blessing, Linear and Nonlinear Analysis, Volume 3, Number 3, pp. 337-342, 2017. - Shirayanagi, K., Takahasi, S.-E., Tsukada M. and Kobayashi Y.:
Classification of three-dimensional zeropotent algebras over the real number field, Communications in Algebra, Volume 46, No. 11, pp. 4663-4681, 2018. - Nagashima, H. and Shirayanagi, K:
Effect of the Interval-Symbol Method with Correct Zero Rewriting on the δ-LLL Algorithm, ACM Communications in Computer Algebra, Vol. 52, No. 2, Issue 204, pp. 24-31, June 2018. - Shirayanagi, K., Kobayashi, Y., Takahasi, S.-E. and Tsukada, M.:
Three-dimensional zeropotent algebras over an algebraically closed field of characteristic two, Communications in Algebra, Volume 48, Issue 4, pp. 1613-1625, 2020. - Kobayashi, Y., Shirayanagi, K., Tsukada, M. and Takahasi, S.-E.:
A complete classification of three-dimensional algebras over R and C — 温故知新 (visiting old, learn new), Asian-European Journal of Mathematics, 2150131(25 pages), 2021. - Takahasi, S.-E., Shirayanagi, K. and Tsukada M.:
Isomorphism problem in a special class of Banach function algebras and its application, Constructive Mathematical Analysis, Volume 4, Issue 3, pp.305-317, 2021. - Narisawa, S. and Shirayanagi, K.:
Crystal structure on K-hives of type A, Communications in Algebra, pp.5266-5283, 2022.
Contact Information
Address | Toho University Department of Information Science, Faculty of Science Miyama 2-2-1, Funabashi, Chiba 274-8510 Japan |
---|---|
kiyoshi.shirayanagi[AT]is.sci.toho-u.ac.jp, shirayan[AT]acm.org |