Haraguchi Kazuya

ハラグチカズヤ | Haraguchi Kazuya

Affiliation and department：

Research field (1)： Mathematical informatics

Research keywords (6)：オペレーションズ・リサーチ , Combinatorial optimization , 計算の複雑さ , 組合せパズルの自動生成 , アルゴリズム , 人工知能

Research theme for competitive and other funds (7)：

2022 - 2027 Advanced Studies and Developments on Discrete Preimage Problems
2024 - 2024 Computer-aided Compound Discovery Based on Artificial Integlligence and Linear Programming
2020 - 2023 Modeling and Algorithms for Discrete Problems
2013 - 2015 Development of "puzzle-base" for people's entertainment
2010 - 2012 A Novel Learning Method That Highlights the Order Relation between Data Examples

Show all

Papers (41)：

Daiki Watanabe, Takumi Tada, Kazuya Haraguchi. Comparison of Algorithms and Implementations for Enumerating Support-Closed Connected Induced Subgraphs. Journal of Information Processing. 2024. 32. 894-902
Jianshen Zhu, Naveed Ahmed Azam, Kazuya Haraguchi, Liang Zhao, Hiroshi Nagamochi, Tatsuya Akutsu. Molecular Design Based on Integer Programming and Splitting Data Sets by Hyperplanes. IEEE/ACM Transactions on Computational Biology and Bioinformatics. 2024. 21. 5. 1529-1541
Ryota Ido, Shengjuan Cao, Jianshen Zhu, Naveed Ahmed Azam, Kazuya Haraguchi, Liang Zhao, Hiroshi Nagamochi, Tatsuya Akutsu. A Method for Inferring Polymers Based on Linear Regression and Integer Programming. IEEE/ACM Transactions on Computational Biology and Bioinformatics. 2024
Takumi Tada, Kazuya Haraguchi. A Linear Delay Algorithm for Enumeration of 2-Edge/Vertex-Connected Induced Subgraphs. Proceedings of IWOCA 2023. 2023. 368-379
Kazuya Haraguchi, Hiroshi Nagamochi. Polynomial-delay Enumeration Algorithms in Set Systems. Theoretical Computer Science. 2023. 113963-113963

ｍore...

MISC (36)：

Muniba Batool, Naveed Ahmed Azam, Jianshen Zhu, Kazuya Haraguchi, Liang Zhao, Tatsuya Akutsu. A Unified Approach to Inferring Chemical Compounds with the Desired Aqueous Solubility. http://arxiv.org/abs/2409.04301. 2024
Bowen Song, Jianshen Zhu, Naveed Ahmed Azam, Kazuya Haraguchi, Liang Zhao, Tatsuya Akutsu. Cycle-Configuration: A Novel Graph-theoretic Descriptor Set for Molecular Inference. arXiv. 2024. arXiv.2408.05136
Kan Shota, Kazuya Haraguchi. SSD Set System, Graph Decomposition and Hamiltonian Cycle. arXiv. 2024. arXiv.2408.04615
Daigo Okada, Jianshen Zhu, Kan Shota, Yuuki Nishimura, Kazuya Haraguchi. Data mining method of single-cell omics data to evaluate a pure tissue environmental effect on gene expression level. arXiv. 2024. arXiv:2406.06969
Kotaro Torii, Keisuke Inoue, Keita Bekki, Kazuya Haraguchi, Minoru Kubo, Yuki Kondo, Takamasa Suzuki, Hanako Shimizu, Kyohei Uemoto, Masato Saito, et al. Origination of the circadian clock system in stem cells regulates cell differentiation. 2019

ｍore...

Books (1)：

Lectures and oral presentations (46)：

Inference of Molecules Based on Machine Learning and Mixed Integer Linear Programming
(Scheduling Symposium 2024 (SS2024) 2024)
Cycle-Configuration: A Novel Graph-theoretic Descriptor Set for Molecular Inference
(The 2024 Fall National Conference of Operations Research Society of Japan 2024)
整数計画法と機械学習に基づいた分子構造の予測
(J-OCTA特別講演会 2023)
Predicting Aqueous Solubility Based on Multiple linear Regression and Graph Theoretic Features
(The 6th Conference on Emerging Materials and Processes (CEMP 2023) 2023)
ランダムフォレストとMILPを用いた化合物推定法
(日本オペレーションズ・リサーチ学会 2023年秋季研究発表会 2023)

ｍore...

Education (4)：

2006 - 2007 京都大学大学院情報学研究科数理工学専攻研修員
2003 - 2006 京都大学大学院情報学研究科数理工学専攻博士課程
2001 - 2003 京都大学大学院情報学研究科数理工学専攻修士課程
1997 - 2001 Kyoto University Faculty of Engineering School of Informatics & Mathematical Science

Professional career (1)：

Work history (4)：

2020/09 - 現在 Kyoto University Graduate School of Informatics Associate Professor
2013/10 - 2020/08 Otaru University of Commerce Faculty of Commerce
2012/04 - 2013/09 Ishinomaki Senshu University School of Science and Engineering
2007/04 - 2012/03 Ishinomaki Senshu University School of Science and Engineering

Committee career (10)：

Show all

Awards (11)：

2024/11 - 情報処理学会 Specially Selected Paper Comparison of Algorithms and Implementations for Enumerating Support-closed Connected Induced Subgraphs
2024/09 - 電子情報通信学会基礎・境界ソサイエティ編集活動貢献賞
2024/09 - 情報処理学会 2024年度CS領域奨励賞
2019/07 - ISS2019 Best paper award for scheduling theory Recycling Solutions for Vertex Coloring Heuristics
2019/03 - 電子情報通信学会北海道支部平成30年度学生奨励賞

Show all

Association Membership(s) (4)：

スケジューリング学会 , THE INSTITUTE OF ELECTRONICS, INFORMATION AND COMMUNICATION ENGINEERS , THE OPERATIONS RESEARCH SOCIETY OF JAPAN , 情報処理学会

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page