工学博士, 信州大学（日本）

プロフェッショナル・コミュニケーション学習

ソフトウェア・ハードウェアの数理的仕様化、検証、自動生成

2021年
信州大学工学部 教授

2007年 - 2021年
信州大学工学部 准教授

1997年 - 2007年
信州大学工学部 助教授

1996年
信州大学工学部 助手

1996年, 信州大学, 工学系研究科, システム開発工学専攻

1993年, 信州大学, 工学系研究科, 情報工学専攻

1988年, Harvey Mudd大学, 工学部

2023年
IEEE 東京・信越支部 WIE Chair, IEEE学会

2023年
IEEE Japan Council 理事, IEEE学会

2023年
IEEE 東京支部理事, IEEE学会

2021年 - 2021年
IEEE ProComm Japan 2021 Seminar and Technical Meeting, Program Committee, The Institute of Electrical and Electronics Engineers (IEEE)

2021年 - 2021年
IEEE ProComm Japan 2021 Workshop and Technical Meeting, Program Committee, The Institute of Electrical and Electronics Engineers (IEEE)

2021年 - 2022年
Shin-etsu Section, Secretary, IEEE学会

2020年 - 2020年
電子情報通信学会 2020年信越支部 大会実行委員会, The Institute of Electronics, Information, and Communication Engineers (IEICE)

2019年 - 2022年
Shin-etsu Section, Women in Engineering (WiE) Liaison, The Institute of Electrical and Electronics Engineers (IEEE)

2019年 - 2021年
Professional Communication Society, Japan Chapter 2020 Symposium Steering Committee, The Institute of Electrical and Electronics Engineers (IEEE)

2018年
Professional Communication Society - Japan Chapter, Treasurer, The Institute of Electrical and Electronics Engineers

2017年 - 2017年
Mizar JAPAN Chapter, Technical Symposium Program Chair, Mizar Society

2017年 - 2018年
Shin-etsu Section, Treasurer, The Institute of Electrical and Electronics Engineers

2017年 - 2017年
Mizar JAPAN Chapter, Technical Symposium Program Chair, Mizar Society

2016年 - 2017年
Professional Communication Society - Japan Chapter, Chair, The Institute of Electrical and Electronics Engineers

2015年 - 2016年
Mizar JAPAN Chapter, Technical Symposium Program Chair, Mizar Society

2014年 - 2015年
Mizar JAPAN Chapter, Technical Symposium Program Chair, Mizar Society

2014年 - 2015年
Professional Communication Society - Japan Chapter, Treasurer, The Institute of Electrical and Electronics Engineers

2014年 - 2014年
Mizar JAPAN Chapter, MMA Technical Editor/Production Staff, Mizar Society

2013年 - 2014年
Mizar JAPAN Chapter, Technical Symposium Program Chair, Mizar Society

2013年 - 2013年
Mizar JAPAN Chapter, Technical Symposium Program Committee Chair, Mizar Society

2012年 - 2012年
Mizar JAPAN Chapter, Technical Symposium Program Chair, Mizar Society

2011年 - 2011年
Mizar JAPAN Chapter, Technical Symposium Program Chair, Mizar Society

2010年 - 2010年
Mizar JAPAN Chapter, Technical Symposium Program Chair, Mizar Society

2010年 - 2013年
Professional Communication Society - Japan Chapter, Vice Chair, The Institute of Electrical and Electronics Engineers

2010年 - 2010年
Professional Communications Society Technical Meeting, Program Chair, The Institute of Electrical and Electronics Engineers

2010年 - 2010年
Mizar JAPAN Chapter, MMA Technical Editor/Production Staff, Mizar Society

2009年 - 2009年
Mizar JAPAN Chapter, Technical Symposium Program Chair, Mizar Society

2009年 - 2009年
Mizar JAPAN Chapter, Technical Symposium Program Chair, Mizar Society

2008年 - 2008年
Mizar JAPAN Chapter, Technical Symposium Program Chair, Mizar Society

2008年 - 2008年
Mizar JAPAN Chapter, Technical Symposium Program Chair, Mizar Society

2008年 - 2009年
Professional Communication Society - Japan Chapter, Secretary, The Institute of Electrical and Electronics Engineers

2008年 - 2008年
Mizar JAPAN Chapter, MMA Technical Editor/Production Staff, Mizar Society

2008年 - 2008年
Professional Communications Society Technical Meeting, Program Chair, The Institute of Electrical and Electronics Engineers

2007年 - 2007年
Mizar JAPAN Chapter, Technical Symposium Program Chair, Mizar Society

