信州大学HOMEENGLISH交通・キャンパス案内

研究者総覧研究者総覧

研究者、研究内容などで検索
項目別検索はこちら

カワモトポーリン・ナオミ  カワモト ポーリン・ナオミ

教員組織学術研究院(工学系)電話番号
教育組織工学部 工学基礎部門FAX番号
職名准教授メールアドレス
住所〒380-8553 長野県長野市若里 4-17-1ホームページURL

更新日:2018/08/10

プロフィール

研究分野
プロフェッショナル・コミュニケーション学習
ソフトウェア・ハードウェアの数理的仕様化、検証、自動生成
現在の研究課題
ペトリネットによるソフトウェア・ハードウェアの設計、検証、自動生成

ペトリネット・ツールの開発

英語ラーニングのComputer Aided Instruction(CAI)

Mizar プルーフチェッカーによるハードウェアの記述、検証

所属学会
所属学会
情報処理学会
Association for Computing Machinery
The Institute of Electrical and Electronics Engineers
Mizar Society

所属学会役職担当
2018- , The Institute of Electrical and Electronics Engineers , Professional Communication Society - Japan Chapter, Treasurer
2017- , The Institute of Electrical and Electronics Engineers , Shin-etsu Section, Treasurer
2017-2017 , Mizar Society , Mizar JAPAN Chapter, Technical Symposium Program Chair
2017-2017 , Mizar Society , Mizar JAPAN Chapter, Technical Symposium Program Chair
2016-2017 , The Institute of Electrical and Electronics Engineers , Professional Communication Society - Japan Chapter, Chair
2015-2016 , Mizar Society , Mizar JAPAN Chapter, Technical Symposium Program Chair
2014-2015 , Mizar Society , Mizar JAPAN Chapter, Technical Symposium Program Chair
2014-2015 , The Institute of Electrical and Electronics Engineers , Professional Communication Society - Japan Chapter, Treasurer
2014-2014 , Mizar Society , Mizar JAPAN Chapter, MMA Technical Editor/Production Staff
2013-2014 , Mizar Society , Mizar JAPAN Chapter, Technical Symposium Program Chair
2013-2013 , Mizar Society , Mizar JAPAN Chapter, Technical Symposium Program Committee Chair
2012-2012 , Mizar Society , Mizar JAPAN Chapter, Technical Symposium Program Chair
2011-2011 , Mizar Society , Mizar JAPAN Chapter, Technical Symposium Program Chair
2010-2010 , Mizar Society , Mizar JAPAN Chapter, Technical Symposium Program Chair
2010-2013 , The Institute of Electrical and Electronics Engineers , Professional Communication Society - Japan Chapter, Vice Chair
2010-2010 , The Institute of Electrical and Electronics Engineers , Professional Communications Society Technical Meeting, Program Chair
2010-2010 , Mizar Society , Mizar JAPAN Chapter, MMA Technical Editor/Production Staff
2009-2009 , Mizar Society , Mizar JAPAN Chapter, Technical Symposium Program Chair
2009-2009 , Mizar Society , Mizar JAPAN Chapter, Technical Symposium Program Chair
2008-2008 , Mizar Society , Mizar JAPAN Chapter, Technical Symposium Program Chair
2008-2008 , Mizar Society , Mizar JAPAN Chapter, Technical Symposium Program Chair
2008-2009 , The Institute of Electrical and Electronics Engineers , Professional Communication Society - Japan Chapter, Secretary
2008-2008 , Mizar Society , Mizar JAPAN Chapter, MMA Technical Editor/Production Staff
2008-2008 , The Institute of Electrical and Electronics Engineers , Professional Communications Society Technical Meeting, Program Chair
2007-2007 , Mizar Society , Mizar JAPAN Chapter, Technical Symposium Program Chair
2007-2007 , Mizar Society , Mizar JAPAN Chapter, Technical Symposium Program Chair
2007-2007 , The Institute of Electrical and Electronics Engineers , International Conference on Advanced Learning Techniques, Local Steering Committee Member
2007-2007 , Mizar Society , Mizar JAPAN Chapter, MMA Technical Editor/Production Staff
2006-2006 , Mizar Society , Mizar JAPAN Chapter, Technical Symposium Program Chair
2006-2006 , Mizar Society , Mizar JAPAN Chapter, MMA Technical Editor/Production Staff
2005-2005 , Mizar Society , Mizar JAPAN Chapter, Technical Symposium Program Chair
2005-2005 , Mizar Society , Mizar JAPAN Chapter, MMA Technical Editor/Production Staff
2004-2004 , Mizar Society , Mizar JAPAN Chapter, Technical Symposium Program Chair
2004-2004 , Mizar Society , Mizar JAPAN Chapter, MMA Technical Editor/Production Staff
2002-2002 , Mizar Society , Mizar JAPAN Chapter, Technical Symposium Program Chair
2002-2002 , Mizar Society , Mizar JAPAN Chapter, MMA Technical Editor/Production Staff
2000-2000 , Mizar Society , Mizar JAPAN Chapter, Technical Symposium Program Chair
2000-2000 , Mizar Society , Mizar JAPAN Chapter, MMA Technical Editor/Production Staff
1999-1999 , Mizar Society , Mizar JAPAN Chapter, Technical Symposium Program Chair
学歴
出身大学院
1996 , 信州大学 , 工学系研究科 , システム開発工学専攻
1993 , 信州大学 , 工学系研究科 , 情報工学専攻

