著者

佐藤 雅美 斎藤 泰紀 永元 則義 太田 伸一郎 今井 督 須田 秀一 仲田 祐 中嶋 隆太郎 佐藤 博俊 藤村 重文

出版者

特定非営利活動法人日本臨床細胞学会

雑誌

日本臨床細胞学会雑誌 (ISSN:03871193)

巻号頁・発行日

vol.31, no.6, pp.887-896, 1992-11

被引用文献数

7

著者

石井 信 佐藤 雅昭

出版者

一般社団法人電子情報通信学会

雑誌

電子情報通信学会技術研究報告. NC, ニューロコンピューティング (ISSN:09135685)

巻号頁・発行日

vol.101, no.616, pp.31-38, 2002-01-22

被引用文献数

2

---

関数近似器である正規化ガウス関数ネットワークは混合指数分布族として定式化される。よって、最尤推定法におけるEMアルゴリズムの自然な拡張である変分法的ベイズ学習法が導入される。本研究では、変分法的ベイズ学習法に階層的事前分布と確信度を導入した。また階層的モデル選択法を導入した。簡単な2次元の関数近似問題とカオス力学系の再構成問題に適用して良い結果が得られた。

著者

永山 友和 佐藤 雅彦 亀山 幸義

出版者

一般社団法人情報処理学会

雑誌

情報処理学会論文誌プログラミング(PRO) (ISSN:18827802)

巻号頁・発行日

vol.42, no.11, pp.100-100, 2001-11-15

---

仕様からプログラムを開発する際,抽象的な仕様を具体的なプログラムへ変換することが行われている.抽象的な仕様には,用いるプログラミング言語では与えられていないデータ構造が含まれている可能性があり,具体的なプログラムとは,それらのデータ構造が実現されたプログラムである.このような変換のことを"詳細化"と呼ぶ.Honsellは,Pre Logical Relationを用いる,詳細化の正しさの証明技法を提案した.本研究では,定理証明システムCoqを用いて彼らの技法を形式化した.このことより,計算機上でプログラムの詳細化の正しさを厳密に証明することができる.In developing programs form specifications, we transform abstract programs (specifications) into concrete programs. Abstract programs may have data, which are not available in our programming languages. In concrete programs, these data are represented by data which are provided. We call these transformation data refinement. Honsell suggest proof method of data refinement which use pre-logical relation. In this paper, we formalize their method with Coq. As a result, we can strictly prove the correctness of data refinement on computer.