2007年 - 2007年
Mizar JAPAN Chapter, Technical Symposium Program Chair, Mizar Society

2007年 - 2007年
International Conference on Advanced Learning Techniques, Local Steering Committee Member, The Institute of Electrical and Electronics Engineers

2007年 - 2007年
Mizar JAPAN Chapter, MMA Technical Editor/Production Staff, Mizar Society

2006年 - 2006年
Mizar JAPAN Chapter, Technical Symposium Program Chair, Mizar Society

2006年 - 2006年
Mizar JAPAN Chapter, MMA Technical Editor/Production Staff, Mizar Society

2005年 - 2005年
Mizar JAPAN Chapter, Technical Symposium Program Chair, Mizar Society

2005年 - 2005年
Mizar JAPAN Chapter, MMA Technical Editor/Production Staff, Mizar Society

2004年 - 2004年
Mizar JAPAN Chapter, Technical Symposium Program Chair, Mizar Society

2004年 - 2004年
Mizar JAPAN Chapter, MMA Technical Editor/Production Staff, Mizar Society

2002年 - 2002年
Mizar JAPAN Chapter, Technical Symposium Program Chair, Mizar Society

2002年 - 2002年
Mizar JAPAN Chapter, MMA Technical Editor/Production Staff, Mizar Society

2000年 - 2000年
Mizar JAPAN Chapter, Technical Symposium Program Chair, Mizar Society

2000年 - 2000年
Mizar JAPAN Chapter, MMA Technical Editor/Production Staff, Mizar Society

1999年 - 1999年
Mizar JAPAN Chapter, Technical Symposium Program Chair, Mizar Society

2022年
IEEE学会 信越支部, 2022年度 IEICE Shin-Etsu Section Convention IEEE Session Young Researcher Paper Award (Oral Session)

2021年
電子情報通信学会 IEICE, 電子情報通信学会信越支部　令和３年度学生奨励賞

2017年
IEEE, 2017年IEEE信越支部学生国際学会参加奨励賞

2016年
IEEE, IEEE Shinetsu Session Young Researcher Presentation Award

2016年
電子情報通信学会, 平成28年度学生奨励賞

2012年
IEEE, IEEE Shinetsu Session Young Researcher Presentation Award

"Visualizing and Communicating Health Trends in a Digital Charting Application for Nursing Home Staff"
R. Tsuzuki, R. Kumemoto, H. Yoshida, T. Tanaka, and P. N. Kawamoto
2022 IEEE 4th Global Conference on Life Sciences and Technologies (IEEE LifeTech 2022), 22-23, 2022年03月, 査読有り
最終著者, 責任著者

"Automating the Process of Distinguishing Marketable Apples"
M. Endo, P. N. Kawamoto
2021 Third International Conference on Transdisciplinary AI, 156-157, 2021年09月, 査読有り
最終著者, 責任著者

“Development of a Health Charting Application using a Human Centered Design Approach”
C. Namba, P. N. Kawamoto, M. Kosuda, and S. Otsuki
2020 IEEE 2nd Global Conference on Life Sciences and Technology (IEEE Life Tech 2020), 325-326, 2020年03月, 査読有り
責任著者

"A Simple Example for Linear Partial Differential Equations and Its Solution Using the Method of Separation of Variables"
S. Otsuki, P. N. Kawamoto, H. Yamazaki
Formalized Mathematics, 27(1), 25-34, 2019年

Gamifying the Element of Forgetting in E-learning Systems
Yukiya Kimura and Pauline N. Kawamoto
IEEE International Conference on Teaching, Assessment, and Learning for Engineering 2018, 321-324, 2018年12月05日

"On the Development of a Customizable Crowd Sensing System for Public Spaces using IoT Cloud Services"
R. Kobayashi, P. N. Kawamoto
2018 IEEE International Congress on Internet of Things (ICIOT 2018), 176-179, 2018年

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Learning to express engineering results in the universal language of mathematics
P. N. Kawamoto
IEEE PCSJ 2nd Technical Meeting 2013 keynote, 2013年

Learning from the Development of the SUGSI Framework
P. N. Kawamoto
外国語教育メディア学会（The Japan Association for Language Education and Technology）第４４回全国研究大会, 163, 2004年

Let’s review how professional engineering society memberships can help students grow
カワモト、ポーリン・ナオミ
2023 IEEE 12th Global Conference on Consumer Electronics, 2023年10月11日, IEEE, 招待有り

「スタッフが活躍できるICT導入」
カワモト、ポーリン・ナオミ
長野県社会福祉人材確保・定着支援セミナー, 2022年03月08日, 招待有り

