ベイジアンブートストラップ法を用いた分割表の全列挙手法に関する研究

基于贝叶斯引导法的列联表全枚举法研究

• 批准号: 16700263
• 负责人: 小野 陽子
• 金额: $ 1.28万
• 依托单位: Niigata University of International and Information Studies (2005)The University of Shimane (2004)
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Young Scientists (B)
• 财政年份: 2004
• 资助国家: 日本
• 起止时间: 2004 至 2005
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-16700263/
• 关键词: 分割表; 近似的ベイジアンブートストラップ; 自動証明; 近似ベイジアンブートストラップ法; 分割表の数え上げ; パスカップリング法

第75回日本統計学会(平成17年9月12日〜9月15日)にて、「ベイジアンブートストラッピングにおける事前分布の選択」という演題で発表した。本発表は、ブートストラップ法をベイズの枠組みで見直すことで、事前分布の違いがどのように作用するのかを確認し、新たな事前分布を提案したものであった。しかし、この提案はまだ数値実験の段階に留まっており、その妥当性などの証明には至っていない。提案した近似的ベイジアンブートストラップ法の低次モーメントの振る舞いを確認する必要があるものと思われる。また、ブートストラップにおけるサンプリングのランダム性について再考中である。TPHOLs 2005(平成17年8月、Oxford University, UK)にて、"Formalization of Hensel's Lemma"を発表し、抽象代数の計算機上での証明について、また、今後の自動証明への展望をまとめた。分割表の数え上げにおいて、代数的アプローチは重要な手法のひとつである。この基礎となる抽象代数として、Hensel's Lemmaまでの証明を計算機上で行った。この結果も残念ながら分割表の数え上げに関して直接的な結果を導くには至らなかったが、計算機上で積み上げながら証明をしていくことが今後の分割表全列挙に繋がるものと思われる。現在、プルーフチェッカーであるIsabellを用いて証明を行っているが、このIsabelleの証明成功過程のデータベースを有効活用し、今後の研究に用いたいと考えている。

The 75th return to the Japanese Statistical Society (Peicheng, September 12-September 15, 17). The performance schedule of the Japanese Statistical Society (Peicheng, September 12, 17) was selected in advance. In this table, we use this table, and we use the method to make sure that the group is responsible for the distribution of information, the distribution of information in advance, the confirmation of the role, and the distribution of the proposal beforehand. Please tell me the number of paragraphs in which you want to know about the appropriateness and appropriateness. The proposal is similar to that of the low-order vibration dance method to confirm that it is necessary. I don't know, I don't know. TPHOLs 2005 (August of Pingcheng, Oxford University, UK), "Formalization of Hensel's Lemma" calendar, Abstract Algebra Computing Machine provides information about how to do this, and how to do it in the future. The number of the partition table shows that the number of the algebra is very important. In this paper, abstract algebra is used in the abstract algebra, and Hensel's Lemma is used to understand the operation of the computer. The results show that the results show that all the data in the future segmentation table will be listed in the future segmentation table. At present, you need to know that the Isabell is successful and that the Isabelle is useful. In the future, the research will be conducted in the future.