2023年度統計関連学会連合大会

講演情報

一般講演

30 統計理論一般

[5FAM1] 統計理論一般

2023年9月7日(木) 10:00 〜 12:00 F会場(講義室2) (8号館2階)

座長:佐井 至道(岡山商科大)

11:00 〜 11:20

[5FAM1-04] 統計解析プログラムの正しさを保証するための形式検証技術

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

講演報告集原稿閲覧パスワード認証
講演報告集原稿の閲覧には、閲覧パスワードの入力が必要です。
講演報告集原稿は、9月1日(金)13時に公開予定です。公開後、参加登録者の皆様に閲覧パスワードをメールにてご案内いたします。

パスワード