小島健介

Kensuke Kojima

研究分野 (4件)：ソフトウェア , 情報学基礎論 , 応用数学、統計数学 , 数学基礎

研究キーワード (6件)：理論計算機科学 , 形式手法 , 直観主義論理 , 様相論理 , 非古典論理 , 数理論理学

論文 (18件)：

小島健介, 呉可天. 二部グラフにおける(k,l)-Plexのための形式概念解析の拡張. 第108回人工知能基本問題研究会, SIG-FPAI-B802. 2019. 45-49
Yasuaki Kobayashi, Kensuke Kojima, Norihide Matsubara, Taiga Sone, Akihiro Yamamoto. Algorithms and Hardness Results for the Maximum Balanced Connected Subgraph Problem. Combinatorial Optimization and Applications. 2019. 303-315
小島健介. ブール関数と組合せ集合の圏論的性質に基づくBDDとZDDの比較. SIG-FPAI. 2018. B5. 03. 57-62
Kensuke Kojima, Akifumi Imanishi, Atsushi Igarashi. Automated Verification of Functional Correctness of Race-Free GPU Programs. Journal of Automated Reasoning. 2018. 60. 3. 279-298
Kensuke Kojima, Minoru Kinoshita, Kohei Suenaga. Generalized homogeneous polynomials for efficient template-based nonlinear invariant synthesis. Theoretical Computer Science. 2018

MISC (1件)：

久保田稜, 小林靖明, 小島健介, 山本章博. 可換マッチング問題の固定パラメーター容易性に関する研究 (特集「命題論理の充足可能性問題SATの最新動向」および一般). 人工知能基本問題研究会. 2020. 112. 61-66

講演・口頭発表等 (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の登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

小島 健介