A Formal Technique to Analyze Event Concurrent Response. - Hiromi Kobayashi; Yasunari Shidama (IEICE Trans. Inf. Syst., 1995)

An Optimizing Fuzzy Logic with Genetic Algorithms. - Akihiko Uchibori; Hiroshi Yamazaki; Yasunari Shidama; Hiroo Yamaura (International Conference on Evolutionary Computation, 1996)

Optimizing fuzzy logic with genetic algorithm. - Akihiko Uchibori; Keiichi Miyajima; Yasunari Shidama; Hiroo Yamaura (KES (2), 1998)

State fence diagrams - A graphical representation for designing reactive systems. - Hiromi Kobayashi; Satoru Ichinose; Yasunari Shidama (Syst. Comput. Jpn., 1999)

A set of time dependent fuzzy membership functions and its compactness. - Noboru Endou; Katsumi Wasaki; Keiji Ohkubo; Pauline N. Kawamoto; Yasunari Shidama (ACC, 2000)

Optimization of Fuzzy Feedback Control in L_Space. - Takashi Mitsuishi; Jun Kawabe; Katsumi Wasaki; Yasunari Shidama (FUZZ-IEEE, 2001)

Ensemble by Seven Musical Performance Robots. - Tadahiro Kaneda; Shoichiro Fujisawa; Takeo Yoshida; Yasumasa Yoshitani; Takashi Nishi; Yasunari Shidama; Katsumi Wasaki (J. Robotics Mechatronics, 2001)

Minimization of quadratic performance function in T-S fuzzy model. - Takashi Mitsuishi; Yasunari Shidama (FUZZ-IEEE, 2002)

The persistence of the Petri Net state-space. - Koichi Okada; Katsumi Wasaki; Yasunari Shidama (ICARCV, 2002)

A high reliability design for NFS server software based on the logical coloured Petri net. - Shinnosuke Yamaguchi; Katsumi Wasaki; Yasunari Shidama (ICARCV, 2002)

Study on a noise reduction system of CATV network upstream for data communication. - Masayuki Nakamura; Yuying Yang; Katsumi Wasaki; Yasunari Shidama (ICCCN, 2003)

A High Reliability Design for Nfs Server Software By Using an Extended Petri Net. - Shinnosuke Yamaguchi; Katsumi Wasaki; Yasunari Shidama (ICEIS (3), 2003)

Continuity of approximate reasoning using L-R fuzzy number as input. - Takashi Mitsuishi; Yasunari Shidama (CDC, 2004)

The design verification for the 3DES encipher chip based on an extended Petri net and XML/Java executor. - Shinnosuke Yamaguchi; A. Nishino; Katsumi Wasaki; Yasunari Shidama (ICARCV, 2004)

The Learning System of Shinshu University Graduate School of Science and Technology on the Internet. - Hisayoshi Kunimune; Masaaki Niimura; Katsumi Wasaki; Yasushi Fuwa; Yasunari Shidama; Yatsuka Nakamura (KES (3), 2005)

Continuity of Nakamori fuzzy model and its application to optimal feedback control. - Takashi Mitsuishi; Noboru Endou; Yasunari Shidama (SMC, 2005)

Continuity of Fuzzy Approximate Reasoning and Its Application to Optimization. - Takashi Mitsuishi; Yasunari Shidama (Australian Conference on Artificial Intelligence, 2007)

Continuity of product-sum-gravity method on L2 space using fuzzy number for premise variable. - Takashi Mitsuishi; Yasunari Shidama (ISSPA, 2007)

Admissible Fuzzy Controller in L2 Space. - Takashi Mitsuishi; Yasunari Shidama (IEA/AIE, 2008)

Lipschitz Continuity of Approximate Reasoning. - Takashi Mitsuishi; Takanori Terashima; Toshimichi Homma; Yasunari Shidama (SNPD, 2008)

Introduction to Matroids. - Grzegorz Bancerek; Yasunari Shidama (Formaliz. Math., 2008)

The Lebesgue Monotone Convergence Theorem. - Noboru Endou; Keiko Narita; Yasunari Shidama (Formaliz. Math., 2008)

Fatou's Lemma and the Lebesgue's Convergence Theorem. - Noboru Endou; Keiko Narita; Yasunari Shidama (Formaliz. Math., 2008)

