小島 健介

最終更新日時: 2019/06/25 15:22:49

印刷する

氏名(漢字/フリガナ/アルファベット表記)
小島 健介/コジマ ケンスケ/Kojima, Kensuke
所属部署・職名(部局/所属/講座等/職名)
国際高等教育院/国際高等教育院附属データ科学イノベーション教育研究センター/ /特定講師
取得学位
学位名(日本語) 学位名(英語) 大学(日本語) 大学(英語) 取得区分
修士(情報学) Master of Science, Informatics 京都大学 Kyoto University
博士(情報学) Ph.D., Informatics 京都大学 Kyoto University
ORCID ID
https://orcid.org/0000-0001-7245-1810
researchmap URL
https://researchmap.jp/kozima
研究テーマ
(日本語)
プログラム検証、関係データマイニング、非古典論理
(英語)
program verification, relational data mining, non-classical logics
研究概要
(日本語)
数学や数理論理学とその計算機科学への応用に興味を持ち、研究を行っている。最近の研究内容は主にプログラムの形式検証と、データマイニング分野における双クラスタリングの理論的研究である。現在は関係データからのマイニング手法を形式概念解析の観点から理論的に整理することを試みている。
(英語)
My research interest lies at the intersection of mathematics, logic, and computer science. My recent work includes formal verification of programs and theoretical study of biclustering in data mining. Currently I am trying to establish a theoretical account for methods in relational data mining based on formal concept analysis.
研究分野(キーワード)
キーワード(日本語) キーワード(英語)
数理論理学 mathematical logic
数学基礎論 foundations of mathematics
データマイニング data mining
プログラム理論 theories of programming
論文
著者 著者(日本語) 著者(英語) タイトル タイトル(日本語) タイトル(英語) 書誌情報等 書誌情報等(日本語) 書誌情報等(英語) 出版年月 査読の有無 記述言語 掲載種別 公開
小島健介, 呉 可天 小島健介, 呉 可天 Kojima, Kensuke and Wu, Ketian 二部グラフにおける(k,l)-Plexのための形式概念解析の拡張 二部グラフにおける(k,l)-Plexのための形式概念解析の拡張 Extension of Formal Concept Analysis for (k,l)-Plex in Bipartite Graphs 第108回人工知能基本問題研究会, SIG-FPAI-B802, 45-49 第108回人工知能基本問題研究会, SIG-FPAI-B802, 45-49 , 45-49 2019/01 日本語 研究論文(その他学術会議資料等) 公開
小島健介 小島健介 Kojima, Kensuke ブール関数と組合せ集合の圏論的性質に基づくBDDとZDDの比較 ブール関数と組合せ集合の圏論的性質に基づくBDDとZDDの比較 Comparing BDDs and ZDDs via Categorical Properties of Boolean Functions and Combination Sets SIG-FPAI, B5, 03, 57-62 SIG-FPAI, B5, 03, 57-62 SIG-FPAI, B5, 03, 57-62 2018/03 公開
Kensuke Kojima,Akifumi Imanishi,Atsushi Igarashi Kensuke Kojima,Akifumi Imanishi,Atsushi Igarashi Kensuke Kojima,Akifumi Imanishi,Atsushi Igarashi Automated Verification of Functional Correctness of Race-Free GPU Programs. Automated Verification of Functional Correctness of Race-Free GPU Programs. Automated Verification of Functional Correctness of Race-Free GPU Programs. J. Autom. Reasoning, 60, 3, 279-298 J. Autom. Reasoning, 60, 3, 279-298 J. Autom. Reasoning, 60, 3, 279-298 2018 公開
Kensuke Kojima,Atsushi Igarashi Kensuke Kojima,Atsushi Igarashi Kensuke Kojima,Atsushi Igarashi A Hoare Logic for GPU Kernels. A Hoare Logic for GPU Kernels. A Hoare Logic for GPU Kernels. ACM Trans. Comput. Log., 18, 1, 3:1-3:43 ACM Trans. Comput. Log., 18, 1, 3:1-3:43 ACM Trans. Comput. Log., 18, 1, 3:1-3:43 2017 公開
Takamasa Okudono,Yuki Nishida,Kensuke Kojima,Kohei Suenaga,Kengo Kido,Ichiro Hasuo Takamasa Okudono,Yuki Nishida,Kensuke Kojima,Kohei Suenaga,Kengo Kido,Ichiro Hasuo Takamasa Okudono,Yuki Nishida,Kensuke Kojima,Kohei Suenaga,Kengo Kido,Ichiro Hasuo Sharper and Simpler Nonlinear Interpolants for Program Verification. Sharper and Simpler Nonlinear Interpolants for Program Verification. Sharper and Simpler Nonlinear Interpolants for Program Verification. Programming Languages and Systems - 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings, 491-513 Programming Languages and Systems - 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings, 491-513 Programming Languages and Systems - 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings, 491-513 2017 公開
Hirofumi Nakamura,Kensuke Kojima,Kohei Suenaga,Atsushi Igarashi Hirofumi Nakamura,Kensuke Kojima,Kohei Suenaga,Atsushi Igarashi Hirofumi Nakamura,Kensuke Kojima,Kohei Suenaga,Atsushi Igarashi A Nonstandard Functional Programming Language. A Nonstandard Functional Programming Language. A Nonstandard Functional Programming Language. Programming Languages and Systems - 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings, 514-533 Programming Languages and Systems - 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings, 514-533 Programming Languages and Systems - 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings, 514-533 2017 公開
奥村 健太郎, 小島 健介, 五十嵐 淳 奥村 健太郎, 小島 健介, 五十嵐 淳 奥村 健太郎, 小島 健介, 五十嵐 淳 SIMTのためのHoare論理のCoqを用いた形式化と並列prefix-sumアルゴリズムの検証 SIMTのためのHoare論理のCoqを用いた形式化と並列prefix-sumアルゴリズムの検証 SIMTのためのHoare論理のCoqを用いた形式化と並列prefix-sumアルゴリズムの検証 第18回プログラミングおよびプログラミング言語ワークショップ論文集 第18回プログラミングおよびプログラミング言語ワークショップ論文集 第18回プログラミングおよびプログラミング言語ワークショップ論文集 2016/03 日本語 研究論文(研究会、シンポジウム資料等) 公開
Kensuke Kojima, Minoru Kinoshita, and Kohei Suenaga Kensuke Kojima, Minoru Kinoshita, and Kohei Suenaga Kensuke Kojima, Minoru Kinoshita, and Kohei Suenaga Generalized Homogeneous Polynomials for Efficient Template-Based Nonlinear Invariant Synthesis Generalized Homogeneous Polynomials for Efficient Template-Based Nonlinear Invariant Synthesis Generalized Homogeneous Polynomials for Efficient Template-Based Nonlinear Invariant Synthesis to appear in the proceedings of SAS 2016, 9837 LNCS, 278-299 to appear in the proceedings of SAS 2016, 9837 LNCS, 278-299 to appear in the proceedings of SAS 2016, 9837 LNCS, 278-299 2016 英語 研究論文(国際会議プロシーディングス) 公開
Kensuke Kojima, Akifumi Imanishi and Atsushi Igarahi Kensuke Kojima, Akifumi Imanishi and Atsushi Igarahi Kensuke Kojima, Akifumi Imanishi and Atsushi Igarahi Automated Verification of Functional Correctness of Race-Free GPU Programs Automated Verification of Functional Correctness of Race-Free GPU Programs Automated Verification of Functional Correctness of Race-Free GPU Programs to appear in the postproceedings of VSTTE 2016 to appear in the postproceedings of VSTTE 2016 to appear in the postproceedings of VSTTE 2016 2016 英語 研究論文(国際会議プロシーディングス) 公開
Kensuke Kojima and Atsushi Igarashi Kensuke Kojima and Atsushi Igarashi Kensuke Kojima and Atsushi Igarashi A Hoare Logic for SIMT Programs A Hoare Logic for SIMT Programs A Hoare Logic for SIMT Programs LNCS, 8301 LNCS, 8301 LNCS, 8301 2013 英語 研究論文(国際会議プロシーディングス) 公開
Kensuke Kojima Kensuke Kojima Kensuke Kojima Which Classical Correspondence is Valid in Intuitionistic Modal Logic? Which Classical Correspondence is Valid in Intuitionistic Modal Logic? Which Classical Correspondence is Valid in Intuitionistic Modal Logic? Logic Journal of the IGPL, 20, 1, 331-348 Logic Journal of the IGPL, 20, 1, 331-348 Logic Journal of the IGPL, 20, 1, 331-348 2012/12 英語 研究論文(学術雑誌) 公開
Kensuke Kojima Kensuke Kojima Kensuke Kojima Relational and neighborhood semantics for intuitionistic modal logic Relational and neighborhood semantics for intuitionistic modal logic Relational and neighborhood semantics for intuitionistic modal logic Reports on Mathematical Logic, 47, 87-113 Reports on Mathematical Logic, 47, 87-113 Reports on Mathematical Logic, 47, 87-113 2012 英語 研究論文(学術雑誌) 公開
Kensuke Kojima and Atsushi Igarashi Kensuke Kojima and Atsushi Igarashi Kensuke Kojima and Atsushi Igarashi Constructive Linear-Time Temporal Logic: Proof Systems and Kripke Semantics Constructive Linear-Time Temporal Logic: Proof Systems and Kripke Semantics Constructive Linear-Time Temporal Logic: Proof Systems and Kripke Semantics Information and Computation, 209, 12, 1491-1503 Information and Computation, 209, 12, 1491-1503 Information and Computation, 209, 12, 1491-1503 2011/12 英語 研究論文(学術雑誌) 公開
Kensuke Kojima, Minoru Kinoshita, and Kohei Suenaga Kensuke Kojima, Minoru Kinoshita, and Kohei Suenaga Generalized homogeneous polynomials for efficient template-based nonlinear invariant synthesis Generalized homogeneous polynomials for efficient template-based nonlinear invariant synthesis Generalized homogeneous polynomials for efficient template-based nonlinear invariant synthesis Theoretical Computer Science Theoretical Computer Science Theoretical Computer Science 英語 研究論文(学術雑誌) 公開

  • <<
  • >>
  • 表示
