list of punblications

論文リスト（詳細）

審査制度のある学術雑誌、国際学会(Refereed Papers)

学会論文誌(Journal Papers)
1. 山浦弘夫，竹生寿男，師玉康成，太田豊生：逆リカッチ変換法による非線形２次形式問題の計法；計測自動制御学会論文集，22, (6), 703～705, 1986. 　
2. 師玉康成，山浦弘夫，太田豊生：不動点定理を用いたある最適制御問題の数値計算法；電気学会論文誌C, 107-C, (12), 1141～1148, 1987. 　
3. 師玉康成，山浦弘夫，太田豊生：不動点定理による最適制御問題の数値解法の簡易化；電子情報通信学会論文誌A，J71-A, (9), 1697～1707, 1988. 　
4. 師玉康成，太田豊生：ある最適制御近似計算法の収束条件；計測自動制御学会論文集, 25, (3), 290～297, 1989. 　
5. 師玉康成，太田豊生：ある種の非線形最適制御の一次近似解法とその収束条件；電気学会論文誌C, 109-C, (4), 203～210, 1989.
6. 師玉康成，山浦弘夫，太田豊生：終端拘束のある最適制御問題の不動点定理による数値計算法；計測自動制御学会論文集, 25, (10), 1137～1139, 1989. 　
7. Yasunari SHIDAMA, Hiroo YAMAURA and Toyomi OHTA : A Study of the Weak Non-linear Optimal Control Problem Using the Fixed Point Theorem ; IEICE Trans., E72, (12), 1317～1325, 1989.
8. Hiroshi YAMAZAKI and Yasunari SHIDAMA : Algebra of Vector Functions ; Formalized Mathe-matics, 3, (2), 171～175, 1992.
9. 大維，山浦弘夫，師玉康成：制御量制約と終端拘束をもつ非線形最適制御問題の数値計算法；電子情報通信学会論文誌A，J75-A, (11), 1776～1779, 1992.
10. 葭谷安正，師玉康成，山浦弘夫：非線形追従制御の一解法；電子情報通信学会論文誌A, J76-A, (1), 37～44, 1993.
11. 大維，師玉康成，江口正義，山浦弘夫：非線形フィードバックと不動点問題；電子情報通信学会論文誌A, J76-A, (3), 357～363, 1993.
12. 江口正義，師玉康成，蔡　大維，山浦弘夫：積分多様体を解にもつ弱非線形レギュレータ問題の解析；電子情報通信学会論文誌A，J76-A, (3), 372～380, 1993.
13. 師玉康成，蔡　大維，江口正義，山浦弘夫：積分多様体と弱非線形制御系；計測自動制御学会論文集, 29, (5), 538～546, 1993.
14. Dawei CAI, Yasunari SHIDAMA, Masayoshi EGUCHI, Hiroo YAMAURA and Takashi MIYAZAKI : An Optimal Nonlinear Regulator Design with Neural Network and Fixed Point Theorem ; IEICE Trans., E76-A, (5), 772～776, 1993.
15. 葭谷安正，師玉康成，宮崎　敬，山浦弘夫：３－リンク系の非線形追従制御問題の一解法；電子情報通信学会論文誌A，J76-A, (7), 982～985, 1993.
16. 江口正義，師玉康成，山崎　浩，山浦弘夫：弱非線形差分方程式の解を含む低次元多様体とレギュレータ問題；電子情報通信学会論文誌A, J76-A, (8), 1158～1167, 1993.
17. 蔡　大維，山浦弘夫，師玉康成：合成リカッチ変換による非線形最適制御問題の数値計算法－終端時刻未知問題－；電子情報通信学会論文誌A, J76-A, (8), 1168～1176, 1993.
18. 蔡大維，山浦弘夫，師玉康成：合成リカッチ変換によるある非線形最適制御問題の数値計算法とマニピュレ－タ制御問題への応用；電子情報通信学会論文誌A, J77-A, (1), 32～40, 1994.
19. 葭谷安正，師玉康成，内堀晃彦，山浦弘夫：制御量制約のある非線形追従制御の一解法；電子情報通信学会論文誌A, J77-A, (3), 571～573, 1994.
20. 師玉康成，葭谷安正，中村八束，山浦弘夫：ある階層型ニューラルネットワーク集合のコンパクト性；電子情報通信学会論文誌A, J77-A, (6), 930～932, 1994.
21. 師玉康成，葭谷安正，内堀晃彦，中村八束，山浦弘夫：あるファジィ集合族のコンパクト性；計測自動制御学会論文集, 31, (1), 126～128, 1995.
22. Hiromi KOBAYASHI and Yasunari SHIDAMA : A Formal Technique to Analyze Event Concurrent Response ; IEICE Trans., E78-D, (10), 1321～1323,　1995.
23. 蔡大維，山浦弘夫，師玉康成：ロボットマニピュレータのロバストコントローラの一構成法；計測自動制御学会論文集，31,(11), 1842～1847, 1995.
24. 山崎　浩, 師玉康成, 江口正義, 小林　洋：ある階層型ニューラルネットワーク集合のコンパクトとニューラルネットワークによるある最適制御の存在 ; 電子情報通信学会論文誌,J79-A,5,1058～1064, 1996.
25. 師玉康成, 楊　毓光, 江口正義, 山浦弘夫 : ファジィ集合族のコンパクト性とファジィ最適制御の存在 ; 日本応用数理学会論文誌, 6,1,1～13， 1996.
26. 山浦弘夫，蔡大維，図師崇人，師玉康成；未知パラメータを含む最適制御問題のためのこう配法；電気学会論文誌Ｃ，116-C,7,849～857，1996
27. 松田靖，師玉康成，関根義彦：ニューラルネットワークを用いた局地海上風の予測の試み：海と風,第72巻　第２号　59～64, 1996
28. Yatsuka Nakamura and Yasunari Shidama: A Theory of Function Lattices on Finite Topological Spaces for Image Processing ; 数理解析研究所講究録,975,165～175, 1996.
29. 藤沢正一郎，大久保慶治，師玉康成，山浦弘夫：四輪独立駆動型全方向移動ロボットの運動学と走行特；日本機会学会論文集，62,604-C,4573～4579，1996
30. 河原和好，師玉康成，宮崎　敬，中村八束，山浦弘夫：ファジィ集合論を用いた画像処理；電子情報通信学会論文誌,J80-D-II,1,166～174,1997.
31. Hiromi Kobayashi and Yasunari Shidama: State Fence Diagrams - A Visual Formalism to AnalyzeDiscreate - Event Systems ; IEICE Trans. Fundamentals,E80-A,(5),924～927,1997.
32. Yasunari Shidama and Artur Kornilowicz: Convergence and the Limit of Complex Sequence, Ser ieses ; Formalized Mathematics,9,123～128,1997
33. 小林　洋, 一ノ瀬悟, 師玉康成 : ステートフェンス図：リアクティブシステム設計のための一図式表現 ; 電子情報通信学会論文誌,J81-D-Ⅰ,6,861-871,1998.Jun
34. Yuguang Yang, Yasunari Shidama: Trigonometric Functions and Existence of Circle Ratio ; Journal of Formalized Mathematics (Poland), Vol.10, 1998
35. 楊　毓光，和崎克己，江口正義，師玉康成，木村盛茂： > NBV空間のファジィ集合族のコンパクト性とフ　　ァジィ制御への応用； > 電子情報通信学会論文誌，J82-A，(4)，523-529，1999.
36. 宮島啓一，和崎克己，鈴木彦文，江口正義，師玉康成： > 中心多様体と弱非線形系H∞制御； > 電子情報通　　信学会論文誌，J82-A，(5)，637-648，1999.
37. 三石貴志，河邊淳，和崎克己，師玉康成：Mamdani 推論法の最適化問題への応用；京都大学数理解析研究所“情報数理に関連する応用関数解析の研究”研究集会講究録，1100, 78-76, 1999/6.
38. 宮崎　敬，押田京一，山本博章，師玉康成，遠藤守信：炭素材料の透過電子顕微鏡像への画像処理とファジイ推論の応用；電気学会論文誌Ｃ，119-C，10，Oct.,1999.
39. Takashi Mitsuishi, Katsumi Wasaki, Yasunari Shidama : Property of Complex Functions ; Journal of Formalized Mathematics, vol.11, No.65, 1999/12
40. Takashi Mitsuishi, Katsumi Wasaki, Yasunari Shidama : Property of Complex Sequence and Continuity of Complex Function ; Journal of Formalized Mathematics, vol.11, No.66, 1999/12
41. Noboru Endou, Katsumi Wasaki, Yasunari Shidama, : Scalar Multiple of the Riemann Definite Integral ; Journal of Formalized Mathematics, vol.11, No.67, 2000/1
42. Noboru Endou, Katsumi Wasaki, Yasunari Shidama, : Darboux's theorem ; Journal of Formalized Mathematics, vol.11, No.68, 2000/1
43. Noboru Endou, Katsumi Wasaki, Yasunari Shidama, : Integrability of Bounded Total Functions ; Journal of Formalized Mathematics, vol.12, No.9, 2000/2
44. Takashi Mitsuishi, Jun Kawabe, Yasunari Shidama : Continuity of Fuzzy Controller ; Mechanized Mathematics and Its Applications, vol.1, No.1, 31-38, 2000/6
45. Noboru Endou, Katsumi Wasaki, Yasunari Shidama : Definition of Integrability for Partial Functions from REAL to REAL and Integrability for Continuous Functions ; Journal of Formalized Mathematics, vol.12, 2000
46. Noboru Endou, Katsumi Wasaki, Yasunari Shidama : Intorduction to Several Concepts of Conve xity and Semicontinuity for Function from REAL to REAL ; Journal of Formalized Mathematics, vol.12, 2000
47. T.Mitsuishi，K.Wasaki，Y.Shidama ：Basic Properties of Fuzzy Set Operation and Membership Function Journal of Formalized Mathematics，12，vol.19，2000.
48. N.Endou，K.Wasaki，Y.Shidama：Basic Properties of Extended Real Numbers Journal of Formalized Mathematics，12，vol.39，2000.
49. N.Endou，K.Wasaki，Y.Shidama：Definitions and Basic Properties of Measurable Functions Journal of Formalized Mathematics，12，vol.40，2000.
50. N.Endou，K.Wasaki，Y.Shidama：Some Properties of Extended Real Numbers Operations: absolute value, min and max,Journal of Formalized Mathematics，12，vol.42，2000.
51. T.Mitsuishi，J.Kawabe, K.Wasaki，Y.Shidama：Optimization of Fuzzy Feedback Control Determined by Product-Sum-Gravity Method,Journal of Nonlinear and Convex Analysis，1，(2)，201-211, 2000.
52. T.Mitsuishi，K.Wasaki，Y.Shidama：Concept of Fuzzy Relation and Basic Properties of Its Operation　Journal of Formalized Mathematics，12，vol.43，2000.
53. T.Mitsuishi，K.Wasaki，Y.Shidama：Measurability of Extended Real Valued Function　Journal of Formalized Mathematics，12，vol.44，2000.
国際学会(Proceedings)
1. Dawei CAI, Hiroo YAMAURA, Yasunari SHIDAMA and Masashi MISAWA : Numerical Computation for Nonlinear Optimal Control Problem with Control Constraints ; Proc. Int. AMSE Conf. Modelling, Simulation & Control, 1, 149～157, 1992.
2. Masayoshi EGUCHI, Yasunari SHIDAMA, Dawei CAI and Hiroo YAMAURA : Existence of a Low Order Integral Manifold and Non-linear Regulator Problems ; Proc. of the 12th Triennial World Congress of the IFAC, 5, 245～250, 1993.
3. Dawei CAI, Hiroo YAMAURA and Yasunari SHIDAMA : A New Manipulator Trajectory Computation Algorithm with Synthetic Riccati Transformation ; Proc. of ISMCR 93, Bm.I, 1～6, 1993.
4. Akihiko UCHIBORI, Yasunari SHIDAMA, Yasumasa YOSHITANI, Hiroo YAMAURA and Keiichi YUDA : A Study of the Convergency of GA for Fuzzy Logic ; Proc. of the 1st Magneto-Electronics 　 International Symposium (Nagano magel 94), 457～460, 1994.
5. Kazuyoshi KAWAHARA, Takashi MIYAZAKI, Yasunari SHIDAMA and Hiroo YAMAURA : Finite Topology Based on Fuzzy Templates and Its Applications ; Proc. of the 1st Magneto-Electronics International Symposium (Nagano magel 94), 461～464, 1994.
6. Yasumasa YOSHITANI, Yasunari SHIDAMA and Akihiko UCHIBORI : Sequential Compactness of the Family of Fuzzy Membership Functions ; Proc. of the 1st Magneto-Electronics International 　Symposium (Nagano magel 94)，473～476, 1994.
7. Dawei CAI, Hiroo YAMAURA and Yasunari SHIDAMA : A Robust Controller for Air Rubber Tube Robot Manipulator ; Proc. of ICARCV 94, 2086～2090, 1994.
8. Dawei CAI, Hiroo YAMAURA and Yasunari SHIDAMA: A Globally Convergent Robust Controller for Robot Manipulator ; Proc. of ACASP 95,1～5,1995.
9. Hiromi KOBAYASHI, Hidetake FUNAKI, Yasunari SHIDAMA and Hiroo YAMAURA : Group Decentralized Network Systems - one Approach for Autonomous Decentralized Systems ; Proc. of IEEE SCION /ICIE 95,587～591, 1995.
10. Kazuyoshi KAWAHARA, Yasunari SHIDAMA, Takashi MIYAZAKI, Yatsuka NAKAMURA, Hiroo YAMAURA and Hiromi KOBAYASHI : Image Processing with Fuzzy Set Theory ; Proc. of ACCV 95,I, 494～498,1995.
11. Akihiko UCHIBORI, Hiroshi Yamazaki, Yasunari SHIDAMA, and Hiroo YAMAURA: An Optimizing Fuzzy Logic with Genetic Algorithm ; Proc. of IEEE International Conference on Evolutionary Computation, 239～242, 1996.
12. Keiichi MIYAJIMA, Keiji OHKUBO, Masasayoshi EGUCHI and Yasunari SHIDAMA : A Successive 　　Approximation Method For Nonlinear Tracking Control Problems On 3-Links Robot Arms ；Proc. of 27th ISIR International Symposium on Industrial Robots,605～610.1996
13. Shoichiro Fujisawa, Keiji Ohkubo, Takeo Yoshida, Yasunari Shidama, and Hiroo Yamaura : The Kinematics and Moving Propertics of a Four-Wheel-Drive,Omnidirectional Mobile Robot; Proc. of ICARCV 96, 888～893, 1996.
14. Hiroshi Yamazaki, Yasunari Shidama, Keiji Ohkubo, and Masayoshi Eguchi : THE COMPACTNESS OF A SET OF MENBERSHIP FUNCTIONS AND ITS APPLICATION TO FUZZY OPTIMAL CONTROL; Proc. of ICARCV 96,2171～2174, 1996.
15. Akihiko Uchibori, Hiroshi Yamazaki, Yasunari Shidama, Hiroo Yamaura and Hiromi Kobayashi: The Convergency of Optimizing Fuzzy Logic with GA ; Proc. of SEAL'96,91-97,1996
16. Yuguang Yang, Keiji Ohkubo, Yasunari Shidama and Hiroo Yamaura: Compactness of a set of fuzzy membership functions and existence of optimal solution in fuzzy output feedback ;Proc. Of 1997 American Control Conference,2883～2887,1997
17. Shoichiro Fujisawa, Keiji Ohkubo, Takashi Nishi, Takeo Yoshida, Yasunari Shidama and Hiroo Yamaura: Fundamental Research Human Interface Devices for Physecally Handicappped Persons ; Proc. of the 23rd International Conference on Industrial Electronics, Control and Instrumentation(IECON'97),1288～1292,1997
18. Shoichiro Fujisawa, Keiji Ohkubo, Takeo Yoshida, Naoki Satonaka, Yasunari Shidama and Hiroo Yamaura: "Improved Moving Properties an Omnidirectional Vehicle using Stepping Motor; Proc. Of the 36th IEEE Conference on Decision and Control(CDC'97),3654～3656,1997
19. Kazuyoshi Kawahara, Hidetoshi Miyao, Satoru Ichinose, Takashi Miyazaki, Yasunari Shidama and Hiroo Yamaura ; Fuzzy Image Processing with Mathematical Morphology and Topology; Proc. of 1997 International Symposium on Nonlinear Theory and its Applications(NOLTA'97),2, 1013～1016,1997
20. Kazuyoshi Kawahara, Takashi Miyazaki, Yasunari Shidama, Hiroo Yamaura and Hidetoshi Miyao: Fuzzy Image Processing with Topological Theory ; Proc. of 1997 IEEE Region 10 Annual Conference(TENCON'97),1,1997
21. Keiichi Miyajima, Hiroo Yamaura, Dawei Cai and Yasunari Shidama: A New Numerical Calculation Method for Optimal Control Problems having Adjustable Parameters with Constraint ; Proc. of 1997 International Symposium on Nonlinear Theory and its Applications(NOLTA'97),2, 1061～1064,1997
22. Shoichiro Fujisawa, Keiji Ohkubo, Toshitaka Umemoto, Takeo Yoshida, Yasunari Shidama and Hiroo Yamaura: Development of an Omnidirectional Spherical Robot and its Moving Properties ; Proc. of the 29th International Symposium on Robotics(ISR'98),236～239,1998.Apr.
23. Akihiko Uchibori, Keiichi Miyajima, Yasunari Shidama and Hiroo Yamaura: Optimizing Fuzzy Logic with Genetic Algorithm ; Proc. of KES'98,2,126～131,1998.Apr
24. Takashi MITSUISHI, Katsumi WASAKI, Jun KAWABE, N.P.Kawamoto, Yasunari SHIDAMA: Fuzzy Optimal Control in L2 space ; Proc. of 7th IFAC Symposium AIRTC '98，Session H-2，1998/10.
25. Yuguang Yang, Noboru Endo, Katsumi Wasaki, Keiji Ohkubo, Yasunari Shidama : Mamdani Fuzzy Controller on NBV Space ; Proc.1999 American Control Conference, 1842-1845, 1999/6
26. Takashi Mitsuishi, Jun Kawabe, Katsumi Wasaki, Yasunari Shidama : Existence of optimal fuzzy rules in fuzzy control ; Proc. China and Japan Joint Symposium on Applied Mathematics and its Related Topics, 1999/9
27. Noboru Endou, Keiji Ohkubo, Katsumi Wasaki, Pauline N.Kawamoto, Yasunari Shidama : Center Manifold and H-infinity Control in Weak Nonlinear Systems ; Proc. 1999 IEEE International Conference on Systems, Man, and Cybernetics, 73-78, 1999/10
28. Takashi Mitsuishi, Jun Kawabe, Katsumi Wasaki, N.P.Kawamoto, Yasunari Shidama : Membership functions in L2 Space and its Applications to Fuzzy Optimal Control ; Proc. SMC99, Vol.3, 51-55, 1999/10
29. Noboru Endou, Katsumi Wasaki, Keiji Ohkubo, N.P.Kawamoto, Yasunari Shidama : A set of Time Dependent Fuzzy Membership Functions and its Compactness ; American Control Conference 2000
30. Takashi Mitsuishi, Katsumi Wasaki, Keiji Ohkubo, Jun Kawabe, Yasunari Shidama : Fuzzy Opti mal Control Using Simple Inference Method and Function Type Inference Method ; Proc. ACC2000, 2000/6
31. K.Wasaki, S.Yamaguchi, Y.Shidama , N.Shimoi：A Rapid HDL Generation for A pipeined DES Encipher Circuit by using the Logical Coloured Petri Net,The Sixth International Conference on Control，Automation，Robotics and Vision (ICARCV2000)，1，(FM5.2)，1-6，2000.
32. S.Yamaguchi, K.Wasaki, Y.Shidama：A process design for the Network File System model based on the Logical Coloured Petri Net,The Sixth International Conference on Control，Automation，Robotics and Vision (ICARCV2000)，1，(FM5.3)， 4
学位論文：非線形最適制御問題の逐次近似解法とその収束条件；慶應義塾大学, 1990.
紀要、その他の論文(Tech. Rept.,etc.)
1. 師玉康成：不動点定理による弱非線形最適制御問題の考察；電子情報通信学会第２回回路とシステム軽井沢ワ－クショップ論文集, 235～242, 1989.
2. Yasunari SHIDAMA and Toyomi OHTA : First-Order Approximation Method for Certain Nonlinear Quasi-Optimum Control Problems ; Memoirs of The National Defense Academy, 29, (2), 　　　161～177, 1989.
3. 師玉康成，山浦弘夫：未知非線形項を含む弱非線形最適制御の数値計算法；電子情報通信学会第３回回路とシステム軽井沢ワークショップ論文集, 348～354, 1990.
4. Dawei CAI, Hiroo YAMAURA and Yasunari SHIDAMA : Numerical Computation of Nonlinear Quadratic Problem with Terminal Constraint Using Synthetic Riccati Transformation ; The 5th Karuizawa Workshop on Circuits and Systems (IEICE), 321～326, 1992.
5. 江口正義，師玉康成，蔡大維，山浦弘夫：弱非線形微分方程式系の作る積分多様体と最適レギュレータへの応用；信州大学工学部紀要, (71), 1～16, 1992.
6. 河原和好，宮崎　敬，師玉康成，山浦弘夫，中村八束：ファジィテンプレートを基にしたファジィ位相とその画像処理への応用；信州大学工学部紀要, (74), 113～122, 1994.
解説・展望等(Survey)
1. 師玉康成：ファジィ集合族とニューラルネットワーク集合族のある種のコンパクト性について；　日本ファジィ学会北信越支部第３回ファジィミニシンポジウム講演論文集, 55～62, 1994.