Posterior Probability on Finite Set
Okazaki, Hiroyuki
Banach’s Continuous Inverse Theorem and Closed Graph Theorem
Sakurai, Hideki, Okazaki, Hiroyuki, Shidama, Yasunari
N-Dimensional Binary Vector Spaces
Arai, Kenichi, Okazaki, Hiroyuki
Hopf Extension Theorem of Measure
Endou, Noboru, Okazaki, Hiroyuki, Shidama, Yasunari
Random Variables and Product of Probability Spaces
Okazaki, Hiroyuki, Shidama, Yasunari
Rank of Submodule, Linear Transformations and Linearly Independent Subsets of Z-module
Nakasho, Kazuhisa, Futa, Yuichi, Okazaki, Hiroyuki, Shidama, Yasunari
More on Continuous Functions on Normed Linear Spaces
Okazaki, Hiroyuki, Endou, Noboru, Shidama, Yasunari
Probability Measure on Discrete Spaces and Algebra of Real-Valued Random Variables
Okazaki, Hiroyuki, Shidama, Yasunari
Torsion Z-module and Torsion-free Z-module
Futa, Yuichi, Okazaki, Hiroyuki, Nakasho, Kazuhisa, Shidama, Yasunari
Formalization of Separable Version of Banach–Alaoglu Theorem
Okazaki, Hiroyuki, Mieno, Takehiko
Extended Euclidean Algorithm and CRT Algorithm
Okazaki, Hiroyuki, Aoki, Yosiki, Shidama, Yasunari
Probability on Finite Set and Real-Valued Random Variables
Okazaki, Hiroyuki, Shidama, Yasunari