Recent Research Papers:

Imaginary Cubes.

  • Hideki Tsuiki
    Imaginary Cubes --- Objects with Three Square Projection Images ---.
    Submitted for publication.

  • Hideki Tsuiki
    SUDOKU Colorings of the Hexagonal Bipyramid Fractal
    In Proceedings KyotoCGGT 2007, LNCS 4535, pp.224-235, 2008.

  • Hideki Tsuiki
    Does it look square? Hexagonal Bipyramids, Triangular Antiprismoids, and their Fractals .
    in Conferenced Proceedings of Bridges Donostia . Mathematical Connection in Art, Music, and Science, Reza Sarhangi and Javier Barrallo, editors, Tarquin publications, 277--287 (2007).

    Hyperbolic Topology and Formal Balls

  • Yasunao Hattori, Hideki Tsuiki, The hyperbolic topology of L_p(\Omega, \Sigma, \mu),
    to appear in Topology and its applications, 2009.

  • Hideki Tsuiki, Yasunao Hattori. Lawson topology of the space of formal balls and the hyperbolic topology.
    Theoretical Computer Science, vol. 405, pp.~198-205, 2008.

    Computation over Real numbers and Topological spaces

  • Haruo Ohta, Hideki Tsuiki, and Syuji Yamada,
    Independent Subbases of Dense in Itself, Separable, Metric Spaces.
    submitted for publication.

  • Yoshiki Tsujii, Takakazu Mori, Mariko Yasugi and Hideki Tsuiki,
    Fractals Defined by Infinite Contractions and Mutual-Recursive Sets
    Proceedings of ILC 2007, LNCS series, to appear.

  • Hideki Tsuiki, Shuji Yamada.
    On Finite-time Computability Preserving Conversions,
    Journal of Universal Computer Science, vol. 15, no. 6 (2009), 1365-1380.

  • Hideki Tsuiki, Keiji Sugihara
    Streams with a bottom in functional languages.
    In Proceedings ESOP 2005: The European Symposium on Programming, LNCS 3444, pp.201-216, 2005.
    Our implementation as an extension of Haskell is available from this page.

  • Hideki Tsuiki
    Dyadic subbases and efficiency properties of the induced ${0,1,\bot}^\omega$-representations,
    Topology Proceedings, 28(2), pp.673-687, 2004.

  • Hideki Tsuiki
    Embedding Compact Metric Spaces as Minimal-limit Sets in Domains of Bottomed Sequences
    Math. Struct. in Comp. Science. 14(6) pp 853--878 (2004)
    PowerPoint sheets of a talk at Dagstuhl seminar on Mathematical Foundation of Computable Geometry and Topology, May27-31, 2002.

  • Hideki Tsuiki
    Real Number Computation with Committed Choice Logic Programming Languages
    Journal of Logic and Algebraic Programming, 64, pp.61-84, 2005.

  • Hideki Tsuiki
    Representations of complete uniform spaces via uniform domains
    In the Proceedings of the CCA 2002 Workshop (4th Workshop on Computability and Complexity in Analysis), the ENTCS series.
    PowerPoint sheets of a talk in Matsue (Int. Conf. Topology in Matsue 2002). If you have some problem looking at this, please see the online version .

  • Hideki Tsuiki
    Computational Dimension of Topological Spaces
    In Jens Blanck, Vasco Brattka, and Peter Hertling, editors, Computability and Complexity in Analysis, volume 2064 of Lecture Notes in Computer Science, pages 323--335, Berlin, 2001. Springer. 4th International Workshop, CCA 2000, Swansea, UK, September 2000.

  • Hideki Tsuiki
    Real Number Computation through Gray Code Embedding
    Theoretical Computer Science, vol 284/2 pp 467--485, 2002.

  • Hideki Tsuiki
    Implementing Real Number Computation in GHC. (in Japanese)
    Computer Software, vol 18 No 2.
    See the paper "Real Number Computation with Committed Choice Logic Programming Languages" for its extended version in English. The programs implementing addition of real numbers can be downloaded here: klic version , SICStus Prolog version .
    You can download klic from http://www.klic.org .




    Overloading and Merge Calculus for the Foundation of Object Oriented Languages

  • Hideki Tsuiki
    A Domain-theoretic Semantics of Lax Generic Functions,
    Theoretical Computer Science, 294, 307--331 (2003).

  • Hideki Tsuiki
    A computationally adequate model for overloading via domain-valued functors.
    Math. Struct. in Comp. Science, Vol.8, pp.321-349, 1998.

  • Hideki Tsuiki
    Currying Multi methods in a merge calculus,
    In 2nd Int. workshop on functional and logic programming, World scientific Publishing, 1998.

  • Hideki Tsuiki
    On Typed Calculi with a Merge Operator,
    In 14th Conference on Foundations of Software Technology and Theoretical co mputer Science, LNCS 880, pp.101-112, 1994.

  • Hideki Tsuiki
    A Normalizing Calculus with Overloading and Subtyping,
    In 2nd Int. Symp. on Theoretical Aspects of Computer Software, LNCS 789, pp.~273--295, 1994,

  • A Record Calculus with a Merge Operator.
    Ph.D. Thesis, Keio University, 1992.