• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

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

ORCIDORCID連携する *注記
… 別表記

KPAULINE Naomi

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

K PAULINE Naomi  K PAULINE Naomi

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

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

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

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

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

隠す
研究者番号 40283238
その他のID
所属 (現在) 2025年度: 信州大学, 学術研究院工学系, 准教授
所属 (過去の研究課題情報に基づく) *注記 2007年度 – 2013年度: 信州大学, 工学部, 准教授
2005年度 – 2006年度: 信州大学, 工学部, 助教授
2004年度: 信州大学, 工学部・情報工学科, 助教授
2004年度: 信州大学, 工学部情報工学科, 助教授
2003年度: 信州大学, 工学部, 助教授
審査区分/研究分野
研究代表者
教育工学
研究代表者以外
機械力学・制御 / 教育工学
キーワード
研究代表者
国際発表技術 / マルチメディアと教育 / 教育工学 / e-iearning / マルチメディア教材開発 / 英語(発表技術) / 授業学習支援システム / ソフトウェア開発 / CAI / ペトリネットツール … もっと見る
研究代表者以外
… もっと見る Mine detector. / Mine Detection / IR Camera, / Smart Sensing / Robot control / 自律歩行ロボット / 遠隔操縦技術 / 自立移動ロボット / 金属探知機 / 地雷処理技術 / 遠隔探知技術 / 対人地雷 / 金属探知器 / 探知ロボット / 地中レーダ / ロボット / 自律制御 / 地雷処理 / 地雷探知 / 計算機による検査 / 証明記述問題 / プルーフチェッカー / e-learning教材 / moodle / 論理思考 / Mizar / 定理証明支援系 / 形式化数学 / e-learning / プルーフチェッカ / eラーニング 隠す
  • 研究課題

    (4件)
  • 研究成果

    (79件)
  • 共同研究者

    (14人)
  •  MIZAR数学ライブラリの構築と大学数学向け高度遠隔教育用コンテンツ開発

    • 研究代表者
      師玉 康成
    • 研究期間 (年度)
      2010 – 2013
    • 研究種目
      基盤研究(B)
    • 研究分野
      教育工学
    • 研究機関
      信州大学
  •  国際発表技術学習のためのマルチメディアを利用した教材開発と効果研究代表者

    • 研究代表者
      K PAULINE Naomi (カワモト ポーリン・ナオミ / K Pauline・Naomi / K. Paulin Naomi)
    • 研究期間 (年度)
      2006 – 2009
    • 研究種目
      基盤研究(C)
    • 研究分野
      教育工学
    • 研究機関
      信州大学
  •  ペトリネットによる CAI ソフトウェア開発ツール研究代表者

    • 研究代表者
      カワモト ポーリン・ナオミ (KAWAMOTO Pauline・Naomi)
    • 研究期間 (年度)
      2003 – 2004
    • 研究種目
      若手研究(B)
    • 研究分野
      教育工学
    • 研究機関
      信州大学
  •  自律歩行ロボットによる地雷探知・処理技術の研究(その2)

    • 研究代表者
      下井 信浩
    • 研究期間 (年度)
      2002 – 2005
    • 研究種目
      基盤研究(B)
    • 研究分野
      機械力学・制御
    • 研究機関
      東京工業高等専門学校

すべて 2014 2013 2012 2011 2010 2009 2008 2006 2005 2004 2003 その他