出身学校・専攻等(大学院を除く)
1988 , Harvey Mudd大学 , 工学部

取得学位
工学博士
受賞学術賞
2017 , 2017年IEEE信越支部学生国際学会参加奨励賞
2016 , IEEE Shinetsu Session Young Researcher Presentation Award
2016 , 平成28年度学生奨励賞
2012 , IEEE Shinetsu Session Young Researcher Presentation Award
研究職歴等
研究職歴
2007- , 信州大学工学部 准教授
1997- , 信州大学工学部 助教授
1996- , 信州大学工学部 助手

研究活動業績

研究業績(著書・
発表論文等)
論文
"On the Development of a Customizable Crowd Sensing System for Public Spaces using IoT Cloud Services"
2018 IEEE International Congress on Internet of Things (ICIOT 2018),:176-179 2018
Author:R. Kobayashi, P. N. Kawamoto


"A Mobile Tracking Application Tailored for Caravan Groups"
2017 3rd International Conference on Communication and Information Processing (ICCIP 2017),:41 2017
Author:R. Kobayashi, P. N. Kawamoto


"Improving Feedback to Novice Learners on Constructing i* Requirements Diagrams"
Proceedings of 2016 6th International Workshop on Computer Science and Engineering (WCSE 2016),:603-606 2016(Jun. 17)
Author:H. Mejri, P. N. Kawamoto


"i*Check: A Web-based Tool Assistant for Detecting Design Errors in i* Model Data"
Proceedings of the 19th ISERD - International Conference on Engineering, Technology and Innovation (ICETI),:93-96 2015(Nov. 13)
Author:H. Mejri, P. N. Kawamoto


"A Mechanized Formalization for the Token Invariant Properties in Subclass of Petri net called Decision Free net"
Mechanized Mathematics and Its Applications,9(1):1-10 2014
Author:P. K. Shah, P. N. Kawamoto


"The Formalization of Decision-Free Petri Net"
Formalized Mathematics,22(1):29-35 2014
Author:P. K. Shah, P. N. Kawamoto, M. Giero


"Formulation of Cell Petri Nets"
Formalized Mathematics,21(4):241-247 2013
Author:M. Jitsukawa, P. N. Kawamoto, Y. Shidama


"Development of An English Text Filter System For Remedial Students and Teachers"
Clute Institute International Academic Conference 2012,:708-709 2012
Author:D. Watanabe, P. N. Kawamoto


"On the Creation of Notetaking Spaces in Digital Texts"
Clute Institute International Academic Conference 2012,:784 2012
Author:K. Hara, P. N. Kawamoto


"Development of a Tool for Producing Foreign Language Contents with Audio Synchronized Text Highlights"
HIC Education,:2158-2162 2011
Author:Y. Ogawa, P. N. Kawamoto


"Work in Progress: Online Contents for Continuous Remedial English Training for Japanese University Students"
HIC Education,:2191-2192 2011
Author:Y. Nishimura, P. N. Kawamoto


"Turning Teaching Ideas into Real E-learning Solutions: Development of a Remedial English E-learning System for Undergraduate Students at a Japanese University"
HIC Arts and Humanities,:1126-1138 2009
Author:Y. Yoshinari, P. N. Kawamoto


"Cell Petri Net Concepts"
Formalized Mathematics,17(1):37-42 2009
Author:M. Jitsukawa, P. N. Kawamoto, Y. Shidama, Y. Nakamura


"Development of a Spiral Learning Mechanism for E-learning Drill Systems: Making Remedial Training Less Painful for Students and Instructors"
E-Learn 2008 World Conference on E-Learning in Corporate, Government, Healthcare, and Higher Education,:1402-1407 2008
Author:Y. Yoshinari, P. N. Kawamoto


"On the Formalization of Lebesgue Integrals"
Studies in Logic, Grammar and Rhetoric,10(23):167-177 2007
Author:Y. Shidama, N. Endou, P. N. Kawamoto


