ディープラーニングによるコンピュータビジョン キーワード：ディープラーニング , コンピュータビジョン 形式化数学検証 キーワード：形式化数学検証 e-learning キーワード：e-learning , CAI
所属学会
所属学会 電子情報通信学会 日本応用数理学会 MIZAR学会
学歴
出身大学院 1995 , 信州大学 , 情報工学専攻
出身学校・専攻等（大学院を除く） 1993 , 信州大学 , 工学部
取得学位 工学博士
研究職歴等
研究職歴 1997- , 信州大学工学部 助教
研究活動業績
研究業績（著書・ 発表論文等）
論文 A Simple Example for Linear Partial Differential Equations and Its Solution Using the Method of Separation of Variables FORMALIZED MATHEMATICS,27(1):25-34 2019 Author:Otsuki, Sora; Kawamoto, Pauline N.; Yamazaki, Hiroshi
Conservation Rules of Direct Sum Decomposition of Groups Formalized Mathematics,24(1):81-94 2016 Author:Kazuhisa Nakasho, Hiroshi Yamazaki, Hiroyuki Okazaki, Yasunari Shidama
Equivalent Expressions of Direct Sum Decomposition of Groups1 2015 Author:Kazuhisa Nakasho, Hiroshi Yamazaki, Hiroyuki Okazaki, Yasunari Shidama.
Definition and Properties of Direct Sum Decomposition of Groups1 Formalized Mathematics,23(1):15-27 2015 Author:Kazuhisa Nakasho, Hiroshi Yamazaki, Hiroyuki Okazaki, Yasunari Shidama
Isomorphisms of Direct Products of Finite Commutative Groups Formalized Mathematics,21(1):65-74 2013 Author:Hiroyuki Okazaki, Hiroshi Yamazaki, Yasunari Shidama
Isomorphisms of Direct Products of Cyclic Groups of Prime Power Order FORMALIZED MATHEMATICS,21(3):207-221 2013 Author:Hiroshi Yamazaki, Hiroyuki Okazaki, Kazuhisa Nakasho,Yasunari Shidama
The Cauchy-Riemann Differential Equations of Complex Functions FORMALIZED MATHEMATICS,17(2):147-149 2009 Author:Yamazaki, Hiroshi; Shidama, Yasunari; Pacharapokin, Chanapat; Nakamura Yatsuka
Extended Riemann Integral of Functions of Real Variable and One-sided Laplace Transform FORMALIZED MATHEMATICS,16(4):311-317 2008 Author:Yamazaki, Masahiko; Yamazaki, Hiroshi; Shidama, Yasunari
Inferior Limit, Superior Limit and Convergence of Sequences of Extended Real Numbers FORMALIZED MATHEMATICS,15(4):231-235 2007 Author:Yamazaki, Hiroshi; Endou, Noboru; Shidama, Yasunari; Okazaki, Hiroyuki
The Relevance of Measure and Probability, and Definition of Completeness of Probability FORMALIZED MATHEMATICS,14(4):225-229 2006 Author:Zhang, Bo; Yamazaki, Hiroshi; Nakamura, Yatsuka
A Theory of Matrices of Complex Elements FORMALIZED MATHEMATICS,13(1):157-162 2005 Author:Chang, Wenpai; Yamazaki, Hiroshi; Nakamura, Yatsuka
Limit of Sequence of Subsets FORMALIZED MATHEMATICS,13(2):347-352 2005 Author:Zhang, Bo; Yamazaki, Hiroshi; Nakamura, Yatsuka
The Inner Product and Conjugate of Finite Sequences of Complex Numbers FORMALIZED MATHEMATICS,13(3):367-373 2005 Author:Chang, Wenpai; Yamazaki, Hiroshi; Nakamura, Yatsuka
Inferior Limit and Superior Limit of Sequences of Real Numbers FORMALIZED MATHEMATICS,13(3):375-381 2005 Author:Zhang, Bo; Yamazaki, Hiroshi; Nakamura, Yatsuka
Some Equations Related to the Limit of Sequence of Subsets FORMALIZED MATHEMATICS,13(3):407-412 2005 Author:Zhang, Bo; Yamazaki, Hiroshi; Nakamura, Yatsuka
Set Sequences and Monotone Class FORMALIZED MATHEMATICS,13(4):435-441 2005 Author:Zhang, Bo; Yamazaki, Hiroshi; Nakamura, Yatsuka
The Inner Product and Conjugate of Matrix of Complex Numbers FORMALIZED MATHEMATICS,13(4):493-499 2005 Author:Chang, Wenpai; Yamazaki, Hiroshi; Nakamura, Yatsuka
Formulas and Identities of Hyperbolic Functions FORMALIZED MATHEMATICS,13(4):511-513 2005 Author:Chanapat, Pacharapokin; Yamazaki, Hiroshi
Web 上のテスト問題出題システムの開発 電子情報通信学会技術研究報告. ET, 教育工学,102(697):91-96 2003(Feb. 28) Author:山崎 浩;國宗 永佳;中村 八束 Keywords:CAI;Web;大学講義
On Replace Function and Swap Function for Finite Sequences Formalized Mathematics,9 2000 Author:H.Yamazaki, Y.Fujisawa, 他1名
Compactness of a set of multilayer neural networks and existence of neural network optimal control ELECTRONICS AND COMMUNICATIONS IN JAPAN PART III-FUNDAMENTAL ELECTRONIC SCIENCE,80(3):13-20 1997(Mar.) Author:Yamazaki, H; Shidama, Y; Eguchi, M; Kobayashi, H;
An Optimizing Fuzzy Logic with Genetic Algorithm Proc.of 1996 IEEE International Conference on Evolutionary Computation(ICEC,5:239-242 1996 Author:A.Uchibori, H.Yamazaki, 他2名
The Convergency of Optimizing Fuzzy Logic with GA Proc.of First Asia-Pacific Conference on Simulated Evolution and Learning(SEAL,11:91-97 1996 Author:A.Uchibori, H.Yamazaki, Y.Shidama, 他2名
The Compactness of a Set of Membership Functions and Its Application to Fuzzy Optimal Control Proc.of The Fourth International Conference on Control, Automation, Robotics and Vision (ICARCV '96),12:2171-2174 1996 Author:H.Yamazaki, Y.Shidama, 他2名
研究者総覧
