Susumu Hayashi

Learn More
Learning theoretic aspects of mathematics and logic have been studied by many authors. They study how mathematical and logical objects are algorithmically \learned" (inferred) from nite data. Although they study mathematical objects, the objective of the studies is learning. In this paper, a mathematics of which foundation itself is learning theoretic will(More)
Proof animation is a way of executing proofs to nd errors in the formalization of proofs. It is intended to be \testing in proof engineer-ing". Although the realizability i n terpretation as well as the functional interpretation based on limit-computations were introduced as means for proof animation, they were unrealistic as an architectural basis for(More)
We are developing a methodology of Test-Driven Development of Models (TDDM) based on an experimental UML2.0 modeling tool SMART. Our experience shows that TDDM is quite useful for agile model developments. SMART provides guidance how to build models based on compiler errors of testcases, something similar to what Quick Fix of Eclipse does. It also provides(More)