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

研究者総覧研究者総覧

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

山崎 浩  ヤマザキ ヒロシ

教員組織電話番号
教育組織工学部FAX番号
職名特任助教メールアドレス
住所〒380-8553 長野県長野市若里4-17-1ホームページURL

更新日:2022/04/12

プロフィール

研究分野
機械学習
e-learning
コンピュータビジョン
キーワード:ディープラーニング , 画像認識 , e-learning
現在の研究課題
ディープラーニングによるコンピュータビジョン
キーワード:ディープラーニング , コンピュータビジョン
形式化数学検証
キーワード:形式化数学検証
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


Mizarによる大学数学向け高度遠隔教育用コンテンツ開発
電子情報通信学会技術研究報告. ET, 教育工学,112(300):13-17 2012(Nov. 10)
Author:井戸 貴也;岡崎 裕之;山崎 浩;師玉 康成
Keywords:形式的検証;Mizar;ユークリッドの互除法


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


Complex Integral
FORMALIZED MATHEMATICS,17(4):233-236 2009
Author:Yamazaki, Masahiko; Yamazaki, Hiroshi; Wasaki, Katsumi; Shidama, Yasunari


Complex Function Differentiability
FORMALIZED MATHEMATICS,17(2):67-72 2009
Author:Pacharapokin, Chanapat; Yamazaki, Hiroshi; Shidama, Yasunari; Nakamura, Yatsuka


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;大学講義


Webを用いたドリル型CAIシステムによる大学講義とその評価
教育システム情報学会研究報告,2000(1):61-66 2000(Jul. 22)
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;


ある階層型ニューラルネットワーク集合のコンパクト性とニューラルネットワークによるある最適制御の存在
電子情報通信学会論文誌. A, 基礎・境界,79(5):1058-1064 1996(May 25)
Author:山崎 浩;師玉 康成;江口 正義;小林 洋
Keywords:最適制御;非線形フィードバック;ニューラルネットワーク;コンパクト性


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, 基礎・境界,76(8):1158-1167 1993(Aug. 25)
Author:江口 正義;師玉 康成;山崎 浩;山浦 弘夫
Keywords:最適制御;非線形レギュレータ;離散時間系;非線形フィードバック;不動点定理;多様体

研究費
共同研究
2019 - 2020 , 画像処理フレームワークの研究 , 企業等からの受託研究
2018 - 2018 , 機械学習を用いた検査システムの開発 , 企業等からの受託研究

奨学寄附金
2013

教育活動実績

授業等
2019 , 前期 , 数理論理
2019 , 前期 , 電子情報基礎実験
2019 , 後期 , 情報数学