"Michikazu Hirata","A Formalization of the L?vy-Prokhorov Metric in Isabelle/HOL","15th Conference on Interactive Theorem Proving(ITP2024)",,,,,,2024,Sept.
"Michikazu Hirata,Yasuhiko Minamide,Tetsuya Sato","Semantic Foundations of Higher-Order Probabilistic Programs in Isabelle/HOL","14th Conference on Interactive Theorem Proving(ITP2023)",,,,,,2023,July
"Michikazu Hirata,Yasuhiko Minamide,Tetsuya Sato","Program logic for higher-order probabilistic programs in Isabelle/HOL",,"Science of Computer Programming",,"Vol. 230",,,2023,June
"Michikazu Hirata,Yasuhiko Minamide,Tetsuya Sato","Program Logic for Higher-Order Probabilistic Programs in Isabelle/HOL","16th International Symposium on Functional and Logic Programming(FLOPS 2022)","Lecture notes in computer science, LNCS",,"volume 13215",,,2022,May
"•½“c˜H˜a,“ì�o–õ•F,�²“¡“N–ç","Isabelle/HOL‚É‚æ‚é�‚ŠKŠm—¦“Iƒvƒ�ƒOƒ‰ƒ€ŒŸ�Ø","“ú–{ƒ\ƒtƒgƒEƒFƒA‰ÈŠw‰ï‘æ38‰ñ‘å‰ï",,,,,,2021,Aug.