Egoroff's Theorem. - Noboru Endou; Yasunari Shidama; Keiko Narita (Formaliz. Math., 2008)

Model Checking. Part III. - Kazuhisa Ishida; Yasunari Shidama (Formaliz. Math., 2008)

Convex Sets and Convex Combinations on Complex Linear Spaces. - Hidenori Matsuzaki; Noboru Endou; Yasunari Shidama (Formaliz. Math., 2008)

The First Mean Value Theorem for Integrals. - Keiko Narita; Noboru Endou; Yasunari Shidama (Formaliz. Math., 2008)

Integral of Complex-Valued Measurable Function. - Keiko Narita; Noboru Endou; Yasunari Shidama (Formaliz. Math., 2008)

Uniqueness of Factoring an Integer and Multiplicative Group Z/pZ*. - Hiroyuki Okazaki; Yasunari Shidama (Formaliz. Math., 2008)

Uniform Boundedness Principle. - Hideki Sakurai; Hisayoshi Kunimune; Yasunari Shidama (Formaliz. Math., 2008)

Open Mapping Theorem. - Hideki Sakurai; Hisayoshi Kunimune; Yasunari Shidama (Formaliz. Math., 2008)

Banach Algebra of Bounded Functionals. - Yasunari Shidama; Hikofumi Suzuki; Noboru Endou (Formaliz. Math., 2008)

On L^1 Space Formed by Real-Valued Partial Functions. - Yasushige Watase; Noboru Endou; Yasunari Shidama (Formaliz. Math., 2008)

Extended Riemann Integral of Functions of Real Variable and One-sided Laplace Transform. - Masahiko Yamazaki; Hiroshi Yamazaki; Yasunari Shidama (Formaliz. Math., 2008)

Height Defuzzification Method on L∞ Space. - Takashi Mitsuishi; Yasunari Shidama (ICANN (1), 2009)

Defuzzification Using Area Method on L∞ Space. - Takashi Mitsuishi; Yasunari Shidama (KES (2), 2009)

Hopf Extension Theorem of Measure. - Noboru Endou; Hiroyuki Okazaki; Yasunari Shidama (Formaliz. Math., 2009)

Cell Petri Net Concepts. - Mitsuru Jitsukawa; Pauline N. Kawamoto; Yasunari Shidama; Yatsuka Nakamura (Formaliz. Math., 2009)

Riemann Integral of Functions from R into Rn. - Keiichi Miyajima; Yasunari Shidama (Formaliz. Math., 2009)

The Real Vector Spaces of Finite Sequences are Finite Dimensional. - Yatsuka Nakamura; Artur Kornilowicz; Nagato Oya; Yasunari Shidama (Formaliz. Math., 2009)

The Measurability of Complex-Valued Functional Sequences. - Keiko Narita; Noboru Endou; Yasunari Shidama (Formaliz. Math., 2009)

Lebesgue's Convergence Theorem of Complex-Valued Function. - Keiko Narita; Noboru Endou; Yasunari Shidama (Formaliz. Math., 2009)

Probability on Finite Set and Real-Valued Random Variables. - Hiroyuki Okazaki; Yasunari Shidama (Formaliz. Math., 2009)

Complex Function Differentiability. - Chanapat Pacharapokin; Hiroshi Yamazaki; Yasunari Shidama; Yatsuka Nakamura (Formaliz. Math., 2009)

The Cauchy-Riemann Differential Equations of Complex Functions. - Hiroshi Yamazaki; Yasunari Shidama; Chanapat Pacharapokin; Yatsuka Nakamura (Formaliz. Math., 2009)

Complex Integral. - Masahiko Yamazaki; Hiroshi Yamazaki; Katsumi Wasaki; Yasunari Shidama (Formaliz. Math., 2009)

Compactness of Family of Fuzzy Sets in L2 Space with Application to Optimal Control. - Takashi Mitsuishi; Yasunari Shidama (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2009)

Fuzzy Number as Input for Approximate Reasoning and Applied to Optimal Control Problem. - Takashi Mitsuishi; Yasunari Shidama (ICAISC (1), 2010)

