論文

• Michikazu Hirata. A Formalization of the Lévy-Prokhorov Metric in Isabelle/HOL, 15th Conference on Interactive Theorem Proving(ITP2024), Sept. 2024.  公式リンク  
  
• Michikazu Hirata, Yasuhiko Minamide, Tetsuya Sato. Semantic Foundations of Higher-Order Probabilistic Programs in Isabelle/HOL, 14th Conference on Interactive Theorem Proving(ITP2023), July 2023.  公式リンク  
  
• Michikazu Hirata, Yasuhiko Minamide, Tetsuya Sato. Program logic for higher-order probabilistic programs in Isabelle/HOL, Science of Computer Programming, Vol. 230, June 2023.
• 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, May 2022.  公式リンク  
  

国内会議発表 (査読なし・不明)

• 平田路和, 南出靖彦, 佐藤哲也. Isabelle/HOLによる高階確率的プログラム検証, 日本ソフトウェア科学会第38回大会, Aug. 2021.  公式リンク  
  

[ BibTeX 形式で保存 ]    [ 論文・著書をCSV形式で保存 ]    [ 特許をCSV形式で保存 ]