Michikazu Hirata

According to our database, Michikazu Hirata authored at least 10 papers between 2022 and 2024.

Collaborative distances:

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

2024

Coproduct Measure.

Michikazu Hirata

Arch. Formal Proofs, 2024

The Riesz Representation Theorem.

Michikazu Hirata

Arch. Formal Proofs, 2024

The Lévy-Prokhorov Metric.

Michikazu Hirata

Arch. Formal Proofs, 2024

A Formalization of the Lévy-Prokhorov Metric in Isabelle/HOL.

Michikazu Hirata

Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024

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