Yasunari Shidama

ORCID

Publication Activity (10 Years)

Years Active: 1995-2022
Publications (10 Years): 21

Top Venues

Publications

Kazuhisa Nakasho, Yasunari Shidama
On Implicit and Inverse Function Theorems on Euclidean Spaces. Formaliz. Math. 30 (3) (2022)
Hiroshi Yamazaki, Keiichi Miyajima, Yasunari Shidama
Functional Space Consisted by Continuous Functions on Topological Space. Formaliz. Math. 29 (1) (2021)
Hiroshi Yamazaki, Keiichi Miyajima, Yasunari Shidama
Ascoli-Arzelà TheoremThis work was supported by JSPS KAKENHI Grant Numbers JP17K00182. Formaliz. Math. 29 (2) (2021)
Kazuhisa Nakasho, Hiroyuki Okazaki, Yasunari Shidama
Finite Dimensional Real Normed Spaces are Proper Metric Spaces. Formaliz. Math. 29 (4) (2021)
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) (2021)
Kazuhisa Nakasho, Yasunari Shidama
Continuity of Multilinear Operator on Normed Linear Spaces. Formaliz. Math. 27 (1) (2019)
Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
Operations of Points on Elliptic Curve in Affine Coordinates. Formaliz. Math. 27 (3) (2019)
Kazuhisa Nakasho, Yasunari Shidama
Implicit Function Theorem. Part II. Formaliz. Math. 27 (2) (2019)
Kazuhisa Nakasho, Yuichi Futa, Yasunari Shidama
Continuity of Bounded Linear Operators on Normed Linear Spaces. Formaliz. Math. 26 (3) (2018)
Keiko Narita, Kazuhisa Nakasho, Yasunari Shidama
F. Riesz Theorem. Formaliz. Math. 25 (3) (2017)
Yuichi Futa, Yasunari Shidama
Embedded Lattice and Properties of Gram Matrix. Formaliz. Math. 25 (1) (2017)
Kazuhisa Nakasho, Yuichi Futa, Yasunari Shidama
Implicit Function Theorem. Part I. Formaliz. Math. 25 (4) (2017)
Yuichi Futa, Yasunari Shidama
Isomorphism Theorem on Vector Spaces over a Ring. Formaliz. Math. 25 (3) (2017)
Yuichi Futa, Yasunari Shidama
Dual Lattice of ℤ-module Lattice. Formaliz. Math. 25 (2) (2017)
Kazuhisa Nakasho, Keiko Narita, Yasunari Shidama
The Basic Existence Theorem of Riemann-Stieltjes Integral. Formaliz. Math. 24 (4) (2016)
Keiko Narita, Kazuhisa Nakasho, Yasunari Shidama
Riemann-Stieltjes Integral. Formaliz. Math. 24 (3) (2016)
Yuichi Futa, Yasunari Shidama
Divisible ℤ-modules. Formaliz. Math. 24 (1) (2016)
Hiroshi Yamaguchi, Shigeo Tsujii, Hiroyuki Okazaki, Yasunari Shidama
Privacy Preserving Logic Formula Calculation in Cloud. ICSC (2016)
Yuichi Futa, Yasunari Shidama
Lattice of ℤ-module. Formaliz. Math. 24 (1) (2016)
Kazuhisa Nakasho, Hiroshi Yamazaki, Hiroyuki Okazaki, Yasunari Shidama
Conservation Rules of Direct Sum Decomposition of Groups. Formaliz. Math. 24 (1) (2016)
Kazuhisa Nakasho, Keiko Narita, Yasunari Shidama
Compactness in Metric Spaces. Formaliz. Math. 24 (3) (2016)
Noboru Endou, Kazuhisa Nakasho, Yasunari Shidama
σ-ring and σ-algebra of Sets1. Formaliz. Math. 23 (1) (2015)
Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
Torsion Part of ℤ-module. Formaliz. Math. 23 (4) (2015)
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)
Kazuhisa Nakasho, Hiroyuki Okazaki, Hiroshi Yamazaki, Yasunari Shidama
Equivalent Expressions of Direct Sum Decomposition of Groups1. Formaliz. Math. 23 (1) (2015)
Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
Matrix of ℤ-module1. Formaliz. Math. 23 (1) (2015)
Kazuhisa Nakasho, Yasunari Shidama
Documentation Generator Focusing on Symbols for the HTML-ized Mizar Library. CoRR (2015)
Keiko Narita, Yasunari Shidama, Noboru Endou
Weak Convergence and Weak Convergence. Formaliz. Math. 23 (3) (2015)
Kazuhisa Nakasho, Hiroshi Yamazaki, Hiroyuki Okazaki, Yasunari Shidama
Definition and Properties of Direct Sum Decomposition of Groups1. Formaliz. Math. 23 (1) (2015)
Keiko Narita, Noboru Endou, Yasunari Shidama
The Orthogonal Projection and the Riesz Representation Theorem. Formaliz. Math. 23 (3) (2015)
Kazuhisa Nakasho, Yasunari Shidama
Documentation Generator Focusing on Symbols for the HTML-ized Mizar Library. CICM (2015)
Keiko Narita, Noboru Endou, Yasunari Shidama
Dual Spaces and Hahn-Banach Theorem. Formaliz. Math. 22 (1) (2014)
Kazuhisa Nakasho, Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
Rank of Submodule, Linear Transformations and Linearly Independent Subsets of Z-module. Formaliz. Math. 22 (3) (2014)
Yuichi Futa, Hiroyuki Okazaki, Kazuhisa Nakasho, Yasunari Shidama
Torsion Z-module and Torsion-free Z-module. Formaliz. Math. 22 (4) (2014)
Adam Grabowski, Yasunari Shidama
Preface. Formaliz. Math. 22 (2) (2014)
Kazuhisa Nakasho, Yuichi Futa, Yasunari Shidama
Topological Properties of Real Normed Space. Formaliz. Math. 22 (3) (2014)
Takashi Mitsuishi, Takanori Terashima, Koji Saigusa, Nami Shimada, Toshimichi Homma, Kiyoshi Sawada, Yasunari Shidama
Continuity of Discrete-Time Fuzzy Systems. ICONIP (2) (2014)
Kazuhisa Ishida, Yasunari Shidama, Adam Grabowski
Definition of Flat Poset and Existence Theorems for Recursive Call. Formaliz. Math. 22 (1) (2014)
Keiko Narita, Noboru Endou, Yasunari Shidama
Bidual Spaces and Reflexivity of Real Normed Spaces. Formaliz. Math. 22 (4) (2014)
Mitsuru Jitsukawa, Pauline N. Kawamoto, Yasunari Shidama
Formulation of Cell Petri Nets. Formaliz. Math. 21 (4) (2013)
Hiroyuki Okazaki, Yasunari Shidama
Random Variables and Product of Probability Spaces. Formaliz. Math. 21 (1) (2013)
Yuichi Futa, Noboru Endou, Yasunari Shidama
Isometric Differentiable Functions on Real Normed Space. Formaliz. Math. 21 (4) (2013)
Noboru Endou, Yasunari Shidama
Differentiation in Normed Spaces. Formaliz. Math. 21 (2) (2013)
Hiroshi Yamazaki, Hiroyuki Okazaki, Kazuhisa Nakasho, Yasunari Shidama
Isomorphisms of Direct Products of Cyclic Groups of Prime Power Order. Formaliz. Math. 21 (3) (2013)
Takashi Mitsuishi, Takanori Terashima, Nami Shimada, Toshimichi Homma, Yasunari Shidama
SIRMs fuzzy approximate reasoning using L-R fuzzy number as premise valuable. SoSE (2013)
Yuichi Futa, Hiroyuki Okazaki, Daichi Mizushima, Yasunari Shidama
Gaussian Integers. Formaliz. Math. 21 (2) (2013)
Keiko Narita, Noboru Endou, Yasunari Shidama
Riemann Integral of Functions from ℝ into Real Banach Space. Formaliz. Math. 21 (2) (2013)
Noboru Endou, Hiroyuki Okazaki, Yasunari Shidama
Double Sequences and Limits. Formaliz. Math. 21 (3) (2013)
Hiroyuki Okazaki, Yuichi Futa, Yasunari Shidama
Constructing Binary Huffman Tree. Formaliz. Math. 21 (2) (2013)
Katuhiko Kanazashi, Hiroyuki Okazaki, Yasunari Shidama
The Ck Space. Formaliz. Math. 21 (1) (2013)
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) (2013)
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) (2013)
Keiko Narita, Noboru Endou, Yasunari Shidama
The Linearity of Riemann Integral on Functions from ℝ into Real Banach Space. Formaliz. Math. 21 (3) (2013)
Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
Submodule of free Z-module. Formaliz. Math. 21 (4) (2013)
Keiko Narita, Noboru Endou, Yasunari Shidama
Differential Equations on Functions from R into Real Banach Space. Formaliz. Math. 21 (4) (2013)
Hiroyuki Okazaki, Hiroshi Yamazaki, Yasunari Shidama
Isomorphisms of Direct Products of Finite Commutative Groups. Formaliz. Math. 21 (1) (2013)
Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
Z-modules. Formaliz. Math. 20 (1) (2012)
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)
Noboru Endou, Hiroyuki Okazaki, Yasunari Shidama
Higher-Order Partial Differentiation. Formaliz. Math. 20 (2) (2012)
Kenichi Arai, Hiroyuki Okazaki, Yasunari Shidama
Isomorphisms of Direct Products of Finite Cyclic Groups. Formaliz. Math. 20 (4) (2012)
Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
Quotient Module of Z-module. Formaliz. Math. 20 (3) (2012)
Keiko Narita, Artur Kornilowicz, Yasunari Shidama
. Formaliz. Math. 20 (1) (2012)
Yuichi Futa, Hiroyuki Okazaki, Daichi Mizushima, Yasunari Shidama
Operations of Points on Elliptic Curve in Projective Coordinates. Formaliz. Math. 20 (1) (2012)
Hiroyuki Okazaki, Yosiki Aoki, Yasunari Shidama
Extended Euclidean Algorithm and CRT Algorithm. Formaliz. Math. 20 (2) (2012)
Katuhiko Kanazashi, Hiroyuki Okazaki, Yasunari Shidama
(ω). Formaliz. Math. 20 (1) (2012)
Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
Free ℤ-module. Formaliz. Math. 20 (4) (2012)
Takashi Mitsuishi, Takanori Terashima, Yasunari Shidama
Optimization of SIRMs Fuzzy Model Using Łukasiewicz Logic. ICONIP (2) (2012)
Hideki Sakurai, Hiroyuki Okazaki, Yasunari Shidama
Banach's Continuous Inverse Theorem and Closed Graph Theorem. Formaliz. Math. 20 (4) (2012)
Yasunari Shidama
Differentiable Functions on Normed Linear Spaces. Formaliz. Math. 20 (1) (2012)
Yasushige Watase, Noboru Endou, Yasunari Shidama
On L1 Space Formed by Complex-Valued Partial Functions. Formaliz. Math. 20 (4) (2012)
Keiichi Miyajima, Artur Kornilowicz, Yasunari Shidama
-dimensional Real Normed Space. Formaliz. Math. 20 (1) (2012)
Hiroyuki Okazaki, Yasunari Shidama
Formalization of the Data Encryption Standard. Formaliz. Math. 20 (2) (2012)
Keiichi Miyajima, Artur Kornilowicz, Yasunari Shidama
Contracting Mapping on Normed Linear Space. Formaliz. Math. 20 (4) (2012)
Takao Inoué, Adam Naumowicz, Noboru Endou, Yasunari Shidama
-Dimensional Real Normed Linear Spaces. Formaliz. Math. 19 (2) (2011)
Takashi Mitsuishi, Yasunari Shidama
Optimal Control Using Functional Type SIRMs Fuzzy Reasoning Method. ICANN (2) (2011)
Hiroyuki Okazaki, Noboru Endou, Yasunari Shidama
Cartesian Products of Family of Real Linear Spaces. Formaliz. Math. 19 (1) (2011)
Keiko Narita, Artur Kornilowicz, Yasunari Shidama
More on the Continuity of Real Functions. Formaliz. Math. 19 (4) (2011)
Hiroyuki Okazaki, Noboru Endou, Keiko Narita, Yasunari Shidama
Differentiable Functions into Real Normed Spaces. Formaliz. Math. 19 (2) (2011)
Katuhiko Kanazashi, Hiroyuki Okazaki, Yasunari Shidama
Banach Algebra of Bounded Complex-Valued Functionals. Formaliz. Math. 19 (2) (2011)
Hiroyuki Okazaki, Noboru Endou, Yasunari Shidama
More on Continuous Functions on Normed Linear Spaces. Formaliz. Math. 19 (1) (2011)
Takashi Mitsuishi, Takanori Terashima, Toshimichi Homma, Yasunari Shidama
space. AFRICON (2011)
Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
Formalization of Integral Linear Space. Formaliz. Math. 19 (1) (2011)
Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
Set of Points on Elliptic Curve in Projective Coordinates. Formaliz. Math. 19 (3) (2011)
Keiichi Miyajima, Takahiro Kato, Yasunari Shidama
Riemann Integral of Functions from R into Real Normed Space. Formaliz. Math. 19 (1) (2011)
Hiroyuki Okazaki, Kenichi Arai, Yasunari Shidama
Normal Subgroup of Product of Groups. Formaliz. Math. 19 (1) (2011)
Takao Inoué, Adam Naumowicz, Noboru Endou, Yasunari Shidama
-Dimensional Real Normed Linear Spaces. Formaliz. Math. 19 (1) (2011)
Hiroyuki Okazaki, Yasunari Shidama
Probability Measure on Discrete Spaces and Algebra of Real-Valued Random Variables. Formaliz. Math. 18 (1-4) (2010)
Yasushige Watase, Noboru Endou, Yasunari Shidama
On L^p Space Formed by Real-Valued Partial Functions. Formaliz. Math. 18 (1-4) (2010)
Takashi Mitsuishi, Yasunari Shidama
Fuzzy Number as Input for Approximate Reasoning and Applied to Optimal Control Problem. ICAISC (1) (2010)
Takashi Mitsuishi, Hidefumi Kawakatsu, Yasunari Shidama
Existence of Single Input Rule Modules for Optimal Fuzzy Logic Control. KES (3) (2010)
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) (2010)
Takao Inou'e, Noboru Endou, Yasunari Shidama
Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces. Formaliz. Math. 18 (1-4) (2010)
Kazuhisa Ishida, Yasunari Shidama
Fixpoint Theorem for Continuous Functions on Chain-Complete Posets. Formaliz. Math. 18 (1-4) (2010)
Keiichi Miyajima, Takahiro Kato, Yasunari Shidama
Riemann Integral of Functions R into C. Formaliz. Math. 18 (1-4) (2010)
Hiroshi Yamazaki, Yasunari Shidama, Chanapat Pacharapokin, Yatsuka Nakamura
The Cauchy-Riemann Differential Equations of Complex Functions. Formaliz. Math. 17 (1-4) (2009)
Takashi Mitsuishi, Yasunari Shidama
Space with Application to Optimal Control. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (4) (2009)
Noboru Endou, Hiroyuki Okazaki, Yasunari Shidama
Hopf Extension Theorem of Measure. Formaliz. Math. 17 (1-4) (2009)
Mitsuru Jitsukawa, Pauline N. Kawamoto, Yasunari Shidama, Yatsuka Nakamura
Cell Petri Net Concepts. Formaliz. Math. 17 (1-4) (2009)
Yatsuka Nakamura, Artur Kornilowicz, Nagato Oya, Yasunari Shidama
The Real Vector Spaces of Finite Sequences are Finite Dimensional. Formaliz. Math. 17 (1-4) (2009)
Takashi Mitsuishi, Yasunari Shidama
Space. KES (2) (2009)

Yasunari Shidama.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Yasunari Shidama