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

師玉 康成

シダマ ヤスナリ | SHIDAMA YASUNARI
研究分野 (1件)： 数理情報学
競争的資金等の研究課題 (4件)：
  • 2017 - 2021 形式手法による暗号の安全性証明自動検証システムの開発
  • 2010 - 2014 MIZAR数学ライブラリの構築と大学数学向け高度遠隔教育用コンテンツ開発
  • 2003 - 2006 信州大学インターネット大学院におけるマルチメディア利用CAIシステムの高度化研究
  • 形式化数学記述言語による定理証明の形式化
論文 (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件)：
もっと見る
講演・口頭発表等 (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