S
Susumu Hayashi
Researcher at Kobe University
Publications - 3
Citations - 51
Susumu Hayashi is an academic researcher from Kobe University. The author has contributed to research in topics: Constructivism (mathematics) & Mathematical proof. The author has an hindex of 3, co-authored 3 publications receiving 50 citations.
Papers
More filters
Book ChapterDOI
Towards Limit Computable Mathematics
Susumu Hayashi,Masahiro Nakata +1 more
TL;DR: The notion of Limit-Computable Mathematics (LCM) will be introduced, a fragment of classical mathematics in which the law of excluded middle is restricted to ?
A limiting first order realizability interpretation
Masahiro Nakata,Susumu Hayashi +1 more
TL;DR: In this paper, a realizability interpretation via limiting recursive functions is proposed for first-order arithmetic, which is a natural modeling of limit computable mathematics for first order arithmetic.
Book ChapterDOI
Test driven development of UML Models with SMART modeling system
TL;DR: This work is developing a methodology for Test-Driven Development of Models (TDDM) based on an experimental UML 2.0 modeling tool SMART, which provides guidance on how to build models based on compiler errors of testcases, something similar to what Quick Fix of Eclipse does.