Michikazu Hirata

According to our database, Michikazu Hirata authored at least 6 papers between 2022 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Program logic for higher-order probabilistic programs in Isabelle/HOL.

Michikazu Hirata, Yasuhiko Minamide, Tetsuya Sato

Sci. Comput. Program., August, 2023

S-Finite Measure Monad on Quasi-Borel Spaces.

Michikazu Hirata, Yasuhiko Minamide

Arch. Formal Proofs, 2023

Disintegration Theorem.

Michikazu Hirata

Arch. Formal Proofs, 2023

Standard Borel Spaces.

Michikazu Hirata

Arch. Formal Proofs, 2023

Semantic Foundations of Higher-Order Probabilistic Programs in Isabelle/HOL.

Michikazu Hirata, Yasuhiko Minamide, Tetsuya Sato

Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023

2022

Quasi-Borel Spaces.

Michikazu Hirata, Yasuhiko Minamide, Tetsuya Sato

Arch. Formal Proofs, 2022