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

研究者総覧研究者総覧

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

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

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

更新日:2016/10/27

プロフィール

研究分野
プロフェッショナル・コミュニケーション学習
ソフトウェア・ハードウェアの数理的仕様化、検証、自動生成
現在の研究課題
ペトリネットによるソフトウェア・ハードウェアの設計、検証、自動生成

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

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

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

所属学会
所属学会
Association for Computing Machinery
The Institute of Electrical and Electronics Engineers
Mizar Society

所属学会役職担当
2014- , The Institute of Electrical and Electronics Engineers
2013-2013 , Mizar Society
2012-2012 , Mizar Society
2011-2011 , Mizar Society
2010-2013 , The Institute of Electrical and Electronics Engineers
2010-2010 , Mizar Society
2010-2010 , The Institute of Electrical and Electronics Engineers
2008-2009 , The Institute of Electrical and Electronics Engineers
2008-2008 , The Institute of Electrical and Electronics Engineers
学歴
出身大学院
1996 , 信州大学 , 工学系研究科 , 情報工学専攻
1993 , 信州大学 , 工学系研究科 , 情報工学専攻

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

取得学位
工学博士
受賞学術賞
2012
研究職歴等
研究職歴
2007- , 信州大学工学部 准教授
1997- , 信州大学工学部 助教授
1996- , 信州大学工学部 助手

研究活動業績

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


学会発表
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:Hajer Mejri and Pauline 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


"Learning to express engineering results in the universal language of mathematics"
IEEE PCSJ 2nd Annual Seminar 2013
Author:P. N. Kawamoto


"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

共同研究等希望テーマ
Professional communication skills development
Information systems for supporting children's education
Formalization of Petri net properties
研究費
科学研究費補助金(研究代表者)
2006 - 2009 , 国際発表技術学習のためのマルチメディアを利用した教材開発と効果 , 基盤研究(C)

科学研究費補助金(研究分担者)
2010 - 2013 , MIZAR数学ライブラリの構築と大学数学向け高度遠隔教育用コンテンツ開発 , 基盤研究(B)
研究諸活動
学術専門雑誌等編集
Mizar Society, Mizar JAPAN Chapter , Technical Symposium and General Assembly of Mizar JAPAN
Mizar Society, Mizar JAPAN Chapter , Technical Symposium and General Assembly of Mizar JAPAN
Mizar Society, Mizar JAPAN Chapter , Technical Symposium and General Assembly of Mizar JAPAN
Mizar Society, Mizar JAPAN Chapter , Technical Symposium and General Assembly of Mizar JAPAN
Mizar Society, Mizar JAPAN Chapter , Mechanized Mathematics and Its Applications

学術論文査読件数
The 6th Podlasie Conference on Mathematics (6PCM)

教育活動実績

授業等
2015 , 前期 , アカデミックイングリッシュⅠ
2015 , 前期 , アカデミックイングリッシュⅠ
2015 , 前期 , アカデミックイングリッシュⅠ
2015 , 前期 , アカデミックイングリッシュⅠ
2015 , 前期 , アカデミックイングリッシュⅠ
2015 , 後期 , アカデミックイングリッシュⅡ
2015 , 通年 , 知能情報特論第Ⅳ
2015 , 通年 , 情報基礎演習1
2015 , 通年 , 情報基礎演習3
2015 , 通年 , 情報基礎特別実験1
2015 , 通年 , 情報基礎特別実験3
2015 , 通年 , 数理情報学応用
2015 , 通年 , 特別演習Ⅰ(カワモト)
2015 , 通年 , 特別演習Ⅱ(カワモト)
2014 , 前期 , アカデミックイングリッシュⅠ
2014 , 前期 , アカデミックイングリッシュⅠ
2014 , 前期 , アカデミックイングリッシュⅠ
2014 , 前期 , アカデミックイングリッシュⅠ
2014 , 前期 , アカデミックイングリッシュⅠ
2014 , 後期 , アカデミックイングリッシュⅡ
2014 , 通年 , 知能情報特論第Ⅳ
2014 , 通年 , 情報基礎演習1
2014 , 通年 , 情報基礎演習3
2014 , 通年 , 情報基礎特別実験1
2014 , 通年 , 情報基礎特別実験3
2014 , 通年 , 数理情報学応用
2014 , 通年 , 特別演習Ⅰ(カワモト)
2014 , 通年 , 特別演習Ⅱ(カワモト)
2013 , 前期 , アカデミックイングリッシュ1
2013 , 前期 , アカデミックイングリッシュ1
2013 , 前期 , アカデミックイングリッシュ1
2013 , 前期 , アカデミックイングリッシュ1
2013 , 前期 , アカデミックイングリッシュ1
2013 , 後期 , アカデミックイングリッシュ2
2013 , 通年 , 情報基礎演習1
2013 , 通年 , 情報基礎演習3
2013 , 通年 , 情報基礎特別実験1
2013 , 通年 , 情報基礎特別実験3
2013 , 通年 , 数理情報学応用
2013 , 通年 , 特別演習Ⅰ
2013 , 通年 , 特別演習Ⅱ
2013 , 通年 , 知能情報特論第4
論文指導
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)

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

社会活動実績

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

その他社会活動
20150905 - 20150905 , スーパーグローバルハイスクール(SGH) プレゼンテーションデー , コメンテータ
20141213 - 20141213 , スーパーグローバルハイスクール(SGH) プレゼンテーションデー , コメンテータ
20131201 - , スーパーグローバルハイスクール(SGH) , アドバイザ

管理運営実績

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

学部内委員会等
2015 - 2016 , 入試委員会 , 情報工学科副入試員
2015 - 2016 , 工学部英語教育WG , 委員
2014 - 2015 , 工学部英語教育WG , 委員
2014 - 2015 , 入試委員会 , 情報工学科入試員
2013 - 2014 , 入試委員会 , 情報工学科副入試員
2013 - 2014 , 工学部英語教育WG , 委員
2012 - 2013 , 学務委員会 , 情報工学科副学務員
2011 - 2012 , 学務委員会 , 情報工学科学務員
2010 - 2011 , 学務委員会 , 情報工学科副学務員
2008 - 2010 , 情報工学科IT大学担当