Egoroff's Theorem
Endou, Noboru, Shidama, Yasunari, Narita, Keiko
Cartesian Products of Family of Real Linear Spaces
Okazaki, Hiroyuki, Endou, Noboru, Shidama, Yasunari
Definition of Flat Poset and Existence Theorems for Recursive Call
Ishida, Kazuhisa, Shidama, Yasunari, Grabowski, Adam