Rchr
J-GLOBAL ID:200901028867148469   Update date: Apr. 16, 2024

Ono Yoko

オノ ヨウコ | Ono Yoko
Research field  (2): Statistical science ,  Intelligent informatics
Research keywords  (4): 計算機統計学 ,  数理統計学 ,  Computational Statistics ,  Mathematical Statistics
Research theme for competitive and other funds  (9):
  • 2012 - 2015 Basic research on resampling of the bootstrap type
  • 2007 - 2008 Group structure of n-way contingency tables with a proof assistant system
  • 2004 - 2008 Automated Reasoning for Algelbra
  • 2004 - 2008 抽象代数学における計算機自動証明システム
  • 2004 - 2005 ベイジアンブートストラップ法を用いた分割表の全列挙手法に関する研究
Show all
MISC (12):
  • The proof structure of a proof assistant Isabelle/HOL (Algebraic system, Logic, Language and Computer Science). 2016. 2008. 37-46
  • Kobayashi Hidetsune, Ono Yoko. An automated reasoning system with a preparatory inference (New contact points of algebraic systems, logics, languages, and computer sciences). RIMS Kokyuroku. 2015. 1964. 35-39
  • Kobayashi Hidetsune, Ono Yoko. A characteristic function to select rules for an automated prover (Logics, Algebras and Languages in Computer Science). RIMS Kokyuroku. 2014. 1915. 26-37
  • Kobayashi Hidetune, Ono Yoko. An analysis of the Bernstein's theorem for an automated prover (Algebra and Computer Science). RIMS Kokyuroku. 2014. 1873. 82-87
  • Kobayashi Hidetune, Ono Yoko. A Rule Selection Method for Automated Reasoning (Algebraic Systems and Theoretical Computer Science). RIMS Kokyuroku. 2012. 1809. 93-99
more...
Books (4):
  • データサイエンス人材の行動規範
    2021 ISBN:9784873119526
  • 大学生の統計学 : 弱点克服
    東京図書 2020 ISBN:9784489023378
  • データサイエンス設計マニュアル
    オライリー・ジャパン,オーム社 (発売) 2020 ISBN:9784873118918
  • 応用Mathematica
    新紀元社
Lectures and oral presentations  (1):
  • Generation of Propositions in Isabelle/HOL
    (代数系、論理、言語と計算機科学 2019)
Professional career (2):
  • Doctor(Engineering) (Tokyo University of Science)
  • Master(Engineering) (Tokyo University of Science)
Work history (3):
  • Yokohama City University International College of Arts and Sciences Materials Science
  • Nigata University of International and Information Studies The Department of Information System, Nigata University of International and Information Studies
  • Nigata University of International and Information Studies The Department of Information System Lecturer
Committee career (3):
  • - 現在 日本数学会 正会員
  • 日本計算機統計学会 正会員
  • 日本統計学会 正会員
Association Membership(s) (3):
THE MATHEMATICAL SOCIETY OF JAPAN ,  日本計算機統計学会 ,  日本統計学会
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page