"Work in Progress: Sharing Learning Resources in the Development of an Online Engineering Presentations Course"
36th Annual Frontiers in Education Conference,:1634-1635 2006
Author:P. N. Kawamoto, Y. Fuwa, H. Kunimune, et al.


"On a Formalization of Digital Circuits in Mizar"
Mechanized Mathematics and Its Applications,3(1):9-17 2004
Author:P. N. Kawamoto


"A Smart Sensing Method for Mine Detection using Time Difference IR Images"
Proc. of IEEE Conference on Multisensor Fusion and Integration for Intelligent Systems (MFI2001),:133-139 2001
Author:K. Wasaki, N. Shimoi, Y. Takita, P. N. Kawamoto


"Automatic HDL Generation for a DES Codec for an Encrypted NFS Server based on an Extended Petri Net"
9th International Workshop on Discrete-Event System Design,:61-66 2001
Author:S. Yamaguchi, K. Wasaki, Y. Shidama, P. N. Kawamoto


"2's Complement Circuit"
Formalized Mathematics,6(2):189-197 1997
Author:K. Wasaki, P. N. Kawamoto


"A Petri Net Based Protocol Design Tool for Wireless Data Communication"
International Workshop on Multi-Dimensional Mobile Communications,:307-311 1996
Author:T. Nakao, T. Yamagishi, P. N. Kawamoto, et al.


"A Petri Net Environment for Developing Robot Controllers"
4th Infernational Conference on Control, Automation, Robotics, and Vision,:719-723 1996
Author:P. N. Kawamoto, M. Sakamoto, Y. Fuwa, Y. Nakamura


"Petri Net Software Development for Parallel/Distributed Systems"
Parallel and Distributed Computing and Systems, Proc. of the 8th IASTED International Conference,:418-420 1996
Author:M. Kitazawa, P. N. Kawamoto, Y. Fuwa, Y. Nakamura


"Application of Petri Nets to Software Development - Practical Issues and Considerations"
Applied Informatics, Proc. of the 14th IASTED International Conference,:362-365 1996
Author:P. N. Kawamoto, Y. Fuwa, Y. Nakamura


"The Concept of a Many Sorted Algebra and a Model of Digital Circuits"
京都大学数理解析研究所講究録,975:176-184 1996
Author:P. N. Kawamoto, A. Trybulec


"Introduction to Circuits, II"
Formalized Mathematics,5(2):273-278 1996
Author:Y. Nakamura, P. Rudnicki, A. Trybulec, P. N. Kawamoto


"Introduction to Circuits, I"
Formalized Mathematics,5(2):227-232 1996
Author:Y. Nakamura, P. Rudnicki, A. Trybulec, P. N. Kawamoto


"Preliminaries to Circuits, II"
Formalized Mathematics,5(2):215-220 1996
Author:Y. Nakamura, P. Rudnicki, A. Trybulec, P. N. Kawamoto


"Preliminaries to Circuits, I"
Formalized Mathematics,5(2):167-172 1996
Author:Y. Nakamura, P. Rudnicki, A. Trybulec, P. N. Kawamoto


"On Cell Petri Nets"
Journal of Applied Functional Analysis,I:12-22 1996
Author:P. N. Kawamoto, Y. Nakamura


"Basic Concepts for Petri Nets with Boolean Markings"
Formalized Mathematics,4(1):87-90 1993
Author:P. N. Kawamoto, Y. Fuwa, Y. Nakamura


"Basic Petri Net Concepts"
Formalized Mathematics,3(2):183-187 1992
Author:P. N. Kawamoto, Y. Fuwa, Y. Nakamura


学会発表
“GPS zone computations for a vehicle sway notification system”
2017 Convention Record of the Shin-Etsu Chapter of the Institute of Electronics, Information, and Communication Engineers, IEEE Shin-etsu Poster Session , :185 2017(Oct. 07)
Author:S. Yamamoto, P. N. Kawamoto


“On a Crowd Detection System using IoT Cloud Services”
2017 Convention Record of the Shin-Etsu Chapter of the Institute of Electronics, Information, and Communication Engineers, IEEE Shin-etsu Session , :183 2017(Oct. 07)
Author:R. Kobayashi, P. Kawamoto


“Raising Awareness about Disaster Preparedness in Visitors to Japan using E-Contents”
2017 Convention Record of the Shin-Etsu Chapter of the Institute of Electronics, Information, and Communication Engineers, IEEE Shin-etsu Session , :182 2017(Oct. 07)
Author:Y. Kimura, P. N. Kawamoto


