研究者
J-GLOBAL ID:201101027486642825
更新日: 2022年12月27日
小島 健介
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
の登録情報に基づき表示しています。 登録・更新については、
こちら
をご覧ください。
前のページに戻る
TOP
BOTTOM