#### Filter Results:

- Full text PDF available (21)

#### Publication Year

1988

2017

- This year (0)
- Last 5 years (11)
- Last 10 years (28)

#### Supplemental Content

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Hideki Tsuiki, Yasunao Hattori
- Theor. Comput. Sci.
- 2008

Let (X,d) be a metric space and BX=XxR denote the partially ordered set of (generalized) formal balls in X. We investigate the topological structures of BX, in particular the relations between the… (More)

- Hideki Tsuiki
- 1992

- Hideki Tsuiki
- Mathematical Structures in Computer Science
- 2004

Every compact metric space $X$ is homeomorphically embedded in an $\omega$-algebraic domain $D$ as the set of minimal limit (that is, non-finite) elements. Moreover, $X$ is a retract of the set… (More)

- Hideki Tsuiki
- 2012

A dyadic subbase induces a representation of a second-countable regular space as a subspace of the space of infinite sequences of {0, 1,⊥}, which is known as Plotkin’s . We study four properties of… (More)

- Hideki Tsuiki
- Theor. Comput. Sci.
- 2002

We propose an embedding G of the unit open interval to the set {0, 1}⊥,1ω of infinite sequences of {0, 1} with at most one undefined element. This embedding is based on Gray code and it is a… (More)

- Hideki Tsuiki
- 2007

The Sierpinski tetrahedron is two-dimensional with respect to fractal dimensions though it is realized in threedimensional space, and it has square projections in three orthogonal directions. We… (More)

- Atsushi Ishida, Hitoshi Ohto, +8 authors Shigeru Takamoto
- Journal of pediatric hematology/oncology
- 2015

Hemolytic disease of the newborn (HDN) arising from MNSs incompatibility is rare, with few reports of prolonged anemia and reticulocytopenia following HDN. We report the younger of 2 male siblings,… (More)

- Hideki Tsuiki
- Algorithms
- 2012

Imaginary cubes are three dimensional objects which have square silhouette projections in three orthogonal ways just as a cube has. In this paper, we study imaginary cubes and present assembly… (More)

- Hideki Tsuiki
- TACS
- 1994

Recently, a new calculus with overloading and subtyping was presented by Castagna, Ghelli, and Longo [CGL94]. This calculus, λ&-calculus, is an extension of the simply typed λ-calculus and is… (More)

- Masami Hagiya, Takashi Hattori, +7 authors Taiichi Yuasa
- [] Proceedings. 2nd IEEE Conference on Computer…
- 1988

A window system, GMW, and a Japanese inputting system, Wnn, have been developed together to serve as flexible and network-extensible infrastructures for building workstation environments, especially… (More)