Doctor of Engineering, 信州大学（日本）

Professional communication skills development

Mathematical specification of software/hardware systems

2021
Shinshu University, Professor

2007 - 2021
Shinshu University, Associate Professor

1997 - 2007
Shinshu University, Associate Professor

1996
Shinshu University, Assistant Professor

1988, Harvey Mudd College, Faculty of Engineering

1996, Shinshu University, Graduate School, Division of Engineering, システム開発工学専攻

1993, Shinshu University, Graduate School, Division of Engineering, 情報工学専攻

2023
IEEE Tokyo/Shin-etsu Joint Section Women in Engineering (WIE) Affinity Group Chair, The Institute of Electrical and Electronic Engineers (IEEE)

2023
IEEE Japan Council Board Member, The Institute of Electrical and Electronic Engineers (IEEE)

2023
IEEE Tokyo Section Board Member, The Institute of Electrical and Electronic Engineers (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, The Institute of Electrical and Electronics Engineers (EEE)

2020 - 2020
2020 Shin-Etsu Chapter of The Institute of Electronics, Information, and Communication Engineers Convention Steering Committee, 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
The Institute of Electrical and Electronic Engineers (IEEE) Shin-etsu Section, 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
Institute of Electronics, Information, and Communication Engineers, 平成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, Mar. 2022, Refereed
Last, Corresponding

"Automating the Process of Distinguishing Marketable Apples"
M. Endo, P. N. Kawamoto
2021 Third International Conference on Transdisciplinary AI, 156-157, Sep. 2021, Refereed
Last, Corresponding

“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, Mar. 2020, Refereed
Corresponding

"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, 05 Dec. 2018

"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, 17 Jun. 2016

"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, 13 Nov. 2015

"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
Pauline N. Kawamoto
2023 IEEE 12th Global Conference on Consumer Electronics, 11 Oct. 2023, IEEE, Invited

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

“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, 07 Mar. 2022

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

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

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

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

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

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

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

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

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

“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, 25 Sep. 2021

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

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

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

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

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

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

“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), 10 Mar. 2020

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

“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, 28 Sep. 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 (TALE 2018), 05 Dec. 2018

"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, 29 Sep. 2018

"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, 29 Sep. 2018

"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, 29 Sep. 2018

"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, 29 Sep. 2018

“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), 03 Jul. 2018

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

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

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

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

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

“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, 07 Oct. 2017

“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, 07 Oct. 2017

“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, 07 Oct. 2017

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

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

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

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

"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, 08 Oct. 2016

"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, 08 Oct. 2016

“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, 17 Jun. 2016

“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, 13 Nov. 2015

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

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

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

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

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

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

“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, 05 Oct. 2013

“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, 05 Oct. 2013

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

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

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

“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, 13 Oct. 2012

“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, 13 Oct. 2012

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

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

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

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

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

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

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

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

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

「電力線通信による機器管理システムの開発」
高橋 佑輔，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

Special Seminar I (Kawamoto)
Shinshu University

Special Seminar II (Kawamoto)
Shinshu University

Special Seminar I (Kawamoto)
Shinshu University

Special Seminar II (Kawamoto)
Shinshu University

Academic English Phase III
Shinshu University

Academic English Phase III
Shinshu University

Academic English Phase III
Shinshu University

Academic English Phase III
Shinshu University

Academic English Phase III
Shinshu University

Academic English Phase IV
Shinshu University

Exercises in Applicable Mathematics and Informatics I
Shinshu University

Exercises in Applicable Mathematics and Informatics II
Shinshu University

Experiments in Applicable Mathematics and Informatics
Shinshu University

Applicable Mathematics and Informatics
Shinshu University

Computational and Applicable Mathematics
Shinshu University

Academic English I
Shinshu University

Academic English I
Shinshu University

Academic English I
Shinshu University

Academic English II
Shinshu University

Academic English II
Shinshu University

Academic English II
Shinshu University

Exercises in Applicable Mathematics and Informatics I
Shinshu University

Exercises in Applicable Mathematics and Informatics II
Shinshu University

Experiments in Applicable Mathematics and Informatics
Shinshu University

Applicable Mathematics and Informatics
Shinshu University

Computational and Applicable Mathematics
Shinshu University

1996
The Institute of Electrical and Electronics Engineers

1993
Mizar Society

