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

研究者総覧研究者総覧

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

師玉康成  シダマ ヤスナリ

教員組織学術研究院(工学系)電話番号
教育組織工学部 電子情報システム工学科FAX番号
職名教授メールアドレス
住所ホームページURL

更新日:2016/09/20

プロフィール

兼担研究科・学部
大学院工学系研究科
大学院総合工学系研究科
研究分野
非線形系
形式化数学
現在の研究課題
形式化数学記述言語による定理証明の形式化

非線形系の解析と最適化法の研究

インターネット遠隔教育

所属学会
所属学会
ASSOCIATION OF MIZAR USERS
電子情報通信学会
日本応用数理学会
IEEE
日本知能情報ファジィ学会
学歴
出身学校・専攻等(大学院を除く)
1978 , 法政大学 , 工学部

取得学位
工学博士 , 慶応義塾大学
受賞学術賞
2008 , Sleszyński賞
研究職歴等
研究職歴
1995- , 信州大学工学部 教授
1991- , 信州大学工学部 助教授
1990- , 信州大学工学部 助手

研究活動業績

研究業績(著書・
発表論文等)
論文
Matrix of Z-module1
Formalized Mathematics,23(1):29-49 2015
Author:Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama:


σ-ring and σ-algebra of Sets1
Formalized Mathematics,23(1):51-57 2015
Author:Noboru Endou, Kazuhisa Nakasho, Yasunari Shidama


Continuity of approximate reasoning using fuzzy number under Łukasiewicz t-norm.
RAM/CIS 2015,: CIS:71-74 2015
Author:Takashi Mitsuishi, Nami Shimada, Toshimichi Homma, Mayumi Ueda, Masayuki Kochizawa, Yasunari Shidama


Documentation Generator Focusing on Symbols for the HTML-ized Mizar Library
,LNCS 9150:343-347 2015
Author:Kazuhisa Nakasho, Yasunari Shidama


Continuity of Discrete-Time Fuzzy Systems
,LNCS 8835:462-469 2014
Author:Takashi Mitsuishi, Takanori Terashima, Koji Saigusa, Nami Shimada, Toshimichi Homma, Kiyoshi Sawada, Yasunari Shidama


Dual Spaces and Hahn-Banach Theorem
Formalized Mathematics,22(1):69-77 2014
Author:Keiko Narita, Noboru Endou, Yasunari Shidama


Definition of Flat Poset and Existence Theorems for Recursive Call
Formalized Mathematics,22(1):1-10 2014
Author:Kazuhisa Ishida, Yasunari Shidama, Adam Grabowski


Formal definition of probability on finite and discrete sample space for proving security of cryptographic systems using Mizar
Artificial Intelligence Research,2(4):37-48 2013(Aug.)
Author:Okazaki, H; Futa, Y; Shidama, Y


Submodule of free Z-module
Formalized Mathematics,21(4):273-282 2013
Author:Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama


Differential Equations on Functions from R into Real Banach Space
Formalized Mathematics,21(4):261-272 2013
Author:Keiko Narita, Noboru Endou,Yasunari Shidama


Isometric Differentiable Functions on Real Normed Space
Formalized Mathematics,21(4):249-260 2013
Author:Yuichi Futa, Noboru Endou, Yasunari Shidama


Formulation of Cell Petri Nets
Formalized Mathematics,21(4):241-247 2013
Author:Mitsuru Jitsukawa, Pauline N. Kawamoto, Yasunari Shidama


Isomorphisms of Direct Products of Cyclic Groups of Prime-power Order
Formalized Mathematics,21(3):207-211 2013
Author:Hiroshi Yamazaki, Hiroyuki Okazaki, Kazuhisa Nakasho , Yasunari Shidama


The Linearity of Riemann Integral on Functions from R into Real Banach Space
Formalized Mathematics,21(3):185-191 2013
Author:Keiko Narita, Noboru Endou, Yasunari Shidama


Double Sequences and Limits
Formalized Mathematics,21(3):163-170 2013
Author:Noboru Endou, Hiroyuki Okazaki, Yasunari Shidama


Differentiation in Normed Spaces
Formalized Mathematics,21(2):95-102 2013
Author:Noboru Endou, Yasunari Shidama


