Susumu Hayashi

According to our database, Susumu Hayashi authored at least 20 papers between 1985 and 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2014

The SMART-GS Project: An Approach to Image-based Digital Humanities.

Yuta Hashimoto, Kenro Aihara, Susumu Hayashi, Minao Kukita, Makoto Ohura

Proceedings of the 9th Annual International Conference of the Alliance of Digital Humanities Organizations, 2014

2010

Games with 1-backtracking.

Stefano Berardi, Thierry Coquand, Susumu Hayashi

Ann. Pure Appl. Log., 2010

Semantics of a Graphical Model for Representing Hypotheses and a System Supporting the Management of Hypotheses.

Madori Ikeda, Masaaki Nishino, Koichiro Doi, Akihiro Yamamoto, Susumu Hayashi

Proceedings of the Knowledge, Information, and Creativity Support Systems, 2010

2007

Can Proofs be Animated by Games?

Susumu Hayashi

Fundam. Informaticae, 2007

2006

Mathematics based on incremental learning - Excluded middle and inductive inference.

Susumu Hayashi

Theor. Comput. Sci., 2006

2004

Test Driven Development of UML Models with SMART Modeling System.

Susumu Hayashi, Pan YiBing, Masami Sato, Kenji Mori, Sul Sejeon, Shuusuke Haruna

Proceedings of the «UML» 2004, 2004

An Arithmetical Hierarchy of the Law of Excluded Middle and Related Principles.

Yohji Akama, Stefano Berardi, Susumu Hayashi, Ulrich Kohlenbach

Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 2004

2002

Towards the animation of proofs - testing proofs by examples.

Susumu Hayashi, Ryosuke Sumitomo, Ken-ichiro Shii

Theor. Comput. Sci., 2002

Mathematics Based on Learning.

Susumu Hayashi

Proceedings of the Discovery Science, 5th International Conference, 2002

Limit-Computable Mathematics and Its Applications.

Susumu Hayashi, Yohji Akama

Proceedings of the Computer Science Logic, 16th International Workshop, 2002

2000

Towards Limit Computable Mathematics.

Susumu Hayashi, Masahiro Nakata

Proceedings of the Types for Proofs and Programs, International Workshop, 2000

1998

Testing Proofs by Examples.

Susumu Hayashi, Ryosuke Sumitomo

Proceedings of the Advances in Computing Science, 1998

1996

Two Extensions of PX system.

Susumu Hayashi, Masakazu Ishikawa, Satoshi Kobayashi, Hiroshi Nakano, Syuichi Nakazaki

Proceedings of the Linear Logic Tokyo Meeting 1996, Keio University, Mita Campus, Tokyo, Japan, March 29, 1996

Constructive Programming: A Personal View.

Susumu Hayashi

Proceedings of the First Conference of the Centre for Discrete Mathematics and Theoretical Computer Science, 1996

1994

Singleton, Union and Intersection Types for Program Extraction

Susumu Hayashi

Inf. Comput., 1994

A Functional System with Transfinitely Defined Types.

Mariko Yasugi, Susumu Hayashi

Proceedings of the Logic, 1994

Lifschitz' Logic of Calcubable Numbers and Optimizations in Program Extraction.

Susumu Hayashi, Yukihide Takayama

Proceedings of the Logic, 1994

1993

Logic of Refinement Types.

Susumu Hayashi

Proceedings of the Types for Proofs and Programs, 1993

1987

PX: a system extracting programs from proofs.

Susumu Hayashi

Proceedings of the Formal Description of Programming Concepts - III: Proceedings of the IFIP TC 2/WG 2.2 Working Conference on Formal Description of Programming Concepts, 1987

1985

Adjunction of Semifunctors: Categorical Structures in Nonextensional Lambda Calculus.

Susumu Hayashi

Theor. Comput. Sci., 1985