"Yusuke Kawamoto,Tetsuya Sato,Kohei Suenaga","Formalizing Statistical Beliefs in Hypothesis Testing Using Program Logic","18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022)","Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning",,,,,2021,Sept.
"Alejandro Aguirre,Gilles Barthe,Marco Gaboardi,Deepak Garg,Shin-ya Katsumata,Tetsuya Sato","Higher-order probabilistic adversarial computations: categorical semantics and program logics",,"Proceedings of the ACM on Programming Languages",,"Vol. 5","No. ICFP","pp. 1-30",2021,Aug.
"•½“c˜H˜a,“ì�o–õ•F,�²“¡“N–ç","Isabelle/HOL‚É‚æ‚é�‚ŠKŠm—¦“Iƒvƒ�ƒOƒ‰ƒ€ŒŸ�Ø","“ú–{ƒ\ƒtƒgƒEƒFƒA‰ÈŠw‰ï‘æ38‰ñ‘å‰ï",,,,,,2021,Aug.
"Marco Gaboardi,Shin-ya Katsumata,Dominic Orchard,Tetsuya Sato","Graded Hoare Logic and its Categorical Semantics","30th European Symposium on Programming (ESOP 2021)","Lecture Notes in Computer Scienece (LNCS)","Springer International Publishing","Volume 2648",,"pp. 234-263",2021,Mar.