「文章構造可視化のためのマインドマップ作製ウェブツール」
平成29年度電子情報通信学会信越支部大会講演論文集 , :110 2017(Oct. 07)
Author:田邉健、カワモトポーリン


「クロスリンク情報を含む XML ファイルの可視化ツールについて」
平成29年度電子情報通信学会信越支部大会講演論文集 , :102 2017(Oct. 07)
Author:菅勇誠、カワモトポーリン


「簡易写真整理アプリを用いた認知症者への回想法支援」
平成29年度電子情報通信学会信越支部大会講演論文集 , :96 2017(Oct. 07)
Author:五浦亮佑、カワモト・ポーリンナオミ


「波動方程式から波動関数を導く過程の形式的検証について」
平成29年度電子情報通信学会信越支部大会講演論文集 , :89 2017(Oct. 07)
Author:大月空、カワモトポーリン


"Development and Evaluation of an Online Assistant for Helping Novice Learners Correct Defects in i* Models"
2016 Convention Record of the Shin-Etsu Chapter of the Institute of Electronics, Information, and Communication Engineers , :165 2016(Oct. 08)
Author:H. Mejri, P. N. Kawamoto


"Mizar Formalization of Theorems Concerning the Projection of Moving Objects"
2016 Convention Record of the Shin-Etsu Chapter of the Institute of Electronics, Information, and Communication Engineers , :144 2016(Oct. 08)
Author:S. Yamamoto, P. N. Kawamoto


「Mizar ライブラリにおける Article 間関係の可視化方法」
平成28年度電子情報通信学会信越支部大会講演論文集 , :104 2016(Oct. 08)
Author:菅 勇誠、カワモト ポーリン


「認知症者への回想法に利用できる簡易写真整理アプリの開発」
平成28年度電子情報通信学会信越支部大会講演論文集 , :103 2016(Oct. 08)
Author:五浦亮佑、 カワモト・ポーリン・ナオミ


「キャラバングループのトラッキング機能と旅記録のアプリ開発」
平成28年度電子情報通信学会信越支部大会講演論文集 , :96 2016(Oct. 08)
Author:小林 龍太郎、カワモト, ポーリン・ナオミ


「SNSから抽出できる外国人観光客へ向けた 観光情報可視化の研究」
平成28年度電子情報通信学会信越支部大会講演論文集 , :95 2016(Oct. 08)
Author:木村征矢、カワモト、ポーリン・ナオミ


「WTルールペトリネットにおけるキャパシティ再現の検証」
平成26年度電子情報通信学会信越支部大会 , :1 2014(Oct. 04)
Author:藤森康宏, カワモト ポーリン・ナオミ


「Mizar証明検証システムを用いたペトリネットにおける性質の形式化について」
平成26年度電子情報通信学会信越支部大会 , :2 2014(Oct. 04)
Author:山田稔貴, カワモト ポーリン・ナオミ


「教育現場におけるコピペ認識共有システムの開発について」
平成26年度電子情報通信学会信越支部大会 , :80 2014(Oct. 04)
Author:高橋慧, カワモト ポーリン・ナオミ


「タブレットPCを用いた教育現場における、教師に対する授業支援システムの開発」
平成26年度電子情報通信学会信越支部大会 , :86 2014(Oct. 04)
Author:向井一裕, カワモト ポーリン・ナオミ


「児童の運動指導を支援する書き込み画像システムの開発と活用」
平成26年度電子情報通信学会信越支部大会 , :88 2014(Oct. 04)
Author:新津真, カワモト ポーリン・ナオミ


「陸上競技用データ管理アプリケーションの開発」
平成26年度電子情報通信学会信越支部大会 , :95 2014(Oct. 04)
Author:荒居雅紀, カワモト ポーリン・ナオミ


「学習ギャラリーを用いた書き取り支援システムの開発」
平成25年度電子情報通信学会信越支部大会 , :174 2013(Oct. 05)
Author:山田稔貴, カワモト ポーリン ナオミ


「オンライン・マルチゴール・ドリルシステムの開発」
平成25年度電子情報通信学会信越支部大会 , :175 2013(Oct. 05)
Author:藤森康宏, カワモト ポーリン ナオミ


カスタマイズドデジタル単語帳によるテキストフィルターシステムの開発」
平成25年度電子情報通信学会信越支部大会 , :176 2013(Oct. 05)
Author:安藝智浩, カワモト ポーリン ナオミ


“Development of an Online Read-along Contents Library”
2013 Convention Record of the Shin-Etsu Chapter of the Institute of Electronics, Information, and Communication Engineers, IEEE Shin-etsu Poster Session , :209 2013(Oct. 05)
Author:Y. Ogawa, P. N. Kawamoto


