Obtaining the H and T Honeycomb from a Cross-Section of the 16-cell Honeycomb,

in Conference Proceedings of Bridges 2017, pp 147 -- 152. [ online conference proceedings ]

Sudoku Colorings of a 16-cell Pre-Fractal,

in Discrete and Computational Geometry and Graphs, Proceedings of JCDCGG 2015,

LNCS 9943, 2016, pp 265-276. [ pdf] The final publication is available at link.springer.com .

Imaginary Hypercubes,

in Discrete and Computational Geometry and Graphs,

Lecture Notes in Computer Science Volume 8845, 2014, pp 173-184. [ pdf] The final publication is available at link.springer.com .

Imaginary Cubes and Their Puzzles,

Algorithms 2012, 5(2), 273-288; doi:10.3390/a5020273, [ Open Access Journal ]

Enumerating 3D-Sudoku Solutions over Cubic Prefractal Objects,

Journal of Information Processing 20(3), 2012:667-671, [ Pdf available from the publisher. ]

Imaginary Cubes --- Objects with Three Square Projection Images.

Bridges Pecs: Mathematics, Music, Art, Architecture, Culture, Conference Proceedings, 159-166, 2010. [ online conference proceedings ]

SUDOKU Colorings of the Hexagonal Bipyramid Fractal.

In Proceedings KyotoCGGT 2007, LNCS 4535, pp.224-235, 2008. [ pdf]

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. [ online conference proceedings ]

Properties of domain representations of spaces through dyadic subbases.

Mathematical Structures in Computer Science 27(8): 1625-1638 (2017) doi

Domain Representations Induced by Dyadic Subbases.

Logical Methods in Computer Science,11(1): 1--17 (2015) [ Journal Page ]

A Stream Calculus of Bottomed Sequences for Real Number Computation.

Electr. Notes Theor. Comput. Sci. 298: 383-402 (2013) DOI: 10.1016/j.entcs.2013.09.023 [ Pdf available from the publisher. ]

Learning figures with the Hausdorff metric by fractals - towards computable binary classification.

Machine Learning 90(1): 91-126 (2013)

Independent subbases and non-redundant codings of separable metrizable spaces.

Topology and its applications, 158,1-14,2011. doi:10.1016/j.topol.2010.09.003 [ pdf ]

Fine-Continuous Functions and Fractals Defined by Infinite Systems of Contractions.

In Infinity in Logic and Computation, International Conference ILC2007 Selected Papers, LNCS 5489, 109-125, 2009.

On Finite-time Computability Preserving Conversions,

Journal of Universal Computer Science, vol. 15, no. 6 (2009), 1365-1380. [ Open Access ] [ Slides at Dagstuhl seminar(2011). ]

Streams with a bottom in functional languages.

In Proceedings ESOP 2005: The European Symposium on Programming, LNCS 3444, pp.201-216, 2005. [ pdf ] The final publication is available at link.springer.com .

Dyadic subbases and efficiency properties of the induced ${0,1,\bot}^\omega$-representations,

Topology Proceedings, 28(2), pp.673-687, 2004. [pdf ]

Embedding Compact Metric Spaces as Minimal-limit Sets in Domains of Bottomed Sequences

Math. Struct. in Comp. Science. 14(6) pp 853--878 (2004) [ pdf ]

PowerPoint sheets of a talk at Dagstuhl seminar on Mathematical Foundation of Computable Geometry and Topology, May27-31, 2002.

Real Number Computation with Committed Choice Logic Programming Languages

Journal of Logic and Algebraic Programming, 64, pp.61-84, 2005. [ pdf ]

Representations of complete uniform spaces via uniform domains

In the Proceedings of the CCA 2002 Workshop (4th Workshop on Computability and Complexity in Analysis), Electr. Notes Theor. Comput. Sci. 66: 176-188 (2002) [ pdf ]

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 .

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. [ pdf ] The final publication is available at link.springer.com .

Real Number Computation through Gray Code Embedding

Theoretical Computer Science, vol 284/2 pp 467--485, 2002. [ pdf ]

Implementing Real Number Computation in GHC. (in Japanese)

Computer Software, vol 18 No 2. [ pdf ]

Unimodal maps as boundary restrictions of two-dimensional full-folding maps.

Topology and its Applications 159:1266-1275, 2012. doi:10.1016/j.topol.2011.11.002 [ pdf ]

Hyperbolic topology of normed linear spaces.

Topology and its applications, 157:77-82, 2010. doi:10.1016/j.topol.2009.04.047 [ pdf]

Lawson topology of the space of formal balls and the hyperbolic topology.

Theoretical Computer Science, 405:198-205, 2008. doi:10.1016/j.tcs.2008.06.034 [ pdf ]

Theoretical Computer Science, 294, 307--331, 2003.

Math. Struct. in Comp. Science, Vol.8, pp.321-349, 1998.

In 2nd Int. workshop on functional and logic programming, World scientific Publishing, 1998.

Ph.D. Thesis, Keio University, 1992. [ ps ]