師玉康成 SHIDAMA Yasunari

研究者番号	20226129
その他のID
外部サイト
所属 (過去の研究課題情報に基づく) *注記	2017年度 – 2020年度: 信州大学, 学術研究院工学系, 教授 2010年度 – 2013年度: 信州大学, 工学部, 教授 2003年度 – 2006年度: 信州大学, 工学部, 教授
審査区分/研究分野	研究代表者教育工学研究代表者以外情報セキュリティ
キーワード	研究代表者プルーフチェッカ / Education Information Engineering / Mathematical Proof Checker / Security Technology / Streaming Service / Multimedia Contents / Computer Aided Instruction System / Internet University / Distance Learning / グループディスカッション … もっと見る / CMS / インターネット大学院 / CAI / マルチメディアコンテンツ / 教育システム情報工学 / セキュリティ技術 / ストリーミング配信 / マルチメディア / CAIシステム / インターネット大学 / 遠隔教育 / 計算機による検査 / 証明記述問題 / プルーフチェッカー / e-learning教材 / moodle / 論理思考 / Mizar / 定理証明支援系 / 形式化数学 / e-learning / eラーニング … もっと見る研究代表者以外応用数学 / 暗号・認証等 / 攻撃モデル形式化 / アルゴリズムのステップ数形式化 / 統計的識別不能性形式化 / 繰り返しおよび再帰形式化 / 安全性要件形式化 / アルゴリズムの計算量形式化 / 暗号システム / 安全性証明 / 形式検証 / ProVerif / Mizar / モデル検査 / 形式的定理証明 / 形式的安全性検証 / 暗号理論隠す

形式手法による暗号の安全性証明自動検証システムの開発
- 研究代表者
  
  岡崎裕之
- 研究期間 (年度)
  2017 – 2020
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報セキュリティ
- 研究機関
  信州大学
ＭＩＺＡＲ数学ライブラリの構築と大学数学向け高度遠隔教育用コンテンツ開発研究代表者
- 研究代表者
  
  師玉康成
- 研究期間 (年度)
  2010 – 2013
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  教育工学
- 研究機関
  信州大学
信州大学インターネット大学院におけるマルチメディア利用CAIシステムの高度化研究研究代表者
- 研究代表者
  
  師玉康成
- 研究期間 (年度)
  2003 – 2006
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  教育工学
- 研究機関
  信州大学

すべて 2019 2018 2017 2014 2013 2012 2011 2010 2005 2004 2003

すべて雑誌論文学会発表

[雑誌論文] Continuity of Multilinear Operator on Normed Linear Spaces2019
- 著者名/発表者名
  Nakasho Kazuhisa、Shidama Yasunari
- 雑誌名
  
  Formalized Mathematics
  
  巻: 27 号: 1 ページ: 61-65
- DOI
  10.2478/forma-2019-0006
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-17K00182
[雑誌論文] Operations of Points on Elliptic Curve in Affine Coordinates2019
- 著者名/発表者名
  Futa Yuichi、Okazaki Hiroyuki、Shidama Yasunari
- 雑誌名
  
  Formalized Mathematics
  
  巻: 27 号: 3 ページ: 315-320
- DOI
  10.2478/forma-2019-0026
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-17K00182
[雑誌論文] Implicit Function Theorem. Part II2019
- 著者名/発表者名
  Nakasho Kazuhisa、Shidama Yasunari
- 雑誌名
  
  Formalized Mathematics
  
  巻: 27 号: 2 ページ: 117-131
- DOI
  10.2478/forma-2019-0013
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-17K00182
[雑誌論文] Continuity of Bounded Linear Operators on Normed Linear Spaces2018
- 著者名/発表者名
  Nakasho Kazuhisa、Futa Yuichi、Shidama Yasunari
- 雑誌名
  
  Formalized Mathematics
  
  巻: 26 号: 3 ページ: 231-237