“Visualizing and Communicating Health Trends in a Digital Charting Application for Nursing Home Staff”
Ryosuke Tsuzuki, Riku Kumemoto, Haruya Yoshida, Tomoki Tanaka, Pauline N. Kawamoto
2022 IEEE 4th Global Conference on Life Sciences and Technologies, 2022年03月07日

「BCIのための電極位置情報を付加したデータ前処理による運動想起脳波判別率の向上について」
長谷川　慶武、カワモト　ポーリン・ナオミ
The 18th IEEE Transdisciplinary-Oriented Workshop for Emerging Researchers, 2021年11月13日

「健康記録生成の手法による時間比較」
吉田　晴哉、カワモト　ポーリン・ナオミ
The 18th IEEE Transdisciplinary-Oriented Workshop for Emerging Researchers, 2021年11月13日

「健康記録のタブ形式でのオンライン表示」
田中　友基、Pauline N. Kawamoto
The 18th IEEE Transdisciplinary-Oriented Workshop for Emerging Researchers, 2021年11月13日

「深層学習とテクスチャマッピングによる動画内の人物スタイル変換の比較」
三福寺　輝、Pauline N Kawamoto
The 18th IEEE Transdisciplinary-Oriented Workshop for Emerging Researchers, 2021年11月13日

「デジタルスタンプを用いたオンライン健康記録システムについて」
久米本　陸、都築　瞭佑、カワモト　ポーリン　ナオミ
The 18th IEEE Transdisciplinary-Oriented Workshop for Emerging Researchers, 2021年11月13日

「様式内手書き情報の自動抽出と集計システムの開発」
米窪　慧、Pauline N. Kawamoto
The 18th IEEE Transdisciplinary-Oriented Workshop for Emerging Researchers, 2021年11月13日

「聴覚障害者へ向けた室内音通知システムの実装について」
駒形　真平、カワモト　ポーリン・ナオミ
The 18th IEEE Transdisciplinary-Oriented Workshop for Emerging Researchers, 2021年11月13日

“An image collecting system for automatic fruit sorting operations”
Minori Endo, Pauline N. Kawamoto
The 18th IEEE Transdisciplinary-Oriented Workshop for Emerging Researchers, 2021年11月13日

「データ集計システム用のチェックボックス判定機能の実装と評価」
米窪 慧、カワモト、ポーリン・ナオミ
2021年度電子情報通信学会信越支部大会 32, 2021年09月25日

“Using Deep Learning to Automatically Classify Apple Surface Characteristics”
Minori Endo, Pauline Naomi Kawamoto
2021 Convention Record of the Shin-Etsu Chapter of The Institute of Electronics, Information, and Communication Engineers, IEEE Shin-etsu Section Oral Session, 2021年09月25日

“Automating the Process of Distinguishing Marketable Apples”
Minori Endo, Pauline N. Kawamoto
2021 Third International Conference on Transdisciplinary AI, 2021年09月20日

「CycleGANを用いた人物イメージ変換について」
三福寺 輝、カワモト　ポーリン・ナオミ
2020年度電子情報通信学会信越支部大会 57, 2020年09月27日

「学習済み物体認識 CNN モデルの音声識別への応用」
長谷川 慶武、カワモト・ポーリン・ナオミ
2020年度電子情報通信学会信越支部大会 58, 2020年09月27日

「介護施設における健康記録アプリの開発について」
吉田 晴哉、カワモト、ポーリン・ナオミ
2020年度電子情報通信学会信越支部大会 40, 2020年09月26日

「ゾーンOCRによる手書きフォームの情報抽出について」
米窪 慧、カワモト、ポーリン・ナオミ
2020年度電子情報通信学会信越支部大会 106, 2020年09月26日

「Raspberry Piを用いた室内音通知システムの開発について」
駒形 真平、カワモト、ポーリン・ナオミ
2020年度電子情報通信学会信越支部大会 107, 2020年09月26日

“Development of a Health Charting Application using a Human Centered Design Approach”,
Chihiro Namba, Pauline N. Kawamoto, Mitsuya Kosuda, and Sora Otsuki
2020 IEEE 2nd Global Conference on Life Sciences and Technology (IEEE Life Tech 2020), 2020年03月10日

「スポーツ映像内の特定物体軌跡の見せ方について」
大月空、カワモトポーリン
2019年度電子情報通信学会信越支部大会 85, 2019年09月28日

