山崎 浩 (ヤマザキ ヒロシ)   

工学部 電子情報システム工学科 

特任助教 

学位

  • 工学博士

研究キーワード

    ディープラーニング, 画像認識, e-learning

研究分野

  • e-Learning
  • コンピュータビジョン
  • 機械学習

経歴

  • 1997年
    信州大学工学部 助教

学歴

  • 1995年, 信州大学, 情報工学専攻
  • 1993年, 信州大学, 工学部

論文

  • 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年WebofScience電子ジャーナル
  • Conservation Rules of Direct Sum Decomposition of Groups
    Kazuhisa Nakasho, Hiroshi Yamazaki, Hiroyuki Okazaki, Yasunari Shidama
    Formalized Mathematics, 24(1), 81-94, 2016年WebofScience
  • Definition and Properties of Direct Sum Decomposition of Groups1
    Kazuhisa Nakasho, Hiroshi Yamazaki, Hiroyuki Okazaki, Yasunari Shidama
    Formalized Mathematics, 23(1), 15-27, 2015年WebofScience電子ジャーナル
  • Equivalent Expressions of Direct Sum Decomposition of Groups1
    Kazuhisa Nakasho, Hiroshi Yamazaki, Hiroyuki Okazaki, Yasunari Shidama.
    2015年WebofScience電子ジャーナル
  • 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年WebofScience電子ジャーナル
  • Isomorphisms of Direct Products of Finite Commutative Groups
    Hiroyuki Okazaki, Hiroshi Yamazaki, Yasunari Shidama
    Formalized Mathematics, 21(1), 65-74, 2013年WebofScience電子ジャーナル
  • 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年WebofScience電子ジャーナル
  • The Cauchy-Riemann Differential Equations of Complex Functions
    Yamazaki, Hiroshi; Shidama, Yasunari; Pacharapokin, Chanapat; Nakamura Yatsuka
    Formalized Mathematics, 17(2), 147-149, 2009年WebofScience電子ジャーナル
  • Complex Function Differentiability
    Pacharapokin, Chanapat; Yamazaki, Hiroshi; Shidama, Yasunari; Nakamura, Yatsuka
    Formalized Mathematics, 17(2), 67-72, 2009年WebofScience電子ジャーナル
  • Complex Integral
    Yamazaki, Masahiko; Yamazaki, Hiroshi; Wasaki, Katsumi; Shidama, Yasunari
    Formalized Mathematics, 17(4), 233-236, 2009年WebofScience電子ジャーナル
  • 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年WebofScience電子ジャーナル
  • 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年WebofScience電子ジャーナル
  • 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年WebofScience電子ジャーナル
  • Formulas and Identities of Hyperbolic Functions
    Chanapat, Pacharapokin; Yamazaki, Hiroshi
    Formalized Mathematics, 13(4), 511-513, 2005年WebofScience
  • The Inner Product and Conjugate of Matrix of Complex Numbers
    Chang, Wenpai; Yamazaki, Hiroshi; Nakamura, Yatsuka
    Formalized Mathematics, 13(4), 493-499, 2005年WebofScience
  • Set Sequences and Monotone Class
    Zhang, Bo; Yamazaki, Hiroshi; Nakamura, Yatsuka
    Formalized Mathematics, 13(4), 435-441, 2005年WebofScience
  • Some Equations Related to the Limit of Sequence of Subsets
    Zhang, Bo; Yamazaki, Hiroshi; Nakamura, Yatsuka
    Formalized Mathematics, 13(3), 407-412, 2005年WebofScience
  • Inferior Limit and Superior Limit of Sequences of Real Numbers
    Zhang, Bo; Yamazaki, Hiroshi; Nakamura, Yatsuka
    Formalized Mathematics, 13(3), 375-381, 2005年WebofScience
  • The Inner Product and Conjugate of Finite Sequences of Complex Numbers
    Chang, Wenpai; Yamazaki, Hiroshi; Nakamura, Yatsuka
    Formalized Mathematics, 13(3), 367-373, 2005年WebofScience
  • Limit of Sequence of Subsets
    Zhang, Bo; Yamazaki, Hiroshi; Nakamura, Yatsuka
    Formalized Mathematics, 13(2), 347-352, 2005年WebofScience
  • A Theory of Matrices of Complex Elements
    Chang, Wenpai; Yamazaki, Hiroshi; Nakamura, Yatsuka
    Formalized Mathematics, 13(1), 157-162, 2005年WebofScience
  • 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月WebofScience
  • ある階層型ニューラルネットワーク集合のコンパクト性とニューラルネットワークによるある最適制御の存在
    山崎 浩;師玉 康成;江口 正義;小林 洋
    電子情報通信学会論文誌. 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日リポジトリ

担当経験のある科目_授業

  • 数理論理
    信州大学
  • 情報数学
    信州大学
  • 電子情報基礎実験
    信州大学

所属学協会

  • 電子情報通信学会
  • 日本応用数理学会
  • MIZAR学会

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

  • 画像処理フレームワークの研究
    共同研究, 有限会社飯綱信号処理研究所
    2019年07月10日 - 2020年07月31日
  • 機械学習を用いた検査システムの開発
    共同研究, テスコム電気株式会社
    2018年04月13日 - 2019年03月31日
  • 信州情報基礎研究会
    2013年
  • ディープラーニングによるコンピュータビジョン
  • e-learning
  • 形式化数学検証