研究者
J-GLOBAL ID:200901086126708700   更新日: 2019年09月11日

山崎浩

ヤマザキヒロシ | YAMAZAKI HIROSHI
所属機関・部署:
職名: 助教
競争的資金等の研究課題 (3件):
  • ディープラーニングによるコンピュータビジョン
  • 2019 - 2020 画像処理フレームワークの研究
  • 2018 - 2019 機械学習を用いた検査システムの開発
論文 (31件):
  • Otsuki, Sora; Kawamoto, Pauline N.; Yamazaki, Hiroshi. A Simple Example for Linear Partial Differential Equations and Its Solution Using the Method of Separation of Variables. FORMALIZED MATHEMATICS. 2019. 27. 1. 25-34
  • Kazuhisa Nakasho, Hiroshi Yamazaki, Hiroyuki Okazaki, Yasunari Shidama. Conservation Rules of Direct Sum Decomposition of Groups. Formalized Mathematics. 2016. 24. 1. 81-94
  • Kazuhisa Nakasho, Hiroshi Yamazaki, Hiroyuki Okazaki, Yasunari Shidama. Definition and Properties of Direct Sum Decomposition of Groups1. Formalized Mathematics. 2015. 23. 1. 15-27
  • Kazuhisa Nakasho, Hiroshi Yamazaki, Hiroyuki Okazaki, Yasunari Shidama. Equivalent Expressions of Direct Sum Decomposition of Groups1. 2015
  • Hiroshi Yamazaki, Hiroyuki Okazaki, Kazuhisa Nakasho,Yasunari Shidama. Isomorphisms of Direct Products of Cyclic Groups of Prime Power Order. FORMALIZED MATHEMATICS. 2013. 21. 3. 207-221
もっと見る
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る