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
PositionProfessorMail Address
AddressWakasato 4-17-1, Nagano-shi, Nagano-ken 380-8553 JAPANWeb site

Modified:10/30/2023

Profile

Research Field
Professional communication skills development
Mathematical specification of software/hardware systems
Keywords:professional communication , ICT for long-term health care environments , educational technology , software formalization , hardware formalization
Current Subject
ICT system development for long-term health care environments
Keywords:ICT systems and tools for long-term health care environments, digital health charting
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
2023- , The Institute of Electrical and Electronic Engineers (IEEE) , IEEE Tokyo/Shin-etsu Joint Section Women in Engineering (WIE) Affinity Group Chair
2023- , The Institute of Electrical and Electronic Engineers (IEEE) , IEEE Japan Council Board Member
2023- , The Institute of Electrical and Electronic Engineers (IEEE) , IEEE Tokyo Section Board Member
2018- , The Institute of Electrical and Electronics Engineers , Professional Communication Society - Japan Chapter, Treasurer
2021-2021 , The Institute of Electrical and Electronics Engineers (IEEE) , IEEE ProComm Japan 2021 Seminar and Technical Meeting, Program Committee
2021-2021 , The Institute of Electrical and Electronics Engineers (IEEE) , IEEE ProComm Japan 2021 Workshop and Technical Meeting, Program Committee
2021-2022 , The Institute of Electrical and Electronics Engineers (EEE) , Shin-etsu Section, Secretary
2020-2020 , The Institute of Electronics, Information, and Communication Engineers (IEICE) , 2020 Shin-Etsu Chapter of The Institute of Electronics, Information, and Communication Engineers Convention Steering Committee
2019-2022 , The Institute of Electrical and Electronics Engineers (IEEE) , Shin-etsu Section, Women in Engineering (WiE) Liaison
2019-2021 , The Institute of Electrical and Electronics Engineers (IEEE) , Professional Communication Society, Japan Chapter 2020 Symposium Steering Committee
2017-2017 , Mizar Society , Mizar JAPAN Chapter, Technical Symposium Program Chair
2017-2018 , The Institute of Electrical and Electronics Engineers , Shin-etsu Section, Treasurer
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
2022 , 2022 IEICE Shin-Etsu Section Convention IEEE Session Young Researcher Paper Award (Oral Session)
2021 , 電子情報通信学会信越支部 令和3年度学生奨励賞
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
2021- , Shinshu University, Professor
1996- , Shinshu University, Assistant Professor
2007-2021 , Shinshu University, Associate Professor
1997-2007 , Shinshu University, Associate Professor

Research

Books, Articles, etc.
Articles
"Visualizing and Communicating Health Trends in a Digital Charting Application for Nursing Home Staff"
2022 IEEE 4th Global Conference on Life Sciences and Technologies (IEEE LifeTech 2022),:22-23 2022(Mar.)
Author:R. Tsuzuki, R. Kumemoto, H. Yoshida, T. Tanaka, and P. N. Kawamoto


"Automating the Process of Distinguishing Marketable Apples"
2021 Third International Conference on Transdisciplinary AI,:156-157 2021(Sep.)
Author:M. Endo, P. N. Kawamoto


“Development of a Health Charting Application using a Human Centered Design Approach”
2020 IEEE 2nd Global Conference on Life Sciences and Technology (IEEE Life Tech 2020),:325-326 2020(Mar.)
Author:C. Namba, P. N. Kawamoto, M. Kosuda, and S. Otsuki


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


Gamifying the Element of Forgetting in E-learning Systems
IEEE International Conference on Teaching, Assessment, and Learning for Engineering 2018,:321-324 2018(Dec. 05)
Author:Yukiya Kimura and Pauline N. Kawamoto


"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
「スタッフが活躍できるICT導入」
長野県社会福祉人材確保・定着支援セミナー 2022(Mar. 08)
Presenter:カワモト、ポーリン・ナオミ


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


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


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


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


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


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


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


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


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


“Using Deep Learning to Automatically Classify Apple Surface Characteristics”
2021 Convention Record of the Shin-Etsu Chapter of The Institute of Electronics, Information, and Communication Engineers, IEEE Shin-etsu Section Oral Session 2021(Sep. 25)
Presenter:Minori Endo, Pauline Naomi Kawamoto


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


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


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


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


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


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


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


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


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


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


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


"Development of a Versatile Word Card Grouping Application for Children"
2018 Convention Record of the Shin-Etsu Chapter of The Institute of Electronics, Information, and Communication Engineers, IEEE Shin-etsu Oral Session 2018(Sep. 29)
Presenter:Mitsuya Kosuda, Pauline N. Kawamoto


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


"Customizing the Thresholds for a Crowd Sensing System for Public Spaces"
2018 Convention Record of the Shin-Etsu Chapter of the Institute of Electronics, Information, and Communication Engineers, IEEE Shin-etsu Oral Session 2018(Sep. 29)
Presenter:Ryutaro Kobayashi, Pauline Kawamoto


"Using gamification of visual novel contents to help learners forget less"
2018 Convention Record of the Shin-Etsu Chapter of the Institute of Electronics, Information, and Communication Engineers, IEEE Shin-etsu Session Poster Session 2018(Sep. 29)
Presenter:Yukiya Kimura, Pauline Kawamoto


