default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDYasunari Shidama
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j113]Noboru Endou, Yasunari Shidama:
Integral of Continuous Three Variable Functions. Formaliz. Math. 32(1): 9-31 (2024)- 2023
- [j112]Noboru Endou
, Yasunari Shidama:
Multidimensional Measure Space and Integration. Formaliz. Math. 31(1): 181-192 (2023) - [j111]Noboru Endou, Yasunari Shidama:
Integral of Continuous Functions of Two Variables. Formaliz. Math. 31(1): 309-324 (2023) - 2022
- [j110]Kazuhisa Nakasho, Yasunari Shidama:
On Implicit and Inverse Function Theorems on Euclidean Spaces. Formaliz. Math. 30(3): 159-168 (2022) - 2021
- [j109]Hiroshi Yamazaki, Keiichi Miyajima, Yasunari Shidama:
Functional Space Consisted by Continuous Functions on Topological Space. Formaliz. Math. 29(1): 49-62 (2021) - [j108]Hiroshi Yamazaki, Keiichi Miyajima, Yasunari Shidama:
Ascoli-Arzelà TheoremThis work was supported by JSPS KAKENHI Grant Numbers JP17K00182. Formaliz. Math. 29(2): 87-94 (2021) - [j107]Kazuhisa Nakasho, Hiroyuki Okazaki, Yasunari Shidama:
Real Vector Space and Related NotionsThis study was supported in part by JSPS KAKENHI Grant Numbers 17K00182 and 20K19863. Formaliz. Math. 29(3): 117-127 (2021) - [j106]Kazuhisa Nakasho, Hiroyuki Okazaki, Yasunari Shidama:
Finite Dimensional Real Normed Spaces are Proper Metric Spaces. Formaliz. Math. 29(4): 175-184 (2021)
2010 – 2019
- 2019
- [j105]Kazuhisa Nakasho, Yasunari Shidama:
Continuity of Multilinear Operator on Normed Linear Spaces. Formaliz. Math. 27(1): 61-65 (2019) - [j104]Kazuhisa Nakasho, Yasunari Shidama:
Implicit Function Theorem. Part II. Formaliz. Math. 27(2): 117-131 (2019) - [j103]Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama:
Operations of Points on Elliptic Curve in Affine Coordinates. Formaliz. Math. 27(3): 315-320 (2019) - 2018
- [j102]Kazuhisa Nakasho, Yuichi Futa, Yasunari Shidama:
Continuity of Bounded Linear Operators on Normed Linear Spaces. Formaliz. Math. 26(3): 231-237 (2018) - 2017
- [j101]Yuichi Futa, Yasunari Shidama:
Embedded Lattice and Properties of Gram Matrix. Formaliz. Math. 25(1): 73 (2017) - [j100]Yuichi Futa, Yasunari Shidama:
Dual Lattice of ℤ-module Lattice. Formaliz. Math. 25(2): 157-169 (2017) - [j99]Yuichi Futa, Yasunari Shidama:
Isomorphism Theorem on Vector Spaces over a Ring. Formaliz. Math. 25(3): 171-178 (2017) - [j98]Keiko Narita, Kazuhisa Nakasho, Yasunari Shidama:
F. Riesz Theorem. Formaliz. Math. 25(3): 179-184 (2017) - [j97]Kazuhisa Nakasho, Yuichi Futa, Yasunari Shidama:
Implicit Function Theorem. Part I. Formaliz. Math. 25(4): 269-281 (2017) - 2016
- [j96]Yuichi Futa, Yasunari Shidama:
Divisible ℤ-modules. Formaliz. Math. 24(1): 37-47 (2016) - [j95]Yuichi Futa, Yasunari Shidama:
Lattice of ℤ-module. Formaliz. Math. 24(1): 49-68 (2016) - [j94]Kazuhisa Nakasho, Hiroshi Yamazaki, Hiroyuki Okazaki, Yasunari Shidama:
Conservation Rules of Direct Sum Decomposition of Groups. Formaliz. Math. 24(1): 81-94 (2016) - [j93]Kazuhisa Nakasho, Keiko Narita, Yasunari Shidama:
Compactness in Metric Spaces. Formaliz. Math. 24(3): 167-172 (2016) - [j92]Keiko Narita, Kazuhisa Nakasho, Yasunari Shidama:
Riemann-Stieltjes Integral. Formaliz. Math. 24(3): 199-204 (2016) - [j91]Kazuhisa Nakasho, Keiko Narita, Yasunari Shidama:
The Basic Existence Theorem of Riemann-Stieltjes Integral. Formaliz. Math. 24(4): 253-259 (2016) - [c30]Hiroshi Yamaguchi, Shigeo Tsujii, Hiroyuki Okazaki, Yasunari Shidama:
Privacy Preserving Logic Formula Calculation in Cloud. ICSC 2016: 329-332 - 2015
- [j90]Kazuhisa Nakasho, Hiroshi Yamazaki, Hiroyuki Okazaki, Yasunari Shidama:
Definition and Properties of Direct Sum Decomposition of Groups1. Formaliz. Math. 23(1): 15-27 (2015) - [j89]Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama:
Matrix of ℤ-module1. Formaliz. Math. 23(1): 29-49 (2015) - [j88]Noboru Endou, Kazuhisa Nakasho, Yasunari Shidama:
σ-ring and σ-algebra of Sets1. Formaliz. Math. 23(1): 51-57 (2015) - [j87]Kazuhisa Nakasho, Hiroyuki Okazaki, Hiroshi Yamazaki, Yasunari Shidama:
Equivalent Expressions of Direct Sum Decomposition of Groups1. Formaliz. Math. 23(1): 67-73 (2015) - [j86]Keiko Narita, Yasunari Shidama, Noboru Endou:
Weak Convergence and Weak Convergence. Formaliz. Math. 23(3): 231-241 (2015) - [j85]Keiko Narita, Noboru Endou, Yasunari Shidama:
The Orthogonal Projection and the Riesz Representation Theorem. Formaliz. Math. 23(3): 243-252 (2015) - [j84]Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama:
Torsion Part of ℤ-module. Formaliz. Math. 23(4): 297-307 (2015) - [c29]Kazuhisa Nakasho, Yasunari Shidama:
Documentation Generator Focusing on Symbols for the HTML-ized Mizar Library. CICM 2015: 343-347 - [c28]Takashi Mitsuishi, Nami Shimada, Toshimichi Homma, Mayumi Ueda, Masayuki Kochizawa, Yasunari Shidama:
Continuity of approximate reasoning using fuzzy number under Łukasiewicz t-norm. RAM/CIS 2015: CIS:71-74 - [i1]Kazuhisa Nakasho, Yasunari Shidama:
Documentation Generator Focusing on Symbols for the HTML-ized Mizar Library. CoRR abs/1505.01577 (2015) - 2014
- [j83]Kazuhisa Ishida, Yasunari Shidama, Adam Grabowski:
Definition of Flat Poset and Existence Theorems for Recursive Call. Formaliz. Math. 22(1): 1-10 (2014) - [j82]Keiko Narita, Noboru Endou, Yasunari Shidama:
Dual Spaces and Hahn-Banach Theorem. Formaliz. Math. 22(1): 69-77 (2014) - [j81]Adam Grabowski, Yasunari Shidama:
Preface. Formaliz. Math. 22(2): i-iv (2014) - [j80]Kazuhisa Nakasho, Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama:
Rank of Submodule, Linear Transformations and Linearly Independent Subsets of Z-module. Formaliz. Math. 22(3): 189-198 (2014) - [j79]Kazuhisa Nakasho, Yuichi Futa, Yasunari Shidama:
Topological Properties of Real Normed Space. Formaliz. Math. 22(3): 209-223 (2014) - [j78]Yuichi Futa, Hiroyuki Okazaki, Kazuhisa Nakasho, Yasunari Shidama:
Torsion Z-module and Torsion-free Z-module. Formaliz. Math. 22(4): 277-289 (2014) - [j77]Keiko Narita, Noboru Endou, Yasunari Shidama:
Bidual Spaces and Reflexivity of Real Normed Spaces. Formaliz. Math. 22(4): 303-311 (2014) - [c27]Takashi Mitsuishi, Takanori Terashima, Koji Saigusa, Nami Shimada, Toshimichi Homma, Kiyoshi Sawada, Yasunari Shidama:
Continuity of Discrete-Time Fuzzy Systems. ICONIP (2) 2014: 462-469 - 2013
- [j76]Hiroyuki Okazaki, Yuichi Futa, Yasunari Shidama:
Formal definition of probability on finite and discrete sample space for proving security of cryptographic systems using Mizar. Artif. Intell. Res. 2(4): 37-48 (2013) - [j75]Katuhiko Kanazashi, Hiroyuki Okazaki, Yasunari Shidama:
The Ck Space. Formaliz. Math. 21(1): 25-31 (2013) - [j74]Hiroyuki Okazaki, Yasunari Shidama:
Random Variables and Product of Probability Spaces. Formaliz. Math. 21(1): 33-39 (2013) - [j73]Hiroyuki Okazaki, Hiroshi Yamazaki, Yasunari Shidama:
Isomorphisms of Direct Products of Finite Commutative Groups. Formaliz. Math. 21(1): 65-74 (2013) - [j72]Noboru Endou, Yasunari Shidama:
Differentiation in Normed Spaces. Formaliz. Math. 21(2): 95-102 (2013) - [j71]Yuichi Futa, Hiroyuki Okazaki, Daichi Mizushima, Yasunari Shidama:
Gaussian Integers. Formaliz. Math. 21(2): 115-125 (2013) - [j70]Hiroyuki Okazaki, Yuichi Futa, Yasunari Shidama:
Constructing Binary Huffman Tree. Formaliz. Math. 21(2): 133-143 (2013) - [j69]Keiko Narita, Noboru Endou, Yasunari Shidama:
Riemann Integral of Functions from ℝ into Real Banach Space. Formaliz. Math. 21(2): 145-152 (2013) - [j68]Noboru Endou, Hiroyuki Okazaki, Yasunari Shidama:
Double Sequences and Limits. Formaliz. Math. 21(3): 163-170 (2013) - [j67]Keiko Narita, Noboru Endou, Yasunari Shidama:
The Linearity of Riemann Integral on Functions from ℝ into Real Banach Space. Formaliz. Math. 21(3): 185-191 (2013) - [j66]Hiroshi Yamazaki, Hiroyuki Okazaki, Kazuhisa Nakasho, Yasunari Shidama:
Isomorphisms of Direct Products of Cyclic Groups of Prime Power Order. Formaliz. Math. 21(3): 207-211 (2013) - [j65]Mitsuru Jitsukawa, Pauline N. Kawamoto, Yasunari Shidama:
Formulation of Cell Petri Nets. Formaliz. Math. 21(4): 241-247 (2013) - [j64]Yuichi Futa, Noboru Endou, Yasunari Shidama:
Isometric Differentiable Functions on Real Normed Space. Formaliz. Math. 21(4): 249-260 (2013) - [j63]Keiko Narita, Noboru Endou, Yasunari Shidama:
Differential Equations on Functions from R into Real Banach Space. Formaliz. Math. 21(4): 261-272 (2013) - [j62]Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama:
Submodule of free Z-module. Formaliz. Math. 21(4): 273-282 (2013) - [j61]Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama:
Formalization of Definitions and Theorems Related to an Elliptic Curve Over a Finite Prime Field by Using Mizar. J. Autom. Reason. 50(2): 161-172 (2013) - [c26]Takashi Mitsuishi, Takanori Terashima, Nami Shimada, Toshimichi Homma, Yasunari Shidama:
SIRMs fuzzy approximate reasoning using L-R fuzzy number as premise valuable. SoSE 2013: 25-27 - 2012
- [j60]Katuhiko Kanazashi, Hiroyuki Okazaki, Yasunari Shidama:
Functional Space C(ω), C0(ω). Formaliz. Math. 20(1): 15-22 (2012) - [j59]Yasunari Shidama:
Differentiable Functions on Normed Linear Spaces. Formaliz. Math. 20(1): 31-40 (2012) - [j58]Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama:
Z-modules. Formaliz. Math. 20(1): 47-59 (2012) - [j57]Keiko Narita, Artur Kornilowicz, Yasunari Shidama:
The Differentiable Functions from R into Rn. Formaliz. Math. 20(1): 65-71 (2012) - [j56]Keiichi Miyajima, Artur Kornilowicz, Yasunari Shidama:
Riemann Integral of Functions from R into n-dimensional Real Normed Space. Formaliz. Math. 20(1): 79-86 (2012) - [j55]Yuichi Futa, Hiroyuki Okazaki, Daichi Mizushima, Yasunari Shidama:
Operations of Points on Elliptic Curve in Projective Coordinates. Formaliz. Math. 20(1): 87-95 (2012) - [j54]Noboru Endou, Hiroyuki Okazaki, Yasunari Shidama:
Higher-Order Partial Differentiation. Formaliz. Math. 20(2): 113-124 (2012) - [j53]Hiroyuki Okazaki, Yasunari Shidama:
Formalization of the Data Encryption Standard. Formaliz. Math. 20(2): 125-146 (2012) - [j52]Hiroyuki Okazaki, Yosiki Aoki, Yasunari Shidama:
Extended Euclidean Algorithm and CRT Algorithm. Formaliz. Math. 20(2): 175-179 (2012) - [j51]Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama:
Quotient Module of Z-module. Formaliz. Math. 20(3): 205-214 (2012) - [j50]Hideki Sakurai, Hiroyuki Okazaki, Yasunari Shidama:
Banach's Continuous Inverse Theorem and Closed Graph Theorem. Formaliz. Math. 20(4): 271-274 (2012) - [j49]Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama:
Free ℤ-module. Formaliz. Math. 20(4): 275-280 (2012) - [j48]Keiichi Miyajima, Artur Kornilowicz, Yasunari Shidama:
Contracting Mapping on Normed Linear Space. Formaliz. Math. 20(4): 291-301 (2012) - [j47]Kenichi Arai, Hiroyuki Okazaki, Yasunari Shidama:
Isomorphisms of Direct Products of Finite Cyclic Groups. Formaliz. Math. 20(4): 343-347 (2012) - [j46]Yasushige Watase, Noboru Endou, Yasunari Shidama:
On L1 Space Formed by Complex-Valued Partial Functions. Formaliz. Math. 20(4): 349-357 (2012) - [c25]Takashi Mitsuishi, Takanori Terashima, Nami Shimada, Toshimichi Homma, Kiyoshi Sawada, Yasunari Shidama:
Continuity of Defuzzification on L2 Space for Optimization of Fuzzy Control. AMT 2012: 73-81 - [c24]Takashi Mitsuishi, Takanori Terashima, Yasunari Shidama:
Optimization of SIRMs Fuzzy Model Using Łukasiewicz Logic. ICONIP (2) 2012: 108-116 - 2011
- [j45]Takao Inoué, Adam Naumowicz, Noboru Endou, Yasunari Shidama:
Partial Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces. Formaliz. Math. 19(1): 1-9 (2011) - [j44]Keiichi Miyajima, Takahiro Kato, Yasunari Shidama:
Riemann Integral of Functions from R into Real Normed Space. Formaliz. Math. 19(1): 17-22 (2011) - [j43]Hiroyuki Okazaki, Kenichi Arai, Yasunari Shidama:
Normal Subgroup of Product of Groups. Formaliz. Math. 19(1): 23-26 (2011) - [j42]Hiroyuki Okazaki, Noboru Endou, Yasunari Shidama:
More on Continuous Functions on Normed Linear Spaces. Formaliz. Math. 19(1): 45-49 (2011) - [j41]Hiroyuki Okazaki, Noboru Endou, Yasunari Shidama:
Cartesian Products of Family of Real Linear Spaces. Formaliz. Math. 19(1): 51-59 (2011) - [j40]Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama:
Formalization of Integral Linear Space. Formaliz. Math. 19(1): 61-64 (2011) - [j39]Takao Inoué, Adam Naumowicz, Noboru Endou, Yasunari Shidama:
Partial Differentiation, Differentiation and Continuity on n-Dimensional Real Normed Linear Spaces. Formaliz. Math. 19(2): 65-68 (2011) - [j38]Hiroyuki Okazaki, Noboru Endou, Keiko Narita, Yasunari Shidama:
Differentiable Functions into Real Normed Spaces. Formaliz. Math. 19(2): 69-72 (2011) - [j37]Katuhiko Kanazashi, Hiroyuki Okazaki, Yasunari Shidama:
Banach Algebra of Bounded Complex-Valued Functionals. Formaliz. Math. 19(2): 121-126 (2011) - [j36]Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama:
Set of Points on Elliptic Curve in Projective Coordinates. Formaliz. Math. 19(3): 131-138 (2011) - [j35]Keiko Narita, Artur Kornilowicz, Yasunari Shidama:
More on the Continuity of Real Functions. Formaliz. Math. 19(4): 233-239 (2011) - [c23]Takashi Mitsuishi, Takanori Terashima, Toshimichi Homma, Yasunari Shidama:
Fuzzy approximate reasoning using single input rule modules in L∞ space. AFRICON 2011: 1-6 - [c22]Takashi Mitsuishi, Yasunari Shidama:
Optimal Control Using Functional Type SIRMs Fuzzy Reasoning Method. ICANN (2) 2011: 237-244 - 2010
- [j34]Katuhiko Kanazashi, Noboru Endou, Yasunari Shidama:
Banach Algebra of Continuous Functionals and the Space of Real-Valued Continuous Functionals with Bounded Support. Formaliz. Math. 18(1-4): 11-16 (2010) - [j33]Kazuhisa Ishida, Yasunari Shidama:
Fixpoint Theorem for Continuous Functions on Chain-Complete Posets. Formaliz. Math. 18(1-4): 47-51 (2010) - [j32]Yasushige Watase, Noboru Endou, Yasunari Shidama:
On L^p Space Formed by Real-Valued Partial Functions. Formaliz. Math. 18(1-4): 159-169 (2010) - [j31]Keiichi Miyajima, Takahiro Kato, Yasunari Shidama:
Riemann Integral of Functions R into C. Formaliz. Math. 18(1-4): 201-206 (2010) - [j30]Takao Inou'e, Noboru Endou, Yasunari Shidama:
Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces. Formaliz. Math. 18(1-4): 207-212 (2010) - [j29]Hiroyuki Okazaki, Yasunari Shidama:
Probability Measure on Discrete Spaces and Algebra of Real-Valued Random Variables. Formaliz. Math. 18(1-4): 213-217 (2010) - [c21]Takashi Mitsuishi, Yasunari Shidama:
Fuzzy Number as Input for Approximate Reasoning and Applied to Optimal Control Problem. ICAISC (1) 2010: 144-151 - [c20]Takashi Mitsuishi, Hidefumi Kawakatsu, Yasunari Shidama:
Existence of Single Input Rule Modules for Optimal Fuzzy Logic Control. KES (3) 2010: 281-289
2000 – 2009
- 2009
- [j28]Yatsuka Nakamura, Artur Kornilowicz, Nagato Oya, Yasunari Shidama:
The Real Vector Spaces of Finite Sequences are Finite Dimensional. Formaliz. Math. 17(1-4): 1-9 (2009) - [j27]Mitsuru Jitsukawa, Pauline N. Kawamoto, Yasunari Shidama, Yatsuka Nakamura:
Cell Petri Net Concepts. Formaliz. Math. 17(1-4): 37-42 (2009) - [j26]Chanapat Pacharapokin, Hiroshi Yamazaki, Yasunari Shidama, Yatsuka Nakamura:
Complex Function Differentiability. Formaliz. Math. 17(1-4): 67-72 (2009) - [j25]Keiko Narita, Noboru Endou, Yasunari Shidama:
The Measurability of Complex-Valued Functional Sequences. Formaliz. Math. 17(1-4): 89-97 (2009) - [j24]Hiroyuki Okazaki, Yasunari Shidama:
Probability on Finite Set and Real-Valued Random Variables. Formaliz. Math. 17(1-4): 129-136 (2009) - [j23]Keiko Narita, Noboru Endou, Yasunari Shidama:
Lebesgue's Convergence Theorem of Complex-Valued Function. Formaliz. Math. 17(1-4): 137-145 (2009) - [j22]Hiroshi Yamazaki, Yasunari Shidama, Chanapat Pacharapokin, Yatsuka Nakamura:
The Cauchy-Riemann Differential Equations of Complex Functions. Formaliz. Math. 17(1-4): 147-149 (2009) - [j21]Noboru Endou, Hiroyuki Okazaki, Yasunari Shidama:
Hopf Extension Theorem of Measure. Formaliz. Math. 17(1-4): 157-162 (2009) - [j20]Keiichi Miyajima, Yasunari Shidama:
Riemann Integral of Functions from R into Rn. Formaliz. Math. 17(1-4): 179-185 (2009) - [j19]Masahiko Yamazaki, Hiroshi Yamazaki, Katsumi Wasaki, Yasunari Shidama:
Complex Integral. Formaliz. Math. 17(1-4): 233-236 (2009) - [j18]Takashi Mitsuishi, Yasunari Shidama:
Compactness of Family of Fuzzy Sets in L2 Space with Application to Optimal Control. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 92-A(4): 952-957 (2009) - [c19]Takashi Mitsuishi, Yasunari Shidama:
Height Defuzzification Method on L∞ Space. ICANN (1) 2009: 598-607 - [c18]Takashi Mitsuishi, Yasunari Shidama:
Defuzzification Using Area Method on L∞ Space. KES (2) 2009: 236-243 - 2008
- [j17]Hideki Sakurai, Hisayoshi Kunimune, Yasunari Shidama:
Uniform Boundedness Principle. Formaliz. Math. 16(1-4): 19-21 (2008) - [j16]Keiko Narita, Noboru Endou, Yasunari Shidama:
The First Mean Value Theorem for Integrals. Formaliz. Math. 16(1-4): 51-55 (2008) - [j15]Noboru Endou, Yasunari Shidama, Keiko Narita:
Egoroff's Theorem. Formaliz. Math. 16(1-4): 57-63 (2008) - [j14]Hiroyuki Okazaki, Yasunari Shidama:
Uniqueness of Factoring an Integer and Multiplicative Group Z/pZ*. Formaliz. Math. 16(1-4): 103-107 (2008) - [j13]Yasunari Shidama, Hikofumi Suzuki, Noboru Endou:
Banach Algebra of Bounded Functionals. Formaliz. Math. 16(1-4): 115-122 (2008) - [j12]Hidenori Matsuzaki, Noboru Endou, Yasunari Shidama:
Convex Sets and Convex Combinations on Complex Linear Spaces. Formaliz. Math. 16(1-4): 123-133 (2008) - [j11]Noboru Endou, Keiko Narita, Yasunari Shidama:
The Lebesgue Monotone Convergence Theorem. Formaliz. Math. 16(1-4): 167-175 (2008) - [j10]Noboru Endou, Keiko Narita, Yasunari Shidama:
Fatou's Lemma and the Lebesgue's Convergence Theorem. Formaliz. Math. 16(1-4): 305-309 (2008) - [j9]Masahiko Yamazaki, Hiroshi Yamazaki, Yasunari Shidama:
Extended Riemann Integral of Functions of Real Variable and One-sided Laplace Transform. Formaliz. Math. 16(1-4): 311-317 (2008) - [j8]Keiko Narita, Noboru Endou, Yasunari Shidama:
Integral of Complex-Valued Measurable Function. Formaliz. Math. 16(1-4): 319-324 (2008) - [j7]Grzegorz Bancerek, Yasunari Shidama:
Introduction to Matroids. Formaliz. Math. 16(1-4): 325-332 (2008) - [j6]Kazuhisa Ishida, Yasunari Shidama:
Model Checking. Part III. Formaliz. Math. 16(1-4): 339-353 (2008) - [j5]Yasushige Watase, Noboru Endou, Yasunari Shidama:
On L^1 Space Formed by Real-Valued Partial Functions. Formaliz. Math. 16(1-4): 361-369 (2008) - [j4]Hideki Sakurai, Hisayoshi Kunimune, Yasunari Shidama:
Open Mapping Theorem. Formaliz. Math. 16(1-4): 401-403 (2008) - [c17]Takashi Mitsuishi, Yasunari Shidama:
Admissible Fuzzy Controller in L2 Space. IEA/AIE 2008: 62-71 - [c16]Takashi Mitsuishi, Takanori Terashima, Toshimichi Homma, Yasunari Shidama:
Lipschitz Continuity of Approximate Reasoning. SNPD 2008: 135-140 - 2007
- [c15]Takashi Mitsuishi, Yasunari Shidama:
Continuity of Fuzzy Approximate Reasoning and Its Application to Optimization. Australian Conference on Artificial Intelligence 2007: 529-538 - [c14]Takashi Mitsuishi, Yasunari Shidama:
Continuity of product-sum-gravity method on L2 space using fuzzy number for premise variable. ISSPA 2007: 1-4 - 2005
- [c13]Hisayoshi Kunimune, Masaaki Niimura, Katsumi Wasaki, Yasushi Fuwa, Yasunari Shidama, Yatsuka Nakamura:
The Learning System of Shinshu University Graduate School of Science and Technology on the Internet. KES (3) 2005: 1296-1302 - [c12]Takashi Mitsuishi, Noboru Endou, Yasunari Shidama:
Continuity of Nakamori fuzzy model and its application to optimal feedback control. SMC 2005: 577-581 - 2004
- [c11]Takashi Mitsuishi, Yasunari Shidama:
Continuity of approximate reasoning using L-R fuzzy number as input. CDC 2004: 5112-5116 - [c10]Shinnosuke Yamaguchi, A. Nishino, Katsumi Wasaki, Yasunari Shidama:
The design verification for the 3DES encipher chip based on an extended Petri net and XML/Java executor. ICARCV 2004: 1994-1999 - 2003
- [c9]Masayuki Nakamura, Yuying Yang, Katsumi Wasaki, Yasunari Shidama:
Study on a noise reduction system of CATV network upstream for data communication. ICCCN 2003: 613-616 - [c8]Shinnosuke Yamaguchi, Katsumi Wasaki, Yasunari Shidama:
A High Reliability Design for Nfs Server Software By Using an Extended Petri Net. ICEIS (3) 2003: 498-502 - 2002
- [c7]Takashi Mitsuishi, Yasunari Shidama:
Minimization of quadratic performance function in T-S fuzzy model. FUZZ-IEEE 2002: 75-79 - [c6]Koichi Okada, Katsumi Wasaki, Yasunari Shidama:
The persistence of the Petri Net state-space. ICARCV 2002: 69-72 - [c5]Shinnosuke Yamaguchi, Katsumi Wasaki, Yasunari Shidama:
A high reliability design for NFS server software based on the logical coloured Petri net. ICARCV 2002: 73-77 - 2001
- [j3]Tadahiro Kaneda, Shoichiro Fujisawa, Takeo Yoshida, Yasumasa Yoshitani, Takashi Nishi, Yasunari Shidama, Katsumi Wasaki:
Ensemble by Seven Musical Performance Robots. J. Robotics Mechatronics 13(1): 50-55 (2001) - [c4]Takashi Mitsuishi, Jun Kawabe, Katsumi Wasaki, Yasunari Shidama:
Optimization of Fuzzy Feedback Control in L_Space. FUZZ-IEEE 2001: 896-899 - 2000
- [c3]Noboru Endou, Katsumi Wasaki, Keiji Ohkubo, Pauline N. Kawamoto, Yasunari Shidama:
A set of time dependent fuzzy membership functions and its compactness. ACC 2000: 2468-2471
1990 – 1999
- 1999
- [j2]Hiromi Kobayashi, Satoru Ichinose, Yasunari Shidama:
State fence diagrams - A graphical representation for designing reactive systems. Syst. Comput. Jpn. 30(6): 13-22 (1999) - 1998
- [c2]Akihiko Uchibori, Keiichi Miyajima, Yasunari Shidama, Hiroo Yamaura:
Optimizing fuzzy logic with genetic algorithm. KES (2) 1998: 126-131 - 1996
- [c1]Akihiko Uchibori, Hiroshi Yamazaki, Yasunari Shidama, Hiroo Yamaura:
An Optimizing Fuzzy Logic with Genetic Algorithms. International Conference on Evolutionary Computation 1996: 239-242 - 1995
- [j1]Hiromi Kobayashi, Yasunari Shidama:
A Formal Technique to Analyze Event Concurrent Response. IEICE Trans. Inf. Syst. 78-D(10): 1321-1323 (1995)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-09 13:15 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
