山崎 浩 (ヤマザキ ヒロシ)
工学部 電子情報システム工学科
特任助教
研究者情報
研究活動情報
論文
- A Simple Example for Linear Partial Differential Equations and Its Solution Using the Method of Separation of Variables
Otsuki, Sora; Kawamoto, Pauline N.; Yamazaki, Hiroshi
Formalized Mathematics, 27(1), 25-34, 2019年
- Conservation Rules of Direct Sum Decomposition of Groups
Kazuhisa Nakasho, Hiroshi Yamazaki, Hiroyuki Okazaki, Yasunari Shidama
Formalized Mathematics, 24(1), 81-94, 2016年 - Definition and Properties of Direct Sum Decomposition of Groups1
Kazuhisa Nakasho, Hiroshi Yamazaki, Hiroyuki Okazaki, Yasunari Shidama
Formalized Mathematics, 23(1), 15-27, 2015年 - Equivalent Expressions of Direct Sum Decomposition of Groups1
Kazuhisa Nakasho, Hiroshi Yamazaki, Hiroyuki Okazaki, Yasunari Shidama.
2015年 - Isomorphisms of Direct Products of Cyclic Groups of Prime Power Order
Hiroshi Yamazaki, Hiroyuki Okazaki, Kazuhisa Nakasho,Yasunari Shidama
Formalized Mathematics, 21(3), 207-221, 2013年 - Isomorphisms of Direct Products of Finite Commutative Groups
Hiroyuki Okazaki, Hiroshi Yamazaki, Yasunari Shidama
Formalized Mathematics, 21(1), 65-74, 2013年 - Mizarによる大学数学向け高度遠隔教育用コンテンツ開発
井戸 貴也;岡崎 裕之;山崎 浩;師玉 康成
電子情報通信学会技術研究報告. ET, 教育工学, 112(300), 13-17, 2012年11月10日
- Morphology for Image Processing, Part I
Hiroshi Yamazaki, Czeslaw Byli'nski, Katsumi Wasaki
Formalized Mathematics, 20(1), 61-63, 2012年 - The Cauchy-Riemann Differential Equations of Complex Functions
Yamazaki, Hiroshi; Shidama, Yasunari; Pacharapokin, Chanapat; Nakamura Yatsuka
Formalized Mathematics, 17(2), 147-149, 2009年 - Complex Function Differentiability
Pacharapokin, Chanapat; Yamazaki, Hiroshi; Shidama, Yasunari; Nakamura, Yatsuka
Formalized Mathematics, 17(2), 67-72, 2009年 - Complex Integral
Yamazaki, Masahiko; Yamazaki, Hiroshi; Wasaki, Katsumi; Shidama, Yasunari
Formalized Mathematics, 17(4), 233-236, 2009年 - Extended Riemann Integral of Functions of Real Variable and One-sided Laplace Transform
Yamazaki, Masahiko; Yamazaki, Hiroshi; Shidama, Yasunari
Formalized Mathematics, 16(4), 311-317, 2008年 - Inferior Limit, Superior Limit and Convergence of Sequences of Extended Real Numbers
Yamazaki, Hiroshi; Endou, Noboru; Shidama, Yasunari; Okazaki, Hiroyuki
Formalized Mathematics, 15(4), 231-235, 2007年 - The Relevance of Measure and Probability, and Definition of Completeness of Probability
Zhang, Bo; Yamazaki, Hiroshi; Nakamura, Yatsuka
Formalized Mathematics, 14(4), 225-229, 2006年 - Formulas and Identities of Hyperbolic Functions
Chanapat, Pacharapokin; Yamazaki, Hiroshi
Formalized Mathematics, 13(4), 511-513, 2005年 - The Inner Product and Conjugate of Matrix of Complex Numbers
Chang, Wenpai; Yamazaki, Hiroshi; Nakamura, Yatsuka
Formalized Mathematics, 13(4), 493-499, 2005年 - Set Sequences and Monotone Class
Zhang, Bo; Yamazaki, Hiroshi; Nakamura, Yatsuka
Formalized Mathematics, 13(4), 435-441, 2005年 - Some Equations Related to the Limit of Sequence of Subsets
Zhang, Bo; Yamazaki, Hiroshi; Nakamura, Yatsuka
Formalized Mathematics, 13(3), 407-412, 2005年 - Inferior Limit and Superior Limit of Sequences of Real Numbers
Zhang, Bo; Yamazaki, Hiroshi; Nakamura, Yatsuka
Formalized Mathematics, 13(3), 375-381, 2005年 - The Inner Product and Conjugate of Finite Sequences of Complex Numbers
Chang, Wenpai; Yamazaki, Hiroshi; Nakamura, Yatsuka
Formalized Mathematics, 13(3), 367-373, 2005年 - Limit of Sequence of Subsets
Zhang, Bo; Yamazaki, Hiroshi; Nakamura, Yatsuka
Formalized Mathematics, 13(2), 347-352, 2005年 - A Theory of Matrices of Complex Elements
Chang, Wenpai; Yamazaki, Hiroshi; Nakamura, Yatsuka
Formalized Mathematics, 13(1), 157-162, 2005年 - Web 上のテスト問題出題システムの開発
山崎 浩;國宗 永佳;中村 八束
電子情報通信学会技術研究報告. ET, 教育工学, 102(697), 91-96, 2003年02月28日 - Webを用いたドリル型CAIシステムによる大学講義とその評価
不破 泰;中村 八束;山崎 浩;大下 眞二郎
教育システム情報学会研究報告, 2000(1), 61-66, 2000年07月22日 - On Replace Function and Swap Function for Finite Sequences
H.Yamazaki, Y.Fujisawa, 他1名
Formalized Mathematics, 9, 2000年 - Compactness of a set of multilayer neural networks and existence of neural network optimal control
Yamazaki, H; Shidama, Y; Eguchi, M; Kobayashi, H;
ELECTRONICS AND COMMUNICATIONS IN JAPAN PART III-FUNDAMENTAL ELECTRONIC SCIENCE, 80(3), 13-20, 1997年03月 - ある階層型ニューラルネットワーク集合のコンパクト性とニューラルネットワークによるある最適制御の存在
山崎 浩;師玉 康成;江口 正義;小林 洋
電子情報通信学会論文誌. A, 基礎・境界, 79(5), 1058-1064, 1996年05月25日 - The Compactness of a Set of Membership Functions and Its Application to Fuzzy Optimal Control
H.Yamazaki, Y.Shidama, 他2名
Proc.of The Fourth International Conference on Control, Automation, Robotics and Vision (ICARCV '96), 12, 2171-2174, 1996年 - The Convergency of Optimizing Fuzzy Logic with GA
A.Uchibori, H.Yamazaki, Y.Shidama, 他2名
Proc.of First Asia-Pacific Conference on Simulated Evolution and Learning(SEAL, 11, 91-97, 1996年 - An Optimizing Fuzzy Logic with Genetic Algorithm
A.Uchibori, H.Yamazaki, 他2名
Proc.of 1996 IEEE International Conference on Evolutionary Computation(ICEC, 5, 239-242, 1996年 - 弱非線形差分方程式の解を含む低次元多様体とレギュレータ問題
江口 正義;師玉 康成;山崎 浩;山浦 弘夫
電子情報通信学会論文誌. A, 基礎・境界, 76(8), 1158-1167, 1993年08月25日
