Shinshu University HOMEJAPANESEAccess / Campus Map

Shinshu University Researcher DirectoryShinshu University Researcher Directory

Search by Researcher / Research Field
Search by Category

KAWAMOTO PAULINE NAOMI

Academic OrganizationAcademic Assembly School of Science and Technology Institute of EngineeringTEL
Education and Research OrganizationFaculty of Engineering, Engineering Core DivisionFAX
PositionAssociate ProfessorMail Address
AddressWakasato 4-17-1Nagano-shi, Nagano-ken 380-8553 JAPANWeb site

Modified:08/10/2018

Profile

Research Field
Professional communication skills development
Mathematical specification of software/hardware systems
Current Subject
Petri net applications for software/hardware design, verification, automatic generation
Keywords:Petri net applications for software/hardware design, verification, automatic generation
Petri net tool development
Keywords:Petri net tool development
Computer-aided instruction systems for English learning
Keywords:Computer-aided instruction systems for English learning
Mizar proof checker applications for hardware specification, verification
Keywords:Mizar proof checker applications for hardware specification, verification
Academic Societies
Academic Societies
Information Processing Society of Japan
Association for Computing Machinery
The Institute of Electrical and Electronics Engineers
Mizar Society

Committee of Academic Societies
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
Academic Background
Graduate School
Shinshu University , (Graduate School, Division of Engineering) , 1996
Shinshu University , (Graduate School, Division of Engineering) , 1993

College
Harvey Mudd College , (Faculty of Engineering) , 1988

Degree
Doctor of Engineering
Awards
2017 , 2017年IEEE信越支部学生国際学会参加奨励賞
2016 , IEEE Shinetsu Session Young Researcher Presentation Award
2016 , 平成28年度学生奨励賞
2012 , IEEE Shinetsu Session Young Researcher Presentation Award
Research Career
Research Career
2007- , Shinshu University, Associate Professor
1997- , Shinshu University, Associate Professor
1996- , Shinshu University, Assistant Professor

Research

Books, Articles, etc.
Articles
"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


Presentations
“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:二本松 宏、カワモト ポーリン


Others
"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

Themes for Joint Research
Professional communication skills development
Information systems for supporting children's education
Formalization of Petri net properties
Research Grants
Grants‐in‐aid for Scientific Research(Research Representative)
2006 - 2009 , 国際発表技術学習のためのマルチメディアを利用した教材開発と効果 , 基盤研究(C)
2003 - 2004 , ペトリネットによるCAIソフトウェア開発ツール , 若手研究(B)

Grants‐in‐aid for Scientific Research(Researcher)
2010 - 2013 , MIZAR数学ライブラリの構築と大学数学向け高度遠隔教育用コンテンツ開発 , 基盤研究(B)
2002 - 2005 , 自律歩行ロボットによる地雷探知・処理技術の研究(その2) , 基盤研究(B)
2000 - 2001 , 赤外線カメラを用いた埋設対人地雷探知技術の研究 , 基盤研究(B)
Research Activities
Journal Editorial Board
2000-2000 , Mizar Society, Mizar JAPAN Chapter , Mechanized Mathematics and Its Applications
2002-2002 , Mizar Society, Mizar JAPAN Chapter , Mechanized Mathematics and Its Applications
2004-2004 , Mizar Society, Mizar JAPAN Chapter , Mechanized Mathematics and Its Applications
2005-2005 , Mizar Society, Mizar JAPAN Chapter , Mechanized Mathematics and Its Applications
2006-2006 , Mizar Society, Mizar JAPAN Chapter , Mechanized Mathematics and Its Applications
2007-2007 , Mizar Society, Mizar JAPAN Chapter , Mechanized Mathematics and Its Applications
2008-2008 , Mizar Society, Mizar JAPAN Chapter , Mechanized Mathematics and Its Applications
2010-2010 , Mizar Society, Mizar JAPAN Chapter , Mechanized Mathematics and Its Applications
2006-2006 , Mizar Society, Mizar JAPAN Chapter , Technical Symposium and General Assembly of Mizar JAPAN
2007-2007 , 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
2009-2009 , 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
2011-2011 , 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
2013-2014 , 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
2015-2016 , 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
2017-2017 , Mizar Society, Mizar JAPAN Chapter , Technical Symposium and General Assembly of Mizar JAPAN

Journal Reviewer
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

Education

Lectures
2017 , Academic English I
2017 , Academic English I
2017 , Academic English I
2017 , Academic English I
2017 , Academic English I
2017 , Academic English I
2017 , Advanced Intelligent Processing IV
2017 , Foundations of Computer Science Tutorial I
2017 , Foundations of Computer Science Tutorial III
2017 , Foundations of Computer Science Lab. I
2017 , Foundations of Computer Science Lab. III
2017 , Mathematical Information Science and Its Applications
2017 , Special Seminar I (Kawamoto)
2017 , Special Seminar II (Kawamoto)
Thesis Guidance
2017
Graduation Thesis Number of Students Total:2(International Students:0)
Master's Thesis Number of Students Total:2(International Students:0)
Doctor's Thesis Number of Students Total:1(International Students:1)

2016
Graduation Thesis Number of Students Total:3(International Students:0)
Master's Thesis Number of Students Total:2(International Students:0)
Doctor's Thesis Number of Students Total:1(International Students:1)

2015
Graduation Thesis Number of Students Total:4(International Students:0)
Master's Thesis Number of Students Total:0(International Students:0)
Doctor's Thesis Number of Students Total:1(International Students:1)

2014
Graduation Thesis Number of Students Total:4(International Students:0)
Master's Thesis Number of Students Total:0(International Students:0)
Doctor's Thesis Number of Students Total:3(International Students:2)

2013
Graduation Thesis Number of Students Total:4(International Students:0)
Master's Thesis Number of Students Total:1(International Students:0)
Doctor's Thesis Number of Students Total:2(International Students:1)

2012
Graduation Thesis Number of Students Total:4(International Students:1)
Master's Thesis Number of Students Total:1(International Students:0)
Doctor's Thesis Number of Students Total:2(International Students:1)

2011
Graduation Thesis Number of Students Total:5(International Students:0)
Master's Thesis Number of Students Total:0(International Students:0)
Doctor's Thesis Number of Students Total:2(International Students:1)

2010
Graduation Thesis Number of Students Total:4(International Students:0)
Master's Thesis Number of Students Total:2(International Students:0)
Doctor's Thesis Number of Students Total:1(International Students:0)

2009
Graduation Thesis Number of Students Total:2(International Students:0)
Master's Thesis Number of Students Total:9
Doctor's Thesis Number of Students Total:0(International Students:0)

International Student Receipt
2016 , First Term:1 , Second Term:1
2015 , First Term:1 , Second Term:1
2014 , First Term:1 , Second Term:2
2013 , First Term:1 , Second Term:1
2012 , First Term:2 , Second Term:2
2011 , First Term:0 , Second Term:1