研究者
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