研究者
J-GLOBAL ID：200901028867148469   更新日: 2024年04月16日

小野 陽子

オノ ヨウコ | Ono Yoko
研究分野 (2件)： 統計科学 ,  知能情報学
研究キーワード (4件)： 計算機統計学 ,  数理統計学 ,  Computational Statistics ,  Mathematical Statistics
競争的資金等の研究課題 (9件)：
  • 2012 - 2015 ブートストラップ型リサンプリングに関する基礎的研究
  • 2007 - 2008 汎用証明支援システムを用いた多次元分割表における群構造に関する研究
  • 2004 - 2008 Automated Reasoning for Algelbra
  • 2004 - 2008 抽象代数学における計算機自動証明システム
  • 2004 - 2005 ベイジアンブートストラップ法を用いた分割表の全列挙手法に関する研究
全件表示
MISC (12件)：
  • Kobayashi Hidetsune, Ono Yoko. The proof structure of a proof assistant Isabelle/HOL (Algebraic system, Logic, Language and Computer Science). 数理解析研究所講究録. 2016. 2008. 37-46
  • 小林 英恒, 小野 陽子. An automated reasoning system with a preparatory inference (New contact points of algebraic systems, logics, languages, and computer sciences). 数理解析研究所講究録. 2015. 1964. 35-39
  • 小林 英恒, 小野 陽子. A characteristic function to select rules for an automated prover (Logics, Algebras and Languages in Computer Science). 数理解析研究所講究録. 2014. 1915. 26-37
  • 小林 英恒, 小野 陽子. An analysis of the Bernstein's theorem for an automated prover (Algebra and Computer Science). 数理解析研究所講究録. 2014. 1873. 82-87
  • 小林 英恒, 小野 陽子. A Rule Selection Method for Automated Reasoning (Algebraic Systems and Theoretical Computer Science : RIMS研究集会報告集). 数理解析研究所講究録. 2012. 1809. 93-99
もっと見る
書籍 (4件)：
  • データサイエンス人材の行動規範
    2021 ISBN:9784873119526
  • 大学生の統計学 : 弱点克服
    東京図書 2020 ISBN:9784489023378
  • データサイエンス設計マニュアル
    オライリー・ジャパン,オーム社 (発売) 2020 ISBN:9784873118918
  • 応用Mathematica
    新紀元社
講演・口頭発表等 (1件)：
  • Generation of Propositions in Isabelle/HOL
    (代数系、論理、言語と計算機科学 2019)
学位 (2件)：
  • 博士(工学) (東京理科大学)
  • Master(Engineering) (Tokyo University of Science)
経歴 (3件)：
  • 横浜市立大学 国際総合科学部 物質科学コース 准教授
  • 新潟国際情報大学 情報文化学部 情報システム学科 講師
  • 新潟国際情報大学
委員歴 (3件)：
  • - 現在 日本数学会 正会員
  • 日本計算機統計学会 正会員
  • 日本統計学会 正会員
所属学会 (3件)：
日本数学会 ,  日本計算機統計学会 ,  日本統計学会
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM