Yohji Akama

Publication Activity (10 Years)

Years Active: 1993-2023
Publications (10 Years): 4

Top Topics

Principle Component Analysis

Polyhedral Objects

Top Venues

Math. Struct. Comput. Sci.

Ars Math. Contemp.

Publications

Yohji Akama, Min Yan
On deformed dodecahedron tiling. Australas. J Comb. 85 (2023)
Yohji Akama, Bobo Hua
Hyperbolic polyhedral surfaces with regular faces. Discret. Math. 346 (1) (2023)
Yohji Akama
Confluent terminating extensional lambda-calculi with surjective pairing and terminal type. CoRR (2018)
Yohji Akama
The Confluent Terminating Context-Free Substitutive Rewriting System for the lambda-Calculus with Surjective Pairing and Terminal Type. FSCD (2017)
Yohji Akama, Nico Van Cleemput
Spherical tilings by congruent quadrangles: Forbidden cases and substructures. Ars Math. Contemp. 8 (2) (2015)
Yohji Akama
Realizability interpretation of PA by iterated limiting PCA. Math. Struct. Comput. Sci. 24 (6) (2014)
Yohji Akama
A new order theory of set systems and better quasi-orderings CoRR (2011)
Yohji Akama
Set systems: Order types, continuous nondeterministic deformations, and quasi-orders. Theor. Comput. Sci. 412 (45) (2011)
Yohji Akama, Kei Irie
VC dimension of ellipsoids CoRR (2011)
Yohji Akama
Set systems: order types, continuous nondeterministic deformations, and quasi-orders CoRR (2011)
Yohji Akama, Kei Irie, Akitoshi Kawamura, Yasutaka Uwano
VC Dimensions of Principal Component Analysis. Discret. Comput. Geom. 44 (3) (2010)
Yohji Akama
Commutative Regular Shuffle Closed Languages, Noetherian Property, and Learning Theory. LATA (2009)
Yohji Akama, Thomas Zeugmann
Consistent and coherent learning with delta-delay. Inf. Comput. 206 (11) (2008)
Yohji Akama, Thomas Zeugmann
Consistency Conditions for Inductive Inference of Recursive Functions. JSAI (2006)
Yohji Akama, Shinji Iizuka
Real Number Representations of Graph-Directed IFS Attractors. CCA (2005)
Yohji Akama, Stefano Berardi, Susumu Hayashi, Ulrich Kohlenbach
An Arithmetical Hierarchy of the Law of Excluded Middle and Related Principles. LICS (2004)
Yohji Akama
Limiting partial combinatory algebras. Theor. Comput. Sci. 311 (1-3) (2004)
Susumu Hayashi, Yohji Akama
Limit-Computable Mathematics and Its Applications. CSL (2002)
Yohji Akama
Limiting Partial Combinatory Algebras towards Infinitary Lambda-Calculi and Classical Logic. CSL (2001)
Seikoh Mikami, Yohji Akama
A Study of Abramsky's Linear Chemical Abstract Machine. TLCA (1999)
Yohji Akama
SN Combinators and Partial Combinatory Algebras. RTA (1998)
Yohji Akama
A Lambda-to-CL Translation for Strong Normalization. TLCA (1997)
Masako Takahashi, Yohji Akama, Sachio Hirokawa
Normal Proofs and Their Grammar. Inf. Comput. 125 (2) (1996)
Masako Takahashi, Yohji Akama, Sachio Hirokawa
Normal Proofs and Their Grammar. TACS (1994)
Yohji Akama
On Mints' Reduction for ccc-Calculus. TLCA (1993)