Kawamoto Pauline N. カワモトポーリン・ナオミ

Connect your ORCID iD *help

… Alternative Names

KPAULINE Naomi

K PAU line Naomi ケイポーリンナオミ

K PAULINE Naomi K PAULINE Naomi

K. Paulin Naomi ケイポーリンナオミ

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

KAWAMOTO Pauline N. カワモトポーリン・ナオミ

KAWAMOTO Paulin, N. カワモト・ポリーンナオミ

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

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

Less

Researcher Number	40283238
Other IDs
Affiliation (Current)	2025: 信州大学, 学術研究院工学系, 准教授
Affiliation (based on the past Project Information) *help	2007 – 2013: Shinshu University, 工学部, 准教授 2005 – 2006: Shinshu University, Faculty of engineering・Department of Information engineering, Associate Professors, 工学部, 助教授 2004: 信州大学, 工学部・情報工学科, 助教授 2004: 信州大学, 工学部情報工学科, 助教授 2003: 信州大学, 工学部, 助教授
Review Section/Research Field	Principal Investigator Educational technology Except Principal Investigator Dynamics/Control / Educational technology
Keywords	Principal Investigator 国際発表技術 / マルチメディアと教育 / 教育工学 / e-iearning / マルチメディア教材開発 / 英語(発表技術) / 授業学習支援システム / ソフトウェア開発 / CAI / ペトリネットツール … More Except Principal Investigator … More Mine detector. / Mine Detection / IR Camera, / Smart Sensing / Robot control / 自律歩行ロボット / 遠隔操縦技術 / 自立移動ロボット / 金属探知機 / 地雷処理技術 / 遠隔探知技術 / 対人地雷 / 金属探知器 / 探知ロボット / 地中レーダ / ロボット / 自律制御 / 地雷処理 / 地雷探知 / 計算機による検査 / 証明記述問題 / プルーフチェッカー / e-learning教材 / moodle / 論理思考 / Mizar / 定理証明支援系 / 形式化数学 / e-learning / プルーフチェッカ / eラーニング Less

Content Development for Distance Education in Advanced University Mathematics Using Mizar
- Principal Investigator
  
  SHIDAMA Yasunari
- Project Period (FY)
  2010 – 2013
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Educational technology
- Research Institution
  Shinshu University
On the Development and Effects of Multimedia Contents for Studying International Presentation SkillsPrincipal Investigator
- Principal Investigator
  
  K PAULINE Naomi (KAWAMOTO Pauline N.)
- Project Period (FY)
  2006 – 2009
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Educational technology
- Research Institution
  Shinshu University
ペトリネットによる CAI ソフトウェア開発ツールPrincipal Investigator
- Principal Investigator
  
  カワモトポーリン・ナオミ (KAWAMOTO Pauline・Naomi)
- Project Period (FY)
  2003 – 2004
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Educational technology
- Research Institution
  Shinshu University
A study of mine detecting and mine removal technology by using autonomous control working robot
- Principal Investigator
  
  SHIMOI Nobuhiro
- Project Period (FY)
  2002 – 2005
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Dynamics/Control
- Research Institution
  Tokyo National College of Technology

All 2014 2013 2012 2011 2010 2009 2008 2006 2005 2004 2003 Other

All Journal Article Presentation

[Journal Article] Definition of Flat Poset and Existence Theorems for Recursive Call2014
- Author(s)
  Kazuhisa Ishida, Yasunari Shidama and Adam Grabowski
- Journal Title
  
  Formalized Mathematics
  
  Volume: 22(1)
- NAID
  120007101155
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Journal Article] Submodule of free Z-module2014
- Author(s)
  Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 21(4) Issue: 4 Pages: 275-284
- DOI
  10.2478/forma-2013-0029
- NAID
  120007101157
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21240001, KAKENHI-PROJECT-22300285
[Journal Article] Isomorphisms of Direct Products of Cyclic Groups of Prime-power Order2013
- Author(s)
  Hiroshi Yamazaki, Hiroyuki Okazaki, Kazuhisa Nakasho , Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 21(3) Issue: 3 Pages: 207-211
- DOI
  10.2478/forma-2013-0022
- NAID
  120007101145
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Journal Article] The Linearity of Riemann Integral on Functions from R into Real Banach Space2013
- Author(s)
  Keiko Narita, Noboru Endou, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 21(3) Issue: 3 Pages: 185-191
- DOI
  10.2478/forma-2013-0020
- NAID
  120007101143
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285, KAKENHI-PROJECT-23500029
[Journal Article] The C^k Space2013
- Author(s)
  Katuhiko Kanazashi, Hroyuki Okazaki, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 21(1) Issue: 1 Pages: 25-31
- DOI
  10.2478/forma-2013-0002
- NAID
  120007101139
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Journal Article] N-dimensional Binary Vector Spaces2013
- Author(s)
  Kenichi Arai, Hiroyuki Okazaki, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 21(2) Issue: 2 Pages: 75-81
- DOI
  10.2478/forma-2013-0008
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Journal Article] Differential Equations on Functions from R into Real Banach Space2013
- Author(s)
  Keiko Narita, Noboru Endou,Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 21(4) Issue: 4 Pages: 261-272
- DOI
  10.2478/forma-2013-0028
- NAID
  120007101156
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285, KAKENHI-PROJECT-23500029
[Journal Article] Isomorphisms of Direct Products of Finite Commutative Groups2013
- Author(s)
  Hiroyuki Okazaki, Hiroshi Yamazaki, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 21(1) Issue: 1 Pages: 65-74
- DOI
  10.2478/forma-2013-0007
- NAID
  120007101138
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Journal Article] Random Variables and Product of Probability Spaces2013
- Author(s)
  Hiroyuki Okazaki, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 21(1) Issue: 1 Pages: 33-39
- DOI
  10.2478/forma-2013-0003
- NAID
  120007101137
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Journal Article] Formalization of the Advanced Encryption Standard. Part I2013
- Author(s)
  Kenichi Arai, Hiroyuki Okazaki
- Journal Title
  
  Formalized Mathematics
  
  Volume: 21(3) Issue: 3 Pages: 171-184
- DOI
  10.2478/forma-2013-0019
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21240001, KAKENHI-PROJECT-22300285
[Journal Article] Constructing Binary Huffman Tree2013
- Author(s)
  Hiroyuki Okazaki, Yuichi Futa, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 21(2) Issue: 2 Pages: 133-143
- DOI
  10.2478/forma-2013-0015
- NAID
  120007101135
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Journal Article] Formalization of Definitions and Theorems Related to an Elliptic Curve Over a Finite Prime Field by Using Mizar2013
- Author(s)
  Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
- Journal Title
  
  Journal of Automated Reasoning
  
  Volume: 50(2) Issue: 2 Pages: 161-172
- DOI
  10.1007/s10817-012-9265-2
- NAID
  120007105033
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Journal Article] Formal Definition of Probability on Finite and Discrete Sample Space for Proving Security of Cryptographic Systems Using Mizar2013
- Author(s)
  Hiroyuki Okazaki, Yuichi Futa, Yasunari Shidama
- Journal Title
  
  Artificial Intelligence Research
  
  Volume: 2(4) Issue: 4 Pages: 37-48
- DOI
  10.5430/air.v2n4p37
- NAID
  120007105032
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21240001, KAKENHI-PROJECT-22300285
[Journal Article] Structural Analysis and Retargetable Netlist Generation using an Upstream Hardware Compiler : Melasy+2013
- Author(s)
  Sho NISHIDA, Katsumi WASAKI
- Journal Title
  
  International Journal of Advanced Computer Science
  
  Volume: 3(1) Pages: 26-32
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Journal Article] Double Sequences and Limits2013
- Author(s)
  Noboru Endou, Hiroyuki Okazaki, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 21(3) Issue: 3 Pages: 163-170
- DOI
  10.2478/forma-2013-0018
- NAID
  120007101144
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285, KAKENHI-PROJECT-23500029
[Journal Article] Gaussian Integers2013
- Author(s)
  Yuichi Futa, Hiroyuki Okazaki, Daich Mizushima, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 21(2) Issue: 2 Pages: 115-125
- DOI
  10.2478/forma-2013-0013
