研究者
J-GLOBAL ID:201101027486642825   更新日: 2020年09月01日

小島 健介

Kensuke Kojima
所属機関・部署:
職名: 特定講師
研究分野 (4件): 情報学基礎論 ,  応用数学、統計数学 ,  数学基礎 ,  ソフトウェア
研究キーワード (6件): 理論計算機科学 ,  形式手法 ,  直観主義論理 ,  様相論理 ,  非古典論理 ,  数理論理学
論文 (16件):
もっと見る
講演・口頭発表等 (5件):
  • Formal Verification of the Correctness of CUDA Programs Using Hoare Logic
    (International Symbosium on Post Petascale System Software 2014)
  • Generic GluonJ に向けて
    (PPL 2014 2014)
  • SIMT プログラムのためのホーア論理
    (PPL 2013 2013)
  • Birelational Kripke semantics for an intuitionistic LTL
    (Topology, algebra and categories in logic (TACL) 2009 2009)
  • On Constructive Linear-Time Temporal Logic
    (Intuitionistic modal logic and applications (IMLA) '08 2008)
学位 (1件):
  • 博士(情報学) (京都大学)
所属学会 (2件):
ACM ,  日本ソフトウェア科学会
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る