野口 光孝

論理教育用CAIにおけるMizarの利用 

Proceedings of the Technical Symposium and General Assembly of Mizar JAPAN 4(1) 2009年  

論理教育におけるMizarの利用 

Proceedings of the Technical Symposium and General Assembly of Mizar JAPAN 3(1) 17-20 2008年  

Use of Mizar in Logic Education 

Mechanized Mathematics and Its Applications 7(1) 1-9 2008年  

プルーフチェッカーを用いた論理教育支援 

教育システム情報学会第33回全国大会講演論文集 226-227 2008年  

日常語の論理を学ぶCAIの開発（共著） 

教育システム情報学会第33回全国大会講演論文集 420-421 2008年  

IT実技を学ぶ生涯学習者のための自己学習支援システムの開発 

教育システム情報学会第29回全国大会講演論文集 183-184 2004年  

パソコン学習サークルにおける自己学習支援システムの導入 

日本教育工学会第20回全国大会講演論文集 509-510 2004年  

スキル別講習を実践するパソコン学習サークルにおけるサポート運営と課題 

日本教育工学会第18回大会講演論文集 237-238 2002年  

子育て学習サークルに対するコンピュータ活用教育 

2001PC Conference 論文集 52-53 2001年  

講習会活動を展開する主婦のパソコンサークルを対象としたコンピュータ活用教育 

日本教育工学会第17回大会講演論文集 573-574 2001年  

アメリカ2地域におけるテクノロジー教育計画 

道都大学短期大学部紀要 (36) 145-169 2000年  

年少児を持つ母親対象のインターネット教育 

2000PC Conference論文集 231-232 2000年  

教師のためのネットワーキング教育(共著) 

2000PC Conference論文集 173-174 2000年  

Networking Education for Teachers 

Computer & Education 9 89-92 2000年  

A Verification and a Study of a New LAN Method with Popularization of the Internet-An availability of 11Mbps wireless LAN for educational environment- 

The Bulletin of Dohto University Junior College Division (37) 1-9 2000年  

Networking Education for Teachers 

173-174 2000年  

Internet Education for Mother with Children 

231-232 2000年  

Technology Plans in Two Regions of the United States 

The Bulletin of Dohto University Junior College Division (36) 145-169 2000年