“On a Word Card Application for Assisting Storage Strategy Learning”
M. Kosuda, P. N. Kawamoto
2019 Convention Record of the Shin-Etsu Chapter of The Institute of Electronics, Information, and Communication Engineers, IEEE Shin-etsu Poster Session, 2019年09月28日

“Gamifying the Element of Forgetting in E-learning Systems”
Yukiya Kimura and Pauline N. Kawamoto
IEEE International Conference on Teaching, Assessment, and Learning for Engineering 2018 (TALE 2018), 2018年12月05日

"Using gamification of visual novel contents to help learners forget less"
Yukiya Kimura, Pauline Kawamoto
2018 Convention Record of the Shin-Etsu Chapter of the Institute of Electronics, Information, and Communication Engineers, IEEE Shin-etsu Session Poster Session, 2018年09月29日

"Customizing the Thresholds for a Crowd Sensing System for Public Spaces"
Ryutaro Kobayashi, Pauline Kawamoto
2018 Convention Record of the Shin-Etsu Chapter of the Institute of Electronics, Information, and Communication Engineers, IEEE Shin-etsu Oral Session, 2018年09月29日

"Mark-up of Selected Trajectories in Sports Videos using Object Detection"
Sora Otsuki, Pauline N. Kawamoto
2018 Convention Record of the Shin-Etsu Chapter of the Institute of Electronics, Information, and Communication Engineers, IEEE Shin-etsu Oral Session, 2018年09月29日

"Development of a Versatile Word Card Grouping Application for Children"
Mitsuya Kosuda, Pauline N. Kawamoto
2018 Convention Record of the Shin-Etsu Chapter of the Institute of Electronics, Information, and Communication Engineers, IEEE Shin-etsu Oral Session, 2018年09月29日

“On the Development of a Customizable Crowd Sensing System for Public Spaces using IoT Cloud Services”
Ryutaro Kobayashi and Pauline N. Kawamoto
2018 IEEE International Congress on Internet of Things (ICIOT 2018), 2018年07月03日

“A Mobile Tracking Application Tailored for Caravan Groups”
Ryutaro Kobayashi and Pauline N. Kawamoto
2017 3rd International Conference on Communication and Information Processing, 2017年11月24日

「波動方程式から波動関数を導く過程の形式的検証について」
大月空、カワモトポーリン
平成２９年度電子情報通信学会信越支部大会 89, 2017年10月07日

「簡易写真整理アプリを用いた認知症者への回想法支援」
五浦亮佑、カワモト・ポーリンナオミ
平成２９年度電子情報通信学会信越支部大会 96, 2017年10月07日

「クロスリンク情報を含む XML ファイルの可視化ツールについて」
菅勇誠、カワモトポーリン
平成２９年度電子情報通信学会信越支部大会 102, 2017年10月07日

「文章構造可視化のためのマインドマップ作製ウェブツール」
田邉健、カワモトポーリン
平成２９年度電子情報通信学会信越支部大会 110, 2017年10月07日

“Raising Awareness about Disaster Preparedness in Visitors to Japan using E-Contents”
Y. Kimura, P. N. Kawamoto
2017 Convention Record of the Shin-Etsu Chapter of the Institute of Electronics, Information, and Communication Engineers, IEEE Shin-etsu Oral Session, 2017年10月07日

“On a Crowd Detection System using IoT Cloud Services”
R. Kobayashi, P. Kawamoto
2017 Convention Record of the Shin-Etsu Chapter of the Institute of Electronics, Information, and Communication Engineers, IEEE Shin-etsu Oral Session, 2017年10月07日

“GPS zone computations for a vehicle sway notification system”
S. Yamamoto, P. N. Kawamoto
2017 Convention Record of the Shin-Etsu Chapter of the Institute of Electronics, Information, and Communication Engineers, IEEE Shin-etsu Poster Session, 2017年10月07日

「ＳＮＳから抽出できる外国人観光客へ向けた 観光情報可視化の研究」
木村征矢、カワモト、ポーリン・ナオミ
平成２８年度電子情報通信学会信越支部大会 95, 2016年10月08日

「キャラバングループのトラッキング機能と旅記録のアプリ開発」
小林 龍太郎、カワモト, ポーリン・ナオミ
平成２８年度電子情報通信学会信越支部大会 96, 2016年10月08日

「認知症者への回想法に利用できる簡易写真整理アプリの開発」
五浦亮佑、　カワモト・ポーリン・ナオミ
平成２８年度電子情報通信学会信越支部大会 103, 2016年10月08日