Existence of Single Input Rule Modules for Optimal Fuzzy Logic Control. - Takashi Mitsuishi; Hidefumi Kawakatsu; Yasunari Shidama (KES (3), 2010)

Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces. - Takao Inou'e; Noboru Endou; Yasunari Shidama (Formaliz. Math., 2010)

Fixpoint Theorem for Continuous Functions on Chain-Complete Posets. - Kazuhisa Ishida; Yasunari Shidama (Formaliz. Math., 2010)

Banach Algebra of Continuous Functionals and the Space of Real-Valued Continuous Functionals with Bounded Support. - Katuhiko Kanazashi; Noboru Endou; Yasunari Shidama (Formaliz. Math., 2010)

Riemann Integral of Functions R into C. - Keiichi Miyajima; Takahiro Kato; Yasunari Shidama (Formaliz. Math., 2010)

Probability Measure on Discrete Spaces and Algebra of Real-Valued Random Variables. - Hiroyuki Okazaki; Yasunari Shidama (Formaliz. Math., 2010)

On L^p Space Formed by Real-Valued Partial Functions. - Yasushige Watase; Noboru Endou; Yasunari Shidama (Formaliz. Math., 2010)

Fuzzy approximate reasoning using single input rule modules in L∞ space. - Takashi Mitsuishi; Takanori Terashima; Toshimichi Homma; Yasunari Shidama (AFRICON, 2011)

Optimal Control Using Functional Type SIRMs Fuzzy Reasoning Method. - Takashi Mitsuishi; Yasunari Shidama (ICANN (2), 2011)

Formalization of Integral Linear Space. - Yuichi Futa; Hiroyuki Okazaki; Yasunari Shidama (Formaliz. Math., 2011)

Set of Points on Elliptic Curve in Projective Coordinates. - Yuichi Futa; Hiroyuki Okazaki; Yasunari Shidama (Formaliz. Math., 2011)

Partial Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces. - Takao Inoué; Adam Naumowicz; Noboru Endou; Yasunari Shidama (Formaliz. Math., 2011)

Partial Differentiation, Differentiation and Continuity on n-Dimensional Real Normed Linear Spaces. - Takao Inoué; Adam Naumowicz; Noboru Endou; Yasunari Shidama (Formaliz. Math., 2011)

Banach Algebra of Bounded Complex-Valued Functionals. - Katuhiko Kanazashi; Hiroyuki Okazaki; Yasunari Shidama (Formaliz. Math., 2011)

Riemann Integral of Functions from R into Real Normed Space. - Keiichi Miyajima; Takahiro Kato; Yasunari Shidama (Formaliz. Math., 2011)

More on the Continuity of Real Functions. - Keiko Narita; Artur Kornilowicz; Yasunari Shidama (Formaliz. Math., 2011)

Normal Subgroup of Product of Groups. - Hiroyuki Okazaki; Kenichi Arai; Yasunari Shidama (Formaliz. Math., 2011)

Differentiable Functions into Real Normed Spaces. - Hiroyuki Okazaki; Noboru Endou; Keiko Narita; Yasunari Shidama (Formaliz. Math., 2011)

More on Continuous Functions on Normed Linear Spaces. - Hiroyuki Okazaki; Noboru Endou; Yasunari Shidama (Formaliz. Math., 2011)

Cartesian Products of Family of Real Linear Spaces. - Hiroyuki Okazaki; Noboru Endou; Yasunari Shidama (Formaliz. Math., 2011)

Continuity of Defuzzification on L2 Space for Optimization of Fuzzy Control. - Takashi Mitsuishi; Takanori Terashima; Nami Shimada; Toshimichi Homma; Kiyoshi Sawada; Yasunari Shidama (AMT, 2012)

Optimization of SIRMs Fuzzy Model Using Łukasiewicz Logic. - Takashi Mitsuishi; Takanori Terashima; Yasunari Shidama (ICONIP (2), 2012)

Isomorphisms of Direct Products of Finite Cyclic Groups. - Kenichi Arai; Hiroyuki Okazaki; Yasunari Shidama (Formaliz. Math., 2012)

Higher-Order Partial Differentiation. - Noboru Endou; Hiroyuki Okazaki; Yasunari Shidama (Formaliz. Math., 2012)

