NAOKI SHIBATA    Associate Professor at NAIST

奈良先端大 ソフトウェア基礎学研究室 柴田直樹


E-mail :   Naoki Shibata's e-mail addresses

Research Interest


Here is my publication list.


Lecture Materials

Lecture materials are here. (Accessible only from NAIST)

Additional Publication List

  • Naoki Shibata : Efficient Evaluation Methods of Elementary Functions Suitable for SIMD Computation, Journal of Computer Science on Research and Development, Proceedings of the International Supercomputing Conference ISC10., Volume 25, Numbers 1-2, pp. 25-32, DOI:10.1007/s00450-010-0108-2 (May. 2010). [PDF] [SlideShare]
  • Naoki Shibata, Kozo Okano, Teruo Higashino, Kenichi Taniguchi : A decision algorithm for prenex normal form rational Presburger sentences based on combinatorial geometry, Proc. of 2nd Int'l Conference on Discrete Mathematics and Theoretical Computer Science and the 5th Australasian Theory Symposium (DMTCS'99+CATS'99), pp.344-359 (Jan 1999). [PDF]

Do not hesitate to ask me sending the papers displayed on ito-lab website, if you do not have free access to ACM or Springer web sites.

Selected Presentation Slides on SlideShare


Ito-Lab Website Search