Riemann Integral of Funtions from R into Real Banach Space
Formalized Mathematics,21(2):145-152 2013
Author:Keiko Narita, Noboru Endou, Yasunari Shidama


Constructing Binary Huffman Tree
Formalized Mathematics,21(2):133-143 2013
Author:Hiroyuki Okazaki, Yuichi Futa, Yasunari Shidama


Gaussian Integers
Formalized Mathematics,21(2):115-125 2013
Author:Yuichi Futa, Hiroyuki Okazaki, Daich Mizushima, Yasunari Shidama


Isomorphisms of Direct Products of Finite Commutative Groups
Formalized Mathematics,21(1):65-74 2013
Author:Hiroyuki Okazaki, Hiroshi Yamazaki, Yasunari Shidama


Random Variables and Product of Probability Spaces
Formalized Mathematics,21(1):33-39 2013
Author:Hiroyuki Okazaki, Yasunari Shidama


The C^k Space
Formalized Mathematics,21(1):25-31 2013
Author:Katuhiko Kanazashi, Hroyuki Okazaki, Yasunari Shidama


Formalization of Definitions and Theorems Related to an Elliptic Curve Over a Finite Prime Field by Using Mizar
Journal of Automated Reasoning,50(2):161-172 2013
Author:Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama


On L1 Space Formed by Complex-Valued Partial Functions
Formalized Mathematics,20(4):349-357 2012
Author:Yasushige Watase, Noboru Endou, Yasunari Shidama


Isomorphisms of Direct Product of Finite Cyclic Groups
Formalized Mathematics,20(4):343-347 2012
Author:Kenichi Arai, Hiroyuki Okazaki, Yasunari Shidama


Contracting Mapping on Normed Linear Space
Formalized Mathematics,20(4):291-301 2012
Author:Keiichi Miyajima, Artur Kornilowicz, Yasunari Shidama


Banach's Continuous Inverse Theorem and Closed Graph Theorem
Formalized Mathematics,20(4):271-274 2012
Author:Hideki Sakurai, Hiroyuki Okazaki, Yasunari Shidama


Free Z-module
Formalized Mathematics,20(4):257-280 2012
Author:Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama


Quotient Module of Z-module
Formalized Mathematics,20(3):205-214 2012
Author:Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama


Extended Euclidean Algorithm and CRT Algorithm
Formalized Mathematics,20(2):175-179 2012
Author:Hiroyuki Okazaki, Yosiki Aoki, Yasunari Shidama


Formalization of the Data Encryption Standard
Formalized Mathematics,20(2):125-146 2012
Author:Hiroyuki Okazaki, Yasunari Shidama


Higher Order Partial Differentiation
Formalized Mathematics,20(2):113-124 2012
Author:Noboru Endou, Hiroyuki Okazaki, Yasunari Shidama


Operations of Points on Elliptic Curve in Projective Coordinates
Formalized Mathematics,20(1):87-95 2012
Author:Yuichi Futa, Hiroyuki Okazaki, Daichi Mizushima, Yasunari Shidama


Riemann Integral of Functions from R into n-dimensional Real Normed Space
Formalized Mathematics,20(1):79–86 2012
Author:Keiichi Miyajima, Artur Kornilowicz, Yasunari Shidama


The Differentiable Functions from R into R^n
Formalized Mathematics,20(1):65–71 2012
Author:Keiko Narita, Artur Kornilowic, Yasunari Shidama


Functional SpaceC(Ω), C_0(Ω)
Formalized Mathematics,20(1):15-22 2012
Author:Katuhiko Kanazashi, Hiroyuki Okazaki, Yasunari Shidama


Optimization of SIRMs Fuzzy Model Using Łukasiewicz Logic.
Neural Information Processing - 19th International Conference, ICONIP 2012,,LNCS 7664:108-116 2012
Author:Takashi Mitsuishi, Takanori Terashima, Yasunari Shidama


Z-modules
Formalized Mathematics,20(1):47-59 2012
Author:Yuichi Futa,Hiroyuki Okazaki,Yasunari Shidama


Differentiable Functions on Normed Linear Spaces
Formalized Mathematics,20(1):31-40 2012
Author:Yasunari Shidama


More on the Cont inuity of Real Functions
Formalized Mathematics,19(4):233-239 2011
Author:Keiko Narita, Artur Kornilowicz, Yasunari Shidama


Differentiable Functions into Real Normed Spaces
Formalized Mathematics,19(2):69–72 2011
Author:Hiroyuki Okazaki, Noboru Endou, Keiko Narita, Yasunari Shidama


Partial Differentiation, Differentiation and Continuity on $n$-Dimensional Real Normed Linear Spaces
Formalized Mathematics,19(2):65–68 2011
Author:Takao Inoue, Adam Naumowicz, Noboru Endou, Yasunari Shidama


Banach Algebra of Bounded Complex-Valued Functionals
Formalized Mathematics,19(2):121–126 2011
Author:Katuhiko Kanazashi, Hiroyuki Okazaki, Yasunari Shidama


Cartesian Products of Family of Real Linear Spaces
Formalized Mathematics,19(1):51–59 2011
Author:Hiroyuki Okazaki, Noboru Endou, Yasunari Shidama


More on Continuous Functions on Normed Linear Spaces
Formalized Mathematics,19(1):45–49 2011
Author:Hiroyuki Okazaki, Noboru Endou, Yasunari Shidama


Riemann Integral of Functions from R into Real Normed Space
Formalized Mathematics,19(1):17-22 2011
Author:Keiichi Miyajima, Takahiro Kato, Yasunari Shidama


Optimal Control Using Functional Type SIRMs Fuzzy Reasoning Method
Artificial Neural Networks and Machine Learning - ICANN 2011,LNCS 6792:237-244 2011
Author:Takashi Mitsuishi ,Yasunari Shidama


Formalization of Integral Linear Space
Formalized Mathematics,19(1):61-64 2011
Author:Yuichi Futa,Hiroyuki Okazaki,Yasunari Shidama


Set of Points on Elliptic Curve in Projective Coordinates
Formalized Mathematics,19(3):131-138 2011
Author:Yuichi Futa,Hiroyuki Okazaki,Yasunari Shidama


Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces
Formalized Mathematics,18(4):207-212 2010
Author:Takao Inoue, Noboru Endou, Yasunari Shidama


Riemann Integral of Functions R into C
Formalized Mathematics,18(4):201-206 2010
Author:Keiichi Miyajima, Takahiro Kato, Yasunari Shidama


Fixpoint Theorem for Continuous Functions on Chain-Complete Posets
Formalized Mathematics,18(1):47-51 2010
Author:Kazuhisa Ishida,Yasunari Shidama


Fuzzy Number as Input for Approximate Reasoning and Applied to Optimal Control Problem
ICAISC 2010,LNCS 6113 2010
Author:Takashi Mitshuishi, Yasunari Shidama


Compactness of Family of Fuzzy Sets in L-2 Space with Application to Optimal Control
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES,E92A(4):952-957 2009
Author:Takashi Mitshuishi, Yasunari Shidama


Admissible Fuzzy Controller in L 2 Space
The Twenty First International Conference on Industrial,Engineering&Other Applications of Applied Intelligent Systems,LNAI 5027 2008
Author:Takashi Mitshuishi, Yasunari Shidama


Using a neural network to make operational forecasts of ionospheric variations and storms at Kokubunji, Japan
Earth Planets Space,59(12):1231-1239 2007
Author:Maho I. Nakamura, Takashi Maruyama, Yasunari Shidama


A novel approach to the nonlinear H∞ regulator problem
SICE, 2007. Annual Conference,:124-129 2007
Author:Hidenori Matsuzaki, Masayoshi Eguchi,Yasunari Shidama


Continuity of Fuzzy Approximate Reasoning and Its Application to Optimization
AI 2007: Advances in Artificial Intelligence,4830:529-538 2007
Author:Takashi Mitsuishi,Yasunari Shidama


Riemann Indefinite Integral of Functions of Real Variable
Formalized Mathematics,15(2):59-63 2007
Author:Yasunari Shidama, Noboru Endou,Katsumi Wasaki


Integral of Real-Valued Measurable Function,
Formalized Mathematics,14(4):143-152 2006
Author:Yasunari Shidama, Noboru Endou


Continuity of Nakamori fuzzy model and its application to optimal feedback control
2005 IEEE International Conference on Systems, Man and Cybernetics,,1:577-581 2005
Author:Takashi, M.,Noboru, E,.Yasunari, S.