Operations of Points on Elliptic Curve in Projective Coordinates. - Yuichi Futa; Hiroyuki Okazaki; Daichi Mizushima; Yasunari Shidama (Formaliz. Math., 2012)

Z-modules. - Yuichi Futa; Hiroyuki Okazaki; Yasunari Shidama (Formaliz. Math., 2012)

Quotient Module of Z-module. - Yuichi Futa; Hiroyuki Okazaki; Yasunari Shidama (Formaliz. Math., 2012)

Free ℤ-module. - Yuichi Futa; Hiroyuki Okazaki; Yasunari Shidama (Formaliz. Math., 2012)

Functional Space C(ω), C0(ω). - Katuhiko Kanazashi; Hiroyuki Okazaki; Yasunari Shidama (Formaliz. Math., 2012)

Riemann Integral of Functions from R into n-dimensional Real Normed Space. - Keiichi Miyajima; Artur Kornilowicz; Yasunari Shidama (Formaliz. Math., 2012)

Contracting Mapping on Normed Linear Space. - Keiichi Miyajima; Artur Kornilowicz; Yasunari Shidama (Formaliz. Math., 2012)

The Differentiable Functions from R into Rn. - Keiko Narita; Artur Kornilowicz; Yasunari Shidama (Formaliz. Math., 2012)

Extended Euclidean Algorithm and CRT Algorithm. - Hiroyuki Okazaki; Yosiki Aoki; Yasunari Shidama (Formaliz. Math., 2012)

Formalization of the Data Encryption Standard. - Hiroyuki Okazaki; Yasunari Shidama (Formaliz. Math., 2012)

Banach's Continuous Inverse Theorem and Closed Graph Theorem. - Hideki Sakurai; Hiroyuki Okazaki; Yasunari Shidama (Formaliz. Math., 2012)

Differentiable Functions on Normed Linear Spaces. - Yasunari Shidama (Formaliz. Math., 2012)

On L1 Space Formed by Complex-Valued Partial Functions. - Yasushige Watase; Noboru Endou; Yasunari Shidama (Formaliz. Math., 2012)

SIRMs fuzzy approximate reasoning using L-R fuzzy number as premise valuable. - Takashi Mitsuishi; Takanori Terashima; Nami Shimada; Toshimichi Homma; Yasunari Shidama (SoSE, 2013)

Formal definition of probability on finite and discrete sample space for proving security of cryptographic systems using Mizar. - Hiroyuki Okazaki; Yuichi Futa; Yasunari Shidama (Artif. Intell. Res., 2013)

Double Sequences and Limits. - Noboru Endou; Hiroyuki Okazaki; Yasunari Shidama (Formaliz. Math., 2013)

Differentiation in Normed Spaces. - Noboru Endou; Yasunari Shidama (Formaliz. Math., 2013)

Isometric Differentiable Functions on Real Normed Space. - Yuichi Futa; Noboru Endou; Yasunari Shidama (Formaliz. Math., 2013)

Gaussian Integers. - Yuichi Futa; Hiroyuki Okazaki; Daichi Mizushima; Yasunari Shidama (Formaliz. Math., 2013)

Submodule of free Z-module. - Yuichi Futa; Hiroyuki Okazaki; Yasunari Shidama (Formaliz. Math., 2013)

Formulation of Cell Petri Nets. - Mitsuru Jitsukawa; Pauline N. Kawamoto; Yasunari Shidama (Formaliz. Math., 2013)

The Ck Space. - Katuhiko Kanazashi; Hiroyuki Okazaki; Yasunari Shidama (Formaliz. Math., 2013)

Riemann Integral of Functions from ℝ into Real Banach Space. - Keiko Narita; Noboru Endou; Yasunari Shidama (Formaliz. Math., 2013)

The Linearity of Riemann Integral on Functions from ℝ into Real Banach Space. - Keiko Narita; Noboru Endou; Yasunari Shidama (Formaliz. Math., 2013)

Differential Equations on Functions from R into Real Banach Space. - Keiko Narita; Noboru Endou; Yasunari Shidama (Formaliz. Math., 2013)

Constructing Binary Huffman Tree. - Hiroyuki Okazaki; Yuichi Futa; Yasunari Shidama (Formaliz. Math., 2013)

