Formal Verification Method for Guaranteeing the Correctness of Statistical Programs

Presentation information

一般講演

30 統計理論一般

Thu. Sep 7, 2023 10:00 AM - 12:00 PM F会場（講義室2） (8号館2階)

座長：佐井至道（岡山商科大）

11:00 AM - 11:20 AM

〇川本裕輔¹、佐藤哲也²、末永幸平³ (1. 産業技術総合研究所、2. 東京工業大、3. 京都大)

Abstract password authentication.
Password is required to view the abstract. Please enter a password to authenticate.