研究者
J-GLOBAL ID：200901037210898840   更新日: 2024年02月01日

師玉 康成

シダマ ヤスナリ | SHIDAMA YASUNARI
研究分野 (1件)： 数理情報学
競争的資金等の研究課題 (4件)：
  • 2017 - 2021 形式手法による暗号の安全性証明自動検証システムの開発
  • 2010 - 2014 MIZAR数学ライブラリの構築と大学数学向け高度遠隔教育用コンテンツ開発
  • 2003 - 2006 信州大学インターネット大学院におけるマルチメディア利用CAIシステムの高度化研究
  • 形式化数学記述言語による定理証明の形式化
論文 (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
もっと見る
MISC (297件)：
もっと見る
講演・口頭発表等 (1件)：
  • Privacy Preserving Logic Formula Calculation in Cloud
    (Tenth IEEE International Conference on Semantic Computing, ICSC 2016 2016)
受賞 (1件)：
  • 2008 - Association of Mizar Users Sleszyński賞
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM