About OKAZAKI HIROYUKI
About FUTA YUICHI
About SHIDAMA YASUNARI
About 日本応用数理学会年会講演予稿集(CD-ROM)
About probability distribution
About verification
About cryptology
About formulation
About specification language
About Safety Management
About safety certification
About Kolmogorov-Smirnov検定
About Mizar
About description language
About formal verification
About 離散確率分布
About Code theory
About 確率分布
About 統計
About 識別
About 形式化