“Formalization of Decision-free Petri nets in Mizar”
2013 Convention Record of the Shin-Etsu Chapter of the Institute of Electronics, Information, and Communication Engineers, IEEE Shin-etsu Poster Session , :219 2013(Oct. 05)
Author:P. K. Shah, P. N. Kawamoto


「カードゲーム式暗記学習補助ツールの作成」
平成24年度電子情報通信学会信越支部大会 , :6 2012(Oct. 13)
Author:尾形俊秋,カワモト、ポーリン・ナオミ


「電子教科書への書き込みノートスペースアプリケーションの開発」
平成24年度電子情報通信学会信越支部大会 , :8 2012(Oct. 13)
Author:原 和彦,カワモトポーリン・ナオミ


「スマートフォン用の案内翻訳アプリケーションの検討」
平成24年度電子情報通信学会信越支部大会 , :14 2012(Oct. 13)
Author:X. Feng, P. N. Kawamoto


「英語学習の補助教材作成のための診断ツール」
平成24年度電子情報通信学会信越支部大会 , :7 2012(Oct. 13)
Author:渡辺 大樹,カワモト・ポーリン・ナオミ


“Development of a tool for producing read-along contents”
2012 Convention Record of The Shin-Etsu Chapter of The Institute of Electronics, Information, and Communication Engineers, IEEE Shinetsu Poster Session , :158 2012(Oct. 13)
Author:Y. Ogawa, P. N. Kawamoto


“A New Time Petri Net Modelling Tool for Beginning Designers”
2012 Convention Record of The Shin-Etsu Chapter of The Institute of Electronics, Information, and Communication Engineers, IEEE Shinetsu Poster Session , :199 2012(Oct. 13)
Author:P. K. Shah, P. N. Kawamoto


「数学における記述式e-learningの使いやすさの向上の研究」
平成23年度電子情報通信学会信越支部大会 , :24 2011(Oct. 08)
Author:相澤陽平, カワモトポーリン


「料理情報比較サイトの製作‐CO2削減に向けて‐」
平成23年度電子情報通信学会信越支部大会 , :31 2011(Oct. 08)
Author:高木植央, カワモトポーリン


「自動起動型英語発音トレーニングアプリケーションの検討」
平成23年度電子情報通信学会信越支部大会 , :37 2011(Oct. 08)
Author:林啓吾, カワモトポーリン


「植物育成コミュニティーの簡易記録ツール」
平成23年度電子情報通信学会信越支部大会 , :96 2011(Oct. 08)
Author:山本育平, カワモトポーリン


「電力線通信を用いたアンケートシステムの開発」
平成23年度電子情報通信学会信越支部大会 , :108 2011(Oct. 08)
Author:田丸明子, カワモトポーリン


「継続できるリメディアル英語ウェブ教材の開発」
平成22年度電子情報通信学会信越支部大会講演論文集 , :34 2010
Author:西村悠,Kawamoto Pauline N.,山崎浩


「音声に同期したテキストハイライトシステムの開発」
平成22年度電子情報通信学会信越支部大会講演論文集 , :31 2010
Author:小川芳人,Kawamoto Pauline N.,山崎浩


「公務員試験用経済学のオンライン学力診断システムの開発」
平成22年度電子情報通信学会信越支部大会講演論文集 , :57 2010
Author:磯村 怜矢,Kawamoto Pauline N.,山崎 浩


「ネットワーク管理に対応した暗証番号方式電気錠の開発」
平成22年度電子情報通信学会信越支部大会講演論文集 , :140 2010
Author:生川 基弥,Kawamoto Paulin N., 山崎 浩


「電力線通信による機器管理システムの開発」
平成22年度電子情報通信学会信越支部大会講演論文集 , :50 2010
Author:高橋 佑輔,Kawamoto Pauline,山崎 浩


「インターネットによる遠隔自動掃除システムの開発」
平成21年度電子情報通信学会信越支部大会講演論文集 , :115 2009
Author:清水 恵里子、カワモト ポーリン、山崎 浩


「車載カメラを用いた飛び出し検知システム」
平成21年度電子情報通信学会信越支部大会講演論文集 , :101 2009
Author:佐々 隼、山崎 浩、カワモト ポーリン


「動画配信型CAIシステムを用いた受講者からのリアルタイムフィードバックの収集」
平成21年度電子情報通信学会信越支部大会講演論文集 , :99 2009
Author:干飯 翔平、カワモト ポーリン


「電力線通信とインターネットを用いたホームセキュリティ」
平成21年度電子情報通信学会信越支部大会講演論文集 , :20 2009
Author:高橋 佑輔、山崎 浩、カワモト ポーリン