- NAID
  120007101136
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21240001, KAKENHI-PROJECT-22300285
[Journal Article] Formulation of Cell Petri Nets2013
- Author(s)
  Mitsuru Jitsukawa, Pauline N. Kawamoto, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 21(4) Issue: 4 Pages: 241-247
- DOI
  10.2478/forma-2013-0026
- NAID
  120007101147
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Journal Article] Riemann Integral of Funtions from R into Real Banach Space2013
- Author(s)
  Keiko Narita, Noboru Endou, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 21(2) Issue: 2 Pages: 145-152
- DOI
  10.2478/forma-2013-0016
- NAID
  120007101133
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285, KAKENHI-PROJECT-23500029
[Journal Article] Banach Algebra of Comple-Valued Continuous Functionals and Space of Complex-valued Continuous Functionals with Bounded Support2012
- Author(s)
  Katuhiko Kanazashi, Hiroyuki Okazaki, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 20(1)(採録決定済)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Journal Article] Banach's Continuous Inverse Theorem and Closed Graph Theorem2012
- Author(s)
  Hideki Sakurai, Hiroyuki Okazaki, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 20(4) Issue: 4 Pages: 271-274
- DOI
  10.2478/v10037-012-0032-y
- NAID
  120007101127
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Journal Article] The Differentiable Functions from R into Rn2012
- Author(s)
  Keiko Narita, Artur Kornilowicz, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 20(1) Issue: 1 Pages: 65-71
- DOI
  10.2478/v10037-012-0009-x
- NAID
  120007101142
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Journal Article] Quotient Module of Z-module2012
- Author(s)
  Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 20(3) Issue: 3 Pages: 205-214
- DOI
  10.2478/v10037-012-0024-y
- NAID
  120007101128
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Journal Article] Functional SpaceC(Ω), C_0(Ω)2012
- Author(s)
  Katuhiko Kanazashi, Hiroyuki Okazaki, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 20(1) Issue: 1 Pages: 15-22
- DOI
  10.2478/v10037-012-0003-3
- NAID
  120007101111
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Journal Article] Morphology for Image Processing. Part I2012
- Author(s)
  Hiroshi Yamazaki, Czeslaw Bylinski, Katsumi Wasaki
- Journal Title
  
  Formalized Mathematics
  
  Volume: 20(1) Issue: 1 Pages: 61-63
- DOI
  10.2478/v10037-012-0008-y
- NAID
  120007101103
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Journal Article] Higher Order Partial Differentiation2012
- Author(s)
  Noboru Endou, Hiroyuki Okazaki, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 20(2) Issue: 2 Pages: 113-124
- DOI
  10.2478/v10037-012-0015-z
- NAID
  120007101131
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Journal Article] Operations of Points on Elliptic Curve in Projective Coordinates2012
- Author(s)
  Yuichi Futa, Hiroyuki Okazaki, Daichi Mizushima, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 20(1) Issue: 1 Pages: 87-95
- DOI
  10.2478/v10037-012-0012-2
- NAID
  120007101132
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Journal Article] Contracting Mapping on Normed Linear Space2012
- Author(s)
  Keiichi Miyajima, Artur Kornilowicz, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 20(4) Issue: 4 Pages: 291-301
- DOI
  10.2478/v10037-012-0035-8
- NAID
  120007101125
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Journal Article] Riemann Integral of Functions from R into n-dimensional Real Normed Space2012
- Author(s)
  Keiichi Miyajima, Artur Kornilowicz, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 20(1) Pages: 79-86
- NAID
  120007101122
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Journal Article] Free Z-module2012
- Author(s)
  Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 20(4) Issue: 4 Pages: 257-280
- DOI
  10.2478/v10037-012-0033-x
- NAID
  120007101126
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Journal Article] Z-modules2012
- Author(s)
  Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 20(1) Issue: 1 Pages: 47-59
- DOI
  10.2478/v10037-012-0007-z
- NAID
  120007101141
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Journal Article] More on the Cont inuity of Real Functions2012
- Author(s)
  Keiko Narita, Artur Kornilowicz, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 19(4) Issue: 4 Pages: 233-239
