山崎浩

ヤマザキヒロシ | YAMAZAKI HIROSHI

所属機関・部署：
職名：助教
競争的資金等の研究課題 (3件)：

論文 (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の登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。