基本情報

所属
ZEN大学 知能情報社会学部 知能情報社会学科 教授
学位
博士(情報科学)(2024年9月 九州大学)
修士(工学)(1999年3月 京都大学)

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

論文

  32

MISC

  9

書籍等出版物

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

講演・口頭発表等

  68