Yasunari Shidama

Yasunari Shidama, Takashi Mitsuishi, 2002, 2002 IEEE World Congress on Computational Intelligence. 2002 IEEE International Conference on Fuzzy Systems. FUZZ-IEEE'02. Proceedings (Cat. No.02CH37291).

Continuity of approximate reasoning using fuzzy number under Łukasiewicz t-norm

Yasunari Shidama, Masayuki Kochizawa, Takashi Mitsuishi, 2015, 2015 IEEE 7th International Conference on Cybernetics and Intelligent Systems (CIS) and IEEE Conference on Robotics, Automation and Mechatronics (RAM).

Torsion Z-module and Torsion-free Z-module

Yuichi Futa, Yasunari Shidama, Hiroyuki Okazaki, 2014, Formaliz. Math..

Dual Spaces and Hahn-Banach Theorem

Yasunari Shidama, Noboru Endou, Keiko Narita, 2014, Formaliz. Math..

The Orthogonal Projection and the Riesz Representation Theorem

Yasunari Shidama, Noboru Endou, Keiko Narita, 2015, Formaliz. Math..

The Ins and Outs of e-learning

Yasunari Shidama, 2005 .

Double Sequences and Limits

Yasunari Shidama, Hiroyuki Okazaki, Noboru Endou, 2013, Formaliz. Math..

The Lebesgue Monotone Convergence Theorem

Yasunari Shidama, Noboru Endou, Keiko Narita, 2008, Formaliz. Math..

Fuzzy Number as Input for Approximate Reasoning and Applied to Optimal Control Problem

Yasunari Shidama, Takashi Mitsuishi, 2010, ICAISC.

Implicit Function Theorem. Part II

Yasunari Shidama, Kazuhisa Nakasho, 2019, Formaliz. Math..

σ-ring and σ-algebra of Sets1

Yasunari Shidama, Kazuhisa Nakasho, Noboru Endou, 2015, Formaliz. Math..

Rank of Submodule, Linear Transformations and Linearly Independent Subsets of Z-module

Yuichi Futa, Yasunari Shidama, Hiroyuki Okazaki, 2014, Formaliz. Math..

Study on a noise reduction system of CATV network upstream for data communication

Katsumi Wasaki, Yasunari Shidama, Masayuki Nakamura, 2003, Proceedings. 12th International Conference on Computer Communications and Networks (IEEE Cat. No.03EX712).

Conservation Rules of Direct Sum Decomposition of Groups

Yasunari Shidama, Hiroyuki Okazaki, Hiroshi Yamazaki, 2016, Formaliz. Math..

Riemann Integral of Functions from R into n-dimensional Real Normed Space

Yasunari Shidama, Artur Kornilowicz, Keiichi Miyajima, 2012, Formaliz. Math..

The Process for establishment and the present activities of Graduate School of Science and Technology on the Internet, Shinshu University

Katsumi Wasaki, Hisayoshi Kunimune, Masaaki Niimura, 2004 .

Operations of Points on Elliptic Curve in Projective Coordinates

Yuichi Futa, Yasunari Shidama, Hiroyuki Okazaki, 2012, Formaliz. Math..

Isometric Differentiable Functions on Real Normed Space

Yuichi Futa, Yasunari Shidama, Noboru Endou, 2013, Formaliz. Math..

The persistence of the Petri Net state-space

Katsumi Wasaki, Yasunari Shidama, Koichi Okada, 2002, 7th International Conference on Control, Automation, Robotics and Vision, 2002. ICARCV 2002..

Banach Algebra of Bounded Functionals

Yasunari Shidama, Noboru Endou, Hikofumi Suzuki, 2008, Formaliz. Math..

The Ck Space

Yasunari Shidama, Hiroyuki Okazaki, Katuhiko Kanazashi, 2013, Formaliz. Math..

Riemann Integral of Functions from ℝ into Real Banach Space

Yasunari Shidama, Noboru Endou, Keiko Narita, 2013, Formaliz. Math..

Free ℤ-module

Yuichi Futa, Yasunari Shidama, Hiroyuki Okazaki, 2012, Formaliz. Math..

Optimal Control Using Functional Type SIRMs Fuzzy Reasoning Method

Yasunari Shidama, Takashi Mitsuishi, T. Mitsuishi, 2011, ICANN.

