"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 "Tetsuya Sato,勝股審也","関係プログラム論理のためのモナド上のダイバージェンス","第24回プログラミングおよびプログラミング言語ワークショップ(PPL 2022)",,,,,,2022,Mar.