研究者

J-GLOBAL ID：200901086126708700 更新日: 2020年10月28日

山崎浩

ヤマザキヒロシ | 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. Equivalent Expressions of Direct Sum Decomposition of Groups1. 2015
Kazuhisa Nakasho, Hiroshi Yamazaki, Hiroyuki Okazaki, Yasunari Shidama. Definition and Properties of Direct Sum Decomposition of Groups1. Formalized Mathematics. 2015. 23. 1. 15-27
Hiroyuki Okazaki, Hiroshi Yamazaki, Yasunari Shidama. Isomorphisms of Direct Products of Finite Commutative Groups. Formalized Mathematics. 2013. 21. 1. 65-74

もっと見る

所属学会 (3件)：

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

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

前のページに戻る

TOP