小野 陽子
オノ ヨウコ (Yoko Ono)
更新日: 04/16
基本情報
- 学位
-
博士（工学）(東京理科大学)Master(Engineering)(Tokyo University of Science)
- J-GLOBAL ID
- 200901028867148469
- researchmap会員ID
- 5000045867
統計学における計算機集中技法と，Isabelle/HOLを用いた抽象数学定理自動証明システムの構築を中心に研究を行っている．
研究分野
2委員歴
3MISC
12-
数理解析研究所講究録 (2008) 37-46 2016年11月
-
数理解析研究所講究録 1915 26-37 2014年9月
-
数理解析研究所講究録 1873 82-87 2014年1月
-
数理解析研究所講究録 1809 93-99 2012年9月
-
数理解析研究所講究録 1769 75-82 2011年10月
-
新潟国際情報大学情報文化学部紀要 10 145-145 2007年5月30日
-
数理解析研究所講究録 1437 21-28 2005年6月
-
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年
主要な書籍等出版物
4講演・口頭発表等
1-
代数系、論理、言語と計算機科学 2019年2月21日
共同研究・競争的資金等の研究課題
9-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2012年4月 - 2015年3月
-
日本学術振興会 科学研究費助成事業 若手研究(B) 2007年 - 2008年
-
2004年 - 2008年
-
2004年 - 2008年
-
日本学術振興会 科学研究費助成事業 若手研究(B) 2004年 - 2005年
-
2001年 - 2004年
-
2001年 - 2004年
-
1998年 - 2003年
-
1998年 - 2003年