2010
Association for Computing Machinery

Jun. 2017
Information Processing Society of Japan

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

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

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

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

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

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

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

ICT system development for long-term health care environments

Petri net applications for software/hardware design, verification, automatic generation

Petri net tool development

Computer-aided instruction systems for English learning

Mizar proof checker applications for hardware specification, verification

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

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

「区民のための Desktop Publishing (DTP)」
須坂市中央公民館, 30 Jan. 2019 - 30 Jan. 2019

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

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

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

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

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

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

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

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

Planning etc
IEEE ProComm Japan 2021 Seminar, 28 Nov. 2021 - 28 Nov. 2021

Planning etc
IEEE Tokyo/Shin-etsu Joint Section Women in Engineering 2021 Symposium, Oct. 2021 - 06 Nov. 2021

Planning etc
IEEE ProComm Japan 2021 Workshop and Technical Meeting, 21 Sep. 2021 - 21 Sep. 2021

Peer review
The 3rd International Conference on Educational Technology, Language and Technical Communication (ETLCT2021) & ACM Chapter International Conference on Educational Technology, Language & Technical Communication, Dec. 2020 - Jan. 2021

Peer review
IEEE Transactions on Education, Aug. 2020 - Sep. 2020

Peer review
PeerJ Computer Science, Jun. 2020 - Jul. 2020

Planning etc
電子情報通信学会・信越支部大会, Shinshu University, Nagano-Engineering Campus, Nagano, Japan, Mar. 2020 - Oct. 2020

Peer review
ICT in Education, Research, and Industrial Applications, 2020 - 2020

Planning etc
IEEE ProComm Japan 2020 Symposium, Dec. 2019 - Jan. 2021

Planning etc
Mizar Society, Mizar JAPAN Chapter, Technical Symposium, Shinshu University, Nagano-Engineering Campus, Nagano, Japan, 26 Dec. 2017 - 26 Dec. 2017

Planning etc
IEEE Professional Communication Society, Japan Chapter, Annual Conference, 芝浦工業大学　大宮キャンパス, 02 Dec. 2017 - 02 Dec. 2017

Planning etc
IEEE Professional Communication Society, Japan Chapter, Annual Conference, Shinshu University, Nagano-Engineering Campus, Nagano, Japan, 03 Jun. 2017 - 03 Jun. 2017

Planning etc
Mizar Society, Mizar JAPAN Chapter, Technical Symposium, Shinshu University, Faculty of Engineering, 03 Mar. 2017 - 03 Mar. 2017

Others
Mizar Society, Mizar JAPAN Chapter, 2017 - Dec. 2017

Peer review
IEEE Global Conference on Consumer Electronics, 2017 - 2017

Planning etc
IEEE Professional Communication Society, Japan Chapter, Annual Conference, 芝浦工業大学　大宮キャンパス, 03 Dec. 2016 - 03 Dec. 2016

Planning etc
IEEE Professional Communication Society, Japan Chapter, Annual Conference, 信州大学 東京オフィス, 31 Jul. 2016 - 31 Jul. 2016

Planning etc
Mizar Society, Mizar JAPAN Chapter, Technical Symposium, Shinshu University, Faculty of Engineering, 22 Feb. 2016 - 22 Feb. 2016

Others
Mizar Society, Mizar JAPAN Chapter, 2016 - Mar. 2017

Planning etc
IEEE Professional Communication Society, Japan Chapter, Annual Conference, 信州大学 長野（工学部）キャンパス, 19 Dec. 2015 - 19 Dec. 2015

Others
Mizar Society, Mizar JAPAN Chapter, 2015 - Feb. 2016

Planning etc
IEEE Professional Communication Society - Japan Chapter, 1st Technical Meeting, Webinar, 28 Oct. 2014 - 28 Oct. 2014

Planning etc
Mizar Society, Mizar JAPAN Chapter, Technical Symposium, Shinshu University, Nagano-Engineering Campus, Nagano, Japan, 31 Jan. 2014 - 31 Jan. 2014

Others
Mizar Society, Mizar JAPAN Chapter, 2014 - Jan. 2015

Others
Mizar Society, Mizar JAPAN Chapter, 2014 - Aug. 2014

Peer review
The 6th Podlasie Conference on Mathematics (6PCM), 2014 - 2014

