SHIDAMA Yasunari 師玉康成

Researcher Number	20226129
Other IDs
External Links
Affiliation (based on the past Project Information) *help	2017 – 2020: 信州大学, 学術研究院工学系, 教授 2010 – 2013: 信州大学, 工学部, 教授 2003 – 2006: 信州大学, 工学部, 教授
Review Section/Research Field	Principal Investigator Educational technology Except Principal Investigator Information security
Keywords	Principal Investigator プルーフチェッカ / Education Information Engineering / Mathematical Proof Checker / Security Technology / Streaming Service / Multimedia Contents / Computer Aided Instruction System / Internet University / Distance Learning / グループディスカッション … More / CMS / インターネット大学院 / CAI / マルチメディアコンテンツ / 教育システム情報工学 / セキュリティ技術 / ストリーミング配信 / マルチメディア / CAIシステム / インターネット大学 / 遠隔教育 / 計算機による検査 / 証明記述問題 / プルーフチェッカー / e-learning教材 / moodle / 論理思考 / Mizar / 定理証明支援系 / 形式化数学 / e-learning / eラーニング … More Except Principal Investigator 応用数学 / 暗号・認証等 / 攻撃モデル形式化 / アルゴリズムのステップ数形式化 / 統計的識別不能性形式化 / 繰り返しおよび再帰形式化 / 安全性要件形式化 / アルゴリズムの計算量形式化 / 暗号システム / 安全性証明 / 形式検証 / ProVerif / Mizar / モデル検査 / 形式的定理証明 / 形式的安全性検証 / 暗号理論 Less

Developing Automated formal Verification System for Cryptology
- Principal Investigator
  
  Okazaki Hiroyuki
- Project Period (FY)
  2017 – 2020
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Information security
- Research Institution
  Shinshu University
Content Development for Distance Education in Advanced University Mathematics Using MizarPrincipal Investigator
- 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
Advanced Research in CAI System Utilizing Multimedia at Shinshu University Graduate School on the InternetPrincipal Investigator
- Principal Investigator
  
  SHIDAMA Yasunari
- Project Period (FY)
  2003 – 2006
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Educational technology
- Research Institution
  SHINSHU UNIVERSITY

All 2019 2018 2017 2014 2013 2012 2011 2010 2005 2004 2003

All Journal Article Presentation

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

1. WASAKI Katsumi (70271492)

# of Collaborated Projects: 2 results

# of Collaborated Products: 23 results
2. OKAZAKI Hiroyuki (50432167)

# of Collaborated Projects: 2 results

# of Collaborated Products: 38 results
3. FUTA Yuichi (50706223)

# of Collaborated Projects: 2 results

# of Collaborated Products: 14 results
4. ARAI Kenichi (60645290)

# of Collaborated Projects: 2 results

# of Collaborated Products: 3 results
5. KPAULINE Naomi (40283238)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
6. YAMAZAKI Hiroshi (00293522)

# of Collaborated Projects: 1 results

# of Collaborated Products: 5 results
7. NAKAMURA Yatsuka (50021019)

# of Collaborated Projects: 1 results

# of Collaborated Products: 21 results
8. FUWA Yasushi (00165507)

# of Collaborated Projects: 1 results

# of Collaborated Products: 21 results
9. NIIMURA Masaaki (20345755)

# of Collaborated Projects: 1 results

# of Collaborated Products: 21 results
10. KAWAMOTO Pauline・Naomi

# of Collaborated Projects: 0 results

# of Collaborated Products: 45 results

SHIDAMA Yasunari 師玉 康成

Research Projects

Research Products

Co-Researchers

Developing Automated formal Verification System for Cryptology

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Content Development for Distance Education in Advanced University Mathematics Using MizarPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Advanced Research in CAI System Utilizing Multimedia at Shinshu University Graduate School on the InternetPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] Continuity of Multilinear Operator on Normed Linear Spaces2019

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Operations of Points on Elliptic Curve in Affine Coordinates2019

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Implicit Function Theorem. Part II2019

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Continuity of Bounded Linear Operators on Normed Linear Spaces2018

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Implicit Function Theorem. Part I2017

Author(s)

Journal Title

DOI

Data Source

[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

SHIDAMA Yasunari 師玉康成