Rchr
J-GLOBAL ID：200901037210898840   Update date: Feb. 01, 2024

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 (207)：
  • Kazuhisa Nakasho, Yasunari Shidama. On Implicit and Inverse Function Theorems on Euclidean Spaces. Formalized Mathematics. 2022. 30. 3. 159-168
  • Kazuhisa Nakasho, Hiroyuki Okazaki, Yasunari Shidama. Real Vector Space and Related Notions. Formalized Mathematics. 2021. 29. 2. 117-127
  • Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama. Operations of Points on Elliptic Curve in Affine Coordinates. FORMALIZED MATHEMATICS. 2019. 27. 3. 315-320
  • Kazuhisa Nakasho, Yasunari Shidama. Implicit Function Theorem. Part II. FORMALIZED MATHEMATICS. 2019. 27. 2. 117-131
  • Kazuhisa Nakasho, Yasunari Shidama. Continuity of Multilinear Operator on Normed Linear Spaces. FORMALIZED MATHEMATICS. 2019. 27. 1. 61-65
ｍore...
MISC (297)：
ｍore...
Lectures and oral presentations  (1)：
  • Privacy Preserving Logic Formula Calculation in Cloud
    (Tenth IEEE International Conference on Semantic Computing, ICSC 2016 2016)
Awards (1)：
  • 2008 - Association of Mizar Users The Sleszyński Price
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM