京都大学 国際高等教育院附属データ科学イノベーション教育研究センター

075-753-9691075-753-9691 お問い合せお問い合せ
facebook

京都大学 国際高等教育院附属データ科学イノベーション教育研究センター

MENU

小島 健介

氏名 小島 健介
職名 特定講師(情報学研究科 兼任)
Email kozima [at] kuis.kyoto-u.ac.jp
オフィス 近衛館 302
研究分野 数理論理学
データマイニング
プログラム検証
略歴 2012年4月〜2017年3月 京都大学情報学研究科 通信情報システム専攻 研究員
2017年4月〜2019年5月15日 京都大学情報学研究科 知能情報学専攻 特定研究員
2019年5月16日〜現在 京都大学国際高等教育院附属データ科学イノベーション教育研究センター 特定講師

2016年4月〜2016年9月 関西学院大学 非常勤講師
代表的な論文等 Kensuke Kojima and Ketian Wu.
二部グラフにおける$(k,l)$-Plexのための形式概念解析の拡張.
第108回人工知能基本問題研究会, January 30, 2019.

Kensuke Kojima, Minoru Kinoshita and Kohei Suenaga.
Generalized Homogeneous Polynomials for Efficient
Template-Based Nonlinear Invariant Synthesis.
In Theoretical Computer Science, 747, pages 33--47, 2018.

Kensuke Kojima, Akifumi Imanishi, and Atsushi Igarashi.
Automated verification of functional correctness of race-free GPU programs.
Journal of Automated Reasoning, 60(3):279-298, 2018.

Kensuke Kojima and Atsushi Igarashi.
A Hoare Logic for GPU kernels.
ACM Transactions on Computational Logic, 18(1), pages 3:1--3:43, 2017.

Kensuke Kojima.
Relational and Neighborhood Semantics for Intuitionistic Modal Logic.
Reports on Mathematical Logic, 47, pages 87--113, 2012.

Kensuke Kojima.
Which Classical Correspondence is Valid in Intuitionistic Modal Logic?
Logic Journal of the IGPL, 20(1), pages 331--348, 2012.

Kensuke Kojima and Atsushi Igarashi.
Constructive linear-time temporal logic: Proof systems and Kripke semantics.
Information and Computation, 209(12), pages 1491–-1503, 2011.