「ニューラルネットワークを用いた車載用飛び出し検知システム」
平成20年度電子情報通信学会信越支部大会講演論文集 , :118 2008
Author:佐々 隼、カワモト ポーリン、中村 八束


「WebスクールにおけるXML利用のテストシステムの開発」
平成20年度電子情報通信学会信越支部大会講演論文集 , :150 2008
Author:鈴木 拓也、カワモト ポーリン、中村 八束


"Development of Multimedia Courseware for Teaching Practical Engineering Presentation Skills"
JSiSE Research Report , 20(6):158-161 2006
Author:P. N. Kawamoto, Y. Fuwa, H. Kunimune, et al.


「階層型ペトリネット理論」
平成9年度電子情報通信学会信越支部大会講演論文集 , :169-170 1997
Author:坂本 宗久、カワモト ポーリン


「ペトリネットを用いたファストイーサネットドライバの設計」
平成9年度電子情報通信学会信越支部大会講演論文集 , :167-178 1997
Author:小松 貴弘、カワモト・ポーリン、山崎 浩


「ルーティング方式のぺトリネットによる解析」
平成8年度電子情報通信学会信越支部大会講演論文集 , :177-178 1996
Author:伊藤 香澄、カワモト・ポーリン


「ぺトリネットによる並列処理のためのソフトウェア開発」
平成8年度電子情報通信学会信越支部大会講演論文集 , :179-180 1996
Author:北澤 真弓、カワモト ポーリン、不破 泰


「セルぺトリネットを用いた力学モデルのコントロール」
平成8年度電子情報通信学会信越支部大会講演論文集 , :171-172 1996
Author:二本松 宏、カワモト ポーリン


その他
"Learning to express engineering results in the universal language of mathematics"
IEEE PCSJ 2nd Technical Meeting 2013 keynote 2013
Author:P. N. Kawamoto


"Learning from the Development of the SUGSI Framework"
外国語教育メディア学会(The Japan Association for Language Education and Technology)第44回全国研究大会 , :163 2004
Author:P. N. Kawamoto

共同研究等希望テーマ
Professional communication skills development
Information systems for supporting children's education
Formalization of Petri net properties
研究費
科学研究費補助金(研究代表者)
2006 - 2009 , 国際発表技術学習のためのマルチメディアを利用した教材開発と効果 , 基盤研究(C)
2003 - 2004 , ペトリネットによるCAIソフトウェア開発ツール , 若手研究(B)

科学研究費補助金(研究分担者)
2010 - 2013 , MIZAR数学ライブラリの構築と大学数学向け高度遠隔教育用コンテンツ開発 , 基盤研究(B)
2002 - 2005 , 自律歩行ロボットによる地雷探知・処理技術の研究(その2) , 基盤研究(B)
2000 - 2001 , 赤外線カメラを用いた埋設対人地雷探知技術の研究 , 基盤研究(B)
研究諸活動
学術専門雑誌等編集
2017-2017 , Mizar Society, Mizar JAPAN Chapter , Technical Symposium and General Assembly of Mizar JAPAN
2016-2017 , Mizar Society, Mizar JAPAN Chapter , Technical Symposium and General Assembly of Mizar JAPAN
2015-2016 , Mizar Society, Mizar JAPAN Chapter , Technical Symposium and General Assembly of Mizar JAPAN
2014-2015 , Mizar Society, Mizar JAPAN Chapter , Technical Symposium and General Assembly of Mizar JAPAN
2014-2014 , Mizar Society, Mizar JAPAN Chapter , Mechanized Mathematics and Its Applications
2013-2014 , Mizar Society, Mizar JAPAN Chapter , Technical Symposium and General Assembly of Mizar JAPAN
2012-2012 , Mizar Society, Mizar JAPAN Chapter , Technical Symposium and General Assembly of Mizar JAPAN
2011-2011 , Mizar Society, Mizar JAPAN Chapter , Technical Symposium and General Assembly of Mizar JAPAN
2010-2010 , Mizar Society, Mizar JAPAN Chapter , Technical Symposium and General Assembly of Mizar JAPAN
2010-2010 , Mizar Society, Mizar JAPAN Chapter , Mechanized Mathematics and Its Applications
2009-2009 , Mizar Society, Mizar JAPAN Chapter , Technical Symposium and General Assembly of Mizar JAPAN
2008-2008 , Mizar Society, Mizar JAPAN Chapter , Technical Symposium and General Assembly of Mizar JAPAN
2008-2008 , Mizar Society, Mizar JAPAN Chapter , Mechanized Mathematics and Its Applications
2007-2007 , Mizar Society, Mizar JAPAN Chapter , Mechanized Mathematics and Its Applications
2007-2007 , Mizar Society, Mizar JAPAN Chapter , Technical Symposium and General Assembly of Mizar JAPAN
2006-2006 , Mizar Society, Mizar JAPAN Chapter , Technical Symposium and General Assembly of Mizar JAPAN
2006-2006 , Mizar Society, Mizar JAPAN Chapter , Mechanized Mathematics and Its Applications
2005-2005 , Mizar Society, Mizar JAPAN Chapter , Mechanized Mathematics and Its Applications
2004-2004 , Mizar Society, Mizar JAPAN Chapter , Mechanized Mathematics and Its Applications
2002-2002 , Mizar Society, Mizar JAPAN Chapter , Mechanized Mathematics and Its Applications
2000-2000 , Mizar Society, Mizar JAPAN Chapter , Mechanized Mathematics and Its Applications

学術論文査読件数
2017-2017 , IEEE Global Conference on Consumer Electronics
2014-2014 , The 6th Podlasie Conference on Mathematics (6PCM)
2009-2009 , International Journal of Applied Mathematics and Computer Science (AMCS)
2008-2008 , IEEE PCSJ Technical Meeting

教育活動実績

授業等
2017 , 前期 , アカデミックイングリッシュⅠ
2017 , 前期 , アカデミックイングリッシュⅠ
2017 , 前期 , アカデミックイングリッシュⅠ
2017 , 前期 , アカデミックイングリッシュⅠ
2017 , 前期 , アカデミックイングリッシュⅠ
2017 , 前期 , アカデミックイングリッシュⅠ
2017 , 通年 , 知能情報特論第Ⅳ
2017 , 通年 , 情報基礎演習Ⅰ
2017 , 通年 , 情報基礎演習Ⅲ
2017 , 通年 , 情報基礎特別実験Ⅰ
2017 , 通年 , 情報基礎特別実験Ⅲ
2017 , 通年 , 数理情報学応用
2017 , 通年 , 特別演習Ⅰ(カワモト)
2017 , 通年 , 特別演習Ⅱ(カワモト)
論文指導
2017
卒業論文指導 指導学生数 計:2(内留学生:0)
修士論文指導 指導学生数 計:2(内留学生:0)
博士論文指導 指導学生数 計:1(内留学生:1)

2016
卒業論文指導 指導学生数 計:3(内留学生:0)
修士論文指導 指導学生数 計:2(内留学生:0)
博士論文指導 指導学生数 計:1(内留学生:1)

2015
卒業論文指導 指導学生数 計:4(内留学生:0)
修士論文指導 指導学生数 計:0(内留学生:0)
博士論文指導 指導学生数 計:1(内留学生:1)

2014
卒業論文指導 指導学生数 計:4(内留学生:0)
修士論文指導 指導学生数 計:0(内留学生:0)
博士論文指導 指導学生数 計:3(内留学生:2)

2013
卒業論文指導 指導学生数 計:4(内留学生:0)
修士論文指導 指導学生数 計:1(内留学生:0)
博士論文指導 指導学生数 計:2(内留学生:1)

2012
卒業論文指導 指導学生数 計:4(内留学生:1)
修士論文指導 指導学生数 計:1(内留学生:0)
博士論文指導 指導学生数 計:2(内留学生:1)

2011
卒業論文指導 指導学生数 計:5(内留学生:0)
修士論文指導 指導学生数 計:0(内留学生:0)
博士論文指導 指導学生数 計:2(内留学生:1)

2010
卒業論文指導 指導学生数 計:4(内留学生:0)
修士論文指導 指導学生数 計:2(内留学生:0)
博士論文指導 指導学生数 計:1(内留学生:0)

2009
卒業論文指導 指導学生数 計:2(内留学生:0)
修士論文指導 指導学生数 計:9
博士論文指導 指導学生数 計:0(内留学生:0)

留学生受入
2016 , 前期人数:1 , 後期人数:1
2015 , 前期人数:1 , 後期人数:1
2014 , 前期人数:1 , 後期人数:2
2013 , 前期人数:1 , 後期人数:1
2012 , 前期人数:2 , 後期人数:2
2011 , 前期人数:0 , 後期人数:1

社会活動実績

社会活動等
出前講座
20180711 - 20180711 , 「児童と一緒に国際理解授業」
20171012 - 20171012 , 「児童と一緒に国際理解授業」
20170712 - 20170712 , 「児童と一緒に国際理解授業」

