YAMAZAKI HIROSHI
Faculty of Engineering Electrical and Computer Engineering
Assistant Professor
Researcher Information
Research activity information
Paper
- 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
- 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 - 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 - 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, Mar. 1997 - 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
