About Takeuti Izumi
About National Institute of Advanced Industrial Science and Technology, Tsukuba, Ibaraki, Japan
About Adachi Tomoko
About Toho University, Funabashi, Chiba, Japan
About Japan Journal of Industrial and Applied Mathematics (Web)
About probability
About occlusion
About protocol
About random number
About logic
About homogeneity
About independency
About secret
About occlusion
About cryptographic protocol
About formal logic
About secret sharing
About Probabilistic concealment
About Secret sharing
About Probabilistic logic
About Formal proof
About Code theory
About 確率
About 隠蔽
About 形式化