Michikazu Hirata

13 papers B 2Misc 1Journal 10

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Differential Privacy using Quasi-Borel Spaces. Arch. Formal Proofs Michikazu Hirata
2025	J	`jnl`	No-free-lunch theorem for machine learning. Arch. Formal Proofs Michikazu Hirata
2024	B	`conf`	A Formalization of the Lévy-Prokhorov Metric in Isabelle/HOL. ITP Michikazu Hirata
2024	J	`jnl`	Coproduct Measure. Arch. Formal Proofs Michikazu Hirata
2024	J	`jnl`	The Lévy-Prokhorov Metric. Arch. Formal Proofs Michikazu Hirata
2024	J	`jnl`	The Riesz Representation Theorem. Arch. Formal Proofs Michikazu Hirata
2023	J	`jnl`	Disintegration Theorem. Arch. Formal Proofs Michikazu Hirata
2023	J	`jnl`	Program logic for higher-order probabilistic programs in Isabelle/HOL. Sci. Comput. Program. Michikazu Hirata, Yasuhiko Minamide, Tetsuya Sato
2023	J	`jnl`	S-Finite Measure Monad on Quasi-Borel Spaces. Arch. Formal Proofs Michikazu Hirata, Yasuhiko Minamide
2023	B	`conf`	Semantic Foundations of Higher-Order Probabilistic Programs in Isabelle/HOL. ITP Michikazu Hirata, Yasuhiko Minamide, Tetsuya Sato
2023	J	`jnl`	Standard Borel Spaces. Arch. Formal Proofs Michikazu Hirata
2022	Misc	`conf`	Program Logic for Higher-Order Probabilistic Programs in Isabelle/HOL. FLOPS Michikazu Hirata, Yasuhiko Minamide, Tetsuya Sato
2022	J	`jnl`	Quasi-Borel Spaces. Arch. Formal Proofs Michikazu Hirata, Yasuhiko Minamide, Tetsuya Sato