Rchr
J-GLOBAL ID:200901028867148469   Update date: Jun. 13, 2019

Ono Yoko

オノ ヨウコ | Ono Yoko
Affiliation and department:
Job title: Associate Professor
Research field  (2): Intelligent informatics ,  Statistical science
Research keywords  (4): 計算機統計学 ,  数理統計学 ,  Computational Statistics ,  Mathematical Statistics
Research theme for competitive and other funds  (6):
  • 2004 - 2008 Automated Reasoning for Algelbra
  • 2004 - 2008 抽象代数学における計算機自動証明システム
  • 2001 - 2004 Exact counting for contingency tables
  • 2001 - 2004 分割表の全列挙手法に関する研究
  • 1998 - 2003 On bootstrap method and its application
Show all
MISC (8):
  • 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
  • Synbolic Algorithms for obtaining Moments and "Moments of Momets" of Bootstrap Distributions. Journal of Japan Society for Symbolic and Algobraic Computation. 2001. 8(2)37-48
more...
Books (1):
  • 応用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) (4):
THE MATHEMATICAL SOCIETY OF JAPAN ,  日本計算機統計学会 ,  日本統計学会 ,  Japan Statistical Society
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page