School of Engineering, Univerisity of Miyazaki
1-1 W. Gakuen Kibana Dai, Miyazaki, Miyazaki 889-2155, Japan
email: skata@cs.miyazaki-u.ac.jp
Tel/Fax: +81-985-58-7941
Bachelor in Agriculture
from University of Tokyo in 1995,
Master in Engineering from University of Tokyo in 1997,
Ph.D. in Engineering from Tokyo Institute of Technology in 2000.
2000-2001 Research Associate at Tokyo Institute of
Technology;
2001-2002 Postdoctoral Scientist at NEC Research
Institute, Princeton;
2002- Research Associate/Assistant Professor at University
of Miyazaki.
S. Katayama (2008):
Efficient Exhaustive Generation of Functional Programs using Monte-Carlo Search with Iterative Deepening
,
PRICAI 2008: Trends in Artificial Intelligence, Proceedings of 10th Pacific Rim
International Conference on Artificial Intelligence, LNAI 5351, Springer Verlag, 199-211.
S. Katayama (2005):
Systematic Search for Lambda Expressions,
Sixth Symposium on Trends in Functional Programming (TFP2005) (informal) Proceedings. 195-205
Updated formal version is in preparation for publishing. Please contact me personally in order to obtain a copy, because I do not know how the copyright agreement will be.
S. Katayama (2004):
Power of Brute-force Search in Strongly-Typed Inductive
Functional Programming Automation,
PRICAI 2004: Trends in Artificial Intelligence, Proceedings of 8th Pacific Rim
International Conference on Artificial Intelligence, Springer LNAI 3157. 75-84
Abstract
S. Katayama, H. Kimura, and S. Kobayashi (2000):
A Universal Generalization for
Temporal-Difference Learning using Haar Basis Functions,
Proceedings of the 17th International Conference on Machine Learning.
Morgan Kaufmann.
S. Katayama and S. Kobayashi (1999):
Logarithmic-time Updating Algorithm for TD(lambda) Learning,
Journal of Japanese Society for Artificial Intelligence, 14, 119-130
(in Japanese).
(English translation is available
here.) C++ codes (FiniteTD.C,
FiniteTD.H)