Research field (2):
Intelligent informatics
, Software
Research keywords (7):
プログミング言語
, 人工知能
, ソフトウェア工学
, Programming Language
, Equivalent Transformation
, Artificial Intelligence
, Software Engineering
Research theme for competitive and other funds (8):
2020 - 2023 Solving container congestion problems by fast enumeration of optimal answers
2016 - 2017 学生と協力した教育と学生生活をサポートするアプリの開発
2016 - 2017 NP困難な問題の並列処理を用いた解法に関する研究
2006 - 2009 The Building of Regional Data Archive as the Historical Museum of Social Research
2006 - 2008 A Study of Automatic Optimization for Web Services Processing Dynamic Data
2005 - 2007 Development of a Collaborative e-Learning System and Educational Methods Based on Enquity-Based Learning and Adaptive Instruction Methodology
等価変換に基づくプログラム自動生成
Automatic Program Generation Based on Equivalent Transformation
Show all
Papers (6):
Hidekatsu Koike. Software Framework Design for Fast Enumeration of Optimal Solutions to Combinatorial Optimization Problems. Proceedings of the Research institute of Sapporo Gakuin University. 2021. 8. 67-78
Program Synthesis System Based on Equivalent Transformation
1999
Lectures and oral presentations (2):
Search Space Reduction with Multiset for Effectively Solving the Container Pre-Marshalling Problem
(2017 International Conference on Mathematical Methods & Computational Techniques in Science & Engineering 2017)
no title
(2017)
Education (4):
- 1999 Hokkaido University
- 1999 Hokkaido University Graduate School, Division of Engineering
- 1997 Hokkai-Gakuen University Faculty of Engineering
- 1997 Hokkai-Gakuen University Faculty of Engineering
Professional career (1):
(BLANK)
Work history (5):
2016/04 - 現在 Sapporo Gakuin University Faculty of Economy Professor
2015/04 - 2016/03 Sapporo Gakuin University Faculty of Social Information Professor
2005/04 - 2015/03 Sapporo Gakuin University Faculty of Social Information Associate Professor