Random Variables and Product of Probability Spaces. - Hiroyuki Okazaki; Yasunari Shidama (Formaliz. Math., 2013)

Isomorphisms of Direct Products of Finite Commutative Groups. - Hiroyuki Okazaki; Hiroshi Yamazaki; Yasunari Shidama (Formaliz. Math., 2013)

Isomorphisms of Direct Products of Cyclic Groups of Prime Power Order. - Hiroshi Yamazaki; Hiroyuki Okazaki; Kazuhisa Nakasho; Yasunari Shidama (Formaliz. Math., 2013)

Formalization of Definitions and Theorems Related to an Elliptic Curve Over a Finite Prime Field by Using Mizar. - Yuichi Futa; Hiroyuki Okazaki; Yasunari Shidama (J. Autom. Reason., 2013)

Continuity of Discrete-Time Fuzzy Systems. - Takashi Mitsuishi; Takanori Terashima; Koji Saigusa; Nami Shimada; Toshimichi Homma; Kiyoshi Sawada; Yasunari Shidama (ICONIP (2), 2014)

Torsion Z-module and Torsion-free Z-module. - Yuichi Futa; Hiroyuki Okazaki; Kazuhisa Nakasho; Yasunari Shidama (Formaliz. Math., 2014)

Preface. - Adam Grabowski; Yasunari Shidama (Formaliz. Math., 2014)

Definition of Flat Poset and Existence Theorems for Recursive Call. - Kazuhisa Ishida; Yasunari Shidama; Adam Grabowski (Formaliz. Math., 2014)

Rank of Submodule, Linear Transformations and Linearly Independent Subsets of Z-module. - Kazuhisa Nakasho; Yuichi Futa; Hiroyuki Okazaki; Yasunari Shidama (Formaliz. Math., 2014)

Topological Properties of Real Normed Space. - Kazuhisa Nakasho; Yuichi Futa; Yasunari Shidama (Formaliz. Math., 2014)

Dual Spaces and Hahn-Banach Theorem. - Keiko Narita; Noboru Endou; Yasunari Shidama (Formaliz. Math., 2014)

Bidual Spaces and Reflexivity of Real Normed Spaces. - Keiko Narita; Noboru Endou; Yasunari Shidama (Formaliz. Math., 2014)

Documentation Generator Focusing on Symbols for the HTML-ized Mizar Library. - Kazuhisa Nakasho; Yasunari Shidama (CICM, 2015)

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

σ-ring and σ-algebra of Sets1. - Noboru Endou; Kazuhisa Nakasho; Yasunari Shidama (Formaliz. Math., 2015)

Matrix of ℤ-module1. - Yuichi Futa; Hiroyuki Okazaki; Yasunari Shidama (Formaliz. Math., 2015)

Torsion Part of ℤ-module. - Yuichi Futa; Hiroyuki Okazaki; Yasunari Shidama (Formaliz. Math., 2015)

Equivalent Expressions of Direct Sum Decomposition of Groups1. - Kazuhisa Nakasho; Hiroyuki Okazaki; Hiroshi Yamazaki; Yasunari Shidama (Formaliz. Math., 2015)

Definition and Properties of Direct Sum Decomposition of Groups1. - Kazuhisa Nakasho; Hiroshi Yamazaki; Hiroyuki Okazaki; Yasunari Shidama (Formaliz. Math., 2015)

The Orthogonal Projection and the Riesz Representation Theorem. - Keiko Narita; Noboru Endou; Yasunari Shidama (Formaliz. Math., 2015)

Weak Convergence and Weak Convergence. - Keiko Narita; Yasunari Shidama; Noboru Endou (Formaliz. Math., 2015)

Privacy Preserving Logic Formula Calculation in Cloud. - Hiroshi Yamaguchi; Shigeo Tsujii; Hiroyuki Okazaki; Yasunari Shidama (ICSC, 2016)

Divisible ℤ-modules. - Yuichi Futa; Yasunari Shidama (Formaliz. Math., 2016)

Lattice of ℤ-module. - Yuichi Futa; Yasunari Shidama (Formaliz. Math., 2016)

Compactness in Metric Spaces. - Kazuhisa Nakasho; Keiko Narita; Yasunari Shidama (Formaliz. Math., 2016)

The Basic Existence Theorem of Riemann-Stieltjes Integral. - Kazuhisa Nakasho; Keiko Narita; Yasunari Shidama (Formaliz. Math., 2016)

Conservation Rules of Direct Sum Decomposition of Groups. - Kazuhisa Nakasho; Hiroshi Yamazaki; Hiroyuki Okazaki; Yasunari Shidama (Formaliz. Math., 2016)

Riemann-Stieltjes Integral. - Keiko Narita; Kazuhisa Nakasho; Yasunari Shidama (Formaliz. Math., 2016)

Embedded Lattice and Properties of Gram Matrix. - Yuichi Futa; Yasunari Shidama (Formaliz. Math., 2017)

Dual Lattice of ℤ-module Lattice. - Yuichi Futa; Yasunari Shidama (Formaliz. Math., 2017)

Isomorphism Theorem on Vector Spaces over a Ring. - Yuichi Futa; Yasunari Shidama (Formaliz. Math., 2017)

Implicit Function Theorem. Part I. - Kazuhisa Nakasho; Yuichi Futa; Yasunari Shidama (Formaliz. Math., 2017)

F. Riesz Theorem. - Keiko Narita; Kazuhisa Nakasho; Yasunari Shidama (Formaliz. Math., 2017)

Continuity of Bounded Linear Operators on Normed Linear Spaces. - Kazuhisa Nakasho; Yuichi Futa; Yasunari Shidama (Formaliz. Math., 2018)

Operations of Points on Elliptic Curve in Affine Coordinates. - Yuichi Futa; Hiroyuki Okazaki; Yasunari Shidama (Formaliz. Math., 2019)

Continuity of Multilinear Operator on Normed Linear Spaces. - Kazuhisa Nakasho; Yasunari Shidama (Formaliz. Math., 2019)

Implicit Function Theorem. Part II. - Kazuhisa Nakasho; Yasunari Shidama (Formaliz. Math., 2019)

Real Vector Space and Related NotionsThis study was supported in part by JSPS KAKENHI Grant Numbers 17K00182 and 20K19863. - Kazuhisa Nakasho; Hiroyuki Okazaki; Yasunari Shidama (Formaliz. Math., 2021)

Finite Dimensional Real Normed Spaces are Proper Metric Spaces. - Kazuhisa Nakasho; Hiroyuki Okazaki; Yasunari Shidama (Formaliz. Math., 2021)

Functional Space Consisted by Continuous Functions on Topological Space. - Hiroshi Yamazaki; Keiichi Miyajima; Yasunari Shidama (Formaliz. Math., 2021)

Ascoli-Arzelà TheoremThis work was supported by JSPS KAKENHI Grant Numbers JP17K00182. - Hiroshi Yamazaki; Keiichi Miyajima; Yasunari Shidama (Formaliz. Math., 2021)

On Implicit and Inverse Function Theorems on Euclidean Spaces. - Kazuhisa Nakasho; Yasunari Shidama (Formaliz. Math., 2022)

Multidimensional Measure Space and Integration. - Noboru Endou; Yasunari Shidama (Formaliz. Math., 2023)

Integral of Continuous Functions of Two Variables. - Noboru Endou; Yasunari Shidama (Formaliz. Math., 2023)

Integral of Continuous Three Variable Functions. - Noboru Endou; Yasunari Shidama (Formaliz. Math., 2024)

Universality of Measure Space. - Noboru Endou; Yasunari Shidama (Formaliz. Math., 2024)

Differentiability Properties of Lipschitzian Bilinear Operators in Real Normed Spaces. - Kazuhisa Nakasho; Yasunari Shidama (Formaliz. Math., 2024)

Classical Isoperimetric Theorem. - Kazuhisa Nakasho; Yasunari Shidama (Formaliz. Math., 2024)

On the Properties of Curves and Parametrization-Independent Isoperimetric Inequality. - Kazuhisa Nakasho; Yasunari Shidama (Formaliz. Math., 2024)

Higher-Order Differentiation and Inverse Function Theorem in Real Normed Spaces. - Kazuhisa Nakasho; Yasunari Shidama (Formaliz. Math., 2024)