Others
Mizar Society, Mizar JAPAN Chapter, 2013 - Jan. 2014

Planning etc
Mizar Society, Mizar JAPAN Chapter, Technical Symposium, Shinshu University, Tokyo Office, Funabori, Japan, 28 Oct. 2012 - 28 Oct. 2012

Others
Mizar Society, Mizar JAPAN Chapter, 2012 - Oct. 2012

Planning etc
Mizar Society, Mizar JAPAN Chapter, Technical Symposium, Shinshu University, Nagano-Engineering Campus, Nagano, Japan, 21 Nov. 2011 - 21 Nov. 2011

Others
Mizar Society, Mizar JAPAN Chapter, 2011 - Nov. 2011

Planning etc
IEEE Professional Communication Society - Japan Chapter, Annual Conference, Shinshu University, Nagano-Engineering Campus, Nagano, Japan, 12 Dec. 2010 - 12 Dec. 2010

Planning etc
Mizar Society, Mizar JAPAN Chapter, Technical Symposium, Shinshu University, Tokyo Office, Funabori, Japan, 06 Sep. 2010 - 06 Sep. 2010

Others
Mizar Society, Mizar JAPAN Chapter, 2010 - Mar. 2010

Others
Mizar Society, Mizar JAPAN Chapter, 2010 - Sep. 2010

Planning etc
Mizar Society, Mizar JAPAN Chapter, Technical Symposium, Shinshu University, Tokyo Office, Funabori, Japan, 06 Nov. 2009 - 06 Nov. 2009

Planning etc
Mizar Society, Mizar JAPAN Chapter, Technical Symposium, Shinshu University, Nagano-Engineering Campus, 19 Jun. 2009 - 19 Jun. 2009

Others
Mizar Society, Mizar JAPAN Chapter, 2009 - Nov. 2009

Peer review
International Journal of Applied Mathematics and Computer Science (AMCS), 2009 - 2009

Planning etc
IEEE Professional Communication Society - Japan Chapter, Annual Conference, Waseda University, Tokyo, Japan, 16 Nov. 2008 - 16 Nov. 2008

Planning etc
Mizar Society, Mizar JAPAN Chapter, Technical Symposium, Shinshu University, Nagano-Engineering Campus, Nagano, Japan, 15 Nov. 2008 - 15 Nov. 2008

Planning etc
Mizar Society, Mizar JAPAN Chapter, Technical Symposium, Shinshu University, Nagano-Engineering Campus, Nagano, Japan, 23 Jun. 2008 - 23 Jun. 2008

Others
Mizar Society, Mizar JAPAN Chapter, 2008 - Sep. 2008

Others
Mizar Society, Mizar JAPAN Chapter, 2008 - Nov. 2008

Peer review
IEEE PCSJ Technical Meeting, 2008 - 2008

Planning etc
Mizar Society, Mizar JAPAN Chapter, Technical Symposium, Shinshu University, Nagano-Engineering Campus, Nagano, Japan, 19 Oct. 2007 - 19 Oct. 2007

Planning etc
IEEE International Conference on Advanced Learning Techniques (ICALT), Niigata, Japan, 18 Jul. 2007 - 20 Jul. 2007

Planning etc
Mizar Society, Mizar JAPAN Chapter, Technical Symposium, Shinshu University, Nagano-Engineering Campus, Nagano, Japan, 18 May 2007 - 18 May 2007

Others
Mizar Society, Mizar JAPAN Chapter, 2007 - Nov. 2007

Others
Mizar Society, Mizar JAPAN Chapter, 2007 - Oct. 2007

Planning etc
Mizar Society, Mizar JAPAN Chapter, Technical Symposium, Shinshu University, Nagano-Engineering Campus, Nagano, Japan, 22 Sep. 2006 - 22 Sep. 2006

Others
Mizar Society, Mizar JAPAN Chapter, 2006 - Jul. 2006

Others
Mizar Society, Mizar JAPAN Chapter, 2006 - Sep. 2006

Others
Mizar Society, Mizar JAPAN Chapter, 2005 - Mar. 2005

Others
Mizar Society, Mizar JAPAN Chapter, 2004 - Apr. 2004

Others
Mizar Society, Mizar JAPAN Chapter, 2002 - Aug. 2002

Others
Mizar Society, Mizar JAPAN Chapter, 2000 - Jun. 2000

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