学会・研究会の主催
20171226 - 20171226 , Mizar Society, Mizar JAPAN Chapter, Technical Symposium , Program Chair
20171202 - 20171202 , IEEE Professional Communication Society, Japan Chapter, Annual Conference , Program Chair
20170603 - 20170603 , IEEE Professional Communication Society, Japan Chapter, Annual Conference , Program Chair
20170303 - 20170303 , Mizar Society, Mizar JAPAN Chapter, Technical Symposium , Conference chair
20161203 - 20161203 , IEEE Professional Communication Society, Japan Chapter, Annual Conference , Program chair
20160731 - 20160731 , IEEE Professional Communication Society, Japan Chapter, Annual Conference , Program chair
20160222 - 20160222 , Mizar Society, Mizar JAPAN Chapter, Technical Symposium , Conference chair
20151219 - 20151219 , IEEE Professional Communication Society, Japan Chapter, Annual Conference , Program chair
20141028 - 20141028 , IEEE Professional Communication Society - Japan Chapter, 1st Technical Meeting , Program Chair
20140131 - 20140131 , Mizar Society, Mizar JAPAN Chapter, Technical Symposium , Conference Chair
20121028 - 20121028 , Mizar Society, Mizar JAPAN Chapter, Technical Symposium , Conference Chair
20111121 - 20111121 , Mizar Society, Mizar JAPAN Chapter, Technical Symposium , Conference Chair
20101212 - 20101212 , IEEE Professional Communication Society - Japan Chapter, Annual Conference , Program Chair
20100906 - 20100906 , Mizar Society, Mizar JAPAN Chapter, Technical Symposium , Conference Chair
20091106 - 20091106 , Mizar Society, Mizar JAPAN Chapter, Technical Symposium , Conference Chair
20090619 - 20090619 , Mizar Society, Mizar JAPAN Chapter, Technical Symposium , Conference Chair
20081116 - 20081116 , IEEE Professional Communication Society - Japan Chapter, Annual Conference , Program Chair
20081115 - 20081115 , Mizar Society, Mizar JAPAN Chapter, Technical Symposium , Conference Chair
20080623 - 20080623 , Mizar Society, Mizar JAPAN Chapter, Technical Symposium , Conference Chair
20071019 - 20071019 , Mizar Society, Mizar JAPAN Chapter, Technical Symposium , Conference Chair
20070718 - 20070720 , IEEE International Conference on Advanced Learning Techniques (ICALT) , Local Steering Committee Member
20070518 - 20070518 , Mizar Society, Mizar JAPAN Chapter, Technical Symposium , Conference Chair
20060922 - 20060922 , Mizar Society, Mizar JAPAN Chapter, Technical Symposium , Conference Chair

その他社会活動
20170930 - 20170930 , 長野県長野高等学校 スーパーグローバルハイスクール(SGH) プレゼンテーションデー , コメンテータ
20161001 - 20161001 , 長野県長野高等学校 スーパーグローバルハイスクール(SGH) プレゼンテーションデー , コメンテータ
20150905 - 20150905 , 長野県長野高等学校 スーパーグローバルハイスクール(SGH) プレゼンテーションデー , コメンテータ
20141213 - 20141213 , 長野県長野高等学校 スーパーグローバルハイスクール(SGH) プレゼンテーションデー , コメンテータ
20131201 - , 長野県長野高等学校 スーパーグローバルハイスクール(SGH) , アドバイザ

管理運営実績

管理運営実績
学内兼務職
1997 - , 工学部外国語担当

全学委員会・ワーキンググループ等
2017 - , 全学31年度英語科目検討WG , メンバー(工学部)

学部内委員会等
2018 - , 学務委員会 , 工学基礎部門学務員
2017 - , 平成33年(2012)年度新入試検討 工学部WG , メンバー
2016 - 2017 , 広報委員会 , 情報工学科副広報員
2015 - 2016 , 入試委員会 , 情報工学科副入試員
2014 - 2015 , 入試委員会 , 情報工学科入試員
2014 - , 工学部広報室国際交流関係ワーキングチーム , メンバー
2013 - 2014 , 入試委員会 , 情報工学科副入試員
2013 - , 工学部英語教育WG , 委員
2012 - 2013 , 学務委員会 , 情報工学科副学務員
2011 - 2012 , 学務委員会 , 情報工学科学務員
2010 - 2011 , 学務委員会 , 情報工学科副学務員
2008 - 2010 , 情報工学科IT大学担当
2006 - 2007 , 情報工学科計算機委員長
2005 - 2006 , 学務委員会 , 情報工学科副学務員
2004 - 2005 , 学務委員会 , 情報工学科学務員
2003 - 2004 , 情報工学科計算機委員長
2000 - 2001 , 留学生委員会 , 情報工学科委員
1999 - 2000 , 留学生委員会 , 情報工学科委員
1999 - 1999 , 外部評価委員会 , 情報工学科外部評価委員
1998 - 1999 , 広報委員会 , 情報工学科広報委員