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

研究者総覧研究者総覧

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

師玉康成  シダマ ヤスナリ

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

更新日:2017/10/12

プロフィール

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

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

インターネット遠隔教育

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

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

研究活動業績

研究業績(著書・
発表論文等)
論文
The Basic Existence Theorem of Riemann-Stieltjes Integral
Formalized Mathematics,24(4):253-259 2016
Author:Kazuhisa Nakasho, Keiko Narita, Yasunari Shidama


Riemann-Stieltjes Integral. Formalized Mathematics
Formalized Mathematics,24(3):199-204 2016
Author:Keiko Narita, Kazuhisa Nakasho, Yasunari Shidama


Compactness in Metric Spaces. Formalized Mathematics
Formalized Mathematics,24(3):167-172 2016
Author:Kazuhisa Nakasho, Keiko Narita, Yasunari Shidama


Conservation Rules of Direct Sum Decomposition of Groups
Formalized Mathematics,24(1):81-94 2016
Author:Kazuhisa Nakasho, Hiroshi Yamazaki, Hiroyuki Okazaki, Yasunari Shidama


Lattice of ℤ-module.
Formalized Mathematics,24(1):49-68 2016
Author:Yuichi Futa, Yasunari Shidama


Divisible ℤ-modules.
Formalized Mathematics,24(1):37-47 2016
Author:Yuichi Futa, 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


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


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


Dual Spaces and Hahn-Banach Theorem
Formalized Mathematics,22(1):69-77 2014
Author:Keiko Narita, Noboru Endou, 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


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


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


Constructing Binary Huffman Tree
Formalized Mathematics,21(2):133-143 2013
Author:Hiroyuki Okazaki, Yuichi Futa, 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


Isomorphisms of Direct Product of Finite Cyclic Groups
Formalized Mathematics,20(4):343-347 2012
Author:Kenichi Arai, Hiroyuki Okazaki, 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


Formalization of the Data Encryption Standard
Formalized Mathematics,20(2):125-146 2012
Author: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


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


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


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


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.


信州大学インターネット大学院
電子情報通信学会誌,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


ファジー集合論を用いた画像処理
電子情報通信学会論文誌,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


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


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


学会発表
Privacy Preserving Logic Formula Calculation in Cloud
IEEE , Tenth IEEE International Conference on Semantic Computing, ICSC 2016 , :329-332 2016
Author:Hiroshi Yamaguchi, Shigeo Tsujii, Hiroyuki Okazaki, Yasunari Shidama

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