Yasunari Shidama

152 papers B 4C 7Journal 122Unranked 19
YearRankTypeTitle / Venue / Authors
2025 J jnl
Higher Order Partial Differentiable Functions.
Formaliz. Math.
Kazuhisa Nakasho, Yasunari Shidama
2025 J jnl
Integrability of Multivariable Continuous Functions.
Formaliz. Math.
Noboru Endou, Yasunari Shidama
2025 J jnl
Measure for Product Space of Real Normed Spaces.
Formaliz. Math.
Noboru Endou, Yasunari Shidama
2024 J jnl
Classical Isoperimetric Theorem.
Formaliz. Math.
Kazuhisa Nakasho, Yasunari Shidama
2024 J jnl
Differentiability Properties of Lipschitzian Bilinear Operators in Real Normed Spaces.
Formaliz. Math.
Kazuhisa Nakasho, Yasunari Shidama
2024 J jnl
Higher-Order Differentiation and Inverse Function Theorem in Real Normed Spaces.
Formaliz. Math.
Kazuhisa Nakasho, Yasunari Shidama
2024 J jnl
Integral of Continuous Three Variable Functions.
Formaliz. Math.
Noboru Endou, Yasunari Shidama
2024 J jnl
On the Properties of Curves and Parametrization-Independent Isoperimetric Inequality.
Formaliz. Math.
Kazuhisa Nakasho, Yasunari Shidama
2024 J jnl
Universality of Measure Space.
Formaliz. Math.
Noboru Endou, Yasunari Shidama
2023 J jnl
Integral of Continuous Functions of Two Variables.
Formaliz. Math.
Noboru Endou, Yasunari Shidama
2023 J jnl
Multidimensional Measure Space and Integration.
Formaliz. Math.
Noboru Endou, Yasunari Shidama
2022 J jnl
On Implicit and Inverse Function Theorems on Euclidean Spaces.
Formaliz. Math.
Kazuhisa Nakasho, Yasunari Shidama
2021 J jnl
Ascoli-Arzelà TheoremThis work was supported by JSPS KAKENHI Grant Numbers JP17K00182.
Formaliz. Math.
Hiroshi Yamazaki, Keiichi Miyajima, Yasunari Shidama
2021 J jnl
Finite Dimensional Real Normed Spaces are Proper Metric Spaces.
Formaliz. Math.
Kazuhisa Nakasho, Hiroyuki Okazaki, Yasunari Shidama
2021 J jnl
Functional Space Consisted by Continuous Functions on Topological Space.
Formaliz. Math.
Hiroshi Yamazaki, Keiichi Miyajima, Yasunari Shidama
2021 J jnl
Real Vector Space and Related NotionsThis study was supported in part by JSPS KAKENHI Grant Numbers 17K00182 and 20K19863.
Formaliz. Math.
Kazuhisa Nakasho, Hiroyuki Okazaki, Yasunari Shidama
2019 J jnl
Continuity of Multilinear Operator on Normed Linear Spaces.
Formaliz. Math.
Kazuhisa Nakasho, Yasunari Shidama
2019 J jnl
Implicit Function Theorem. Part II.
Formaliz. Math.
Kazuhisa Nakasho, Yasunari Shidama
2019 J jnl
Operations of Points on Elliptic Curve in Affine Coordinates.
Formaliz. Math.
Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
2018 J jnl
Continuity of Bounded Linear Operators on Normed Linear Spaces.
Formaliz. Math.
Kazuhisa Nakasho, Yuichi Futa, Yasunari Shidama
2017 J jnl
Dual Lattice of ℤ-module Lattice.
Formaliz. Math.
Yuichi Futa, Yasunari Shidama
2017 J jnl
Embedded Lattice and Properties of Gram Matrix.
Formaliz. Math.
Yuichi Futa, Yasunari Shidama
2017 J jnl
F. Riesz Theorem.
Formaliz. Math.
Keiko Narita, Kazuhisa Nakasho, Yasunari Shidama
2017 J jnl
Implicit Function Theorem. Part I.
Formaliz. Math.
Kazuhisa Nakasho, Yuichi Futa, Yasunari Shidama
2017 J jnl
Isomorphism Theorem on Vector Spaces over a Ring.
Formaliz. Math.
Yuichi Futa, Yasunari Shidama
2016 J jnl
Compactness in Metric Spaces.
Formaliz. Math.
Kazuhisa Nakasho, Keiko Narita, Yasunari Shidama
2016 J jnl
Conservation Rules of Direct Sum Decomposition of Groups.
Formaliz. Math.
Kazuhisa Nakasho, Hiroshi Yamazaki, Hiroyuki Okazaki, Yasunari Shidama
2016 J jnl
Divisible ℤ-modules.
Formaliz. Math.
Yuichi Futa, Yasunari Shidama
2016 J jnl
Lattice of ℤ-module.
Formaliz. Math.
Yuichi Futa, Yasunari Shidama
2016 — conf
Privacy Preserving Logic Formula Calculation in Cloud.
ICSC
Hiroshi Yamaguchi, Shigeo Tsujii, Hiroyuki Okazaki, Yasunari Shidama
2016 J jnl
Riemann-Stieltjes Integral.
Formaliz. Math.
Keiko Narita, Kazuhisa Nakasho, Yasunari Shidama
2016 J jnl
The Basic Existence Theorem of Riemann-Stieltjes Integral.
Formaliz. Math.
Kazuhisa Nakasho, Keiko Narita, Yasunari Shidama
2015 — conf
Continuity of approximate reasoning using fuzzy number under Łukasiewicz t-norm.
RAM/CIS
Takashi Mitsuishi, Nami Shimada, Toshimichi Homma, Mayumi Ueda, Masayuki Kochizawa, Yasunari Shidama
2015 J jnl
Definition and Properties of Direct Sum Decomposition of Groups1.
Formaliz. Math.
Kazuhisa Nakasho, Hiroshi Yamazaki, Hiroyuki Okazaki, Yasunari Shidama
2015 C conf
Documentation Generator Focusing on Symbols for the HTML-ized Mizar Library.
CICM
Kazuhisa Nakasho, Yasunari Shidama
2015 J jnl
Documentation Generator Focusing on Symbols for the HTML-ized Mizar Library.
CoRR
Kazuhisa Nakasho, Yasunari Shidama
2015 J jnl
Equivalent Expressions of Direct Sum Decomposition of Groups1.
Formaliz. Math.
Kazuhisa Nakasho, Hiroyuki Okazaki, Hiroshi Yamazaki, Yasunari Shidama
2015 J jnl
Matrix of ℤ-module1.
Formaliz. Math.
Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
2015 J jnl
The Orthogonal Projection and the Riesz Representation Theorem.
Formaliz. Math.
Keiko Narita, Noboru Endou, Yasunari Shidama
2015 J jnl
Torsion Part of ℤ-module.
Formaliz. Math.
Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
2015 J jnl
Weak Convergence and Weak Convergence.
Formaliz. Math.
Keiko Narita, Yasunari Shidama, Noboru Endou
2015 J jnl
σ-ring and σ-algebra of Sets1.
Formaliz. Math.
Noboru Endou, Kazuhisa Nakasho, Yasunari Shidama
2014 J jnl
Bidual Spaces and Reflexivity of Real Normed Spaces.
Formaliz. Math.
Keiko Narita, Noboru Endou, Yasunari Shidama
2014 — conf
Continuity of Discrete-Time Fuzzy Systems.
ICONIP (2)
Takashi Mitsuishi, Takanori Terashima, Koji Saigusa, Nami Shimada, Toshimichi Homma, Kiyoshi Sawada, Yasunari Shidama
2014 J jnl
Definition of Flat Poset and Existence Theorems for Recursive Call.
Formaliz. Math.
Kazuhisa Ishida, Yasunari Shidama, Adam Grabowski
2014 J jnl
Dual Spaces and Hahn-Banach Theorem.
Formaliz. Math.
Keiko Narita, Noboru Endou, Yasunari Shidama
2014 J jnl
Preface.
Formaliz. Math.
Adam Grabowski, Yasunari Shidama
2014 J jnl
Rank of Submodule, Linear Transformations and Linearly Independent Subsets of Z-module.
Formaliz. Math.
Kazuhisa Nakasho, Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
2014 J jnl
Topological Properties of Real Normed Space.
Formaliz. Math.
Kazuhisa Nakasho, Yuichi Futa, Yasunari Shidama
2014 J jnl
Torsion Z-module and Torsion-free Z-module.
Formaliz. Math.
Yuichi Futa, Hiroyuki Okazaki, Kazuhisa Nakasho, Yasunari Shidama
2013 J jnl
Constructing Binary Huffman Tree.
Formaliz. Math.
Hiroyuki Okazaki, Yuichi Futa, Yasunari Shidama
2013 J jnl
Differential Equations on Functions from R into Real Banach Space.
Formaliz. Math.
Keiko Narita, Noboru Endou, Yasunari Shidama
2013 J jnl
Differentiation in Normed Spaces.
Formaliz. Math.
Noboru Endou, Yasunari Shidama
2013 J jnl
Double Sequences and Limits.
Formaliz. Math.
Noboru Endou, Hiroyuki Okazaki, Yasunari Shidama
2013 J jnl
Formal definition of probability on finite and discrete sample space for proving security of cryptographic systems using Mizar.
Artif. Intell. Res.
Hiroyuki Okazaki, Yuichi Futa, Yasunari Shidama
2013 J jnl
Formalization of Definitions and Theorems Related to an Elliptic Curve Over a Finite Prime Field by Using Mizar.
J. Autom. Reason.
Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
2013 J jnl
Formulation of Cell Petri Nets.
Formaliz. Math.
Mitsuru Jitsukawa, Pauline N. Kawamoto, Yasunari Shidama
2013 J jnl
Gaussian Integers.
Formaliz. Math.
Yuichi Futa, Hiroyuki Okazaki, Daichi Mizushima, Yasunari Shidama
2013 J jnl
Isometric Differentiable Functions on Real Normed Space.
Formaliz. Math.
Yuichi Futa, Noboru Endou, Yasunari Shidama
2013 J jnl
Isomorphisms of Direct Products of Cyclic Groups of Prime Power Order.
Formaliz. Math.
Hiroshi Yamazaki, Hiroyuki Okazaki, Kazuhisa Nakasho, Yasunari Shidama
2013 J jnl
Isomorphisms of Direct Products of Finite Commutative Groups.
Formaliz. Math.
Hiroyuki Okazaki, Hiroshi Yamazaki, Yasunari Shidama
2013 J jnl
Random Variables and Product of Probability Spaces.
Formaliz. Math.
Hiroyuki Okazaki, Yasunari Shidama
2013 J jnl
Riemann Integral of Functions from ℝ into Real Banach Space.
Formaliz. Math.
Keiko Narita, Noboru Endou, Yasunari Shidama
2013 — conf
SIRMs fuzzy approximate reasoning using L-R fuzzy number as premise valuable.
SoSE
Takashi Mitsuishi, Takanori Terashima, Nami Shimada, Toshimichi Homma, Yasunari Shidama
2013 J jnl
Submodule of free Z-module.
Formaliz. Math.
Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
2013 J jnl
The Ck Space.
Formaliz. Math.
Katuhiko Kanazashi, Hiroyuki Okazaki, Yasunari Shidama
2013 J jnl
The Linearity of Riemann Integral on Functions from ℝ into Real Banach Space.
Formaliz. Math.
Keiko Narita, Noboru Endou, Yasunari Shidama
2012 J jnl
Banach's Continuous Inverse Theorem and Closed Graph Theorem.
Formaliz. Math.
Hideki Sakurai, Hiroyuki Okazaki, Yasunari Shidama
2012 — conf
Continuity of Defuzzification on L2 Space for Optimization of Fuzzy Control.
AMT
Takashi Mitsuishi, Takanori Terashima, Nami Shimada, Toshimichi Homma, Kiyoshi Sawada, Yasunari Shidama
2012 J jnl
Contracting Mapping on Normed Linear Space.
Formaliz. Math.
Keiichi Miyajima, Artur Kornilowicz, Yasunari Shidama
2012 J jnl
Differentiable Functions on Normed Linear Spaces.
Formaliz. Math.
Yasunari Shidama
2012 J jnl
Extended Euclidean Algorithm and CRT Algorithm.
Formaliz. Math.
Hiroyuki Okazaki, Yosiki Aoki, Yasunari Shidama
2012 J jnl
Formalization of the Data Encryption Standard.
Formaliz. Math.
Hiroyuki Okazaki, Yasunari Shidama
2012 J jnl
Free ℤ-module.
Formaliz. Math.
Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
2012 J jnl
Functional Space
Formaliz. Math.
Katuhiko Kanazashi, Hiroyuki Okazaki, Yasunari Shidama
2012 J jnl
Higher-Order Partial Differentiation.
Formaliz. Math.
Noboru Endou, Hiroyuki Okazaki, Yasunari Shidama
2012 J jnl
Isomorphisms of Direct Products of Finite Cyclic Groups.
Formaliz. Math.
Kenichi Arai, Hiroyuki Okazaki, Yasunari Shidama
2012 J jnl
On L1 Space Formed by Complex-Valued Partial Functions.
Formaliz. Math.
Yasushige Watase, Noboru Endou, Yasunari Shidama
2012 J jnl
Operations of Points on Elliptic Curve in Projective Coordinates.
Formaliz. Math.
Yuichi Futa, Hiroyuki Okazaki, Daichi Mizushima, Yasunari Shidama
2012 — conf
Optimization of SIRMs Fuzzy Model Using Łukasiewicz Logic.
ICONIP (2)
Takashi Mitsuishi, Takanori Terashima, Yasunari Shidama
2012 J jnl
Quotient Module of Z-module.
Formaliz. Math.
Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
2012 J jnl
Riemann Integral of Functions from R into
Formaliz. Math.
Keiichi Miyajima, Artur Kornilowicz, Yasunari Shidama
2012 J jnl
The Differentiable Functions from R into
Formaliz. Math.
Keiko Narita, Artur Kornilowicz, Yasunari Shidama
2012 J jnl
Z-modules.
Formaliz. Math.
Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
2011 J jnl
Banach Algebra of Bounded Complex-Valued Functionals.
Formaliz. Math.
Katuhiko Kanazashi, Hiroyuki Okazaki, Yasunari Shidama
2011 J jnl
Cartesian Products of Family of Real Linear Spaces.
Formaliz. Math.
Hiroyuki Okazaki, Noboru Endou, Yasunari Shidama
2011 J jnl
Differentiable Functions into Real Normed Spaces.
Formaliz. Math.
Hiroyuki Okazaki, Noboru Endou, Keiko Narita, Yasunari Shidama
2011 J jnl
Formalization of Integral Linear Space.
Formaliz. Math.
Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
2011 — conf
Fuzzy approximate reasoning using single input rule modules in L
AFRICON
Takashi Mitsuishi, Takanori Terashima, Toshimichi Homma, Yasunari Shidama
2011 J jnl
More on Continuous Functions on Normed Linear Spaces.
Formaliz. Math.
Hiroyuki Okazaki, Noboru Endou, Yasunari Shidama
2011 J jnl
More on the Continuity of Real Functions.
Formaliz. Math.
Keiko Narita, Artur Kornilowicz, Yasunari Shidama
2011 J jnl
Normal Subgroup of Product of Groups.
Formaliz. Math.
Hiroyuki Okazaki, Kenichi Arai, Yasunari Shidama
2011 — conf
Optimal Control Using Functional Type SIRMs Fuzzy Reasoning Method.
ICANN (2)
Takashi Mitsuishi, Yasunari Shidama
2011 J jnl
Partial Differentiation of Vector-Valued Functions on
Formaliz. Math.
Takao Inoué, Adam Naumowicz, Noboru Endou, Yasunari Shidama
2011 J jnl
Partial Differentiation, Differentiation and Continuity on
Formaliz. Math.
Takao Inoué, Adam Naumowicz, Noboru Endou, Yasunari Shidama
2011 J jnl
Riemann Integral of Functions from R into Real Normed Space.
Formaliz. Math.
Keiichi Miyajima, Takahiro Kato, Yasunari Shidama
2011 J jnl
Set of Points on Elliptic Curve in Projective Coordinates.
Formaliz. Math.
Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
2010 J jnl
Banach Algebra of Continuous Functionals and the Space of Real-Valued Continuous Functionals with Bounded Support.
Formaliz. Math.
Katuhiko Kanazashi, Noboru Endou, Yasunari Shidama
2010 J jnl
Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces.
Formaliz. Math.
Takao Inou'e, Noboru Endou, Yasunari Shidama
2010 — conf
Existence of Single Input Rule Modules for Optimal Fuzzy Logic Control.
KES (3)
Takashi Mitsuishi, Hidefumi Kawakatsu, Yasunari Shidama
2010 J jnl
Fixpoint Theorem for Continuous Functions on Chain-Complete Posets.
Formaliz. Math.
Kazuhisa Ishida, Yasunari Shidama
2010 — conf
Fuzzy Number as Input for Approximate Reasoning and Applied to Optimal Control Problem.
ICAISC (1)
Takashi Mitsuishi, Yasunari Shidama
2010 J jnl
On L^p Space Formed by Real-Valued Partial Functions.
Formaliz. Math.
Yasushige Watase, Noboru Endou, Yasunari Shidama
2010 J jnl
Probability Measure on Discrete Spaces and Algebra of Real-Valued Random Variables.
Formaliz. Math.
Hiroyuki Okazaki, Yasunari Shidama
2010 J jnl
Riemann Integral of Functions R into C.
Formaliz. Math.
Keiichi Miyajima, Takahiro Kato, Yasunari Shidama
2009 J jnl
Cell Petri Net Concepts.
Formaliz. Math.
Mitsuru Jitsukawa, Pauline N. Kawamoto, Yasunari Shidama, Yatsuka Nakamura
2009 J jnl
Compactness of Family of Fuzzy Sets in
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Takashi Mitsuishi, Yasunari Shidama
2009 J jnl
Complex Function Differentiability.
Formaliz. Math.
Chanapat Pacharapokin, Hiroshi Yamazaki, Yasunari Shidama, Yatsuka Nakamura
2009 J jnl
Complex Integral.
Formaliz. Math.
Masahiko Yamazaki, Hiroshi Yamazaki, Katsumi Wasaki, Yasunari Shidama
2009 — conf
Defuzzification Using Area Method on L
KES (2)
Takashi Mitsuishi, Yasunari Shidama
2009 — conf
Height Defuzzification Method on L
ICANN (1)
Takashi Mitsuishi, Yasunari Shidama
2009 J jnl
Hopf Extension Theorem of Measure.
Formaliz. Math.
Noboru Endou, Hiroyuki Okazaki, Yasunari Shidama
2009 J jnl
Lebesgue's Convergence Theorem of Complex-Valued Function.
Formaliz. Math.
Keiko Narita, Noboru Endou, Yasunari Shidama
2009 J jnl
Probability on Finite Set and Real-Valued Random Variables.
Formaliz. Math.
Hiroyuki Okazaki, Yasunari Shidama
2009 J jnl
Riemann Integral of Functions from R into Rn.
Formaliz. Math.
Keiichi Miyajima, Yasunari Shidama
2009 J jnl
The Cauchy-Riemann Differential Equations of Complex Functions.
Formaliz. Math.
Hiroshi Yamazaki, Yasunari Shidama, Chanapat Pacharapokin, Yatsuka Nakamura
2009 J jnl
The Measurability of Complex-Valued Functional Sequences.
Formaliz. Math.
Keiko Narita, Noboru Endou, Yasunari Shidama
2009 J jnl
The Real Vector Spaces of Finite Sequences are Finite Dimensional.
Formaliz. Math.
Yatsuka Nakamura, Artur Kornilowicz, Nagato Oya, Yasunari Shidama
2008 C conf
Admissible Fuzzy Controller in L2 Space.
IEA/AIE
Takashi Mitsuishi, Yasunari Shidama
2008 J jnl
Banach Algebra of Bounded Functionals.
Formaliz. Math.
Yasunari Shidama, Hikofumi Suzuki, Noboru Endou
2008 J jnl
Convex Sets and Convex Combinations on Complex Linear Spaces.
Formaliz. Math.
Hidenori Matsuzaki, Noboru Endou, Yasunari Shidama
2008 J jnl
Egoroff's Theorem.
Formaliz. Math.
Noboru Endou, Yasunari Shidama, Keiko Narita
2008 J jnl
Extended Riemann Integral of Functions of Real Variable and One-sided Laplace Transform.
Formaliz. Math.
Masahiko Yamazaki, Hiroshi Yamazaki, Yasunari Shidama
2008 J jnl
Fatou's Lemma and the Lebesgue's Convergence Theorem.
Formaliz. Math.
Noboru Endou, Keiko Narita, Yasunari Shidama
2008 J jnl
Integral of Complex-Valued Measurable Function.
Formaliz. Math.
Keiko Narita, Noboru Endou, Yasunari Shidama
2008 J jnl
Introduction to Matroids.
Formaliz. Math.
Grzegorz Bancerek, Yasunari Shidama
2008 C conf
Lipschitz Continuity of Approximate Reasoning.
SNPD
Takashi Mitsuishi, Takanori Terashima, Toshimichi Homma, Yasunari Shidama
2008 J jnl
Model Checking. Part III.
Formaliz. Math.
Kazuhisa Ishida, Yasunari Shidama
2008 J jnl
On L^1 Space Formed by Real-Valued Partial Functions.
Formaliz. Math.
Yasushige Watase, Noboru Endou, Yasunari Shidama
2008 J jnl
Open Mapping Theorem.
Formaliz. Math.
Hideki Sakurai, Hisayoshi Kunimune, Yasunari Shidama
2008 J jnl
The First Mean Value Theorem for Integrals.
Formaliz. Math.
Keiko Narita, Noboru Endou, Yasunari Shidama
2008 J jnl
The Lebesgue Monotone Convergence Theorem.
Formaliz. Math.
Noboru Endou, Keiko Narita, Yasunari Shidama
2008 J jnl
Uniform Boundedness Principle.
Formaliz. Math.
Hideki Sakurai, Hisayoshi Kunimune, Yasunari Shidama
2008 J jnl
Uniqueness of Factoring an Integer and Multiplicative Group Z/pZ*.
Formaliz. Math.
Hiroyuki Okazaki, Yasunari Shidama
2007 — conf
Continuity of Fuzzy Approximate Reasoning and Its Application to Optimization.
Australian Conference on Artificial Intelligence
Takashi Mitsuishi, Yasunari Shidama
2007 — conf
Continuity of product-sum-gravity method on L
ISSPA
Takashi Mitsuishi, Yasunari Shidama
2005 B conf
Continuity of Nakamori fuzzy model and its application to optimal feedback control.
SMC
Takashi Mitsuishi, Noboru Endou, Yasunari Shidama
2005 — conf
The Learning System of Shinshu University Graduate School of Science and Technology on the Internet.
KES (3)
Hisayoshi Kunimune, Masaaki Niimura, Katsumi Wasaki, Yasushi Fuwa, Yasunari Shidama, Yatsuka Nakamura
2004 — conf
Continuity of approximate reasoning using L-R fuzzy number as input.
CDC
Takashi Mitsuishi, Yasunari Shidama
2004 C conf
The design verification for the 3DES encipher chip based on an extended Petri net and XML/Java executor.
ICARCV
Shinnosuke Yamaguchi, A. Nishino, Katsumi Wasaki, Yasunari Shidama
2003 — conf
A High Reliability Design for Nfs Server Software By Using an Extended Petri Net.
ICEIS (3)
Shinnosuke Yamaguchi, Katsumi Wasaki, Yasunari Shidama
2003 B conf
Study on a noise reduction system of CATV network upstream for data communication.
ICCCN
Masayuki Nakamura, Yuying Yang, Katsumi Wasaki, Yasunari Shidama
2002 C conf
A high reliability design for NFS server software based on the logical coloured Petri net.
ICARCV
Shinnosuke Yamaguchi, Katsumi Wasaki, Yasunari Shidama
2002 B conf
Minimization of quadratic performance function in T-S fuzzy model.
FUZZ-IEEE
Takashi Mitsuishi, Yasunari Shidama
2002 C conf
The persistence of the Petri Net state-space.
ICARCV
Koichi Okada, Katsumi Wasaki, Yasunari Shidama
2001 J jnl
Ensemble by Seven Musical Performance Robots.
J. Robotics Mechatronics
Tadahiro Kaneda, Shoichiro Fujisawa, Takeo Yoshida, Yasumasa Yoshitani, Takashi Nishi, Yasunari Shidama, Katsumi Wasaki
2001 B conf
Optimization of Fuzzy Feedback Control in L_Space.
FUZZ-IEEE
Takashi Mitsuishi, Jun Kawabe, Katsumi Wasaki, Yasunari Shidama
2000 C conf
A set of time dependent fuzzy membership functions and its compactness.
ACC
Noboru Endou, Katsumi Wasaki, Keiji Ohkubo, Pauline N. Kawamoto, Yasunari Shidama
1999 J jnl
State fence diagrams - A graphical representation for designing reactive systems.
Syst. Comput. Jpn.
Hiromi Kobayashi, Satoru Ichinose, Yasunari Shidama
1998 — conf
Optimizing fuzzy logic with genetic algorithm.
KES (2)
Akihiko Uchibori, Keiichi Miyajima, Yasunari Shidama, Hiroo Yamaura
1996 — conf
An Optimizing Fuzzy Logic with Genetic Algorithms.
International Conference on Evolutionary Computation
Akihiko Uchibori, Hiroshi Yamazaki, Yasunari Shidama, Hiroo Yamaura
1995 J jnl
A Formal Technique to Analyze Event Concurrent Response.
IEICE Trans. Inf. Syst.
Hiromi Kobayashi, Yasunari Shidama