「Mizar ライブラリにおける Article 間関係の可視化方法」
菅 勇誠、カワモト ポーリン
平成２８年度電子情報通信学会信越支部大会 104, 2016年10月08日

"Mizar Formalization of Theorems Concerning the Projection of Moving Objects"
S. Yamamoto, P. N. Kawamoto
2016 Convention Record of the Shin-Etsu Chapter of the Institute of Electronics, Information, and Communication Engineers, IEEE Shin-etsu Oral Session, 2016年10月08日

"Development and Evaluation of an Online Assistant for Helping Novice Learners Correct Defects in i* Models"
H. Mejri, P. N. Kawamoto
2016 Convention Record of the Shin-Etsu Chapter of the Institute of Electronics, Information, and Communication Engineers, IEEE Shin-etsu Poster Session, 2016年10月08日

“Improving Feedback to Novice Learners on Constructing i* Requirements Diagrams”
Hajer Mejri and Pauline N. Kawamoto
Proceedings of 2016 6th International Workshop on Computer Science and Engineering, 2016年06月17日

“i*Check: A Web-based Tool Assistant for Detecting Design Errors in i* Model Data”
Hajer Mejri and Pauline N. Kawamoto
Proceedings of 19th ISERD – International Conference on Engineering, Technology and Innovation, 2015年11月13日

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

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

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

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

「Ｍｉｚａｒ証明検証システムを用いたペトリネットにおける性質の形式化について」
山田稔貴, カワモト ポーリン・ナオミ
平成２６年度電子情報通信学会信越支部大会 2, 2014年10月04日

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

“Formalization of Decision-free Petri nets in Mizar”
P. K. Shah, P. N. Kawamoto
2013 Convention Record of the Shin-Etsu Chapter of the Institute of Electronics, Information, and Communication Engineers, IEEE Shin-etsu Poster Session, 2013年10月05日

“Development of an Online Read-along Contents Library”
Y. Ogawa, P. N. Kawamoto
2013 Convention Record of the Shin-Etsu Chapter of the Institute of Electronics, Information, and Communication Engineers, IEEE Shin-etsu Oral Session, 2013年10月05日

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

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

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

“A New Time Petri Net Modelling Tool for Beginning Designers”
P. K. Shah, P. N. Kawamoto
2012 Convention Record of The Shin-Etsu Chapter of The Institute of Electronics, Information, and Communication Engineers, IEEE Shinetsu Poster Session, 2012年10月13日

“Development of a tool for producing read-along contents”
Y. Ogawa, P. N. Kawamoto
2012 Convention Record of The Shin-Etsu Chapter of The Institute of Electronics, Information, and Communication Engineers, IEEE Shinetsu Oral Session, 2012年10月13日

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

特別演習Ⅰ（カワモト）
信州大学

特別演習Ⅱ（カワモト）
信州大学

特別演習Ⅰ（カワモト）
信州大学

特別演習Ⅱ（カワモト）
信州大学

アカデミック・イングリッシュ・フェーズⅢ
信州大学

アカデミック・イングリッシュ・フェーズⅢ
信州大学

アカデミック・イングリッシュ・フェーズⅢ
信州大学

アカデミック・イングリッシュ・フェーズⅢ
信州大学

アカデミック・イングリッシュ・フェーズⅢ
信州大学

アカデミック・イングリッシュ・フェーズⅣ
信州大学

数理情報学応用演習Ⅰ
信州大学

数理情報学応用演習Ⅱ
信州大学

数理情報学応用特別実験
信州大学

数理情報学応用特論
信州大学

数理情報学応用特論
信州大学

アカデミック・イングリッシュⅠ
信州大学

アカデミック・イングリッシュⅠ
信州大学

アカデミック・イングリッシュⅠ
信州大学

アカデミック・イングリッシュⅡ
信州大学

アカデミック・イングリッシュⅡ
信州大学

アカデミック・イングリッシュⅡ
信州大学

数理情報学応用演習Ⅰ
信州大学

数理情報学応用演習Ⅱ
信州大学

数理情報学応用特別実験
信州大学

数理情報学応用特論
信州大学

数理情報学応用特論
信州大学

2017年06月
情報処理学会

2010年
Association for Computing Machinery

1996年
The Institute of Electrical and Electronics Engineers

1993年
Mizar Society

介護職が作成する個別介護計画書の電子化
共同研究, Kita Alps No Kaze
2022年

要介護者のバイタル健康記録のIT化
共同研究, Famiglia OMOTESANDO
2019年

MIZAR数学ライブラリの構築と大学数学向け高度遠隔教育用コンテンツ開発
科学研究費補助金, 基盤研究(B)
2010年 - 2013年