“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) 2018(Jul. 03)
Presenter:Ryutaro Kobayashi and Pauline N. Kawamoto


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


“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 2017(Oct. 07)
Presenter: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 Oral Session 2017(Oct. 07)
Presenter: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 Oral Session 2017(Oct. 07)
Presenter:Y. Kimura, P. N. Kawamoto


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


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


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


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


"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, IEEE Shin-etsu Poster Session 2016(Oct. 08)
Presenter: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, IEEE Shin-etsu Oral Session 2016(Oct. 08)
Presenter:S. Yamamoto, P. N. Kawamoto


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


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


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


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


“Improving Feedback to Novice Learners on Constructing i* Requirements Diagrams”
Proceedings of 2016 6th International Workshop on Computer Science and Engineering 2016(Jun. 17)
Presenter:Hajer Mejri and Pauline N. Kawamoto


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


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


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


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


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


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


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


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


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


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


“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 Oral Session 2013(Oct. 05)
Presenter: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 2013(Oct. 05)
Presenter:P. K. Shah, P. N. Kawamoto


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


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


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


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


“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 Oral Session 2012(Oct. 13)
Presenter: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 2012(Oct. 13)
Presenter:P. K. Shah, P. N. Kawamoto


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


MISC
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 long-term care
Information systems for supporting children's education
Formalization of Petri net properties
Research Grants
Joint Research
2022 - , 介護職が作成する個別介護計画書の電子化
2019 - , 要介護者のバイタル健康記録のIT化

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
2020-2021 , The 3rd International Conference on Educational Technology, Language and Technical Communication (ETLCT2021) & ACM Chapter International Conference on Educational Technology, Language & Technical Communication
2020-2020 , IEEE Transactions on Education
2020-2020 , PeerJ Computer Science
2020-2020 , ICT in Education, Research, and Industrial 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

Education

Lectures
2021 , Academic English Phase III
2021 , Academic English Phase III
2021 , Academic English Phase III
2021 , Academic English Phase III
2021 , Academic English Phase III
2021 , Academic English Phase IV
2021 , Applicable Mathematics and Informatics
2021 , Exercises in Applicable Mathematics and Informatics I
2021 , Exercises in Applicable Mathematics and Informatics II
2021 , Experiments in Applicable Mathematics and Informatics
2021 , Special Seminar I (Kawamoto)
2021 , Special Seminar II (Kawamoto)
2021 , Computational and Applicable Mathematics
2020 , Academic English I
2020 , Academic English I
2020 , Academic English I
2020 , Academic English II
2020 , Academic English II
2020 , Academic English II
2020 , Applicable Mathematics and Informatics
2020 , Exercises in Applicable Mathematics and Informatics I
2020 , Exercises in Applicable Mathematics and Informatics II
2020 , Experiments in Applicable Mathematics and Informatics
2020 , Special Seminar I (Kawamoto)
2020 , Special Seminar II (Kawamoto)
2020 , Computational and Applicable Mathematics
Thesis Guidance
2021
Master's Thesis Number of Students Total:5(International Students:0)

2019
Master's Thesis Number of Students Total:2(International Students:0)

2018
Master's Thesis Number of Students Total:2(International Students:0)

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

Social Activities

Social Activitie
Public Programs for Local Citizens
20190719 - 20190719 , 「児童と一緒に国際理解授業」
20190130 - 20190130 , 「区民のための Desktop Publishing (DTP)」
20180711 - 20180711 , 「児童と一緒に国際理解授業」
20171012 - 20171012 , 「児童と一緒に国際理解授業」
20170712 - 20170712 , 「児童と一緒に国際理解授業」

Organization of Conferences and/or Symposia
20211128 - 20211128 , IEEE ProComm Japan 2021 Seminar , Program Committee
2021106 - 20211106 , IEEE Tokyo/Shin-etsu Joint Section Women in Engineering 2021 Symposium , Organizing Committee
20210921 - 20210921 , IEEE ProComm Japan 2021 Workshop and Technical Meeting , Program Committee
202003 - 202010 , 電子情報通信学会・信越支部大会 , Steering Committee
201912 - 202101 , IEEE ProComm Japan 2020 Symposium , Steering Committee
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

Other Professional Activities
20211022 - 20211023 , 「産業フェア in 信州 2021」出展 , 信州大学「介護の未来」研究会 要介護者のバイタル健康記録のIT化プロジェクト紹介ブース出展
20170930 - 20170930 , 長野県長野高等学校 スーパーグローバルハイスクール(SGH) プレゼンテーションデー , コメンテータ
20161001 - 20161001 , 長野県長野高等学校 スーパーグローバルハイスクール(SGH) プレゼンテーションデー , コメンテータ
20150905 - 20150905 , 長野県長野高等学校 スーパーグローバルハイスクール(SGH) プレゼンテーションデー , コメンテータ
20141213 - 20141213 , 長野県長野高等学校 スーパーグローバルハイスクール(SGH) プレゼンテーションデー , コメンテータ
20131201 - , 長野県長野高等学校 スーパーグローバルハイスクール(SGH) , アドバイザ