山崎浩 (HIROSHI YAMAZAKI) - マイポータル

基本情報

所属: 信州大学工学部特任助教

J-GLOBAL ID: 200901086126708700
researchmap会員ID: 1000221021

研究キーワード

論文

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年
Equivalent Expressions of Direct Sum Decomposition of Groups1

Kazuhisa Nakasho, Hiroshi Yamazaki, Hiroyuki Okazaki, Yasunari Shidama.

2015年
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年
Definition and Properties of Direct Sum Decomposition of Groups1

Kazuhisa Nakasho, Hiroshi Yamazaki, Hiroyuki Okazaki, Yasunari Shidama

Formalized Mathematics 23(1) 15-27 2015年
Isomorphisms of Direct Products of Finite Commutative Groups

Hiroyuki Okazaki, Hiroshi Yamazaki, Yasunari Shidama

Formalized Mathematics 21(1) 65-74 2013年
Isomorphisms of Direct Products of Finite Commutative Groups

Hiroyuki Okazaki, Hiroshi Yamazaki, Yasunari Shidama

Formalized Mathematics 21(1) 65-74 2013年
Isomorphisms of Direct Products of Cyclic Groups of Prime Power Order

Hiroshi Yamazaki, Hiroyuki Okazaki, Kazuhisa Nakasho,Yasunari Shidama

FORMALIZED MATHEMATICS 21(3) 207-211 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年1月1日
Complex Integral

Yamazaki, Masahiko, Yamazaki, Hiroshi, Wasaki, Katsumi, Shidama, Yasunari

FORMALIZED MATHEMATICS 17(4) 233-236 2009年1月1日
Complex Function Differentiability

Pacharapokin, Chanapat, Yamazaki, Hiroshi, Shidama, Yasunari, Nakamura, Yatsuka

FORMALIZED MATHEMATICS 17(2) 67-72 2009年1月1日
The Cauchy-Riemann Differential Equations of Complex Functions

Yamazaki, Hiroshi, Shidama, Yasunari, Pacharapokin, Chanapat, Nakamura Yatsuka

FORMALIZED MATHEMATICS 17(2) 147-149 2009年1月1日
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年
A Theory of Matrices of Complex Elements

Chang, Wenpai, Yamazaki, Hiroshi, Nakamura, Yatsuka

FORMALIZED MATHEMATICS 13(1) 157-162 2005年
Limit of Sequence of Subsets

Zhang, Bo, Yamazaki, Hiroshi, Nakamura, Yatsuka

FORMALIZED MATHEMATICS 13(2) 347-352 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年

もっとみる

所属学協会

共同研究・競争的資金等の研究課題

画像処理フレームワークの研究

有限会社飯綱信号処理研究所共同研究 2019年7月 - 2020年7月

山崎浩
機械学習を用いた検査システムの開発

テスコム電気株式会社共同研究 2018年4月 - 2019年3月

山崎浩
ディープラーニングによるコンピュータビジョン