国際発表技術学習のためのマルチメディアを利用した教材開発と効果
科学研究費補助金, 基盤研究（Ｃ）
2006年 - 2009年

ペトリネットによるＣＡＩソフトウェア開発ツール
科学研究費補助金, 若手研究（Ｂ）
2003年 - 2004年

自律歩行ロボットによる地雷探知・処理技術の研究（その２）
科学研究費補助金, 基盤研究(B)
2002年 - 2005年

赤外線カメラを用いた埋設対人地雷探知技術の研究
科学研究費補助金, 基盤研究(B)
2000年 - 2001年

介護環境のためのICTシステム開発

ペトリネットによるソフトウェア・ハードウェアの設計、検証、自動生成

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

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

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

「産業フェア in 信州 2021」出展, Big Hat Arena (Nagano-shi), 2021年10月22日 - 2021年10月23日

「児童と一緒に国際理解授業」
長野市立南部小学校, 2019年07月19日 - 2019年07月19日

「区民のための Desktop Publishing (DTP)」
須坂市中央公民館, 2019年01月30日 - 2019年01月30日

「児童と一緒に国際理解授業」
長野市立南部小学校, 2018年07月11日 - 2018年07月11日

「児童と一緒に国際理解授業」
長野市立信里小学校, 2017年10月12日 - 2017年10月12日

長野県長野高等学校　スーパーグローバルハイスクール（ＳＧＨ）　プレゼンテーションデー, 長野県長野高等学校, 2017年09月30日 - 2017年09月30日

「児童と一緒に国際理解授業」
長野市立南部小学校, 2017年07月12日 - 2017年07月12日

長野県長野高等学校　スーパーグローバルハイスクール（ＳＧＨ）　プレゼンテーションデー, 長野県長野高等学校, 2016年10月01日 - 2016年10月01日

長野県長野高等学校　スーパーグローバルハイスクール（ＳＧＨ）　プレゼンテーションデー, 長野県長野高等学校, 2015年09月05日 - 2015年09月05日

長野県長野高等学校　スーパーグローバルハイスクール（ＳＧＨ）　プレゼンテーションデー, 長野県長野高等学校, 2014年12月13日 - 2014年12月13日

長野県長野高等学校　スーパーグローバルハイスクール（ＳＧＨ）, 長野県長野高等学校, 2013年12月01日

企画立案・運営等
IEEE ProComm Japan 2021 Seminar, 2021年11月28日 - 2021年11月28日

企画立案・運営等
IEEE Tokyo/Shin-etsu Joint Section Women in Engineering 2021 Symposium, 2021年10月 - 2021年11月06日

企画立案・運営等
IEEE ProComm Japan 2021 Workshop and Technical Meeting, 2021年09月21日 - 2021年09月21日

査読
The 3rd International Conference on Educational Technology, Language and Technical Communication (ETLCT2021) & ACM Chapter International Conference on Educational Technology, Language & Technical Communication, 2020年12月 - 2021年01月

査読
IEEE Transactions on Education, 2020年08月 - 2020年09月

査読
PeerJ Computer Science, 2020年06月 - 2020年07月

企画立案・運営等
電子情報通信学会・信越支部大会, Shinshu University, Nagano-Engineering Campus, Nagano, Japan, 2020年03月 - 2020年10月

査読
ICT in Education, Research, and Industrial Applications, 2020年 - 2020年

企画立案・運営等
IEEE ProComm Japan 2020 Symposium, 2019年12月 - 2021年01月

企画立案・運営等
Mizar Society, Mizar JAPAN Chapter, Technical Symposium, Shinshu University, Nagano-Engineering Campus, Nagano, Japan, 2017年12月26日 - 2017年12月26日

企画立案・運営等
IEEE Professional Communication Society, Japan Chapter, Annual Conference, 芝浦工業大学　大宮キャンパス, 2017年12月02日 - 2017年12月02日

企画立案・運営等
IEEE Professional Communication Society, Japan Chapter, Annual Conference, Shinshu University, Nagano-Engineering Campus, Nagano, Japan, 2017年06月03日 - 2017年06月03日

企画立案・運営等
Mizar Society, Mizar JAPAN Chapter, Technical Symposium, Shinshu University, Faculty of Engineering, 2017年03月03日 - 2017年03月03日

その他
Mizar Society, Mizar JAPAN Chapter, 2017年 - 2017年12月

査読
IEEE Global Conference on Consumer Electronics, 2017年 - 2017年

