Professor, Humanistic Informatics, Graduate School of Letters, Kyoto University, Yoshida-Honmachi, Sakyo, Kyoto, 606-8501, Japan Tel: office 075-753-2474, operator 075-753-7531, Fax: 075-753-2476 Access and Maps
Overview Department home page
David Hilbert's Mathematical notebooks History of Foundations of Mathematics (mainly in japanese) Rationalization, standardization, formalization (mainly in japanese) Japanese Information Industry Proof Animation and LCM project: Logic based on Learning theory SMART-SE: a UML modeling tool based on Test Driven Development HI Workshop: Communication, Knowledge, Software 2005/Dec/13,14
