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

研究者総覧研究者総覧

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

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

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

更新日:2022/12/14

プロフィール

研究分野
プロフェッショナル・コミュニケーション学習
ソフトウェア・ハードウェアの数理的仕様化、検証、自動生成
キーワード:プロフェッショナル・コミュニケーション , 介護施設のためのICT , 教育工学 , ソフトウェア形式化 , ハードウェア形式化
現在の研究課題
介護環境のためのICTシステム開発
キーワード:ICT systems and tools for long-term health care environments, digital health charting
ペトリネットによるソフトウェア・ハードウェアの設計、検証、自動生成
キーワード:Petri net applications for software/hardware design, verification, automatic generation
ペトリネット・ツールの開発
キーワード:Petri net tool development
英語ラーニングのComputer Aided Instruction(CAI)
キーワード:Computer-aided instruction systems for English learning
Mizar プルーフチェッカーによるハードウェアの記述、検証
キーワード:Mizar proof checker applications for hardware specification, verification
所属学会
所属学会
情報処理学会
Association for Computing Machinery
The Institute of Electrical and Electronics Engineers
Mizar Society

所属学会役職担当
2021- , The Institute of Electrical and Electronics Engineers , Shin-etsu Section, Secretary
2019- , The Institute of Electrical and Electronics Engineers (IEEE) , Shin-etsu Section, Women in Engineering (WiE) Liaison
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
2020-2020 , The Institute of Electronics, Information, and Communication Engineers (IEICE) , 電子情報通信学会 2020年信越支部 大会実行委員会
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
学歴
出身大学院
1996 , 信州大学 , 工学系研究科 , システム開発工学専攻
1993 , 信州大学 , 工学系研究科 , 情報工学専攻

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

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

研究活動業績

研究業績(著書・
発表論文等)
論文
"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


講演・口頭発表等
「スタッフが活躍できる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

共同研究等希望テーマ
Professional communication skills development
介護サポート情報システム
Information systems for supporting children's education
Formalization of Petri net properties
研究費
共同研究
2022 - , 介護職が作成する個別介護計画書の電子化
2019 - , 要介護者のバイタル健康記録のIT化

科学研究費補助金(研究代表者)
2006 - 2009 , 国際発表技術学習のためのマルチメディアを利用した教材開発と効果 , 基盤研究(C)
2003 - 2004 , ペトリネットによるCAIソフトウェア開発ツール , 若手研究(B)

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

学術論文査読件数
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

教育活動実績

授業等
2021 , 前期 , アカデミック・イングリッシュ・フェーズⅢ
2021 , 前期 , アカデミック・イングリッシュ・フェーズⅢ
2021 , 前期 , アカデミック・イングリッシュ・フェーズⅢ
2021 , 前期 , アカデミック・イングリッシュ・フェーズⅢ
2021 , 前期 , アカデミック・イングリッシュ・フェーズⅢ
2021 , 後期 , アカデミック・イングリッシュ・フェーズⅣ
2021 , 後期 , 数理情報学応用特論
2021 , 通年 , 数理情報学応用演習Ⅰ
2021 , 通年 , 数理情報学応用演習Ⅱ
2021 , 通年 , 数理情報学応用特別実験
2021 , 通年 , 特別演習Ⅰ(カワモト)
2021 , 通年 , 特別演習Ⅱ(カワモト)
2021 , 通年 , 数理情報学応用特論
2020 , 前期 , アカデミック・イングリッシュⅠ
2020 , 前期 , アカデミック・イングリッシュⅠ
2020 , 前期 , アカデミック・イングリッシュⅠ
2020 , 後期 , アカデミック・イングリッシュⅡ
2020 , 後期 , アカデミック・イングリッシュⅡ
2020 , 後期 , アカデミック・イングリッシュⅡ
2020 , 後期 , 数理情報学応用特論
2020 , 通年 , 数理情報学応用演習Ⅰ
2020 , 通年 , 数理情報学応用演習Ⅱ
2020 , 通年 , 数理情報学応用特別実験
2020 , 通年 , 特別演習Ⅰ(カワモト)
2020 , 通年 , 特別演習Ⅱ(カワモト)
2020 , 通年 , 数理情報学応用特論
論文指導
2021
修士論文指導 指導学生数 計:5(内留学生:0)

2019
修士論文指導 指導学生数 計:2(内留学生:0)

2018
修士論文指導 指導学生数 計:2(内留学生:0)

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

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

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

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

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

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

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

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

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

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

社会活動実績

社会活動等
出前講座
20190719 - 20190719 , 「児童と一緒に国際理解授業」
20190130 - 20190130 , 「区民のための Desktop Publishing (DTP)」
20180711 - 20180711 , 「児童と一緒に国際理解授業」
20171012 - 20171012 , 「児童と一緒に国際理解授業」
20170712 - 20170712 , 「児童と一緒に国際理解授業」

学会・研究会の主催等
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

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

管理運営実績

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

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

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