企画立案・運営等
IEEE Professional Communication Society, Japan Chapter, Annual Conference, 芝浦工業大学　大宮キャンパス, 2016年12月03日 - 2016年12月03日

企画立案・運営等
IEEE Professional Communication Society, Japan Chapter, Annual Conference, 信州大学 東京オフィス, 2016年07月31日 - 2016年07月31日

企画立案・運営等
Mizar Society, Mizar JAPAN Chapter, Technical Symposium, Shinshu University, Faculty of Engineering, 2016年02月22日 - 2016年02月22日

その他
Mizar Society, Mizar JAPAN Chapter, 2016年 - 2017年03月

企画立案・運営等
IEEE Professional Communication Society, Japan Chapter, Annual Conference, 信州大学 長野（工学部）キャンパス, 2015年12月19日 - 2015年12月19日

その他
Mizar Society, Mizar JAPAN Chapter, 2015年 - 2016年02月

企画立案・運営等
IEEE Professional Communication Society - Japan Chapter, 1st Technical Meeting, Webinar, 2014年10月28日 - 2014年10月28日

企画立案・運営等
Mizar Society, Mizar JAPAN Chapter, Technical Symposium, Shinshu University, Nagano-Engineering Campus, Nagano, Japan, 2014年01月31日 - 2014年01月31日

その他
Mizar Society, Mizar JAPAN Chapter, 2014年 - 2015年01月

その他
Mizar Society, Mizar JAPAN Chapter, 2014年 - 2014年08月

査読
The 6th Podlasie Conference on Mathematics (6PCM), 2014年 - 2014年

その他
Mizar Society, Mizar JAPAN Chapter, 2013年 - 2014年01月

企画立案・運営等
Mizar Society, Mizar JAPAN Chapter, Technical Symposium, Shinshu University, Tokyo Office, Funabori, Japan, 2012年10月28日 - 2012年10月28日

その他
Mizar Society, Mizar JAPAN Chapter, 2012年 - 2012年10月

企画立案・運営等
Mizar Society, Mizar JAPAN Chapter, Technical Symposium, Shinshu University, Nagano-Engineering Campus, Nagano, Japan, 2011年11月21日 - 2011年11月21日

その他
Mizar Society, Mizar JAPAN Chapter, 2011年 - 2011年11月

企画立案・運営等
IEEE Professional Communication Society - Japan Chapter, Annual Conference, Shinshu University, Nagano-Engineering Campus, Nagano, Japan, 2010年12月12日 - 2010年12月12日

企画立案・運営等
Mizar Society, Mizar JAPAN Chapter, Technical Symposium, Shinshu University, Tokyo Office, Funabori, Japan, 2010年09月06日 - 2010年09月06日

その他
Mizar Society, Mizar JAPAN Chapter, 2010年 - 2010年03月

その他
Mizar Society, Mizar JAPAN Chapter, 2010年 - 2010年09月

企画立案・運営等
Mizar Society, Mizar JAPAN Chapter, Technical Symposium, Shinshu University, Tokyo Office, Funabori, Japan, 2009年11月06日 - 2009年11月06日

企画立案・運営等
Mizar Society, Mizar JAPAN Chapter, Technical Symposium, Shinshu University, Nagano-Engineering Campus, 2009年06月19日 - 2009年06月19日

その他
Mizar Society, Mizar JAPAN Chapter, 2009年 - 2009年11月

査読
International Journal of Applied Mathematics and Computer Science (AMCS), 2009年 - 2009年

企画立案・運営等
IEEE Professional Communication Society - Japan Chapter, Annual Conference, Waseda University, Tokyo, Japan, 2008年11月16日 - 2008年11月16日

企画立案・運営等
Mizar Society, Mizar JAPAN Chapter, Technical Symposium, Shinshu University, Nagano-Engineering Campus, Nagano, Japan, 2008年11月15日 - 2008年11月15日

企画立案・運営等
Mizar Society, Mizar JAPAN Chapter, Technical Symposium, Shinshu University, Nagano-Engineering Campus, Nagano, Japan, 2008年06月23日 - 2008年06月23日

その他
Mizar Society, Mizar JAPAN Chapter, 2008年 - 2008年09月

その他
Mizar Society, Mizar JAPAN Chapter, 2008年 - 2008年11月

査読
IEEE PCSJ Technical Meeting, 2008年 - 2008年

企画立案・運営等
Mizar Society, Mizar JAPAN Chapter, Technical Symposium, Shinshu University, Nagano-Engineering Campus, Nagano, Japan, 2007年10月19日 - 2007年10月19日

