信州大学HOMEENGLISH交通・キャンパス案内

研究者総覧研究者総覧

研究者、研究内容などで検索
項目別検索はこちら

山崎浩  ヤマザキ ヒロシ

教員組織学術研究院(工学系)電話番号
教育組織工学部 電子情報システム工学科FAX番号
職名助教メールアドレス
住所ホームページURL

更新日:2017/08/28

プロフィール

研究分野
機械学習
e-learning
コンピュータビジョン
キーワード:ディープラーニング , 画像認識 , e-learning
現在の研究課題
ディープラーニングによるコンピュータビジョン
キーワード:ディープラーニング , コンピュータビジョン
形式化数学検証
キーワード:形式化数学検証
e-learning
キーワード:e-learning , CAI
所属学会
所属学会
電子情報通信学会
日本応用数理学会
MIZAR学会
学歴
出身大学院
1995 , 信州大学 , 情報工学専攻

出身学校・専攻等(大学院を除く)
1993 , 信州大学 , 工学部

取得学位
工学博士
研究職歴等
研究職歴
1997- , 信州大学工学部 助教

研究活動業績

研究業績(著書・
発表論文等)
論文
Conservation Rules of Direct Sum Decomposition of Groups
ormalized 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


Morphology for Image Processing, Part I
Formalized Mathematics,20(1):61-63 2012
Author:Hiroshi Yamazaki, Czeslaw Byli'nski, Katsumi Wasaki


On Replace Function and Swap Function for Finite Sequences
Formalized Mathematics,9 2000
Author:H.Yamazaki, Y.Fujisawa, 他1名


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名


あろ階層型ニューラルネットワーク集合のコンパクト性とニューラルネットワークによくある最適制御の存在
電子情報通信学会論文誌A,J79-A(5):1058-1064 1996
Author:山崎浩/師玉康成/江口正義/小林洋

教育活動実績

授業等
2017 , 前期 , 電子情報基礎実験
2016 , 後期 , 情報数学