Travelled to:1 × Finland
1 × Japan
1 × Portugal
1 × United Kingdom
Collaborated with:Y.Akama ∅ S.Berardi U.Kohlenbach P.YiBing M.Sato K.Mori S.Sejeon S.Haruna
Talks about:model (2) hierarchi (1) principl (1) mathemat (1) arithmet (1) develop (1) system (1) exclud (1) driven (1) comput (1)
Person: Susumu Hayashi
DBLP: Hayashi:Susumu
Contributed to:
2005
2004
2004
2002Wrote 4 papers:
- TLCA-2005-Hayashi #game studies #proving #question
- Can Proofs Be Animated By Games? (SH), pp. 11–22.
- LICS-2004-AkamaBHK
- An Arithmetical Hierarchy of the Law of Excluded Middle and Related Principles (YA, SB, SH, UK), pp. 192–201.
- UML-2004-HayashiYSMSH #development #modelling #uml
- Test Driven Development of UML Models with SMART Modeling System (SH, PY, MS, KM, SS, SH), pp. 395–409.
- CSL-2002-HayashiA
- Limit-Computable Mathematics and Its Applications (SH, YA), p. 1.