企画立案・運営等
IEEE International Conference on Advanced Learning Techniques (ICALT), Niigata, Japan, 2007年07月18日 - 2007年07月20日

企画立案・運営等
Mizar Society, Mizar JAPAN Chapter, Technical Symposium, Shinshu University, Nagano-Engineering Campus, Nagano, Japan, 2007年05月18日 - 2007年05月18日

その他
Mizar Society, Mizar JAPAN Chapter, 2007年 - 2007年11月

その他
Mizar Society, Mizar JAPAN Chapter, 2007年 - 2007年10月

企画立案・運営等
Mizar Society, Mizar JAPAN Chapter, Technical Symposium, Shinshu University, Nagano-Engineering Campus, Nagano, Japan, 2006年09月22日 - 2006年09月22日

その他
Mizar Society, Mizar JAPAN Chapter, 2006年 - 2006年07月

その他
Mizar Society, Mizar JAPAN Chapter, 2006年 - 2006年09月

その他
Mizar Society, Mizar JAPAN Chapter, 2005年 - 2005年03月

その他
Mizar Society, Mizar JAPAN Chapter, 2004年 - 2004年04月

その他
Mizar Society, Mizar JAPAN Chapter, 2002年 - 2002年08月

その他
Mizar Society, Mizar JAPAN Chapter, 2000年 - 2000年06月

2019年, 2, 0, 2, 0

2018年, 2, 0, 0, 0

2021年, 5, 0, 5, 0

2013年, 4, 0, 3, 0, 1, 0, 1, 0, 2, 1, 0, 0

2012年, 4, 1, 4, 1, 1, 0, 0, 0, 2, 1, 0, 0

2011年, 5, 0, 5, 0, 0, 0, 0, 0, 2, 1, 0, 0

2010年, 4, 0, 3, 0, 2, 0, 2, 0, 1, 0, 0, 0

2009年, 2, 0, 2, 0, 9, 9, 0, 0, 0, 0

2014年, 4, 0, 4, 0, 0, 0, 0, 0, 3, 2, 2, 1

2015年, 4, 0, 4, 0, 0, 0, 0, 0, 1, 1, 0, 0

2016年, 3, 0, 3, 0, 2, 0, 0, 0, 1, 1, 0, 0

2017年, 2, 0, 2, 0, 2, 0, 1, 0, 1, 1, 1, 1

2013年, 1, 1

2015年, 1, 1

2016年, 1, 1

2014年, 1, 2

2011年, 0, 1

2012年, 2, 2

2013年, 工学部英語教育ＷＧ, 委員

2008年04月 - 2010年03月, 情報工学科ＩＴ大学担当

2003年04月 - 2004年03月, 情報工学科計算機委員長

2006年04月 - 2007年03月, 情報工学科計算機委員長

1998年04月 - 1999年03月, 広報委員会, 情報工学科広報委員

1999年 - 1999年, 外部評価委員会, 情報工学科外部評価委員

1999年04月 - 2000年03月, 留学生委員会, 情報工学科委員

2000年04月 - 2001年03月, 留学生委員会, 情報工学科委員

2004年05月01日 - 2005年04月30日, 学務委員会, 情報工学科学務員

2005年05月01日 - 2006年04月30日, 学務委員会, 情報工学科副学務員

2013年05月01日 - 2014年04月30日, 入試委員会, 情報工学科副入試員

2014年03月20日 - 2015年04月30日, 入試委員会, 情報工学科入試員

2015年05月01日 - 2016年04月30日, 入試委員会, 情報工学科副入試員

2012年05月01日 - 2013年04月30日, 学務委員会, 情報工学科副学務員

2011年05月01日 - 2012年04月30日, 学務委員会, 情報工学科学務員

2010年05月01日 - 2011年04月30日, 学務委員会, 情報工学科副学務員

2014年, 工学部広報室国際交流関係ワーキングチーム, メンバー

2017年, 平成３３年（２０１２）年度新入試検討　工学部ＷＧ, メンバー

2016年04月01日 - 2017年03月31日, 広報委員会, 情報工学科副広報員

2018年05月01日 - 2019年04月30日, 学務委員会, 工学基礎部門学務員

2019年 - 2019年12月09日, 工学専攻分野横断の枠組み検討ＷＧ, 工学基礎部門メンバー

2019年04月 - 2020年03月, 広報委員会, 工学基礎部門広報員

2021年04月, e-learning センター運営委員会, 委員

2017年 - 2018年, 全学３１年度英語科目検討ＷＧ, メンバー（工学部）

1997年04月, 工学部外国語担当