Equivalent Expressions of Direct Sum Decomposition of Groups1

Yasunari Shidama, Hiroyuki Okazaki, Hiroshi Yamazaki, 2015, Formaliz. Math..

Weak Convergence and Weak Convergence

Yasunari Shidama, Noboru Endou, Keiko Narita, 2015, Formaliz. Math..

A Formal Technique to Analyze Event Concurrent Response

Yasunari Shidama, Hiromi Kobayashi, 1995, IEICE Trans. Inf. Syst..

On L1 Space Formed by Complex-Valued Partial Functions

Yasunari Shidama, Yasushige Watase, Noboru Endou, 2012, Formaliz. Math..

Documentation Generator Focusing on Symbols for the HTML-ized Mizar Library pdf

Yasunari Shidama, Kazuhisa Nakasho, 2015, CICM.

Dual Lattice of ℤ-module Lattice

Yuichi Futa, Yasunari Shidama, Y. Shidama, 2017, Formaliz. Math..

Polymer physical-properties prediction by the neural network using the self organization map

Katsumi Wasaki, Yasunari Shidama, Yasuhiko Kondo, 2004 .

Isomorphisms of Direct Products of Cyclic Groups of Prime Power Order

Yasunari Shidama, Hiroyuki Okazaki, Hiroshi Yamazaki, 2013, Formaliz. Math..

The First Mean Value Theorem for Integrals

Yasunari Shidama, Noboru Endou, Keiko Narita, 2008, Formaliz. Math..

Admissible Fuzzy Controller in L2 Space

Yasunari Shidama, Takashi Mitsuishi, 2008, IEA/AIE.

Probability Measure on Discrete Spaces and Algebra of Real-Valued Random Variables

Yasunari Shidama, Hiroyuki Okazaki, Y. Shidama, 2010, Formaliz. Math..

[Network system for alpine ambulance using long distance wireless LAN and CATV LAN].

Hiroshi Shimizu, Yasunari Shidama, Masaomi Takizawa, 2003, Igaku butsuri : Nihon Igaku Butsuri Gakkai kikanshi = Japanese journal of medical physics : an official journal of Japan Society of Medical Physics.

Banach Algebra of Bounded Complex-Valued Functionals

Yasunari Shidama, Hiroyuki Okazaki, Katuhiko Kanazashi, 2011, Formaliz. Math..

Implicit Function Theorem. Part I

Yuichi Futa, Yasunari Shidama, Kazuhisa Nakasho, 2017, Formaliz. Math..

Matrix of ℤ-module1

Yuichi Futa, Yasunari Shidama, Hiroyuki Okazaki, 2015, Formaliz. Math..

Higher-Order Partial Differentiation

Yasunari Shidama, Hiroyuki Okazaki, Noboru Endou, 2012, Formaliz. Math..

Formalization of Definitions and Theorems Related to an Elliptic Curve Over a Finite Prime Field by Using Mizar

Yuichi Futa, Yasunari Shidama, Hiroyuki Okazaki, 2012, Journal of Automated Reasoning.

Isomorphisms of Direct Products of Finite Cyclic Groups

Yasunari Shidama, Hiroyuki Okazaki, Kenichi Arai, 2012, Formaliz. Math..

Banach Algebra of Continuous Functionals and the Space of Real-Valued Continuous Functionals with Bounded Support

Yasunari Shidama, Noboru Endou, Katuhiko Kanazashi, 2010, Formaliz. Math..

Differentiable Functions on Normed Linear Spaces

Yasunari Shidama, Y. Shidama, 2012, Formaliz. Math..

Riemann Integral of Functions from R into Real Normed Space

Yasunari Shidama, Keiichi Miyajima, Takahiro Kato, 2011, Formaliz. Math..

Differentiable Functions into Real Normed Spaces

Yasunari Shidama, Hiroyuki Okazaki, Noboru Endou, 2011, Formaliz. Math..

Differential Equations on Functions from R into Real Banach Space

Yasunari Shidama, Noboru Endou, Keiko Narita, 2013, Formaliz. Math..

Cell Petri Net Concepts

Yasunari Shidama, Yatsuka Nakamura, Pauline N. Kawamoto, 2009, Formaliz. Math..

First-Order Approximation Method for Certain Non-linear Optimum Control Problems and its Convergence Condition

Yasunari Shidama, Toyomi Ohta, 1989 .

