KOIKE Hidekatsu

J-GLOBAL         Last updated: Feb 22, 2019 at 12:13
 
Avatar
Name
KOIKE Hidekatsu
Affiliation
Sapporo Gakuin University
Section
Faculty of Economics Department of Economics
Job title
Associate Professor
Degree
(BLANK)
Research funding number
60405636

Research Areas

 
 

Academic & Professional Experience

 
Apr 2016
 - 
Today
Professor, Faculty of Economy, Sapporo Gakuin University
 
Apr 2015
 - 
Mar 2016
Professor, Faculty of Social Information, Sapporo Gakuin University
 
Apr 2005
 - 
Mar 2015
Associate Professor, Faculty of Social Information, Sapporo Gakuin University
 

Education

 
 
 - 
1999
Graduate School, Division of Engineering, Hokkaido University
 
 
 - 
1997
Faculty of Engineering, Hokkai-Gakuen University
 

Published Papers

 
Efficient Computation of the Container Pre-Marshalling Problem with a Proof Method of the Impossibility of Solutions
KOIKE Hidekatsu
The Proceedings of the Research Institute of Sapporo Gakuin University   5 7-15   Mar 2018
Reducing Search Space of the Container Pre-Marshalling Problem
KOIKE Hidekatsu
The Proceedings of the Research Institute of Sapporo Gakuin University   4 9-15   Mar 2017
KOIKE Hidekatsu
2017 International Conference on Mathematical Methods & Computational Techniques in Science & Engineering (AIP Conference Proceedings)   1872(1) 020026   Feb 2017   [Refereed]
SGURP

@article{doi:10.1063/1.4996683,
author = {Hidekatsu Koike},
title = {Search space reduction with multiset for effectively solving the container pre-marshalling problem},
journal = {AIP Conference Proceedings},
volume = {1872},
number = {1},...
Review of Education in Faculty of Socail Information
KOIKE Hidekatsu
Social Information for Enhancement of Advanced Education   25(1-2) 30-39   Feb 2017

Misc

 
Program Synthesis is Based on Searching for Efficient Equivalent Transformation Rules
150-161   1999
A Foundation of a Thoery of Softwave Evolution based on the Equivalent Transform ation Model
International Workshop on Principles of Software Evolution   94-97   1999
Program Synthesis from a Set of Definite Clauses and a Query
5th International Conference on Information Systems Analysis and Synthesis   ISAS'99 11-18   1999
Generation of Equivalent Transformation Rules from a Set of Definite Clauses by using Meta-rules
International conference on Artificial Intelligence and Soft Computing   ASC'99 6-10   1999
Searching for Efficient Equivalent Transformation Rules for Problem Solving
99(76・MPS-26-13) 49-52   1999

Books etc

 
Program Synthesis System Based on Equivalent Transformation
1999   

Conference Activities & Talks

 
Search Space Reduction with Multiset for Effectively Solving the Container Pre-Marshalling Problem [Invited]
KOIKE Hidekatsu
2017 International Conference on Mathematical Methods & Computational Techniques in Science & Engineering   24 Feb 2017   
SGUPR
Search Space Reduction with Multiset for Effectively Solving the Container Pre-Marshalling Problem
2017 International Conference on Mathematical Methods & Computational Techniques in Science & Engineering
Murray Edwards College, University o...
no title
16 Jan 2017   

Research Grants & Projects

 
Automatic Program Generation Based on Equivalent Transformation