- DOI
  10.2478/forma-2018-0021
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-17K00182
[雑誌論文] Implicit Function Theorem. Part I2017
- 著者名/発表者名
  Nakasho Kazuhisa、Futa Yuichi、Shidama Yasunari
- 雑誌名
  
  Formalized Mathematics
  
  巻: 25 号: 4 ページ: 269-281
- DOI
  10.1515/forma-2017-0026
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-17K00182
[雑誌論文] 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
[雑誌論文] 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
[雑誌論文] Differentiation in Normed Spaces2013
- 著者名/発表者名
  Noboru Endou, Yasunari Shidama
- 雑誌名
  
  Formalized Mathematics
  
  巻: 21(2) 号: 2 ページ: 95-102
- DOI
  10.2478/forma-2013-0011
- NAID
  120007101134
- 査読あり
- データソース
  KAKENHI-PROJECT-22300285, KAKENHI-PROJECT-23500029
[雑誌論文] 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
[雑誌論文] 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
[雑誌論文] Isometric Differentiable Functions on Real Normed Space2013
- 著者名/発表者名
  Yuichi Futa, Noboru Endou, Yasunari Shidama
- 雑誌名
  
  Formalized Mathematics
  
  巻: 21(4) 号: 4 ページ: 249-260
- DOI
  10.2478/forma-2013-0027
- NAID
  120007101146
- 査読あり
- データソース
  KAKENHI-PROJECT-22300285, KAKENHI-PROJECT-23500029
[雑誌論文] 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
[雑誌論文] 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
[雑誌論文] Differentiable Functions on Normed Linear Spaces2012
- 著者名/発表者名
  Yasunari Shidama
- 雑誌名
  
  Formalized Mathematics
  
  巻: 20(1) 号: 1 ページ: 31-40
- DOI
  10.2478/v10037-012-0005-1
- NAID
  120007101140
- 査読あり
- データソース
  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
[雑誌論文] On L1 Space Formed by Complex-Valued Partial Functions2012
- 著者名/発表者名
  Yasushige Watase, Noboru Endou, Yasunari Shidama
- 雑誌名
  
  Formalized Mathematics
  
  巻: 20(4) 号: 4 ページ: 349-357
- DOI
  10.2478/v10037-012-0039-4
- NAID
  120007101123
- 査読あり
- データソース
  KAKENHI-PROJECT-22300285, KAKENHI-PROJECT-23500029
[雑誌論文] 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
[雑誌論文] 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
[雑誌論文] 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
[雑誌論文] Display Scope Control System of e-Learning Courseware based on the Learning Progress2005
- 著者名/発表者名
  Hisayoshi Kunimune, Masaaki Niimura, Katsumi Wasaki, Yasushi Fuwa, Yasunari Shidama, Yatsuka Nakamura
- 雑誌名
  
  Proceedings of IPSI2005-USA 1・1
  
  ページ: 1-5
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-15300274
[雑誌論文] The Learning System of Shinshu University Graduate School of Science and Technology on the Internet2005
- 著者名/発表者名
  Hisayoshi Kunimune, Masaaki Niimura, Katsumi Wasaki, Yasushi Fuwa, Yasunari Shidama, Yatsuka Nakamura
- 雑誌名
  
  Knowledge-Based Intelligent Information and Engineering Systems (KES2005), Lecture Notes in Computer Science, Springer 3683・3
  
  ページ: 1296-1302
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-15300274
[雑誌論文] 信州大学インターネット大学院の現状と評価2005
- 著者名/発表者名
  國宗永佳, 新村正明, 和崎克己, 不破泰, 師玉康成, 中村八束
- 雑誌名
  
  教育システム情報学会誌 22(4)
  
  ページ: 264-271
- NAID
  40020744241
- データソース
  KAKENHI-PROJECT-15300274
[雑誌論文] 信州大学インターネット大学院・大学の現状2005
- 著者名/発表者名
  國宗永佳, 新村正明, 和崎克己, 不破泰, 師玉康成, 中村八束
- 雑誌名
  
  平成17年度工学・工業教育研究講演会講演論文集
  
  ページ: 414-415
