Uniform Boundedness Principle
Sakurai, Hideki, Kunimune, Hisayoshi, Shidama, Yasunari
Extended Euclidean Algorithm and CRT Algorithm
Okazaki, Hiroyuki, Aoki, Yosiki, Shidama, Yasunari
Measure for Product Space of Real Normed Spaces
Endou, Noboru, Shidama, Yasunari