タイトル言語:
Misc
著者 著者(日本語) 著者(英語) タイトル タイトル(日本語) タイトル(英語) 書誌情報等 書誌情報等(日本語) 書誌情報等(英語) 出版年月 査読の有無 記述言語 掲載種別 公開
小島健介 小島健介 Kojima, Kensuke Semantical study of intuitionistic modal logics Semantical study of intuitionistic modal logics Semantical study of intuitionistic modal logics 英語 研究論文 公開
タイトル言語:
講演・口頭発表等
タイトル タイトル(日本語) タイトル(英語) 会議名 会議名(日本語) 会議名(英語) 主催者 主催者(日本語) 主催者(英語) 開催年月日 記述言語 会議種別 公開
Formal Verification of the Correctness of CUDA Programs Using Hoare Logic Formal Verification of the Correctness of CUDA Programs Using Hoare Logic Formal Verification of the Correctness of CUDA Programs Using Hoare Logic International Symbosium on Post Petascale System Software International Symbosium on Post Petascale System Software International Symbosium on Post Petascale System Software 2014/12/02 英語 ポスター発表 公開
Generic GluonJ に向けて Generic GluonJ に向けて Towards Generic GluonJ (in Japanese) PPL 2014 PPL 2014 PPL 2014 2014/03/05 日本語 ポスター発表 公開
SIMT プログラムのためのホーア論理 SIMT プログラムのためのホーア論理 A Hoare logic for SIMT programs (in Japanese) PPL 2013 PPL 2013 PPL 2013 2013/03/04 日本語 ポスター発表 公開
Birelational Kripke semantics for an intuitionistic LTL Birelational Kripke semantics for an intuitionistic LTL Birelational Kripke semantics for an intuitionistic LTL Topology, algebra and categories in logic (TACL) 2009 Topology, algebra and categories in logic (TACL) 2009 Topology, algebra and categories in logic (TACL) 2009 2009/07 英語 口頭発表(一般) 公開
On Constructive Linear-Time Temporal Logic On Constructive Linear-Time Temporal Logic On Constructive Linear-Time Temporal Logic Intuitionistic modal logic and applications (IMLA) '08 Intuitionistic modal logic and applications (IMLA) '08 Intuitionistic modal logic and applications (IMLA) '08 2008/06 英語 口頭発表(一般) 公開
タイトル言語: