Welcome to Fujita Lab.
See also this for the previous site.
Logical Labyrinths and Mathematical Logic
..... under construction.....