
	Chemical structure search How to Search	Import MOLfile format is only available (V3000 format is not available) Exact match Substructure search Superstructure search Substructure or superstructure search Similarity search

Rchr

J-GLOBAL ID：200901037210898840 Update date: Jan. 16, 2025

SHIDAMA YASUNARI

シダマヤスナリ | SHIDAMA YASUNARI

Research field (1)： Mathematical informatics

Research theme for competitive and other funds (4)：

2017 - 2021 Developing Automated formal Verification System for Cryptology
2010 - 2014 Content Development for Distance Education in Advanced University Mathematics Using Mizar
2003 - 2006 Advanced Research in CAI System Utilizing Multimedia at Shinshu University Graduate School on the Internet
Formalized Mathematics

Papers (214)：

Kazuhisa Nakasho, Yasunari Shidama. Higher-Order Differentiation and Inverse Function Theorem in Real Normed Spaces. Formalized Mathematics. 2024. 32. 1. 247-269
Kazuhisa Nakasho, Yasunari Shidama. On the Properties of Curves and Parametrization-Independent Isoperimetric Inequality. Formalized Mathematics. 2024. 32. 1. 195-201
Kazuhisa Nakasho, Yasunari Shidama. Differentiability Properties of Lipschitzian Bilinear Operators in Real Normed Spaces. Formalized Mathematics. 2024. 32. 1. 165-172
Kazuhisa Nakasho, Yasunari Shidama. Classical Isoperimetric Theorem. Formalized Mathematics. 2024. 32. 1. 187-194
Noboru Endou, Yasunari Shidama. Integral of Continuous Three Variable Functions. Formaliz. Math. 2024. 32. 1. 9-31

MISC (297)：

Lectures and oral presentations (1)：

Privacy Preserving Logic Formula Calculation in Cloud
(Tenth IEEE International Conference on Semantic Computing, ICSC 2016 2016)

Awards (1)：

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.


	Free word	※Add the following synonyms, you can increase the number of hits.




		～