2 papers
cs.LO2026
Extracting total Amb programs from proofs
Ulrich Berger, Hideki Tsuiki
We present a logical system CFP (Concurrent Fixed Point Logic) supporting the extraction of nondeterministic and concurrent programs that are provably total and correct. CFP is an…
math.DS2025
Projected images of the Sierpinski tetrahedron and other layered fractal imaginary cubes
Hideki Tsuiki
The Sierpinski tetrahedron has a remarkable property: It is projected to squares in three orthogonal directions, and moreover, to sets with positive Lebesgue measures in numerous d…