すべて 雑誌論文 学会発表

  • [雑誌論文] Definition of Flat Poset and Existence Theorems for Recursive Call2014

    • 著者名/発表者名
      Kazuhisa Ishida, Yasunari Shidama and Adam Grabowski
    • 雑誌名

      Formalized Mathematics

      巻: 22(1)

    • NAID

      120007101155

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22300285
  • [雑誌論文] Submodule of free Z-module2014

    • 著者名/発表者名
      Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
    • 雑誌名

      Formalized Mathematics

      巻: 21(4) 号: 4 ページ: 275-284

    • DOI

      10.2478/forma-2013-0029

    • NAID

      120007101157

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21240001, KAKENHI-PROJECT-22300285
  • [雑誌論文] Isomorphisms of Direct Products of Cyclic Groups of Prime-power Order2013

    • 著者名/発表者名
      Hiroshi Yamazaki, Hiroyuki Okazaki, Kazuhisa Nakasho , Yasunari Shidama
    • 雑誌名

      Formalized Mathematics

      巻: 21(3) 号: 3 ページ: 207-211

    • DOI

      10.2478/forma-2013-0022

    • NAID

      120007101145

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22300285
  • [雑誌論文] The Linearity of Riemann Integral on Functions from R into Real Banach Space2013

    • 著者名/発表者名
      Keiko Narita, Noboru Endou, Yasunari Shidama
    • 雑誌名

      Formalized Mathematics

      巻: 21(3) 号: 3 ページ: 185-191

    • DOI

      10.2478/forma-2013-0020

    • NAID

      120007101143

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22300285, KAKENHI-PROJECT-23500029
  • [雑誌論文] The C^k Space2013

    • 著者名/発表者名
      Katuhiko Kanazashi, Hroyuki Okazaki, Yasunari Shidama
    • 雑誌名

      Formalized Mathematics

      巻: 21(1) 号: 1 ページ: 25-31

    • DOI

      10.2478/forma-2013-0002

    • NAID

      120007101139

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22300285
  • [雑誌論文] N-dimensional Binary Vector Spaces2013

    • 著者名/発表者名
      Kenichi Arai, Hiroyuki Okazaki, Yasunari Shidama
    • 雑誌名

      Formalized Mathematics

      巻: 21(2) 号: 2 ページ: 75-81

    • DOI

      10.2478/forma-2013-0008

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22300285
  • [雑誌論文] Differential Equations on Functions from R into Real Banach Space2013

    • 著者名/発表者名
      Keiko Narita, Noboru Endou,Yasunari Shidama
    • 雑誌名

      Formalized Mathematics

      巻: 21(4) 号: 4 ページ: 261-272

    • DOI

      10.2478/forma-2013-0028

    • NAID

      120007101156

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22300285, KAKENHI-PROJECT-23500029
  • [雑誌論文] Isomorphisms of Direct Products of Finite Commutative Groups2013

    • 著者名/発表者名
      Hiroyuki Okazaki, Hiroshi Yamazaki, Yasunari Shidama
    • 雑誌名

      Formalized Mathematics

      巻: 21(1) 号: 1 ページ: 65-74

    • DOI

      10.2478/forma-2013-0007

    • NAID

      120007101138

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22300285
  • [雑誌論文] Random Variables and Product of Probability Spaces2013

    • 著者名/発表者名
      Hiroyuki Okazaki, Yasunari Shidama
    • 雑誌名

      Formalized Mathematics

      巻: 21(1) 号: 1 ページ: 33-39

    • DOI

      10.2478/forma-2013-0003

    • NAID

      120007101137

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22300285
  • [雑誌論文] Formalization of the Advanced Encryption Standard. Part I2013

    • 著者名/発表者名
      Kenichi Arai, Hiroyuki Okazaki
    • 雑誌名

      Formalized Mathematics

      巻: 21(3) 号: 3 ページ: 171-184

    • DOI

      10.2478/forma-2013-0019

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21240001, KAKENHI-PROJECT-22300285
  • [雑誌論文] Constructing Binary Huffman Tree2013

    • 著者名/発表者名
      Hiroyuki Okazaki, Yuichi Futa, Yasunari Shidama
    • 雑誌名

      Formalized Mathematics

      巻: 21(2) 号: 2 ページ: 133-143

    • DOI

      10.2478/forma-2013-0015

    • NAID

      120007101135

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22300285
  • [雑誌論文] Formalization of Definitions and Theorems Related to an Elliptic Curve Over a Finite Prime Field by Using Mizar2013

    • 著者名/発表者名
      Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
    • 雑誌名

      Journal of Automated Reasoning

      巻: 50(2) 号: 2 ページ: 161-172

    • DOI

      10.1007/s10817-012-9265-2

    • NAID

      120007105033

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22300285
  • [雑誌論文] Formal Definition of Probability on Finite and Discrete Sample Space for Proving Security of Cryptographic Systems Using Mizar2013

    • 著者名/発表者名
      Hiroyuki Okazaki, Yuichi Futa, Yasunari Shidama
    • 雑誌名

      Artificial Intelligence Research

      巻: 2(4) 号: 4 ページ: 37-48

    • DOI

      10.5430/air.v2n4p37

    • NAID

      120007105032

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21240001, KAKENHI-PROJECT-22300285
  • [雑誌論文] Structural Analysis and Retargetable Netlist Generation using an Upstream Hardware Compiler : Melasy+2013

    • 著者名/発表者名
      Sho NISHIDA, Katsumi WASAKI
    • 雑誌名

      International Journal of Advanced Computer Science

      巻: 3(1) ページ: 26-32

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22300285
  • [雑誌論文] Double Sequences and Limits2013

    • 著者名/発表者名
      Noboru Endou, Hiroyuki Okazaki, Yasunari Shidama
    • 雑誌名

      Formalized Mathematics

      巻: 21(3) 号: 3 ページ: 163-170

    • DOI

      10.2478/forma-2013-0018

    • NAID

      120007101144

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22300285, KAKENHI-PROJECT-23500029
  • [雑誌論文] Gaussian Integers2013

    • 著者名/発表者名
      Yuichi Futa, Hiroyuki Okazaki, Daich Mizushima, Yasunari Shidama
    • 雑誌名

      Formalized Mathematics

      巻: 21(2) 号: 2 ページ: 115-125

    • DOI

      10.2478/forma-2013-0013

    • NAID

      120007101136

    • 査読あり
    • データソース
      KAKENHI-PROJECT-21240001, KAKENHI-PROJECT-22300285
  • [雑誌論文] Formulation of Cell Petri Nets2013

    • 著者名/発表者名
      Mitsuru Jitsukawa, Pauline N. Kawamoto, Yasunari Shidama
    • 雑誌名

      Formalized Mathematics

      巻: 21(4) 号: 4 ページ: 241-247

    • DOI

      10.2478/forma-2013-0026

    • NAID

      120007101147

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22300285
  • [雑誌論文] Riemann Integral of Funtions from R into Real Banach Space2013

    • 著者名/発表者名
      Keiko Narita, Noboru Endou, Yasunari Shidama
    • 雑誌名

      Formalized Mathematics

      巻: 21(2) 号: 2 ページ: 145-152

    • DOI

      10.2478/forma-2013-0016

    • NAID

      120007101133

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22300285, KAKENHI-PROJECT-23500029
  • [雑誌論文] Banach Algebra of Comple-Valued Continuous Functionals and Space of Complex-valued Continuous Functionals with Bounded Support2012

    • 著者名/発表者名
      Katuhiko Kanazashi, Hiroyuki Okazaki, Yasunari Shidama
    • 雑誌名

      Formalized Mathematics

      巻: 20(1)(採録決定済)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22300285
  • [雑誌論文] Banach's Continuous Inverse Theorem and Closed Graph Theorem2012

    • 著者名/発表者名
      Hideki Sakurai, Hiroyuki Okazaki, Yasunari Shidama
    • 雑誌名

      Formalized Mathematics

      巻: 20(4) 号: 4 ページ: 271-274

    • DOI

      10.2478/v10037-012-0032-y

    • NAID

      120007101127

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22300285
  • [雑誌論文] The Differentiable Functions from R into Rn2012

    • 著者名/発表者名
      Keiko Narita, Artur Kornilowicz, Yasunari Shidama
    • 雑誌名

      Formalized Mathematics

      巻: 20(1) 号: 1 ページ: 65-71

    • DOI

      10.2478/v10037-012-0009-x

    • NAID

      120007101142

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22300285
  • [雑誌論文] Quotient Module of Z-module2012

    • 著者名/発表者名
      Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
    • 雑誌名

      Formalized Mathematics

      巻: 20(3) 号: 3 ページ: 205-214

    • DOI

      10.2478/v10037-012-0024-y

    • NAID

      120007101128

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22300285
  • [雑誌論文] Functional SpaceC(Ω), C_0(Ω)2012

    • 著者名/発表者名
      Katuhiko Kanazashi, Hiroyuki Okazaki, Yasunari Shidama
    • 雑誌名

      Formalized Mathematics

      巻: 20(1) 号: 1 ページ: 15-22

    • DOI

      10.2478/v10037-012-0003-3

    • NAID

      120007101111

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22300285
  • [雑誌論文] Morphology for Image Processing. Part I2012

    • 著者名/発表者名
      Hiroshi Yamazaki, Czeslaw Bylinski, Katsumi Wasaki
    • 雑誌名

      Formalized Mathematics

      巻: 20(1) 号: 1 ページ: 61-63

    • DOI

      10.2478/v10037-012-0008-y

    • NAID

      120007101103

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22300285
  • [雑誌論文] Higher Order Partial Differentiation2012

    • 著者名/発表者名
      Noboru Endou, Hiroyuki Okazaki, Yasunari Shidama
    • 雑誌名

      Formalized Mathematics

      巻: 20(2) 号: 2 ページ: 113-124

    • DOI

      10.2478/v10037-012-0015-z

    • NAID

      120007101131

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22300285
  • [雑誌論文] Operations of Points on Elliptic Curve in Projective Coordinates2012

    • 著者名/発表者名
      Yuichi Futa, Hiroyuki Okazaki, Daichi Mizushima, Yasunari Shidama
    • 雑誌名

      Formalized Mathematics

      巻: 20(1) 号: 1 ページ: 87-95

    • DOI

      10.2478/v10037-012-0012-2

    • NAID

      120007101132

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22300285
  • [雑誌論文] Contracting Mapping on Normed Linear Space2012

    • 著者名/発表者名
      Keiichi Miyajima, Artur Kornilowicz, Yasunari Shidama
    • 雑誌名

      Formalized Mathematics

      巻: 20(4) 号: 4 ページ: 291-301

    • DOI

      10.2478/v10037-012-0035-8

    • NAID

      120007101125

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22300285
  • [雑誌論文] Riemann Integral of Functions from R into n-dimensional Real Normed Space2012

    • 著者名/発表者名
      Keiichi Miyajima, Artur Kornilowicz, Yasunari Shidama
    • 雑誌名

      Formalized Mathematics

      巻: 20(1) ページ: 79-86

    • NAID

      120007101122

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22300285
  • [雑誌論文] Free Z-module2012

    • 著者名/発表者名
      Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
    • 雑誌名

      Formalized Mathematics

      巻: 20(4) 号: 4 ページ: 257-280

    • DOI

      10.2478/v10037-012-0033-x

    • NAID

      120007101126

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22300285
  • [雑誌論文] Z-modules2012

    • 著者名/発表者名
      Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
    • 雑誌名

      Formalized Mathematics

      巻: 20(1) 号: 1 ページ: 47-59

    • DOI

      10.2478/v10037-012-0007-z

    • NAID

      120007101141

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22300285
  • [雑誌論文] More on the Cont inuity of Real Functions2012

    • 著者名/発表者名
      Keiko Narita, Artur Kornilowicz, Yasunari Shidama
    • 雑誌名

      Formalized Mathematics

      巻: 19(4) 号: 4 ページ: 233-239

    • DOI

      10.2478/v10037-011-0032-3

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22300285
  • [雑誌論文] Extended Euclidean Algorithm and CRT Algorithm2012

    • 著者名/発表者名
      Hiroyuki Okazaki, Yosiki Aoki, Yasunari Shidama
    • 雑誌名

      Formalized Mathematics

      巻: 20(2) 号: 2 ページ: 175-179

    • DOI

      10.2478/v10037-012-0020-2

    • NAID

      120007101129

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22300285
  • [雑誌論文] Isomorphisms of Direct Product of Finite Cyclic Groups2012

    • 著者名/発表者名
      Kenichi Arai, Hiroyuki Okazaki, Yasunari Shidama
    • 雑誌名

      Formalized Mathematics

      巻: 20(4) 号: 4 ページ: 343-347

    • DOI

      10.2478/v10037-012-0038-5

    • NAID

      120007101124

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22300285
  • [雑誌論文] Formalization of the Data Encryption Standard2012

    • 著者名/発表者名
      Hiroyuki Okazaki, Yasunari Shidama
    • 雑誌名

      Formalized Mathematics

      巻: 20(2) 号: 2 ページ: 125-146

    • DOI

      10.2478/v10037-012-0016-y

    • NAID

      120007101130

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22300285
  • [雑誌論文] Cartesian Products of Family of Real Linear Spaces2011

    • 著者名/発表者名
      Hiroyuki Okazaki, Noboru Endou, Yasunari Shidama
    • 雑誌名

      Formalized Mathematics

      巻: 19(1) 号: 1 ページ: 51-59

    • DOI

      10.2478/v10037-011-0009-2

    • NAID

      120007101117

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22300285
  • [雑誌論文] Formalization of Integral Linear Space2011

    • 著者名/発表者名
      Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
    • 雑誌名

      Formalized Mathematics

      巻: 19(1) 号: 1 ページ: 61-64

    • DOI

      10.2478/v10037-011-0010-9

    • NAID

      120007101115

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22300285
  • [雑誌論文] Development and Evaluation of a Large-Scale Agent-Based System for Information Literacy Education-Improving the Automatic Collection of Learning Results through Template Matching2011

    • 著者名/発表者名
      Keiichi TANAKA, Katsumi WASAKI
    • 雑誌名

      The 8th International Conference on Information Technology : New Generations (ITNG2011)

      巻: 1 ページ: 1-6

    • DOI

      10.1109/itng.2011.8

    • NAID

      120007101106

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22300285, KAKENHI-PROJECT-23500174
  • [雑誌論文] Banach Algebra of Bounded Complex-Valued Functionals2011

    • 著者名/発表者名
      Katuhiko Kanazashi, Hiroyuki Okazaki, Yasunari Shidama
    • 雑誌名

      Formalized Mathematics

      巻: 19(2) 号: 2 ページ: 121-126

    • DOI

      10.2478/v10037-011-0019-0

    • NAID

      120007101118

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22300285
  • [雑誌論文] Riemann Integral of Functions from R into Real Normed Space2011

    • 著者名/発表者名
      Keiichi Miyajima, Takahiro Kato, Yasunari Shidama
    • 雑誌名

      Formalized Mathematics

      巻: 19(1) 号: 1 ページ: 17-22

    • DOI

      10.2478/v10037-011-0003-8

    • NAID

      120007101119

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22300285
  • [雑誌論文] Partial Differentiation, Differentiation and Continuity on $n$-Dimensional Real Normed Linear Spaces2011

    • 著者名/発表者名
      Takao Inoue, Adam Naumowicz, Noboru Endou, Yasunari Shidama
    • 雑誌名

      Formalized Mathematics

      巻: 19(未定)(採録決定)

    • NAID

      120007101113

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22300285
  • [雑誌論文] More on the Continuity of Real Functions2011

    • 著者名/発表者名
      Keiko Narita, Artur Kornilowicz, Yasunari Shidama
    • 雑誌名

      Formalized Mathematics

      巻: 19(未定)(採録決定)

    • NAID

      120007101112

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22300285
  • [雑誌論文] Moreon Continuous Functions on Normed Linear Spaces2011

    • 著者名/発表者名
      Hiroyuki Okazaki, Noboru Endou, Yasunari Shidama
    • 雑誌名

      Formalized Mathematics

      巻: 19(1) 号: 1 ページ: 45-49

    • DOI

      10.2478/v10037-011-0008-3

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22300285
  • [雑誌論文] Partial Differentiation, Differentiation and Continuity on n-Dimensional Real Normed Linear Spaces2011

    • 著者名/発表者名
      Takao Inoue, Adam Naumowicz, Noboru Endou, Yasunari Shidama
    • 雑誌名

      Formalized Mathematics

      巻: 19(2) 号: 2 ページ: 65-68

    • DOI

      10.2478/v10037-011-0011-8

    • NAID

      120007101113

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22300285
  • [雑誌論文] Automatic Generation of SPIN Model Checking Code from UML Activity Diagrams2011

    • 著者名/発表者名
      Yutaka YAMADA, Katsumi WASAKI
    • 雑誌名

      International Journal of Advancements in Computing Technology

      巻: 3(8) 号: 8 ページ: 189-197

    • DOI

      10.4156/ijact.vol3.issue8.22

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22300285
  • [雑誌論文] Differentiable Functions into Real Normed Spaces2011

    • 著者名/発表者名
      Hiroyuki Okazaki, Noboru Endou, Keiko Narita, Yasunari Shidama
    • 雑誌名

      Formalized Mathematics

      巻: 19(2) 号: 2 ページ: 69-72

    • DOI

      10.2478/v10037-011-0012-7

    • NAID

      120007101116

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22300285
  • [雑誌論文] More on Continuous Functions on Normed Linear Spaces2011

    • 著者名/発表者名
      Hiroyuki Okazaki, Noboru Endou, Yasunari Shidama
    • 雑誌名

      Formalized Mathematics

      巻: 19(未定)(採録決定)

    • NAID

      120007101114

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22300285
  • [雑誌論文] Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces2010

    • 著者名/発表者名
      Takao Inoue, Noboru Endou, Yasunari Shidama
    • 雑誌名

      Formalized Mathematics

      巻: 18(4) 号: 4 ページ: 207-212

    • DOI

      10.2478/v10037-010-0025-7

    • NAID

      120007101101

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22300285
  • [雑誌論文] Riemann Integral of Functions R into C2010

    • 著者名/発表者名
      Keiichi Miyajima, Takahiro Kato, Yasunari Shidama
    • 雑誌名

      Formalized Mathematics

      巻: 18(4) 号: 4 ページ: 201-206

    • DOI

      10.2478/v10037-010-0024-8

    • NAID

      120007101121

    • 査読あり
    • データソース
      KAKENHI-PROJECT-22300285
  • [雑誌論文] Work in Progress - Sharing Learning Resources in the Development of an Online Engineering Presentations Course2006

    • 著者名/発表者名
      Pauline N.Kawamoto, Yasushi Fuwa, Hisayoshi Kunimune, Etsuko Iwama, Juriko Tanaka
    • 雑誌名

      IEEE Frontiers in Education Conference

    • データソース
      KAKENHI-PROJECT-18500705
  • [雑誌論文] Generalized Full Adder Circuits (GFA)"2005

    • 著者名/発表者名
      Shin'nosuke Yamaguchi, Katsumi Wasaki, Nobuhiro Shimoi
    • 雑誌名

      Formalized Mathematics. Part I Vol.13,No.4,

    • データソース
      KAKENHI-PROJECT-14350123
  • [雑誌論文] Generalized Full Adder Circuits(GFA),2005

    • 著者名/発表者名
      S.Yamaguchi, K.Wasaki, N.Shimoi:
    • 雑誌名

      Part I;Formalized Mathematics Vol.13,No.4,

      ページ: 125-134

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14350123
  • [雑誌論文] Generalized Full Adder Circuits (GFA)2005

    • 著者名/発表者名
      Shinnosuke Yamaguchi, Katsumi Wasaki, Nobuhiro Shimoi
    • 雑誌名

      Part I ; Formalized Mathematics Vol.13, No.4

      ページ: 125-134

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14350123
  • [雑誌論文] Mine Remote Sensing Technology Using a Working Robot2005

    • 著者名/発表者名
      Nobuhiro Shimoi, Yoshihiro Takita
    • 雑誌名

      Journal of Robotics and Mechatronics, Motion Control and Applications in Robot Technology (RT) Vol.17, No.1

      ページ: 101-105

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14350123
  • [雑誌論文] Development of a Wheeled Mobile Robot Octal Wheel Realized Climbing up and Down Stairs2004

    • 著者名/発表者名
      Yoshihiro Takita, Nobhiro Shimoi:
    • 雑誌名

      Proceedings of 2004 IEEE/RSJ International Conference on Intelligent Robots and Systems IROS, 1

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14350123
  • [雑誌論文] Development of a Wheeled Mobile Robot Octal Wheel Realized Climbing up and Down Stairs2004

    • 著者名/発表者名
      Yoshihiro Takita, Nobuhiro Shimoi
    • 雑誌名

      Proceedings of 2004 IEEE/RSJ International Conference on Intelligent Robots and Systems IROS

      ページ: 2440-2445

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14350123
  • [雑誌論文] Learning from the Development of the SUGSI Framework2004

    • 著者名/発表者名
      Pauline N.Kawamoto
    • 雑誌名

      外国語教育メディア学会(LET)第44回全国研究大会

      ページ: 163-163

    • データソース
      KAKENHI-PROJECT-15700508
  • [雑誌論文] A Remote Sensing Method of Ground Mines using Time Difference IR Images2003

    • 著者名/発表者名
      Katsumi Wasaki, Nobuhiro Shimoi, Yoshihiro Takita
    • 雑誌名

      Inverse Problems in Engineering Mechanics No6

      ページ: 261-270

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14350123
  • [雑誌論文] Mine Detecting Technology for Humanitarian Purpose,2003

    • 著者名/発表者名
      Nobuhiro, Shimoi, Yoshihiro Takita
    • 雑誌名

      The 7thWorld Multi conference on Systemic, Cybernetics and Informatics SCI 1

      ページ: 166-17

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14350123
  • [雑誌論文] Mine Detecting Technology for Humanitarian Purpose2003

    • 著者名/発表者名
      Nobuhiro Shimoi, Yoshihiro Takita
    • 雑誌名

      The 7th World Multi conference on Systemic, Cybernetics and Informatics SCI

      ページ: 166-171

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14350123
  • [雑誌論文] A Remote Sensing Method of Ground Mines using Time Difference IR Images2003

    • 著者名/発表者名
      Katsumi Wasaki, Nobuhiro Shimoi, Yoshihiro Takita
    • 雑誌名

      Proceedings of the International Symposium on Inverse Problems in Engineering Mechanics (ISIP2003) 1

      ページ: 144-145

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14350123
  • [雑誌論文] A Remote Sensing Method of Ground Mines using Time Difference IR Images2003

    • 著者名/発表者名
      Katsumi Wasaki, Nobuhiro Shimoi, Yoshihiro Takita
    • 雑誌名

      Inverse Problems in Engineering Mechanics No..6

      ページ: 261-270

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-14350123
  • [雑誌論文] Mine Remote Sensing Technology Using a Working Robot,

    • 著者名/発表者名
      Nobuhiro Shimoi, Yoshihiro Takita Mine Remote Sensing Technology Using a Working Robot
    • 雑誌名

      Journal of Robotics and Mechatronisc,Motion Control and Applications in Robot Technology(RT), Vol.17.No1

      ページ: 101-105

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-14350123
  • [学会発表] Content Development for Distance Education in Advanced University Mathematics Using Mizar2013

    • 著者名/発表者名
      Takaya IDO, Hiroyuki OKAZAKI, Hiroshi YAMAZAKI, Pauline Naomi, KAWAMOTO, Katsumi WASAKI, Yasunari SHIDAMA
    • 学会等名
      Proceedings of the 2013 International Conference on e-Learning,e-Business, Enterprise Information Systems, and e-Government(EEE'13)
    • 発表場所
      Las Vegas, Nevada, USA
    • データソース
      KAKENHI-PROJECT-22300285
  • [学会発表] Content Development for Distance Education in Advanced University Mathematics Using Mizar2013

    • 著者名/発表者名
      Takaya IDO, Hiroyuki OKAZAKI, Hiroshi YAMAZAKI, Pauline Naomi KAWAMOTO, Katsumi WASAKI, Yasunari SHIDAMA
    • 学会等名
      2013 International Conference on e-Learning, e-Business, Enterprise Information Systems and e-Government (EEE'13)
    • 発表場所
      Las Vegas , Nevada,USA
    • データソース
      KAKENHI-PROJECT-22300285
  • [学会発表] Formalization of Decision-free Petri nets in Mizar2013

    • 著者名/発表者名
      Pratima K. Shah, Pauline N. Kawamoto
    • 学会等名
      2013 Convention Record of the Shin-Etsu Chapter of IEICE, IEEE Shin-etsu Poster Session
    • 発表場所
      長岡技科大
    • データソース
      KAKENHI-PROJECT-22300285
  • [学会発表] SIRMs fuzzy approximate reasoning using L-R fuzzy number as premise valuable2013

    • 著者名/発表者名
      Takashi Mitsuishi, Takanori Terashima, Nami Shimada, Toshimichi Homma, Yasunari Shidama
    • 学会等名
      System of Systems Engineering (SoSE), 2013 8th International Conference on
    • 発表場所
      Maui,Hawaii,USA
    • 招待講演
    • データソース
      KAKENHI-PROJECT-22300285
  • [学会発表] Learning to express engineering results in the universal language of mathematics2013

    • 著者名/発表者名
      Pauline N. Kawamoto
    • 学会等名
      ACM Chapter, IEEE PCSJ 2nd Technical Meeting 2013, keynote
    • 発表場所
      会津大学
    • データソース
      KAKENHI-PROJECT-22300285
  • [学会発表] Enhancing Network Reliability by Establishing Redundant Network of Wi-Fi as Disaster Readiness in Soya Regions2013

    • 著者名/発表者名
      Bishnu Prasad GAUTAM, Suresh SHRESTHA, Katsumi WASAKI
    • 学会等名
      情報処理学会第22回インターネットと運用技術研究発表会
    • 発表場所
      武蔵大学
    • データソース
      KAKENHI-PROJECT-22300285
  • [学会発表] Formalization Verification of AES Using the Mizar Proof Checker2012

    • 著者名/発表者名
      Hiroyuki Okazaki,Kenichi Arai, Yasunari shidama
    • 学会等名
      2012 International Conference on Foundations of Computer Science
    • 発表場所
      米国ラスベガス
    • データソース
      KAKENHI-PROJECT-22300285
  • [学会発表] Development and Evaluation of a Large-Scale Agent-Based System for Information Literacy Education-Improving the Automatic Collection of Learning Results through Template Matching2011

    • 著者名/発表者名
      Keiichi TANAKA, Katsumi WASAKI
    • 学会等名
      The 8th International Conference on Information Technology : New Generations(ITNG2011)
    • 発表場所
      Las Vegas, Nevada, USA (DOI : 10.1109/ITNG.2011.8)
    • データソース
      KAKENHI-PROJECT-22300285
  • [学会発表] Formal Definition of Probability and Probabilistic Function on Finite and Discrete Sample Space for Proving Security of Cryptographic Systems Using Mizar2011

    • 著者名/発表者名
      Hiroyuki Okazaki, Yasunari Shidama, Yuichi Futa
    • 学会等名
      The 2011 Joint Mathematics Meetings
    • 発表場所
      New Orleans
    • データソース
      KAKENHI-PROJECT-22300285
  • [学会発表] Development and evaluation of a large-scale agent-based system for coll ecting results of information literacy learning using electronic textbooks2010

    • 著者名/発表者名
      Keiichi TANAKA, Katsumi WASAKI
    • 学会等名
      Society for Information Technology & Teacher Ed ucation International Conference 2010(SITE2010)
    • 発表場所
      San Diego, CA、USA
    • 年月日
      2010-04-02
    • データソース
      KAKENHI-PROJECT-22300285
  • [学会発表] Turning Teaching Ideas into Real E-learning Solutions: Development of a Remedial English E-learning System for Undergraduate Students at a Japanese University2009

    • 著者名/発表者名
      Yuichiro Yoshinari, Pauline N. Kawamoto
    • 学会等名
      HIC Arts and Humanities
    • 発表場所
      Honolulu
    • 年月日
      2009-01-10
    • データソース
      KAKENHI-PROJECT-18500705
  • [学会発表] Development of a Spiral Learning Mechanism for E-learning Drill Systems : Making Remedial Training Less Painful for Students and Instructors2009

    • 著者名/発表者名
      Yuichiro Yoshinari, Pauline N.Kawamoto
    • 学会等名
      E-Learn 2008 World Conference on E-learning in Corporate, Government, Healthcare, and Higher Education
    • データソース
      KAKENHI-PROJECT-18500705
  • [学会発表] Turning Teaching Ideas into Real E-learning Solutions : Developmentof a Remedial English E-learning System for Undergraduate Studentsat a Japanese University2009

    • 著者名/発表者名
      Yuichiro Yoshinari, Pauline N. Kawamoto
    • 学会等名
      HIC Arts and Humanities
    • 発表場所
      Honolulu, HI U. S. A.
    • 年月日
      2009-01-10
    • データソース
      KAKENHI-PROJECT-18500705
  • [学会発表] Development of a Spiral Learning Mechanism for E-learning Drill Systems: Making Remedial Training Less Painful for Students and Instructors2008

    • 著者名/発表者名
      Yuichiro Yoshinari, Pauline N. Kawamoto
    • 学会等名
      E-Learn 2008 World Conference on E-Learning in Corporate, Government, Healthcare, and Higher Education
    • 発表場所
      Las Vegas
    • 年月日
      2008-11-20
    • データソース
      KAKENHI-PROJECT-18500705
  • [学会発表] Development of a Spiral Learning Mechanism for E-learning Drill Systems : Making Remedial Training Less Painful for Students and Instructors2008

    • 著者名/発表者名
      Yuichiro Yoshinari, Pauline N. Kawamoto
    • 学会等名
      E-Learn 2008 World Conference on E-Learning in Corporate, Government, Healthcare, and Higher Education
    • 発表場所
      Las Vegas, NV U. S. A.
    • 年月日
      2008-11-20
    • データソース
      KAKENHI-PROJECT-18500705
  • [学会発表] Work in Progress-Sharing Learning Resources in the Development of an Online Engineering. Presentations Course2006

    • 著者名/発表者名
      Pauline N.Kawamoto, Yasushi Fuwa, Hisayoshi Kunimune, Etsuko Iwama, Juriko Tanaka
    • 学会等名
      IEEE Frontiers in Education Conference
    • データソース
      KAKENHI-PROJECT-18500705
  • [学会発表] Work in Progress: Sharing Learning Resources in the Development of an Online Engineering Presentations Course2006

    • 著者名/発表者名
      Pauline N. Kawamoto, Yasushi Fuwa, Hisayoshi Kunimune, Etsuko Iwama, Juriko Tanaka
    • 学会等名
      36th Annual Frontiers in Education Conference
    • 発表場所
      San Diego
    • 年月日
      2006-10-31
    • データソース
      KAKENHI-PROJECT-18500705
  • 1.  山崎 浩 (00293522)
    共同の研究課題数: 2件
    共同の研究成果数: 5件
  • 2.  和崎 克己 (70271492)
    共同の研究課題数: 2件
    共同の研究成果数: 15件
  • 3.  師玉 康成 (20226129)
    共同の研究課題数: 1件
    共同の研究成果数: 45件
  • 4.  岡崎 裕之 (50432167)
    共同の研究課題数: 1件
    共同の研究成果数: 33件
  • 5.  布田 裕一 (50706223)
    共同の研究課題数: 1件
    共同の研究成果数: 8件
  • 6.  荒井 研一 (60645290)
    共同の研究課題数: 1件
    共同の研究成果数: 3件
  • 7.  下井 信浩 (10300542)
    共同の研究課題数: 1件
    共同の研究成果数: 12件
  • 8.  高橋 三男 (40197182)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 9.  田中 樹里子
    共同の研究課題数: 1件
    共同の研究成果数: 3件
  • 10.  岩間 悦子
    共同の研究課題数: 1件
    共同の研究成果数: 3件
  • 11.  金子 直弘
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 12.  滝田 好宏
    共同の研究課題数: 1件
    共同の研究成果数: 9件
  • 13.  竹村 不二夫
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 14.  検見崎 徹
    共同の研究課題数: 1件
    共同の研究成果数: 0件

URL: 

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi