小島 健介
Kojima Kensuke
更新日: 2022/12/27
基本情報
- 学位
-
博士(情報学)(京都大学)
- J-GLOBAL ID
- 201101027486642825
- researchmap会員ID
- B000002643
数学・論理学・計算機科学の境界あたりに興味があります。
最近の主な研究内容はプログラムの形式的検証に関連する話題です。
アルゴリズムや計算量、最適化、機械学習などにも興味を持っています。
最近の主な研究内容はプログラムの形式的検証に関連する話題です。
アルゴリズムや計算量、最適化、機械学習などにも興味を持っています。
論文
18-
第108回人工知能基本問題研究会, SIG-FPAI-B802 45-49 2019年1月
-
Combinatorial Optimization and Applications 303-315 2019年 査読有り
-
SIG-FPAI B5(03) 57-62 2018年3月
-
Journal of Automated Reasoning 60(3) 279-298 2018年3月1日 査読有り
-
Theoretical Computer Science 2018年 査読有り
-
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC 18(1) 3:1-3:43 2017年4月 査読有り
-
CoRR abs/1709.00314 2017年 査読有り
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10695 514-533 2017年 査読有り
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10695 491-513 2017年 査読有り
-
第18回プログラミングおよびプログラミング言語ワークショップ論文集 2016年3月 査読有り
-
Verified Software: Theories, Tools, and Experiments, VSTTE 2016 9971 90-106 2016年 査読有り
-
STATIC ANALYSIS, (SAS 2016) 9837 278-299 2016年 査読有り
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 8301 58-73 2013年 査読有り
-
LOGIC JOURNAL OF THE IGPL 20(1) 331-348 2012年2月 査読有り
-
REPORTS ON MATHEMATICAL LOGIC 47 87-113 2012年 査読有り
-
INFORMATION AND COMPUTATION 209(12) 1491-1503 2011年12月 査読有り
-
Proceedings of the Workshop on Intuitionistil Modal Logic and Applications (IMLA'08) 2008年6月
MISC
1-
人工知能基本問題研究会 112 61-66 2020年3月8日
講演・口頭発表等
5-
International Symbosium on Post Petascale System Software 2014年12月2日
-
PPL 2014 2014年3月5日
-
PPL 2013 2013年3月4日
-
Topology, algebra and categories in logic (TACL) 2009 2009年7月
-
Intuitionistic modal logic and applications (IMLA) '08 2008年6月