Complex Function Differentiability
Pacharapokin, Chanapat, Yamazaki, Hiroshi, Shidama, Yasunari, Nakamura, Yatsuka
Egoroff's Theorem
Endou, Noboru, Shidama, Yasunari, Narita, Keiko
Formalization of the Data Encryption Standard
Okazaki, Hiroyuki, Shidama, Yasunari