Katayama Susumu 片山晋

… Alternative Names

KATAYAMA Susumu 片山晋

Less

Researcher Number	80363571
Other IDs
Affiliation (Current)	2026: 宮崎大学, 工学部, 助教
Affiliation (based on the past Project Information) *help	2009 – 2011: University of Miyazaki, 工学部, 助教
Review Section/Research Field	Principal Investigator Intelligent informatics
Keywords	Principal Investigator ソフトウェア科学 / 人工知能 / 機械学習 / 帰納推論 / 自動プログラミング / 関数プログラミング / 帰納プログラミング / 推論アルゴリズム / 論理 / 探索

Research Projects
(1 results)
Research Products
(14 results)

Pragmatic Inductive Functional Programming by Systematic SearchPrincipal Investigator
- Principal Investigator
  
  KATAYAMA Susumu
- Project Period (FY)
  2009 – 2011
- Research Category
  
  Grant-in-Aid for Challenging Exploratory Research
- Research Field
  
  Intelligent informatics
- Research Institution
  University of Miyazaki

All 2012 2011 2010 2009

All Journal Article Presentation

[Journal Article] An Analytical Inductive Functional Programming System that Avoids Unintended Programs2012
- Author(s)
  Susumu Katayama
- Journal Title
  
  PEPM'12 Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation
  
  Pages: 43-52
- DOI
  10.1145/2103746.2103758
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21650032
[Journal Article] An Analytical Inductive Functional Programming System that Avoids Unintended Programs2012
- Author(s)
  Susumu Katayama
- Journal Title
  
  Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation
  
  Pages: 43-52
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21650032
[Journal Article] Recent Improvements of Magic Haskeller, Approaches and Applications of Inductive Programming2010
- Author(s)
  Susumu Katayama
- Journal Title
  
  LNCS
  
  Volume: 5812 Pages: 174-193
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21650032
[Journal Article] Exhaustive program generation by interpretation of Herbelin's LJT variant2009
- Author(s)
  Susumu Katayama
- Journal Title
  
  Proceedings of the ACM SIGPLAN International Workshop on Approaches and Applications of Inductive Programming
  
  Pages: 85-86
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21650032
[Journal Article] Quick filtration of semantically equivalent expressions in program search results2009
- Author(s)
  Susumu Katayama
- Journal Title
  
  Proceedings of the ACM SIGPLAN International Workshop on Approaches and Applications of Inductive Programming
  
  Pages: 87-88
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21650032
[Presentation] An Analytical Inductive Functional Programming System that Avoids Unintended Programs2012
- Author(s)
  Susumu Katayama
- Organizer
  ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation
- Place of Presentation
  Philadelphia, PA
- Year and Date
  2012-06-23
- Data Source
  KAKENHI-PROJECT-21650032
[Presentation] An Analytical Inductive Functional Programming System that Avoids Unintended Programs2012
- Author(s)
  Susumu Katayama
- Organizer
  ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation
- Place of Presentation
  Philadelphia, Pensylvania, USA
- Year and Date
  2012-01-23
- Data Source
  KAKENHI-PROJECT-21650032
[Presentation] An Analytical Inductive Functional Programming System that Avoids Unintended Programs2011
- Author(s)
  Susumu Katayama
- Organizer
  4^<th> International Workshop on Approaches and Applications of Inductive Programming
- Place of Presentation
  Odense, Denmark
- Year and Date
  2011-07-19
- Data Source
  KAKENHI-PROJECT-21650032
[Presentation] 多数のプログラム候補を生成する解析的帰納関数プログラミング2011
- Author(s)
  片山晋
- Organizer
  計測自動制御学会第38回知能システムシンポジウム
- Year and Date
  2011-03-16
- Data Source
  KAKENHI-PROJECT-21650032
[Presentation] MagicHaskeller : System demonstration2011
- Author(s)
  Susumu Katayama
- Organizer
  4^<th> International Workshop on Approaches and Applications of Inductive Programming
- Place of Presentation
  Odense, Denmark
- Year and Date
  2011-07-19
- Data Source
  KAKENHI-PROJECT-21650032
[Presentation] MagicHaskeller : System Demonstration2011
- Author(s)
  Susumu Katayama
- Organizer
  4th International Workshop on Approaches and Applications of Inductive Programming
- Place of Presentation
  Odense, Denmark
- Year and Date
  2011-07-19
- Data Source
  KAKENHI-PROJECT-21650032
[Presentation] 多数のプログラム候補を生成する解析的帰納関数プログラミング2011
- Author(s)
  片山晋
- Organizer
  計測自動制御学会第38回知能システムシンポジウム
- Place of Presentation
  (震災のため中止、オンライン発表)
- Data Source
  KAKENHI-PROJECT-21650032
[Presentation] An Analytical Inductive Functional Programming System that Avoids Unintended Programs2011
- Author(s)
  Susumu Katayama
- Organizer
  4th International Workshop on Approaches and Applications of Inductive Programming
- Place of Presentation
  Odense, Denmark
- Year and Date
  2011-07-19
- Data Source
  KAKENHI-PROJECT-21650032
[Presentation] Recent Improvements of MagicHaskeller2009
- Author(s)
  Susumu Katayama
- Organizer
  The ACM SIGPLAN International Workshop on Approaches and Applications of Inductive Programming
- Place of Presentation
  Scotland
- Year and Date
  2009-09-04
- Data Source
  KAKENHI-PROJECT-21650032

Katayama Susumu 片山 晋

KATAYAMA Susumu 片山 晋

Research Projects

Research Products

Pragmatic Inductive Functional Programming by Systematic SearchPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] An Analytical Inductive Functional Programming System that Avoids Unintended Programs2012

Author(s)

Journal Title

DOI

Data Source

[Journal Article] An Analytical Inductive Functional Programming System that Avoids Unintended Programs2012

Author(s)

Journal Title

Data Source

[Journal Article] Recent Improvements of Magic Haskeller, Approaches and Applications of Inductive Programming2010

Author(s)

Journal Title

Data Source

[Journal Article] Exhaustive program generation by interpretation of Herbelin's LJT variant2009

Author(s)

Journal Title

Data Source

[Journal Article] Quick filtration of semantically equivalent expressions in program search results2009

Author(s)

Journal Title

Data Source

[Presentation] An Analytical Inductive Functional Programming System that Avoids Unintended Programs2012

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] An Analytical Inductive Functional Programming System that Avoids Unintended Programs2012

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] An Analytical Inductive Functional Programming System that Avoids Unintended Programs2011

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] 多数のプログラム候補を生成する解析的帰納関数プログラミング2011

Author(s)

Organizer

Year and Date

Data Source

[Presentation] MagicHaskeller : System demonstration2011

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] MagicHaskeller : System Demonstration2011

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] 多数のプログラム候補を生成する解析的帰納関数プログラミング2011

Author(s)

Organizer

Place of Presentation

Data Source

[Presentation] An Analytical Inductive Functional Programming System that Avoids Unintended Programs2011

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] Recent Improvements of MagicHaskeller2009

Author(s)

Organizer

Katayama Susumu 片山晋

KATAYAMA Susumu 片山晋