- データソース
  KAKENHI-PROJECT-15300274
[雑誌論文] The Learning System of Shinshu University Graduate School of Science and Technology on the Internet2005
- 著者名/発表者名
  Hisayoshi Kunimune, Masaaki Niimura, Katsumi Wasaki, Yasushi Fuwa, Yasunari Shidama, Yatsuka Nakamura
- 雑誌名
  
  9th International Conference, KES 2005 III
  
  ページ: 1296-1302
- データソース
  KAKENHI-PROJECT-15300274
[雑誌論文] 社会人を対象とした自学自習型遠隔教育利用2005
- 著者名/発表者名
  國宗永佳, 新村正明, 和崎克己, 不破泰, 師玉康成, 中村八束
- 雑誌名
  
  教育システム情報学会主催シンポジウム「大学教育の多様化とe-Learningの利用」
  
  ページ: 35-40
- データソース
  KAKENHI-PROJECT-15300274
[雑誌論文] Display Scope Control System of e-Learning Courseware based on the Learning Progress2005
- 著者名/発表者名
  Hisayoshi Kunimune, Masaaki Niimura, Katsumi Wasaki, Yasushi Fuwa, Yasunari Shidama, Yatsuka Nakamura
- 雑誌名
  
  Proceedings of the IPSI-2005 USA Cambridge July 7-10
  
  ページ: 1-5
- データソース
  KAKENHI-PROJECT-15300274
[雑誌論文] The Learning System of Shinshu University Graduate School of Science and Technology on the Internet2005
- 著者名/発表者名
  Hisayoshi Kunimine, Masaaki Niimura, Katsumi Wasaki, Yasushi Fuwa, Yasunari Shidama, Yatsuka Nakamura
- 雑誌名
  
  Knowledge-Based Intelligent Information and Engineering Systems(KES2005),Lecture Notes in Computer Science Springer 3683-3
  
  ページ: 1296-1302
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-15300274
[雑誌論文] Display Scope Control System of e-Learning Courseware based on the Learning Progress2005
- 著者名/発表者名
  Hisayoshi Kunimune, Masaaki Niimura, Katsumi Wasaki, Yasushi Fuwa, Yasunari Shidama, Yatsuka Nakamura
- 雑誌名
  
  Proceedings of IPSI2005-USA 1-1
  
  ページ: 1-5
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-15300274
[雑誌論文] 信州大学インターネット大学院の現状と評価2005
- 著者名/発表者名
  國宗永佳, 新村正明, 和崎克己, 不破泰, 師玉康成, 中村八束
- 雑誌名
  
  教育システム情報学会誌 22・4
  
  ページ: 264-271
- NAID
  40020744241
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-15300274
[雑誌論文] 信州大学インターネット大学院における学習進捗状況管理システム2005
- 著者名/発表者名
  國宗永佳, 新村正明, 和崎克己, 不破泰, 師玉康成, 中村八束
- 雑誌名
  
  教育システム情報学会研究報告 20(1)
  
  ページ: 113-116
- データソース
  KAKENHI-PROJECT-15300274
[雑誌論文] 信州大学インターネット大学院・大学(1)-経緯と現状-2004
- 著者名/発表者名
  不破泰, 國宗永佳, 新村正明, 和崎克己, 師玉康成, 中村八束
- 雑誌名
  
  教育システム情報学会第29回全国大会講演論文集
  
  ページ: 123-124
- データソース
  KAKENHI-PROJECT-15300274
[雑誌論文] 学習進捗状況に基づいたe-Learning教材表示制御システム2004
- 著者名/発表者名
  國宗永佳, 新村正明, 和崎克己, 不破泰, 師玉康成, 中村八束
- 雑誌名
  
  教育システム情報学会研究報告 19(1)
  
  ページ: 43-48
- データソース
  KAKENHI-PROJECT-15300274
