コイケ ヒデカツ
  Koike Hidekatsu
  小池 英勝
  経済学部
  経済学科
  教授
■ 学位・学歴
1. (学位取得) 北海道大学 博士(工学)

■ 現在の専門分野
ソフトウエア, 知能情報学 (キーワード:ソフトウェア工学、人工知能、プログミング言語)

■ 授業科目
シラバス検索画面へ

■ 所属学会
1. 1998/04~ 電子情報通信学会
2. 2003/05~ IEEE Computer Society
3. 2005/07~ ACM SIGUCCS

■ 著書・論文歴
<論文>
1. 2008/09 自動採点システムを用いたコンピューターリテラシー教育の質保証  (共著) 
2. 2007/10 Toward A Software Development Model for Automatic Marking Software  (共著) 
3. 2006/11 Using an Automatic Marking System for Programming Courses  (共著) 
4. 2006/07 Componentwise Program Construction: Requirements and Solutions  (共著) 
5. 2006/06 Program Generation in the Equivalent Transformation Computation Model  (共著) 
6. 2006/04 Componentwise program construction: the equivalent transformation computation model versus the logic programming model  (共著) 
7. 2006/01 Dynamic Interaction of Syntactic and Semantic Analyses Based on the Equivalent Transformation Computation Model  (共著) 
8. 2006/01 Converting Constraint Handling Rules to Equivalent Transformation Rules  (共著) 
9. 2006/01 Program Generation in the Equivalent Transformation Computation Model using the Squeeze Method  (共著) 
10. 2006/01 Converting Constraint Handling Rules to Equivalent Transformation Rules  (共著) 
11. 2005/11 Developing an E-Learning System Which Enhances Students' Academic Motivation  (共著) 
12. 2005/09 Parallel Processing Method based on Equivalent Transformation  (共著) 
13. 2005/09 A Programming Language Interpreter System Based on Equivalent Transformation  (共著) 
14. 2004/12 搾り出し法を基礎としたETプログラミング演習の試み  (共著) 
15. 2004/12 Dynamic Interaction Of Syntactic And Semantic Analyses Based On The Equivalent Transformation Computation Model  (共著) 
16. 2004/12 Converting Constraint Handling Rules Into Equivalent Transformation Rules  (共著) 
17. 2003/12 Constraint Solving Specializations for Equality on an Interval-Variable Domain  (共著) 
18. 2003/12 Solving Constraint Satisfaction Problems based on Equivalent Transformation  (共著) 
19. 2003/05 Program Generation and Computation in the ET Paradigm  (共著) 
20. 2003/01 等価変換型プログラミング言語ETの導入による学習の構想  (共著) 
21. 2003/01 Integration of Syntactic Analysis and Semantic Interpretation Based on Equivalent Transformation  (共著) 
22. 2003/01 Integration of Syntactic Analysis and Semantic Interpretation Based on Equivalent Transformation  (共著) 
23. 2002/11 負制約の等価変換による問題解決の基礎理論  (共著) 
24. 2002/11 区間変数に関する包含制約の等価変換  (共著) 
25. 2001/11 Expanding Transformation: A Basis for Verifying the Correctness of Rewriting Rules  (共著) 
26. 2001/11 Program Synthesis by Generating Equivalent Transformation Rules  (共著) 
27. 2001/10 Multi-Computation Mechanism for Set Expressions  (共著) 
28. 2001/10 Improvement of Synthesis of Conversion Rules by Expanding Knowledge Representation  (共著) 
29. 2001/10 Solving Logical Problems by Equivalent Transformation  (共著) 
30. 2001/10 Semantics for Declarative Descriptions with Referential Constraints  (共著) 
31. 2001/10 Proving Termination of omega Rewriting Systems  (共著) 
32. 2001/09 Equivalent Transformation Language Interpreter ETI  (共著) 
33. 2001/09 Program Synthesis System based on Equivalent Transformation  (共著) 
34. 2001/09 Emergent Computation for Semantic Interpretation by Rule-Based Equivalent Transformation  (共著) 
35. 2001/09 Synthesis of Conversion Rules by Expanding Logic Programs  (共著) 
36. 2001/09 A Class of Rewriting Rules and Reverse Transformation for Rule-Based Equivalent Transformation  (共著) 
37. 2001/09 A Foundation of Program Synthesis based on Separated Descriptions  (共著) 
38. 2001/07 Correct Computation for Negation in Equivalent Transformation Paradigm  (共著) 
39. 2001/07 Computation Mechanism for Set Expressions  (共著) 
40. 2001/06 Decomposition Structures for Programs on Separated Representation Systems  (共著) 
41. 2001/06 Introduction of Equivalent Transformation Rules on Member Constraints for Performance Improvement  (共著) 
42. 2001/01 A Theoretical Foundation of Program Synthesis by Equivalent Transformation  (共著) 
43. 2000/07 Improvement of Knowledge Processing Systems by adding Equivalent Transformation Rules  (共著) 
44. 2000/07 Rule Generation by Meta-computation  (共著) 
45. 2000/07 Semantic Interpretation by Rule-Based Equivalent Transformation  (共著) 
46. 2000/07 Equivalent Transformation for Member Constraints in Term Domain  (共著) 
47. 2000/07 Synthesis of Conversion Rules by Expanding Knowledge Representation  (共著) 
48. 2000/07 Unreachability for a Class of Rewriting Systems using Two Homomorphisms  (共著) 
<著書>
49. 2006/04 文系学生のためのコンピュータ指南書  (共著) 
<その他>
50. 2012/03 書き換えルールによるノノグラムの解法の表現  (単著) 

■ 教育活動
<教育方法の実践例>
1. 2005/04~ World、Execelの自動採点システムの開発と授業運営
2. 2005/10~ Moodleベースによる情報教育の実践
<作成した教科書、教材>
3. 2005/10 コンピュータアーキテクチャオンライン教材
4. 2006/04 情報通信ネットワーク論オンライン教材

■ 社会における活動
1. 2002/01~2005/12 江別ブランド事典の開発

  閉じる このページの先頭へ
 
無断転載を禁止します。    公開情報について    本学HPへ