基本情報

所属
日本電信電話株式会社 コミュニケーション科学基礎研究所 主幹研究員 (NTT基礎数学研究センタ プロジェクトマネージャ, 情報基礎理論研究グループ グループリーダ)

ORCID ID
 https://orcid.org/0009-0001-0526-6540
J-GLOBAL ID
202301001019655177
researchmap会員ID
R000054210

学歴

  2

論文

  30

MISC

  9

書籍等出版物

  3
  • 薩摩, 順吉, 大石, 進一, 杉原, 正顕, 日本応用数理学会
    朝倉書店 2013年10月 (ISBN: 9784254111415)
  • 萩谷, 昌己, 塚田, 恭章, 日本応用数理学会 (担当:分担執筆, 範囲:「第8章 マッピング補題-計算論的トレースから記号論的トレースへ」(櫻田英樹、萩谷昌己)pp.65-86、および「第4章 ゲーム列による安全性証明の基礎」(真野健、櫻田英樹、河辺義信、塚田恭章)pp.151-184)
    共立出版 2010年7月 (ISBN: 9784320019508)
  • 片方, 善治
    フジ・テクノシステム 2004年7月 (ISBN: 4938555948)

講演・口頭発表等

  65