Improved moving properties of an omnidirectional vehicle using stepping motor

Yasunari Shidama, Takeo Yoshida, Shoichiro Fujisawa, 1997, Proceedings of the 36th IEEE Conference on Decision and Control.

Privacy Preserving Logic Formula Calculation in Cloud

Hiroshi Yamaguchi, Yasunari Shidama, Hiroyuki Okazaki, 2016, 2016 IEEE Tenth International Conference on Semantic Computing (ICSC).

Topological Properties of Real Normed Space

Yuichi Futa, Yasunari Shidama, Kazuhisa Nakasho, 2014, Formaliz. Math..

Optimizing fuzzy logic with genetic algorithm

Yasunari Shidama, Akihiko Uchibori, Hiroo Yamaura, 1998, 1998 Second International Conference. Knowledge-Based Intelligent Electronic Systems. Proceedings KES'98 (Cat. No.98EX111).

Hopf Extension Theorem of Measure

Yasunari Shidama, Hiroyuki Okazaki, Noboru Endou, 2009, Formaliz. Math..

Existence of Single Input Rule Modules for Optimal Fuzzy Logic Control

Yasunari Shidama, Takashi Mitsuishi, Hidefumi Kawakatsu, 2010, KES.

The Cauchy-Riemann Differential Equations of Complex Functions

Yasunari Shidama, Yatsuka Nakamura, Hiroshi Yamazaki, 2009, Formaliz. Math..

Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces

Yasunari Shidama, Noboru Endou, Takao Inoué, 2010, Formaliz. Math..

Uniform Boundedness Principle

Hisayoshi Kunimune, Yasunari Shidama, Hideki Sakurai, 2008, Formaliz. Math..

Plans for the Shinshu University Graduate School on the Internet (SUGSI) using a CAI System on the World Wide Web

Katsumi Wasaki, Yasunari Shidama, Yasushi Fuwa, 2001 .

Definition and Properties of Direct Sum Decomposition of Groups1

Yasunari Shidama, Hiroyuki Okazaki, Hiroshi Yamazaki, 2015, Formaliz. Math..

Normal Subgroup of Product of Groups

Yasunari Shidama, Hiroyuki Okazaki, Kenichi Arai, 2011, Formaliz. Math..

Rescue robot for high place operation

Katsumi Wasaki, Yasunari Shidama, Toshitaka Umemoto, 2002 .

Decision-making of the theme by students in a case study and its results

Katsumi Wasaki, Yasunari Shidama, Takeo Yoshida, 2000, Proceedings 9th IEEE International Workshop on Robot and Human Interactive Communication. IEEE RO-MAN 2000 (Cat. No.00TH8499).

More on Continuous Functions on Normed Linear Spaces

Yasunari Shidama, Hiroyuki Okazaki, Noboru Endou, 2011, Formaliz. Math..

Ensemble by Seven Musical Performance Robots

Katsumi Wasaki, Yasunari Shidama, Tadahiro Kaneda, 2001, J. Robotics Mechatronics.

On Lp Space Formed by Real-Valued Partial Functions

Yasunari Shidama, Yasushige Watase, Noboru Endou, 2010, Formaliz. Math..

Continuity of Defuzzification on L2 Space for Optimization of Fuzzy Control

Yasunari Shidama, Takashi Mitsuishi, Nami Shimada, 2012, AMT.

Egoroff's Theorem

Yasunari Shidama, Noboru Endou, Keiko Narita, 2008, Formaliz. Math..

Quotient Module of Z-module

Yuichi Futa, Yasunari Shidama, Hiroyuki Okazaki, 2012, Formaliz. Math..

Partial Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces

Adam Naumowicz, Yasunari Shidama, Noboru Endou, 2011, Formaliz. Math..

Fundamental research on human interface devices for physically handicapped persons

Yasunari Shidama, Takeo Yoshida, Shoichiro Fujisawa, 1997, Proceedings of the IECON'97 23rd International Conference on Industrial Electronics, Control, and Instrumentation (Cat. No.97CH36066).

Submodule of free Z-module

Yuichi Futa, Yasunari Shidama, Hiroyuki Okazaki, 2013, Formaliz. Math..

The Measurability of Complex-Valued Functional Sequences

Yasunari Shidama, Noboru Endou, Keiko Narita, 2009, Formaliz. Math..

