Susumu Hayashi

Publication Activity (10 Years)

Years Active: 1985-2014
Publications (10 Years): 0

Top Topics

Digital Archiving

Digital Resources

Smart Environments

Top Venues

Publications

Yuta Hashimoto, Kenro Aihara, Susumu Hayashi, Minao Kukita, Makoto Ohura
The SMART-GS Project: An Approach to Image-based Digital Humanities. DH (2014)
Stefano Berardi, Thierry Coquand, Susumu Hayashi
Games with 1-backtracking. Ann. Pure Appl. Log. 161 (10) (2010)
Madori Ikeda, Masaaki Nishino, Koichiro Doi, Akihiro Yamamoto, Susumu Hayashi
Semantics of a Graphical Model for Representing Hypotheses and a System Supporting the Management of Hypotheses. KICSS (2010)
Susumu Hayashi
Can Proofs be Animated by Games? Fundam. Informaticae 77 (4) (2007)
Susumu Hayashi
Mathematics based on incremental learning - Excluded middle and inductive inference. Theor. Comput. Sci. 350 (1) (2006)
Susumu Hayashi
Can Proofs Be Animated By Games? TLCA (2005)
Stefano Berardi, Thierry Coquand, Susumu Hayashi
Games with 1-backtracking. GALOP@ETAPS (2005)
Yohji Akama, Stefano Berardi, Susumu Hayashi, Ulrich Kohlenbach
An Arithmetical Hierarchy of the Law of Excluded Middle and Related Principles. LICS (2004)
Susumu Hayashi, Pan YiBing, Masami Sato, Kenji Mori, Sul Sejeon, Shuusuke Haruna
Test Driven Development of UML Models with SMART Modeling System. UML (2004)
Susumu Hayashi
Mathematics Based on Learning. Discovery Science (2002)
Susumu Hayashi, Yohji Akama
Limit-Computable Mathematics and Its Applications. CSL (2002)
Susumu Hayashi
Mathematics Based on Learning. ALT (2002)
Susumu Hayashi, Ryosuke Sumitomo, Ken-ichiro Shii
Towards the animation of proofs - testing proofs by examples. Theor. Comput. Sci. 272 (1-2) (2002)
Susumu Hayashi, Masahiro Nakata
Towards Limit Computable Mathematics. TYPES (2000)
Susumu Hayashi, Ryosuke Sumitomo
Testing Proofs by Examples. ASIAN (1998)
Susumu Hayashi
Constructive Programming: A Personal View. DMTCS (1996)
Susumu Hayashi, Masakazu Ishikawa, Satoshi Kobayashi, Hiroshi Nakano, Syuichi Nakazaki
Two Extensions of PX system. Electron. Notes Theor. Comput. Sci. 3 (1996)
Susumu Hayashi, Yukihide Takayama
Lifschitz' Logic of Calcubable Numbers and Optimizations in Program Extraction. Logic, Language and Computation (1994)
Mariko Yasugi, Susumu Hayashi
A Functional System with Transfinitely Defined Types. Logic, Language and Computation (1994)
Susumu Hayashi
Singleton, Union and Intersection Types for Program Extraction Inf. Comput. 109 (1/2) (1994)
Susumu Hayashi
Logic of Refinement Types. TYPES (1993)
Susumu Hayashi
Singleton, Union and Intersection Types for Program Extraction. TACS (1991)
Susumu Hayashi
PX: a system extracting programs from proofs. Formal Description of Programming Concepts (1987)
Susumu Hayashi
Adjunction of Semifunctors: Categorical Structures in Nonextensional Lambda Calculus. Theor. Comput. Sci. 41 (1985)