Yoko Ono
(小野 陽子)
Modified on: 01/31
Profile Information
- Affiliation
- Associate Professor, School of Data Science, Yokohama City University
- Degree
-
Doctor(Engineering)(Tokyo University of Science)Master(Engineering)(Tokyo University of Science)
- J-GLOBAL ID
- 200901028867148469
- researchmap Member ID
- 5000045867
統計学における計算機集中技法と,Isabelle/HOLを用いた抽象数学定理自動証明システムの構築を中心に研究を行っている.
Research Interests
4Research History
3Committee Memberships
3-
- Present
Misc.
12-
RIMS Kokyuroku, 1964 35-39, Oct, 2015
-
RIMS Kokyuroku, 1915 26-37, Sep, 2014
-
RIMS Kokyuroku, 1873 82-87, Jan, 2014
-
A Rule Selection Method for Automated Reasoning (Algebraic Systems and Theoretical Computer Science)RIMS Kokyuroku, 1809 93-99, Sep, 2012
-
RIMS Kokyuroku, 1769 75-82, Oct, 2011
-
Bulletin of Niigata University of International and Information Studies Department of Information Culture, 10 145-145, May 30, 2007
-
RIMS Kokyuroku, 1437 21-28, Jun, 2005
-
Journal of Japan Society for Symbolic and Algobraic Computation, 8(2)37-48, 2001
-
Science University of Tokyo(Doctor thesis), 2001
-
Journal of Japan Society for Symbolic and Algobraic Computation, 8(2) 37-48, 2001
-
Science University of Tokyo(Doctor thesis), 2001
Major Books and Other Publications
4Presentations
1-
代数系、論理、言語と計算機科学, Feb 21, 2019
Professional Memberships
3Research Projects
9-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (C), Japan Society for the Promotion of Science, Apr, 2012 - Mar, 2015
-
Grants-in-Aid for Scientific Research, Grant-in-Aid for Young Scientists (B), Japan Society for the Promotion of Science, 2007 - 2008
-
2004 - 2008
-
2004 - 2008
-
科学研究費助成事業, 若手研究(B), 日本学術振興会, 2004 - 2005
-
2001 - 2004
-
2001 - 2004
-
1998 - 2003
-
1998 - 2003