Compactness in Metric Spaces

Yasunari Shidama, Kazuhisa Nakasho, Keiko Narita, 2016, Formaliz. Math..

Model Checking. Part III

Yasunari Shidama, Kazuhisa Ishida, Y. Shidama, 2008, Formaliz. Math..

A High Reliability Design for Nfs Server Software By Using an Extended Petri Net

Katsumi Wasaki, Yasunari Shidama, Shinnosuke Yamaguchi, 2003, ICEIS.

The Sequential Compactness of a Set of Fuzzy-membership Functions

Yasunari Shidama, Yatsuka Nakamura, Akihiko Uchibori, 1995 .

The Linearity of Riemann Integral on Functions from ℝ into Real Banach Space

Yasunari Shidama, Noboru Endou, Keiko Narita, 2013, Formaliz. Math..

Continuity of Bounded Linear Operators on Normed Linear Spaces

Yuichi Futa, Yasunari Shidama, Kazuhisa Nakasho, 2018, Formaliz. Math..

Continuity of product-sum-gravity method on L2 space using fuzzy number for premise variable

Yasunari Shidama, Takashi Mitsuishi, T. Mitsuishi, 2007, 2007 9th International Symposium on Signal Processing and Its Applications.

Kinematics and Moving Properties of a Four-Wheel-Drive, Omnidirectional Mobile Robot

Yasunari Shidama, Shoichiro Fujisawa, Hiroo Yamaura, 1996 .

Continuity of Fuzzy Approximate Reasoning and Its Application to Optimization

Yasunari Shidama, Takashi Mitsuishi, T. Mitsuishi, 2007, Australian Conference on Artificial Intelligence.

The Basic Existence Theorem of Riemann-Stieltjes Integral

Yasunari Shidama, Kazuhisa Nakasho, Keiko Narita, 2016, Formaliz. Math..

A high reliability design for NFS server software based on the logical coloured Petri net

Katsumi Wasaki, Yasunari Shidama, Shinnosuke Yamaguchi, 2002, 7th International Conference on Control, Automation, Robotics and Vision, 2002. ICARCV 2002..

Differentiation in Normed Spaces

Yasunari Shidama, Noboru Endou, 2013, Formaliz. Math..

A Noise Reduction of CATV Network Uplink for Data Communication

Katsumi Wasaki, Yasunari Shidama, Masayuki Nakamura, 2002 .

2A1-A5 Making of useful robot for the 21th century seen from student's aspect

Katsumi Wasaki, Yasunari Shidama, Tomoharu Doi, 2001 .

Bidual Spaces and Reflexivity of Real Normed Spaces

Yasunari Shidama, Noboru Endou, Keiko Narita, 2014, Formaliz. Math..

Definition of Flat Poset and Existence Theorems for Recursive Call

Yasunari Shidama, Adam Grabowski, Kazuhisa Ishida, 2014, Formaliz. Math..

Extended Riemann Integral of Functions of Real Variable and One-sided Laplace Transform

Yasunari Shidama, Hiroshi Yamazaki, Masahiko Yamazaki, 2008, Formaliz. Math..

Complex Integral

Katsumi Wasaki, Yasunari Shidama, Hiroshi Yamazaki, 2009, Formaliz. Math..

Defuzzification Using Area Method on L∞ Space

Yasunari Shidama, Takashi Mitsuishi, T. Mitsuishi, 2009, KES.

Contracting Mapping on Normed Linear Space

Yasunari Shidama, Artur Kornilowicz, Keiichi Miyajima, 2012, Formaliz. Math..

Fixpoint Theorem for Continuous Functions on Chain-Complete Posets

Yasunari Shidama, Kazuhisa Ishida, Y. Shidama, 2010, Formaliz. Math..

The Learning System of Shinshu University Graduate School of Science and Technology on the Internet

Katsumi Wasaki, Hisayoshi Kunimune, Masaaki Niimura, 2005, KES.

Gaussian Integers

Yuichi Futa, Yasunari Shidama, Hiroyuki Okazaki, 2013, Formaliz. Math..

Convex Sets and Convex Combinations on Complex Linear Spaces

Yasunari Shidama, Hidenori Matsuzaki, Noboru Endou, 2008, Formaliz. Math..

Banach’s Continuous Inverse Theorem and Closed Graph Theorem

