YAMAZAKI HIROSHI 山崎浩

… Alternative Names

YAMAZAKI Hiroshi 山崎浩

Less

Researcher Number	00293522
Other IDs
Affiliation (Current)	2025: 長野県工科短期大学校, 知能情報システム学科, 教授
Affiliation (based on the past Project Information) *help	2008 – 2013: 信州大学, 工学部, 助教 2007: 国立大学法人信州大学, 工学部, 助教 2006: 信州大学, 工学部, 助手
Review Section/Research Field	Except Principal Investigator Educational technology
Keywords	Except Principal Investigator 計算機による検査 / 証明記述問題 / プルーフチェッカー / e-learning教材 / moodle / 論理思考 / Mizar / 定理証明支援系 / 形式化数学 / e-learning … More / プルーフチェッカ / eラーニング / 国際発表技術 / マルチメディアと教育 / 教育工学 / e-iearning / マルチメディア教材開発 / 英語(発表技術) / 授業学習支援システム Less

Content Development for Distance Education in Advanced University Mathematics Using Mizar
- Principal Investigator
  
  SHIDAMA Yasunari
- Project Period (FY)
  2010 – 2013
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Educational technology
- Research Institution
  Shinshu University
On the Development and Effects of Multimedia Contents for Studying International Presentation Skills
- Principal Investigator
  
  K PAULINE Naomi (KAWAMOTO Pauline N.)
- Project Period (FY)
  2006 – 2009
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Educational technology
- Research Institution
  Shinshu University

All 2013 2012

All Journal Article Presentation

[Journal Article] Isomorphisms of Direct Products of Cyclic Groups of Prime-power Order2013
- Author(s)
  Hiroshi Yamazaki, Hiroyuki Okazaki, Kazuhisa Nakasho , Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 21(3) Issue: 3 Pages: 207-211
- DOI
  10.2478/forma-2013-0022
- NAID
  120007101145
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Journal Article] Isomorphisms of Direct Products of Finite Commutative Groups2013
- Author(s)
  Hiroyuki Okazaki, Hiroshi Yamazaki, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 21(1) Issue: 1 Pages: 65-74
- DOI
  10.2478/forma-2013-0007
- NAID
  120007101138
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Journal Article] Morphology for Image Processing. Part I2012
- Author(s)
  Hiroshi Yamazaki, Czeslaw Bylinski, Katsumi Wasaki
- Journal Title
  
  Formalized Mathematics
  
  Volume: 20(1) Issue: 1 Pages: 61-63
- DOI
  10.2478/v10037-012-0008-y
- NAID
  120007101103
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Presentation] Content Development for Distance Education in Advanced University Mathematics Using Mizar2013
- Author(s)
  Takaya IDO, Hiroyuki OKAZAKI, Hiroshi YAMAZAKI, Pauline Naomi, KAWAMOTO, Katsumi WASAKI, Yasunari SHIDAMA
- Organizer
  Proceedings of the 2013 International Conference on e-Learning,e-Business, Enterprise Information Systems, and e-Government(EEE'13)
- Place of Presentation
  Las Vegas, Nevada, USA
- Data Source
  KAKENHI-PROJECT-22300285
[Presentation] Content Development for Distance Education in Advanced University Mathematics Using Mizar2013
- Author(s)
  Takaya IDO, Hiroyuki OKAZAKI, Hiroshi YAMAZAKI, Pauline Naomi KAWAMOTO, Katsumi WASAKI, Yasunari SHIDAMA
- Organizer
  2013 International Conference on e-Learning, e-Business, Enterprise Information Systems and e-Government (EEE'13)
- Place of Presentation
  Las Vegas , Nevada,USA
- Data Source
  KAKENHI-PROJECT-22300285
[Presentation] Mizarによる大学数学向け高度遠隔教育用コンテンツ開発2012
- Author(s)
  井戸貴也, 岡崎裕之, 山崎　浩, 師玉康成
- Organizer
  電子情報通信学会教育工学研究会
- Place of Presentation
  佐賀大学
- Data Source
  KAKENHI-PROJECT-22300285

1. K PAULINE Naomi (40283238)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
2. SHIDAMA Yasunari (20226129)

# of Collaborated Projects: 1 results

# of Collaborated Products: 5 results
3. WASAKI Katsumi (70271492)

# of Collaborated Projects: 1 results

# of Collaborated Products: 3 results
4. OKAZAKI Hiroyuki (50432167)

# of Collaborated Projects: 1 results

# of Collaborated Products: 5 results
5. FUTA Yuichi (50706223)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
6. ARAI Kenichi (60645290)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. TANAKA Juriko

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
8. IWAMA Etsuko

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
9. KANEKO Naohiro

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
10. KAWAMOTO Pauline・Naomi

# of Collaborated Projects: 0 results

# of Collaborated Products: 5 results

YAMAZAKI HIROSHI 山崎 浩

YAMAZAKI Hiroshi 山崎 浩

Research Projects

Research Products

Co-Researchers

Content Development for Distance Education in Advanced University Mathematics Using Mizar

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

On the Development and Effects of Multimedia Contents for Studying International Presentation Skills

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] Isomorphisms of Direct Products of Cyclic Groups of Prime-power Order2013

Author(s)

Journal Title

DOI

NAID

Data Source

[Journal Article] Isomorphisms of Direct Products of Finite Commutative Groups2013

Author(s)

Journal Title

DOI

NAID

Data Source

[Journal Article] Morphology for Image Processing. Part I2012

Author(s)

Journal Title

DOI

NAID

Data Source

[Presentation] Content Development for Distance Education in Advanced University Mathematics Using Mizar2013

Author(s)

Organizer

Place of Presentation

Data Source

[Presentation] Content Development for Distance Education in Advanced University Mathematics Using Mizar2013

Author(s)

Organizer

Place of Presentation

Data Source

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

Author(s)

Organizer

Place of Presentation

Data Source

YAMAZAKI HIROSHI 山崎浩

YAMAZAKI Hiroshi 山崎浩