Hideki Tsuiki

Publication Activity (10 Years)

Years Active: 1994-2023
Publications (10 Years): 11

Top Topics

Automatically Extracting

Logical Foundations

Top Venues

Math. Struct. Comput. Sci.

Ann. Pure Appl. Log.

Publications

Ulrich Berger, Monika Seisenberger, Dieter Spreen, Hideki Tsuiki
Concurrent Gaussian elimination. CoRR (2023)
Ulrich Berger, Hideki Tsuiki
Extracting total Amb programs from proofs. CoRR (2023)
Ulrich Berger, Hideki Tsuiki
Extracting total Amb programs from proofs. ESOP (2022)
Ulrich Berger, Hideki Tsuiki
Extracting total Amb programs from proofs. CoRR (2021)
Ulrich Berger, Hideki Tsuiki
Intuitionistic fixed point logic. Ann. Pure Appl. Log. 172 (3) (2021)
Ulrich Berger, Hideki Tsuiki
Intuitionistic Fixed Point Logic. CoRR (2020)
Ulrich Berger, Olga Petrovska, Hideki Tsuiki
Prawf: An Interactive Proof System for Program Extraction. CiE (2020)
Yasuaki Kobayashi, Koki Suetsugu, Hideki Tsuiki, Ryuhei Uehara
On the Complexity of Lattice Puzzles. ISAAC (2019)
Yasuyuki Tsukamoto, Hideki Tsuiki
Properties of domain representations of spaces through dyadic subbases. Math. Struct. Comput. Sci. 27 (8) (2017)
Andrej Bauer, Ulrich Berger, Willem L. Fouché, Dieter Spreen, Hideki Tsuiki, Martin Ziegler
Continuity, computability, constructivity: from logic to algorithms 2014 (Preface to the special issue: Continuity, Computability, Constructivity: From Logic to Algorithms 2014). J. Log. Anal. 9 (2017)
Arno Pauly, Hideki Tsuiki
-representations of compact sets. CoRR (2016)
Hideki Tsuiki, Yasuyuki Tsukamoyo
Domain Representations Induced by Dyadic Subbases. Log. Methods Comput. Sci. 11 (1) (2015)
Ulrich Berger, Vasco Brattka, Victor L. Selivanov, Dieter Spreen, Hideki Tsuiki
Preface to the special issue: Computing with infinite data: topological and logical foundations. Math. Struct. Comput. Sci. 25 (7) (2015)
Hideki Tsuiki, Yasuyuki Tsukamoto
Sudoku Colorings of a 16-Cell Pre-fractal. JCDCGG (2015)
Mahito Sugiyama, Eiju Hirowatari, Hideki Tsuiki, Akihiro Yamamoto
Learning figures with the Hausdorff metric by fractals - towards computable binary classification. Mach. Learn. 90 (1) (2013)
Hideki Tsuiki, Yasuyuki Tsukamoto
Imaginary Hypercubes. JCDCGG (2013)
Kei Terayama, Hideki Tsuiki
A Stream Calculus of Bottomed Sequences for Real Number Computation. MFPS (2013)
Hideki Tsuiki, Yohei Yokota
Enumerating 3D-Sudoku Solutions over Cubic Prefractal Objects. J. Inf. Process. 20 (3) (2012)
Hideki Tsuiki
Imaginary Cubes and Their Puzzles. Algorithms 5 (2) (2012)
Hideki Tsuiki, Yohei Yokota
Enumerating 3D-Sudoku Solutions over Cubic Prefractal Objects. Inf. Media Technol. 7 (3) (2012)
Ulrich Berger, Vasco Brattka, Victor L. Selivanov, Dieter Spreen, Hideki Tsuiki
Computing with Infinite Data: Topological and Logical Foundations (Dagstuhl Seminar 11411). Dagstuhl Reports 1 (10) (2011)
Mahito Sugiyama, Eiju Hirowatari, Hideki Tsuiki, Akihiro Yamamoto
Learning Figures with the Hausdorff Metric by Fractals. ALT (2010)
Hideki Tsuiki, Shuji Yamada
On Finite-time Computability Preserving Conversions. J. Univers. Comput. Sci. 15 (6) (2009)
Yoshiki Tsujii, Takakazu Mori, Mariko Yasugi, Hideki Tsuiki
Random Iteration Algorithm for Graph-Directed Sets. CCA (2009)
Hideki Tsuiki, Yasunao Hattori
Lawson topology of the space of formal balls and the hyperbolic topology. Theor. Comput. Sci. 405 (1-2) (2008)
Hideki Tsuiki, Shuji Yamada
On Finite-time Computability Preserving Conversions. Electron. Notes Theor. Comput. Sci. 221 (2008)
Hideki Tsuiki
SUDOKU Colorings of the Hexagonal Bipyramid Fractal. KyotoCGGT (2007)
Yoshiki Tsujii, Takakazu Mori, Mariko Yasugi, Hideki Tsuiki
Fine-Continuous Functions and Fractals Defined by Infinite Systems of Contractions. ILC (2007)
Vasco Brattka, Peter Hertling, Ker-I Ko, Hideki Tsuiki
Computability and complexity in analysis. J. Complex. 22 (6) (2006)
Hideki Tsuiki
Real number computation with committed choice logic programming languages. J. Log. Algebraic Methods Program. 64 (1) (2005)
Hideki Tsuiki
Dyadic Subbases and Representations of Topological Spaces. Spatial Representation (2005)
Hideki Tsuiki, Keiji Sugihara
Streams with a Bottom in Functional Languages. ESOP (2005)
Hideki Tsuiki
Uniform Domains and Uniform Spaces: (Abstract). Electron. Notes Theor. Comput. Sci. 73 (2004)
Hideki Tsuiki
Compact metric spaces as minimal-limit sets in domains of bottomed sequences. Math. Struct. Comput. Sci. 14 (6) (2004)
Hideki Tsuiki
A domain-theoretic semantics of lax generic functions. Theor. Comput. Sci. 294 (1/2) (2003)
Hideki Tsuiki
Representations of Complete Uniform Spaces via Uniform Domains. Electron. Notes Theor. Comput. Sci. 66 (1) (2002)
Hideki Tsuiki
Real number computation through Gray code embedding. Theor. Comput. Sci. 284 (2) (2002)
Taeko Ariga, Hideki Tsuiki
Programming for students of information design. ACM SIGCSE Bull. 33 (4) (2001)
Hideki Tsuiki
Computational Dimension of Topological Spaces. CCA (2000)
Hideki Tsuiki
A domain-theoretic semantics of lax generic functions. CTCS (1999)
Hideki Tsuiki
A Computationally Adequate Model for Overloading via Domain-Valued Functors. Math. Struct. Comput. Sci. 8 (4) (1998)
Hideki Tsuiki
A Normalizing Calculus with Overloading and Subtyping. TACS (1994)
Hideki Tsuiki
On Typed Calculi with a Merge Operator. FSTTCS (1994)