Yasunari Shidama, Hiroyuki Okazaki, Hideki Sakurai, 2012, Formaliz. Math..

Uniqueness of Factoring an Integer and Multiplicative Group Z/pZ*

Yasunari Shidama, Hiroyuki Okazaki, Y. Shidama, 2008, Formaliz. Math..

Torsion Part of ℤ-module

Yuichi Futa, Yasunari Shidama, Hiroyuki Okazaki, 2015, Formaliz. Math..

Set of Points on Elliptic Curve in Projective Coordinates

Yuichi Futa, Yasunari Shidama, Hiroyuki Okazaki, 2011, Formaliz. Math..

Formalization of Integral Linear Space

Yuichi Futa, Yasunari Shidama, Hiroyuki Okazaki, 2011, Formaliz. Math..

The Differentiable Functions from R into Rn

Yasunari Shidama, Artur Kornilowicz, Keiko Narita, 2012, Formaliz. Math..

Continuity of Multilinear Operator on Normed Linear Spaces

Yasunari Shidama, Kazuhisa Nakasho, 2019, Formaliz. Math..

SIRMs fuzzy approximate reasoning using L-R fuzzy number as premise valuable

Yasunari Shidama, Takashi Mitsuishi, Nami Shimada, 2013, 2013 8th International Conference on System of Systems Engineering.

Functional Space C(ω), C0(ω)

Yasunari Shidama, Hiroyuki Okazaki, Katuhiko Kanazashi, 2012, Formaliz. Math..

Introduction to Matroids

Yasunari Shidama, Grzegorz Bancerek, G. Bancerek, 2008, Formaliz. Math..

Formalization of the Data Encryption Standard

Yasunari Shidama, Hiroyuki Okazaki, Y. Shidama, 2012, Formaliz. Math..

Continuity of Discrete-Time Fuzzy Systems

Yasunari Shidama, Takashi Mitsuishi, Nami Shimada, 2014, ICONIP.

A Design of Robust Controller for Robot Manipulator

Yasunari Shidama, Dawei Cai, Hiroo Yamaura, 1995 .

F. Riesz Theorem

Yasunari Shidama, Kazuhisa Nakasho, Keiko Narita, 2017, Formaliz. Math..

Compactness of Family of Fuzzy Sets in L2 Space with Application to Optimal Control

Yasunari Shidama, Takashi Mitsuishi, T. Mitsuishi, 2009, IEICE Trans. Fundam. Electron. Commun. Comput. Sci..

Complex Function Differentiability

Yasunari Shidama, Yatsuka Nakamura, Hiroshi Yamazaki, 2009, Formaliz. Math..

On L1 Space Formed by Real-Valued Partial Functions

Yasunari Shidama, Yasushige Watase, Noboru Endou, 2008, Formaliz. Math..

Height Defuzzification Method on L∞ Space

Yasunari Shidama, Takashi Mitsuishi, T. Mitsuishi, 2009, ICANN.

Continuity of Defuzzification and Its Application to Fuzzy Control

Yasunari Shidama, Takashi Mitsuishi, Kiyoshi Sawada, 2009 .

Open Mapping Theorem

Hisayoshi Kunimune, Yasunari Shidama, Hideki Sakurai, 2008, Formaliz. Math..

Controller Design and Verification for a Parallel Image Processor in an FMS using and Extended Petri Net

Katsumi Wasaki, Yasunari Shidama, Akira Nishino, 2004 .

Isomorphism Theorem on Vector Spaces over a Ring

Yuichi Futa, Yasunari Shidama, Y. Shidama, 2017, Formaliz. Math..

Riemann-Stieltjes Integral

Yasunari Shidama, Kazuhisa Nakasho, Keiko Narita, 2016, Formaliz. Math..

State fence diagrams - A graphical representation for designing reactive systems

Yasunari Shidama, Hiromi Kobayashi, Satoru Ichinose, 1999, Syst. Comput. Jpn..

On Increasing Reliability of Servers on Shinshu University Graduate School on the Internet

Katsumi Wasaki, Hisayoshi Kunimune, Masaaki Niimura, 2003 .

Z-modules

Yuichi Futa, Yasunari Shidama, Hiroyuki Okazaki, 2012, Formaliz. Math..

Probability on Finite Set and Real-Valued Random Variables

Yasunari Shidama, Hiroyuki Okazaki, Y. Shidama, 2009, Formaliz. Math..

More on the Continuity of Real Functions

Yasunari Shidama, Artur Kornilowicz, Keiko Narita, 2011, Formaliz. Math..

A Gradient Method for Some Optimal Control Problems with Unknown Parameters

Yasunari Shidama, Dawei Cai, Hirro Yamaura, 1996 .

Partial Differentiation, Differentiation and Continuity on n-Dimensional Real Normed Linear Spaces

Adam Naumowicz, Yasunari Shidama, Noboru Endou, 2011, Formaliz. Math..

The Real Vector Spaces of Finite Sequences are Finite Dimensional

Yasunari Shidama, Yatsuka Nakamura, Artur Kornilowicz, 2009, Formaliz. Math..

Formulation of Cell Petri Nets

Yasunari Shidama, Pauline N. Kawamoto, Mitsuru Jitsukawa, 2013, Formaliz. Math..

Random Variables and Product of Probability Spaces

Yasunari Shidama, Hiroyuki Okazaki, 2013, Formaliz. Math..

Optimization of SIRMs Fuzzy Model Using Łukasiewicz Logic

Yasunari Shidama, Takashi Mitsuishi, Takanori Terashima, 2012, ICONIP.

Lipschitz Continuity of Approximate Reasoning

Yasunari Shidama, Takashi Mitsuishi, Toshimichi Homma, 2008, 2008 Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing.

Robotics Education of Design and Making Aimed to Concurrent Engineering.

Katsumi Wasaki, Koichi Osuka, Yasunari Shidama, 2001 .

Divisible ℤ-modules

Yuichi Futa, Yasunari Shidama, Y. Shidama, 2016, Formaliz. Math..

Computation Method of a Optimal Control Problem using Fixed Point Theorem

Yasunari Shidama, Hiroo Yamaura, Toyomi Ohta, 1987 .

Riemann Integral of Functions R into C

Yasunari Shidama, Keiichi Miyajima, Takahiro Kato, 2010, Formaliz. Math..

Lebesgue's Convergence Theorem of Complex-Valued Function

Yasunari Shidama, Noboru Endou, Keiko Narita, 2009, Formaliz. Math..

Embedded Lattice and Properties of Gram Matrix

Yuichi Futa, Yasunari Shidama, Y. Shidama, 2017, Formaliz. Math..

The design verification for the 3DES encipher chip based on an extended Petri net and XML/Java executor

Katsumi Wasaki, Yasunari Shidama, Shinnosuke Yamaguchi, 2004, ICARCV 2004 8th Control, Automation, Robotics and Vision Conference, 2004..

Integral of Complex-Valued Measurable Function

Yasunari Shidama, Noboru Endou, Keiko Narita, 2008, Formaliz. Math..

Continuity of Nakamori fuzzy model and its application to optimal feedback control

Yasunari Shidama, Takashi Mitsuishi, Noboru Endou, 2005, SMC.

Fatou's Lemma and the Lebesgue's Convergence Theorem

Yasunari Shidama, Noboru Endou, Keiko Narita, 2008, Formaliz. Math..

Extended Euclidean Algorithm and CRT Algorithm

Yasunari Shidama, Hiroyuki Okazaki, Yosiki Aoki, 2012, Formaliz. Math..

An Optimizing Fuzzy Logic with Genetic Algorithms

Yasunari Shidama, Hiroshi Yamazaki, Akihiko Uchibori, 1996, International Conference on Evolutionary Computation.

State fence diagrams - A graphical representation for designing reactive systems

Yasunari Shidama, Hiromi Kobayashi, Satoru Ichinose, 1999, Systems and Computers in Japan.

Functional Space Consisted by Continuous Functions on Topological Space

Yasunari Shidama, Keiichi Miyajima, Hiroshi Yamazaki, 2021, Formaliz. Math..

Convergence and the Limit of Complex Sequences

Yasunari Shidama, 1997 .

Contracting Mapping on Normed Linear Space 1

Yasunari Shidama, Artur Korniłowicz, Keiichi Miyajima, 2013 .

Egoro's Theorem

Yasunari Shidama, Noboru Endou, Keiko Narita, 2008 .

The Taylor Expansions

Yasunari Shidama, yasunari shidama, 2007 .

