Susumu Hayashi - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 24 from 24

2014

The SMART-GS Project: An Approach to Image-based Digital HumanitiesYuta Hashimoto, Kenro Aihara, Susumu Hayashi, Minao Kukita, Makoto Ohura. dihu 2014: [doi]

2010

Games with 1-backtrackingStefano Berardi, Thierry Coquand, Susumu Hayashi. APAL, 161(10):1254-1269, 2010. [doi]

Semantics of a Graphical Model for Representing Hypotheses and a System Supporting the Management of HypothesesMadori Ikeda, Masaaki Nishino, Koichiro Doi, Akihiro Yamamoto, Susumu Hayashi. kicss 2011: 32-43 [doi]

2007

Can Proofs be Animated by Games?Susumu Hayashi. FUIN, 77(4):331-343, 2007. [doi]

2006

Mathematics based on incremental learning - Excluded middle and inductive inferenceSusumu Hayashi. TCS, 350(1):125-139, 2006. [doi]

2005

Games with 1-backtrackingStefano Berardi, Thierry Coquand, Susumu Hayashi. galop 2005: 210-225

Can Proofs Be Animated By Games?Susumu Hayashi. tlca 2005: 11-22 [doi]

2004

An Arithmetical Hierarchy of the Law of Excluded Middle and Related PrinciplesYohji Akama, Stefano Berardi, Susumu Hayashi, Ulrich Kohlenbach. lics 2004: 192-201 [doi]

Test Driven Development of UML Models with SMART Modeling SystemSusumu Hayashi, Pan YiBing, Masami Sato, Kenji Mori, Sul Sejeon, Shuusuke Haruna. uml 2004: 395-409 [doi]

2002

Limit-Computable Mathematics and Its ApplicationsSusumu Hayashi, Yohji Akama. csl 2002: 1 [doi]

Towards the animation of proofs - testing proofs by examplesSusumu Hayashi, Ryosuke Sumitomo, Ken-ichiro Shii. TCS, 272(1-2):177-195, 2002. [doi]

Mathematics Based on LearningSusumu Hayashi. alt 2002: 7-21 [doi]

Mathematics Based on LearningSusumu Hayashi. dis 2002: 1 [doi]

2000

Towards Limit Computable MathematicsSusumu Hayashi, Masahiro Nakata. TYPES 2002: 125-144 [doi]

1998

Testing Proofs by ExamplesSusumu Hayashi, Ryosuke Sumitomo. asian 1998: 1-3 [doi]

1996

Constructive Programming: A Personal ViewSusumu Hayashi. dmtcs 1996: 38-51

Two Extensions of PX systemSusumu Hayashi, Masakazu Ishikawa, Satoshi Kobayashi, Hiroshi Nakano, Syuichi Nakazaki. ENTCS, 3:88, 1996. [doi]

1994

Singleton, Union and Intersection Types for Program ExtractionSusumu Hayashi. iandc, 109(1/2):174-210, February/March 1994.

Lifschitz Logic of Calcubable Numbers and Optimizations in Program ExtractionSusumu Hayashi, Yukihide Takayama. BIRTHDAY 1994: 1-9

A Functional System with Transfinitely Defined TypesMariko Yasugi, Susumu Hayashi. BIRTHDAY 1994: 31-60

1993

Logic of Refinement TypesSusumu Hayashi. TYPES 1994: 108-126

1991

Singleton, Union and Intersection Types for Program ExtractionSusumu Hayashi. tacs 1991: 701-730

1987

PX: a system extracting programs from proofsSusumu Hayashi. ifip2 1987: 399-424

1985

Adjunction of Semifunctors: Categorical Structures in Nonextensional Lambda CalculusSusumu Hayashi. TCS, 41:95-104, 1985.

Sign in or sign up to see more results.

runs on WebDSL