[雑誌論文] 信州大学インターネット大学院の現状と将来計画2004
- 著者名/発表者名
  不破泰, 國宗永佳, 和崎克己, 新村正明, 師玉康成, 中村八束
- 雑誌名
  
  メディア教育研究 1・1
  
  ページ: 11-18
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-15300274
[雑誌論文] The Current Activities and The Futures of Graduate School Science and Technology on the Internet2004
- 著者名/発表者名
  Yasushi Fuwa, Hisayoshi Kunimune, Katsumi Wasaki, Masaaki Niimura, Yasunari Shidama, Yatsuka Nakamura
- 雑誌名
  
  Shinshu University ; Journal of Multimedia Acid Education Research 1-1
  
  ページ: 11-18
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-15300274
[雑誌論文] 個別の学習進捗に対応したe-Learning教材表示制御システム2004
- 著者名/発表者名
  國宗永佳, 新村正明, 和崎克己, 不破泰, 師玉康成, 中村八束
- 雑誌名
  
  平成16年度工学・工業教育研究講演会講演論文集
  
  ページ: 143-144
- データソース
  KAKENHI-PROJECT-15300274
[雑誌論文] 信州大学インターネット大学院・大学(1)-評価と今後の計画-2004
- 著者名/発表者名
  不破泰, 國宗永佳, 新村正明, 和崎克己, 師玉康成, 中村八束
- 雑誌名
  
  教育システム情報学会第29回全国大会講演論文集
  
  ページ: 499-500
- データソース
  KAKENHI-PROJECT-15300274
[雑誌論文] 信州大学インターネット大学院の現状と課題2004
- 著者名/発表者名
  不破泰, 國宗永佳, 新村正明, 和崎克己, 師玉康成, 中村八束
- 雑誌名
  
  情報管理 47-8
  
  ページ: 547-553
- データソース
  KAKENHI-PROJECT-15300274
[雑誌論文] Shinshu University, Graduate School of Science and Technology on the Internet2003
- 著者名/発表者名
  Masaaki Niimura, Yasushi Fuwa, Katsumi Wasaki, Yasunari Shidama, Yatsuka Nakamura, Shinjiro Oshita
- 雑誌名
  
  Proceedings of SSGRR2003 1・56
  
  ページ: 1-6
- NAID
  10008437803
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-15300274
[雑誌論文] 信州大学インターネット大学院におけるマルチメディア教材の利用と履修状況について2003
- 著者名/発表者名
  新村正明, 不破泰, 和崎克己, 師玉康成, 中村八束, 大下眞二郎
- 雑誌名
  
  人工知能学会誌 18・4
  
  ページ: 426-432
- NAID
  10008728593
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-15300274
[雑誌論文] Shinshu University Graduate School Of Science and Technology on the Internet2003
- 著者名/発表者名
  Masaaki Niimura, Yasushi Fuwa, Katsumi Wasaki, Yasunari Shidama, Yatsuka Nakamura, Shinjiro Oshita
- 雑誌名
  
  Proceedings of SSGRR2003 1-56
  
  ページ: 1-6
- NAID
  10008437803
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-15300274
[学会発表] Mizarによる離散確率分布の統計的識別不能性の形式化2019
- 著者名/発表者名
  岡崎裕之, 布田裕一, 師玉康成
- 学会等名
  日本応用数理学会 2019年度年会
- データソース
  KAKENHI-PROJECT-17K00182
[学会発表] 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
[学会発表] 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
[学会発表] 定理証明系Mizarの概要2013
- 著者名/発表者名
  師玉　康成
- 学会等名
  2013年電子情報通信学会ソサイエティ大会チュートリアルセッション　情報理論のための形式的定理証明
- 発表場所
  福岡工業大学
- データソース
  KAKENHI-PROJECT-22300285
[学会発表] 形成化数学記述言語Mizarによる共通鍵暗号AESの形式化2012
- 著者名/発表者名
  今村充志, 岡崎裕之, 師玉康成
- 学会等名
  2012年日本応用数理学会・研究部会連合発表会
- 発表場所
  九州大学