- DOI
  10.2478/v10037-011-0032-3
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Journal Article] Extended Euclidean Algorithm and CRT Algorithm2012
- Author(s)
  Hiroyuki Okazaki, Yosiki Aoki, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 20(2) Issue: 2 Pages: 175-179
- DOI
  10.2478/v10037-012-0020-2
- NAID
  120007101129
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Journal Article] Isomorphisms of Direct Product of Finite Cyclic Groups2012
- Author(s)
  Kenichi Arai, Hiroyuki Okazaki, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 20(4) Issue: 4 Pages: 343-347
- DOI
  10.2478/v10037-012-0038-5
- NAID
  120007101124
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Journal Article] Formalization of the Data Encryption Standard2012
- Author(s)
  Hiroyuki Okazaki, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 20(2) Issue: 2 Pages: 125-146
- DOI
  10.2478/v10037-012-0016-y
- NAID
  120007101130
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Journal Article] Cartesian Products of Family of Real Linear Spaces2011
- Author(s)
  Hiroyuki Okazaki, Noboru Endou, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 19(1) Issue: 1 Pages: 51-59
- DOI
  10.2478/v10037-011-0009-2
- NAID
  120007101117
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Journal Article] Formalization of Integral Linear Space2011
- Author(s)
  Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 19(1) Issue: 1 Pages: 61-64
- DOI
  10.2478/v10037-011-0010-9
- NAID
  120007101115
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Journal Article] Development and Evaluation of a Large-Scale Agent-Based System for Information Literacy Education-Improving the Automatic Collection of Learning Results through Template Matching2011
- Author(s)
  Keiichi TANAKA, Katsumi WASAKI
- Journal Title
  
  The 8th International Conference on Information Technology : New Generations (ITNG2011)
  
  Volume: 1 Pages: 1-6
- DOI
  10.1109/itng.2011.8
- NAID
  120007101106
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285, KAKENHI-PROJECT-23500174
[Journal Article] Banach Algebra of Bounded Complex-Valued Functionals2011
- Author(s)
  Katuhiko Kanazashi, Hiroyuki Okazaki, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 19(2) Issue: 2 Pages: 121-126
- DOI
  10.2478/v10037-011-0019-0
- NAID
  120007101118
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Journal Article] Riemann Integral of Functions from R into Real Normed Space2011
- Author(s)
  Keiichi Miyajima, Takahiro Kato, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 19(1) Issue: 1 Pages: 17-22
- DOI
  10.2478/v10037-011-0003-8
- NAID
  120007101119
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Journal Article] Partial Differentiation, Differentiation and Continuity on ＄n＄-Dimensional Real Normed Linear Spaces2011
- Author(s)
  Takao Inoue, Adam Naumowicz, Noboru Endou, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 19(未定)(採録決定)
- NAID
  120007101113
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Journal Article] More on the Continuity of Real Functions2011
- Author(s)
  Keiko Narita, Artur Kornilowicz, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 19(未定)(採録決定)
- NAID
  120007101112
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Journal Article] Moreon Continuous Functions on Normed Linear Spaces2011
- Author(s)
  Hiroyuki Okazaki, Noboru Endou, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 19(1) Issue: 1 Pages: 45-49
- DOI
  10.2478/v10037-011-0008-3
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Journal Article] Partial Differentiation, Differentiation and Continuity on n-Dimensional Real Normed Linear Spaces2011
- Author(s)
  Takao Inoue, Adam Naumowicz, Noboru Endou, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 19(2) Issue: 2 Pages: 65-68
- DOI
  10.2478/v10037-011-0011-8
- NAID
  120007101113
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Journal Article] Automatic Generation of SPIN Model Checking Code from UML Activity Diagrams2011
- Author(s)
  Yutaka YAMADA, Katsumi WASAKI
- Journal Title
  
  International Journal of Advancements in Computing Technology
  
  Volume: 3(8) Issue: 8 Pages: 189-197
- DOI
  10.4156/ijact.vol3.issue8.22
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Journal Article] Differentiable Functions into Real Normed Spaces2011
- Author(s)
  Hiroyuki Okazaki, Noboru Endou, Keiko Narita, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 19(2) Issue: 2 Pages: 69-72
- DOI
  10.2478/v10037-011-0012-7
- NAID
  120007101116
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Journal Article] More on Continuous Functions on Normed Linear Spaces2011
- Author(s)
  Hiroyuki Okazaki, Noboru Endou, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 19(未定)(採録決定)
- NAID
  120007101114
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Journal Article] Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces2010
- Author(s)
  Takao Inoue, Noboru Endou, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 18(4) Issue: 4 Pages: 207-212
- DOI
  10.2478/v10037-010-0025-7
- NAID
  120007101101
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Journal Article] Riemann Integral of Functions R into C2010
- Author(s)
  Keiichi Miyajima, Takahiro Kato, Yasunari Shidama
- Journal Title
  
  Formalized Mathematics
  
  Volume: 18(4) Issue: 4 Pages: 201-206
- DOI
  10.2478/v10037-010-0024-8
- NAID
  120007101121
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300285
[Journal Article] Work in Progress - Sharing Learning Resources in the Development of an Online Engineering Presentations Course2006
- Author(s)
  Pauline N.Kawamoto, Yasushi Fuwa, Hisayoshi Kunimune, Etsuko Iwama, Juriko Tanaka
- Journal Title
  
  IEEE Frontiers in Education Conference
- Data Source
  KAKENHI-PROJECT-18500705
[Journal Article] Generalized Full Adder Circuits (GFA)"2005
- Author(s)
  Shin'nosuke Yamaguchi, Katsumi Wasaki, Nobuhiro Shimoi
- Journal Title
  
  Formalized Mathematics. Part I Vol.13,No.4,
- Data Source
  KAKENHI-PROJECT-14350123
[Journal Article] Generalized Full Adder Circuits(GFA),2005
- Author(s)
  S.Yamaguchi, K.Wasaki, N.Shimoi:
- Journal Title
  
  Part I;Formalized Mathematics Vol.13,No.4,
  
  Pages: 125-134
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14350123
[Journal Article] Generalized Full Adder Circuits (GFA)2005
- Author(s)
  Shinnosuke Yamaguchi, Katsumi Wasaki, Nobuhiro Shimoi
- Journal Title
  
  Part I ; Formalized Mathematics Vol.13, No.4
  
  Pages: 125-134
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14350123
[Journal Article] Mine Remote Sensing Technology Using a Working Robot2005
- Author(s)
  Nobuhiro Shimoi, Yoshihiro Takita
- Journal Title
  
  Journal of Robotics and Mechatronics, Motion Control and Applications in Robot Technology (RT) Vol.17, No.1
  
  Pages: 101-105
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14350123
[Journal Article] Development of a Wheeled Mobile Robot Octal Wheel Realized Climbing up and Down Stairs2004
- Author(s)
  Yoshihiro Takita, Nobhiro Shimoi:
- Journal Title
  
  Proceedings of 2004 IEEE/RSJ International Conference on Intelligent Robots and Systems IROS, 1
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14350123
[Journal Article] Development of a Wheeled Mobile Robot Octal Wheel Realized Climbing up and Down Stairs2004
- Author(s)
  Yoshihiro Takita, Nobuhiro Shimoi
- Journal Title
  
  Proceedings of 2004 IEEE/RSJ International Conference on Intelligent Robots and Systems IROS
  
  Pages: 2440-2445
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14350123
[Journal Article] Learning from the Development of the SUGSI Framework2004
- Author(s)
  Pauline N.Kawamoto
- Journal Title
  
  外国語教育メディア学会(LET)第44回全国研究大会
  
  Pages: 163-163
- Data Source
  KAKENHI-PROJECT-15700508
[Journal Article] A Remote Sensing Method of Ground Mines using Time Difference IR Images2003
- Author(s)
  Katsumi Wasaki, Nobuhiro Shimoi, Yoshihiro Takita
- Journal Title
  
  Inverse Problems in Engineering Mechanics No6
  
  Pages: 261-270
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14350123
[Journal Article] Mine Detecting Technology for Humanitarian Purpose,2003
- Author(s)
  Nobuhiro, Shimoi, Yoshihiro Takita
- Journal Title
  
  The 7thWorld Multi conference on Systemic, Cybernetics and Informatics SCI 1
  
  Pages: 166-17
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14350123
[Journal Article] Mine Detecting Technology for Humanitarian Purpose2003
- Author(s)
  Nobuhiro Shimoi, Yoshihiro Takita
- Journal Title
  
  The 7th World Multi conference on Systemic, Cybernetics and Informatics SCI
  
  Pages: 166-171
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14350123
[Journal Article] A Remote Sensing Method of Ground Mines using Time Difference IR Images2003
- Author(s)
  Katsumi Wasaki, Nobuhiro Shimoi, Yoshihiro Takita
- Journal Title
  
  Proceedings of the International Symposium on Inverse Problems in Engineering Mechanics (ISIP2003) 1
  
  Pages: 144-145
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14350123
[Journal Article] A Remote Sensing Method of Ground Mines using Time Difference IR Images2003
- Author(s)
  Katsumi Wasaki, Nobuhiro Shimoi, Yoshihiro Takita
- Journal Title
  
  Inverse Problems in Engineering Mechanics No..6
  
  Pages: 261-270
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14350123
[Journal Article] Mine Remote Sensing Technology Using a Working Robot,
- Author(s)
  Nobuhiro Shimoi, Yoshihiro Takita Mine Remote Sensing Technology Using a Working Robot
- Journal Title
  
  Journal of Robotics and Mechatronisc,Motion Control and Applications in Robot Technology(RT), Vol.17.No1
  
  Pages: 101-105
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14350123
[Presentation] Content Development for Distance Education in Advanced University Mathematics Using Mizar2013
- Author(s)
  Takaya IDO, Hiroyuki OKAZAKI, Hiroshi YAMAZAKI, Pauline Naomi, KAWAMOTO, Katsumi WASAKI, Yasunari SHIDAMA
- Organizer
  Proceedings of the 2013 International Conference on e-Learning,e-Business, Enterprise Information Systems, and e-Government(EEE'13)
- Place of Presentation
  Las Vegas, Nevada, USA
- Data Source
  KAKENHI-PROJECT-22300285
[Presentation] Content Development for Distance Education in Advanced University Mathematics Using Mizar2013
- Author(s)
  Takaya IDO, Hiroyuki OKAZAKI, Hiroshi YAMAZAKI, Pauline Naomi KAWAMOTO, Katsumi WASAKI, Yasunari SHIDAMA
- Organizer
  2013 International Conference on e-Learning, e-Business, Enterprise Information Systems and e-Government (EEE'13)
- Place of Presentation
  Las Vegas , Nevada,USA
- Data Source
  KAKENHI-PROJECT-22300285
[Presentation] Formalization of Decision-free Petri nets in Mizar2013
- Author(s)
  Pratima K. Shah, Pauline N. Kawamoto
- Organizer
  2013 Convention Record of the Shin-Etsu Chapter of IEICE, IEEE Shin-etsu Poster Session
- Place of Presentation
  長岡技科大
- Data Source
  KAKENHI-PROJECT-22300285
[Presentation] SIRMs fuzzy approximate reasoning using L-R fuzzy number as premise valuable2013
- Author(s)
  Takashi Mitsuishi, Takanori Terashima, Nami Shimada, Toshimichi Homma, Yasunari Shidama
- Organizer
  System of Systems Engineering (SoSE), 2013 8th International Conference on
- Place of Presentation
  Maui,Hawaii,USA
- Invited
- Data Source
  KAKENHI-PROJECT-22300285
[Presentation] Learning to express engineering results in the universal language of mathematics2013
- Author(s)
  Pauline N. Kawamoto
- Organizer
  ACM Chapter, IEEE PCSJ 2nd Technical Meeting 2013, keynote
- Place of Presentation
  会津大学
- Data Source
  KAKENHI-PROJECT-22300285
[Presentation] Enhancing Network Reliability by Establishing Redundant Network of Wi-Fi as Disaster Readiness in Soya Regions2013
- Author(s)
  Bishnu Prasad GAUTAM, Suresh SHRESTHA, Katsumi WASAKI
- Organizer
  情報処理学会第22回インターネットと運用技術研究発表会
- Place of Presentation
  武蔵大学
- Data Source
  KAKENHI-PROJECT-22300285
[Presentation] Formalization Verification of AES Using the Mizar Proof Checker2012
- Author(s)
  Hiroyuki Okazaki,Kenichi Arai, Yasunari shidama
- Organizer
  2012 International Conference on Foundations of Computer Science
- Place of Presentation
  米国ラスベガス
- Data Source
  KAKENHI-PROJECT-22300285
[Presentation] Development and Evaluation of a Large-Scale Agent-Based System for Information Literacy Education-Improving the Automatic Collection of Learning Results through Template Matching2011
- Author(s)
  Keiichi TANAKA, Katsumi WASAKI
- Organizer
  The 8th International Conference on Information Technology : New Generations(ITNG2011)
- Place of Presentation
  Las Vegas, Nevada, USA (DOI : 10.1109/ITNG.2011.8)
- Data Source
  KAKENHI-PROJECT-22300285
[Presentation] Formal Definition of Probability and Probabilistic Function on Finite and Discrete Sample Space for Proving Security of Cryptographic Systems Using Mizar2011
- Author(s)
  Hiroyuki Okazaki, Yasunari Shidama, Yuichi Futa
- Organizer
  The 2011 Joint Mathematics Meetings
- Place of Presentation
  New Orleans
- Data Source
  KAKENHI-PROJECT-22300285
[Presentation] Development and evaluation of a large-scale agent-based system for coll ecting results of information literacy learning using electronic textbooks2010
- Author(s)
  Keiichi TANAKA, Katsumi WASAKI
- Organizer
  Society for Information Technology & Teacher Ed ucation International Conference 2010(SITE2010)
- Place of Presentation
  San Diego, CA、USA
- Year and Date
  2010-04-02
- Data Source
  KAKENHI-PROJECT-22300285
[Presentation] Turning Teaching Ideas into Real E-learning Solutions: Development of a Remedial English E-learning System for Undergraduate Students at a Japanese University2009
- Author(s)
  Yuichiro Yoshinari, Pauline N. Kawamoto
- Organizer
  HIC Arts and Humanities
- Place of Presentation
  Honolulu
- Year and Date
  2009-01-10
- Data Source
  KAKENHI-PROJECT-18500705
[Presentation] Development of a Spiral Learning Mechanism for E-learning Drill Systems : Making Remedial Training Less Painful for Students and Instructors2009
- Author(s)
  Yuichiro Yoshinari, Pauline N.Kawamoto
- Organizer
  E-Learn 2008 World Conference on E-learning in Corporate, Government, Healthcare, and Higher Education
- Data Source
  KAKENHI-PROJECT-18500705
[Presentation] Turning Teaching Ideas into Real E-learning Solutions : Developmentof a Remedial English E-learning System for Undergraduate Studentsat a Japanese University2009
- Author(s)
  Yuichiro Yoshinari, Pauline N. Kawamoto
- Organizer
  HIC Arts and Humanities
- Place of Presentation
  Honolulu, HI U. S. A.
- Year and Date
  2009-01-10
- Data Source
  KAKENHI-PROJECT-18500705
[Presentation] Development of a Spiral Learning Mechanism for E-learning Drill Systems: Making Remedial Training Less Painful for Students and Instructors2008
- Author(s)
  Yuichiro Yoshinari, Pauline N. Kawamoto
- Organizer
  E-Learn 2008 World Conference on E-Learning in Corporate, Government, Healthcare, and Higher Education
- Place of Presentation
  Las Vegas
- Year and Date
  2008-11-20
- Data Source
  KAKENHI-PROJECT-18500705
[Presentation] Development of a Spiral Learning Mechanism for E-learning Drill Systems : Making Remedial Training Less Painful for Students and Instructors2008
- Author(s)
  Yuichiro Yoshinari, Pauline N. Kawamoto
- Organizer
  E-Learn 2008 World Conference on E-Learning in Corporate, Government, Healthcare, and Higher Education
- Place of Presentation
  Las Vegas, NV U. S. A.
- Year and Date
  2008-11-20
- Data Source
  KAKENHI-PROJECT-18500705
[Presentation] Work in Progress-Sharing Learning Resources in the Development of an Online Engineering. Presentations Course2006
- Author(s)
  Pauline N.Kawamoto, Yasushi Fuwa, Hisayoshi Kunimune, Etsuko Iwama, Juriko Tanaka
- Organizer
  IEEE Frontiers in Education Conference
- Data Source
  KAKENHI-PROJECT-18500705
[Presentation] Work in Progress: Sharing Learning Resources in the Development of an Online Engineering Presentations Course2006
- Author(s)
  Pauline N. Kawamoto, Yasushi Fuwa, Hisayoshi Kunimune, Etsuko Iwama, Juriko Tanaka
- Organizer
  36th Annual Frontiers in Education Conference
- Place of Presentation
  San Diego
- Year and Date
  2006-10-31
- Data Source
  KAKENHI-PROJECT-18500705

1. YAMAZAKI Hiroshi (00293522)

# of Collaborated Projects: 2 results

# of Collaborated Products: 5 results
2. WASAKI Katsumi (70271492)

# of Collaborated Projects: 2 results

# of Collaborated Products: 15 results
3. SHIDAMA Yasunari (20226129)

# of Collaborated Projects: 1 results

# of Collaborated Products: 45 results
4. OKAZAKI Hiroyuki (50432167)

# of Collaborated Projects: 1 results

# of Collaborated Products: 33 results
5. FUTA Yuichi (50706223)

# of Collaborated Projects: 1 results

# of Collaborated Products: 8 results
6. ARAI Kenichi (60645290)

# of Collaborated Projects: 1 results

# of Collaborated Products: 3 results
7. SHIMOI Nobuhiro (10300542)

# of Collaborated Projects: 1 results

# of Collaborated Products: 12 results
8. 高橋三男 (40197182)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
9. TANAKA Juriko

# of Collaborated Projects: 1 results

# of Collaborated Products: 3 results
10. IWAMA Etsuko

# of Collaborated Projects: 1 results

# of Collaborated Products: 3 results
11. KANEKO Naohiro

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
12. TAKITA Yoshihiro

# of Collaborated Projects: 1 results

# of Collaborated Products: 9 results
13. 竹村不二夫

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
14. 検見崎徹

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

Kawamoto Pauline N. カワモト ポーリン・ナオミ

KPAULINE Naomi

K PAU line Naomi ケイ ポーリンナオミ

K PAULINE Naomi K PAULINE Naomi

K. Paulin Naomi ケイ ポーリンナオミ

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

KAWAMOTO Pauline N. カワモト ポーリン・ナオミ

KAWAMOTO Paulin, N. カワモト・ポリーン ナオミ

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

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

Research Projects

Research Products

Co-Researchers

Content Development for Distance Education in Advanced University Mathematics Using Mizar

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

On the Development and Effects of Multimedia Contents for Studying International Presentation SkillsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

ペトリネットによる CAI ソフトウェア開発ツールPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A study of mine detecting and mine removal technology by using autonomous control working robot

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] Definition of Flat Poset and Existence Theorems for Recursive Call2014

Author(s)

Journal Title

NAID

Data Source

[Journal Article] Submodule of free Z-module2014

Author(s)

Journal Title

DOI

NAID

Data Source

[Journal Article] Isomorphisms of Direct Products of Cyclic Groups of Prime-power Order2013

Author(s)

Journal Title

DOI

NAID

Data Source

[Journal Article] The Linearity of Riemann Integral on Functions from R into Real Banach Space2013

Author(s)

Journal Title

DOI

NAID

Data Source

[Journal Article] The C^k Space2013

Author(s)

Journal Title

DOI

NAID

Data Source

[Journal Article] N-dimensional Binary Vector Spaces2013

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Differential Equations on Functions from R into Real Banach Space2013

Author(s)

Journal Title

DOI

NAID

Data Source

[Journal Article] Isomorphisms of Direct Products of Finite Commutative Groups2013

Author(s)

Journal Title

Kawamoto Pauline N. カワモトポーリン・ナオミ

K PAU line Naomi ケイポーリンナオミ

K. Paulin Naomi ケイポーリンナオミ

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

KAWAMOTO Pauline N. カワモトポーリン・ナオミ

KAWAMOTO Paulin, N. カワモト・ポリーンナオミ

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

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