山崎浩 YAMAZAKI HIROSHI

研究者番号	00293522
その他のID
所属 (現在)	2025年度: 長野県工科短期大学校, 知能情報システム学科, 教授
所属 (過去の研究課題情報に基づく) *注記	2008年度 – 2013年度: 信州大学, 工学部, 助教 2007年度: 国立大学法人信州大学, 工学部, 助教 2006年度: 信州大学, 工学部, 助手
審査区分/研究分野	研究代表者以外教育工学
キーワード	研究代表者以外計算機による検査 / 証明記述問題 / プルーフチェッカー / e-learning教材 / moodle / 論理思考 / Mizar / 定理証明支援系 / 形式化数学 / e-learning … もっと見る / プルーフチェッカ / eラーニング / 国際発表技術 / マルチメディアと教育 / 教育工学 / e-iearning / マルチメディア教材開発 / 英語(発表技術) / 授業学習支援システム隠す

ＭＩＺＡＲ数学ライブラリの構築と大学数学向け高度遠隔教育用コンテンツ開発
- 研究代表者
  
  師玉康成
- 研究期間 (年度)
  2010 – 2013
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  教育工学
- 研究機関
  信州大学
国際発表技術学習のためのマルチメディアを利用した教材開発と効果
- 研究代表者
  
  K PAULINE Naomi (カワモトポーリン・ナオミ / K Pauline・Naomi / K. Paulin Naomi)
- 研究期間 (年度)
  2006 – 2009
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  教育工学
- 研究機関
  信州大学

すべて 2013 2012

すべて雑誌論文学会発表

[雑誌論文] Isomorphisms of Direct Products of Cyclic Groups of Prime-power Order2013
- 著者名/発表者名
  Hiroshi Yamazaki, Hiroyuki Okazaki, Kazuhisa Nakasho , Yasunari Shidama
- 雑誌名
  
  Formalized Mathematics
  
  巻: 21(3) 号: 3 ページ: 207-211
- DOI
  10.2478/forma-2013-0022
- NAID
  120007101145
- 査読あり
- データソース
  KAKENHI-PROJECT-22300285
[雑誌論文] Isomorphisms of Direct Products of Finite Commutative Groups2013
- 著者名/発表者名
  Hiroyuki Okazaki, Hiroshi Yamazaki, Yasunari Shidama
- 雑誌名
  
  Formalized Mathematics
  
  巻: 21(1) 号: 1 ページ: 65-74
- DOI
  10.2478/forma-2013-0007
- NAID
  120007101138
- 査読あり
- データソース
  KAKENHI-PROJECT-22300285
[雑誌論文] Morphology for Image Processing. Part I2012
- 著者名/発表者名
  Hiroshi Yamazaki, Czeslaw Bylinski, Katsumi Wasaki
- 雑誌名
  
  Formalized Mathematics
  
  巻: 20(1) 号: 1 ページ: 61-63
- DOI
  10.2478/v10037-012-0008-y
- NAID
  120007101103
- 査読あり
- データソース
  KAKENHI-PROJECT-22300285
[学会発表] Content Development for Distance Education in Advanced University Mathematics Using Mizar2013
- 著者名/発表者名
  Takaya IDO, Hiroyuki OKAZAKI, Hiroshi YAMAZAKI, Pauline Naomi, KAWAMOTO, Katsumi WASAKI, Yasunari SHIDAMA
- 学会等名
  Proceedings of the 2013 International Conference on e-Learning,e-Business, Enterprise Information Systems, and e-Government(EEE'13)
- 発表場所
  Las Vegas, Nevada, USA
- データソース
  KAKENHI-PROJECT-22300285
[学会発表] Content Development for Distance Education in Advanced University Mathematics Using Mizar2013
- 著者名/発表者名
  Takaya IDO, Hiroyuki OKAZAKI, Hiroshi YAMAZAKI, Pauline Naomi KAWAMOTO, Katsumi WASAKI, Yasunari SHIDAMA
- 学会等名
  2013 International Conference on e-Learning, e-Business, Enterprise Information Systems and e-Government (EEE'13)
- 発表場所
  Las Vegas , Nevada,USA
- データソース
  KAKENHI-PROJECT-22300285
[学会発表] Mizarによる大学数学向け高度遠隔教育用コンテンツ開発2012
- 著者名/発表者名
  井戸貴也, 岡崎裕之, 山崎　浩, 師玉康成
- 学会等名
  電子情報通信学会教育工学研究会
- 発表場所
  佐賀大学
- データソース
  KAKENHI-PROJECT-22300285

1. K PAULINE Naomi (40283238)

共同の研究課題数: 2件

共同の研究成果数: 0件
2. 師玉康成 (20226129)

共同の研究課題数: 1件

共同の研究成果数: 5件
3. 和崎克己 (70271492)

共同の研究課題数: 1件

共同の研究成果数: 3件
4. 岡崎裕之 (50432167)

共同の研究課題数: 1件

共同の研究成果数: 5件
5. 布田裕一 (50706223)

共同の研究課題数: 1件

共同の研究成果数: 0件
6. 荒井研一 (60645290)

共同の研究課題数: 1件

共同の研究成果数: 0件
7. 田中樹里子

共同の研究課題数: 1件

共同の研究成果数: 0件
8. 岩間悦子

共同の研究課題数: 1件

共同の研究成果数: 0件
9. 金子直弘

共同の研究課題数: 1件

共同の研究成果数: 0件
10. KAWAMOTO Pauline・Naomi

共同の研究課題数: 0件

共同の研究成果数: 5件

山崎 浩 YAMAZAKI HIROSHI

研究課題

研究成果

共同研究者

ＭＩＺＡＲ数学ライブラリの構築と大学数学向け高度遠隔教育用コンテンツ開発

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

国際発表技術学習のためのマルチメディアを利用した教材開発と効果

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[雑誌論文] Isomorphisms of Direct Products of Cyclic Groups of Prime-power Order2013

著者名/発表者名

雑誌名

DOI

NAID

データソース

[雑誌論文] Isomorphisms of Direct Products of Finite Commutative Groups2013

著者名/発表者名

雑誌名

DOI

NAID

データソース

[雑誌論文] Morphology for Image Processing. Part I2012

著者名/発表者名

雑誌名

DOI

NAID

データソース

[学会発表] Content Development for Distance Education in Advanced University Mathematics Using Mizar2013

著者名/発表者名

学会等名

発表場所

データソース

[学会発表] Content Development for Distance Education in Advanced University Mathematics Using Mizar2013

著者名/発表者名

学会等名

発表場所

データソース

[学会発表] Mizarによる大学数学向け高度遠隔教育用コンテンツ開発2012

著者名/発表者名

学会等名

発表場所

データソース

山崎浩 YAMAZAKI HIROSHI