Inferior Limit, Superior Limit and Convergence of Sequences of Extended Real Numbers

Yasunari Shidama, Hiroyuki Okazaki, Noboru Endou, 2007 .

Partial Differentiation on Normed Linear Spaces Rn

Yasunari Shidama, Noboru Endou, Keiichi Miyajima, 2007 .

The Uniform Continuity of Functions on Normed Linear Spaces

Yasunari Shidama, Y. Shidama, Takaya Nishiyama, 2004 .

Completeness of the Real Euclidean Space

Yasunari Shidama, Noboru Endou, Y. Shidama, 2005 .

On the Formalization of Lebesgue Integrals

Yasunari Shidama, Pauline N. Kawamoto, Noburu Endou, 2007 .

The Fundamental Group

Yasunari Shidama, Adam Grabowski, Y. Shidama, 2004 .

Riemann Integral of Functions from R into Real Banach Space 1 Keiko Narita Hirosaki-city Aomori , Japan Noboru Endou Gifu National College of Technology Japan

Yasunari Shidama, 2014 .

The Series on Banach Algebra

Yasunari Shidama, 2007 .

The Banach Algebra of Bounded Linear Operators

Yasunari Shidama, Y. Shidama, yasunari shidama, 2007 .

The Continuous Functions on Normed Linear Spaces

Yasunari Shidama, K. Ohkubo, Y. Shidama, 2004 .

Integral of Measurable Function1

Yasunari Shidama, Noboru Endou, Y. Shidama, 2006 .

Complex Function Dierentiability

Yasunari Shidama, Yatsuka Nakamura, Hiroshi Yamazaki, 2009 .

Inverse Trigonometric Functions Arcsin and Arccos

Yasunari Shidama, Artur Korni, 2007 .

Fuzzy Optimal Control in L 2 Space

Katsumi Wasaki, Yasunari Shidama, Jun Kawabe, 1998 .

Lim-inf Convergence and its Compactness

Yasunari Shidama, Noboru Endou, Grzegorz Bancerek, 2002 .

Continuity of Fuzzy Controller

Yasunari Shidama, Jun Kawabe, Takashi Mitsuishi, 2000 .

The Product Space of Real Normed Spaces and its Properties

Yasunari Shidama, Noboru Endou, Keiichi Miyajima, 2007 .

Differentiable Functions on Normed Linear Spaces . Part II Hiroshi Imura

Yasunari Shidama, Hiroshi Imura, Yuji Sakai, 2004 .

Analysis of T-S Fuzzy Model

Yasunari Shidama, Takashi Mitsuishi, T. Mitsuishi, 2004 .

Continuity of approximate reasoning with Łukasiewicz logic for optimization of fuzzy logic control

Yasunari Shidama, Takashi Mitsuishi, Koji Saigusa, 2013, 2013 Conference on Control and Fault-Tolerant Systems (SysTol).

Dimension of Real Unitary Space Noboru Endou Gifu National College of Technology

Yasunari Shidama, Takashi Mitsuishi, 2004 .

Inverse Trigonometric Functions Arcsin and Arccos 1

Yasunari Shidama, 2005 .

Fuzzy optimal control using simple inference method and function type inference method

Katsumi Wasaki, Yasunari Shidama, Jun Kawabe, 2000, Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334).

Riemann Indefinite Integral of Functions of Real Variable

Katsumi Wasaki, Yasunari Shidama, Noboru Endou, 2007 .

Convergence and the Limit of Complex Sequences. Series

Yasunari Shidama, 1997 .

A Globally Convergent Robust Controller for Robot Manipulator

Yasunari Shidama, Dawei Cai, Hiroo Yamaura, 1995 .

Some Properties of Circles on the Plane 1

Yasunari Shidama, Y. Shidama, 2005 .

Hilbert Space of Real Sequences

Yasunari Shidama, Noboru Endou, Yasumasa Suzuki, 2022 .

Membership functions in L/sup 2/ space and its applications to fuzzy optimal control

Katsumi Wasaki, Yasunari Shidama, Jun Kawabe, 1999, IEEE SMC'99 Conference Proceedings. 1999 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.99CH37028).

Algebra of Vector Functions

Yasunari Shidama, Hiroshi Yamazaki, Y. Shidama, 1992 .

Integral of Real-Valued Measurable Function1

Yasunari Shidama, Noboru Endou, 2006 .