山崎浩

ヤマザキヒロシ | YAMAZAKI HIROSHI

所属機関・部署：
職名：特任助教

研究キーワード (3件)： e-learning , 画像認識 , ディープラーニング

競争的資金等の研究課題 (3件)：

論文 (34件)：

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
Kazuhisa Nakasho, Hiroshi Yamazaki, Hiroyuki Okazaki, Yasunari Shidama. Equivalent Expressions of Direct Sum Decomposition of Groups1. 2015

所属学会 (3件)：

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

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

山崎 浩