Brouwer fixed point theorem for disks on the plane
Formalized Mathematics,13(2):333-336 2005
Author:Artur Kornilowicz, Yasunari Shidama.


信州大学インターネット大学院
電子情報通信学会誌,197(2):135-138 2004
Author:師玉康成,中村八束


Convex Hull, Set of Convex Combinations and Convex Cone
Formalized Mathematics,11(3):331-333 2003
Author:Noboru Endou, Yasunari Shidama.


Minimization of quadratic performance function in T-S fuzzy model
2002 IEEE International Conference on Fuzzy Systems.,1:75-79 2002
Author:Takashi Mitsuishi, Yasunari Shidama


Integral manifold and H-infinity control in weak nonlinear systems
ELECTRONICS AND COMMUNICATIONS IN JAPAN PART III-FUNDAMENTAL ELECTRONIC SCIENCE,84(1):43-56 2001
Author:Miyajima, K; Wasaki, K; Suzuki, H; Shidama, Y; Eguchi, M


Membership functions in L2 space and its applications tofuzzy optimal control
1999 IEEE International Conference on Systems, Man, and Cybernetics,3:51-55 1999
Author:Mitsuishi, T. Kawabe, J. Wasaki, K. Kawamoto, P. Shidama, Y


Compactness of a set of multilayer neural networks and existence of neural network optimal control
ELECTRONICS AND COMMUNICATIONS IN JAPAN PART III-FUNDAMENTAL ELECTRONIC SCIENCE,80(3):13-20 1997
Author:Yamazaki, H Shidama, Y Eguchi, M Kobayashi, H


State fence diagrams - A visual formalism to analyze discrete-event systems
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES,E80A(5):924-927 1997
Author:Kobayashi, H Shidama,Y


Fuzzy image processing with topological theory
TENCON 97. IEEE Region 10 Annual Conference. Speech and Image Technologies for Computing and Telecommunications,1:333-334 1997
Author:Kawahara, K. Miyazaki, T. Shidama, Y. Yamaura, H. Miyao, H


ファジー集合論を用いた画像処理
電子情報通信学会論文誌,J80-D2(1):166-174 1997
Author:河原和好, 師玉康成 ,宮崎敬, 中村八束, 山浦弘夫


ファジィ集合族のコンパクト性とファジィ最適制御の存在
日本応用数理学会論文誌,16(1):1-13 1996
Author:師玉康成, 楊毓光,江口正義,山浦弘夫


FORMAL TECHNIQUE TO ANALYZE EVENT CONCURRENT RESPONSESO IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES,E78D(10):1321-1323 1995
Author:Kobayashi, H Shidama,Y


A NUMERICAL-CALCULATION FOR SOME NONLINEAR OPTIMAL-CONTROL PROBLEMS WITH A TERMINAL CONSTRAINT USING SYNTHETIC RICCATI TRANSFORMATION AND ITS APPLICATIONS TO THE MANIPULATOR CONTROL PROBLEM
ELECTRONICS AND COMMUNICATIONS IN JAPAN PART III-FUNDAMENTAL ELECTRONIC SCIENCE,77(5):76-86 1994
Author:CAI, D YAMAURA, H SHIDAMA, Y


AN OPTIMAL NONLINEAR REGULATOR DESIGN WITH NEURAL-NETWORK AND FIXED-POINT THEOREM
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES,E76A(5):772-776 1993
Author:CAI, D SHIDAMA, Y EGUCHI, M YAMAURA, H MIYAZAKI, T


Existence of a low-order integral manifold and nonlinear regulator problems
12th Triennial World Congress of the IFAC,,(5):245-250 1993
Author:M Eguchi, Y Shidama, D Cai, H Yamaura


積分多様体と弱非線形制御系
計測自動制御学会論文,29(5):538-546 1993
Author:師玉康成, 蔡大維,江口正義,山浦弘夫

研究費
科学研究費補助金(研究代表者)
2010 - 2013 , MIZAR数学ライブラリの構築と大学数学向け高度遠隔教育用コンテンツ開発 , 基盤研究(B)
2003 - 2006 , 信州大学インターネット大学院におけるマルチメディア利用CAIシステムの高度化研究 , 基盤研究(B)

教育活動実績

授業等
2007 , 情報論理学
2007 , 人工知能
2007 , 知能情報特論第2