- 年月日
  2012-03-08
- データソース
  KAKENHI-PROJECT-22300285
[学会発表] Mizarによる大学数学向け高度遠隔教育用コンテンツ開発2012
- 著者名/発表者名
  井戸貴也, 岡崎裕之, 山崎　浩, 師玉康成
- 学会等名
  電子情報通信学会教育工学研究会
- 発表場所
  佐賀大学
- データソース
  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
[学会発表] 形式化数学システムMizarによる数論アルゴリズムの検証2012
- 著者名/発表者名
  水島大地, 青木祥希, 岡崎裕之, 師玉康成
- 学会等名
  2012年日本応用数理学会・研究部会連合発表会
- 発表場所
  九州大学
- 年月日
  2012-03-09
- データソース
  KAKENHI-PROJECT-22300285
[学会発表] Mizarによる素体上の楕円曲線の形式化2011
- 著者名/発表者名
  布田裕一, 岡崎裕之, 師玉康成
- 学会等名
  第9回「代数学と計算」研究集会
- 発表場所
  首都大学東京
- 年月日
  2011-11-07
- データソース
  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
[学会発表] Recent achievement of codification on real analysis in Mizar2011
- 著者名/発表者名
  Yasushige Watase, Noboru Endo, Yasunari Shidama
- 学会等名
  The 2011 Joint Mathematics Meetings
- 発表場所
  New Orleans
- データソース
  KAKENHI-PROJECT-22300285

1. 和崎克己 (70271492)

共同の研究課題数: 2件

共同の研究成果数: 23件
2. 岡崎裕之 (50432167)

共同の研究課題数: 2件

共同の研究成果数: 38件
3. 布田裕一 (50706223)

共同の研究課題数: 2件

共同の研究成果数: 14件
4. 荒井研一 (60645290)

共同の研究課題数: 2件

共同の研究成果数: 3件
5. K PAULINE Naomi (40283238)

共同の研究課題数: 1件

共同の研究成果数: 0件
6. 山崎浩 (00293522)

共同の研究課題数: 1件

共同の研究成果数: 5件
7. 中村八束 (50021019)

共同の研究課題数: 1件

共同の研究成果数: 21件
8. 不破泰 (00165507)

共同の研究課題数: 1件

共同の研究成果数: 21件
9. 新村正明 (20345755)

共同の研究課題数: 1件

共同の研究成果数: 21件
10. KAWAMOTO Pauline・Naomi

共同の研究課題数: 0件

共同の研究成果数: 45件

師玉 康成 SHIDAMA Yasunari

研究課題

研究成果

共同研究者

形式手法による暗号の安全性証明自動検証システムの開発

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

ＭＩＺＡＲ数学ライブラリの構築と大学数学向け高度遠隔教育用コンテンツ開発研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

信州大学インターネット大学院におけるマルチメディア利用CAIシステムの高度化研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[雑誌論文] Continuity of Multilinear Operator on Normed Linear Spaces2019

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Operations of Points on Elliptic Curve in Affine Coordinates2019

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Implicit Function Theorem. Part II2019

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Continuity of Bounded Linear Operators on Normed Linear Spaces2018

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Implicit Function Theorem. Part I2017

著者名/発表者名

雑誌名

DOI

データソース

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

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] Submodule of free Z-module2014

著者名/発表者名

雑誌名

DOI

NAID

データソース

[雑誌論文] Isomorphisms of Direct Products of Cyclic Groups of Prime-power Order2013

著者名/発表者名

雑誌名

DOI

NAID

データソース

[雑誌論文] The Linearity of Riemann Integral on Functions from R into Real Banach Space2013

著者名/発表者名

雑誌名

DOI

NAID

データソース

[雑誌論文] The C^k Space2013

著者名/発表者名

雑誌名

DOI

NAID

データソース

[雑誌論文] N-dimensional Binary Vector Spaces2013

著者名/発表者名

雑誌名

DOI

師玉康成 SHIDAMA Yasunari