Sato Haruhiko 佐藤晴彦

… Alternative Names

SATO Haruhiko 佐藤晴彦

Less

Researcher Number	30543178
Other IDs
External Links
Affiliation (Current)	2025: 北海学園大学, 工学部, 准教授
Affiliation (based on the past Project Information) *help	2016 – 2017: 北海学園大学, 工学部, 准教授 2015: 北海道大学, 大学院情報科学研究科, 助教 2010 – 2012: 北海道大学, 大学院・情報科学研究科, 助教
Review Section/Research Field	Principal Investigator Software / Software Except Principal Investigator Software / Software
Keywords	Principal Investigator 帰納的定理証明 / 項書換え系 / 定理自動証明 / 形式的検証 / 書き換え帰納法 / 補題自動生成 Except Principal Investigator 多重文脈推論 / 多重文脈型推論 / 項書換え系 / 帰納的定理証明 … More / システム形式検証 / 代数的仕様記述 / 代数的ソフトウェア / 帰納的定理自動証明 / 代数学 / ソフトウェア学 / 停止性検証 / 並列プログラミング / 項書換えシステム / 代数 / ソフトウェア / 人工知能 / 並列化 Less

Improvement of lemma generation and reasoning strategies for automated inductive theorem provingPrincipal Investigator
- Principal Investigator
  
  SATO HARUHIKO
- Project Period (FY)
  2016 – 2017
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Software
- Research Institution
  Hokkai-Gakuen University
Inductive theorem proving and its application with multi-context reasoning systems for algebraic software
- Principal Investigator
  
  Kurihara Masahito
- Project Period (FY)
  2013 – 2015
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Hokkaido University
Scalable Parallel Implementation and Application of Multi-ContextReasoning Systems for Algebraic Software
- Principal Investigator
  
  KURIHARA Masahito
- Project Period (FY)
  2010 – 2012
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Hokkaido University
Automation of inductive theorem proving in equational logic with multi-context reasoningPrincipal Investigator
- Principal Investigator
  
  SATO Haruhiko
- Project Period (FY)
  2010 – 2011
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Software
- Research Institution
  Hokkaido University

All 2018 2016 2015 2014 2013 2012 2011 2010 Other

All Journal Article Presentation

[Journal Article] Lazy Evaluation Schemes for Efficient Implementation of Multi-Context Algebraic Completion System2015
- Author(s)
  ChengCheng Ji, Haruhiko Sato, Masahito Kurihara
- Journal Title
  
  IAENG International Journal of Computer Science
  
  Volume: 42 Pages: 282-287
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-25330074
[Journal Article] Automated Test Generation for Object-Oriented Programs with Multiple Targets2014
- Author(s)
  Hiroki Takamatsu, Haruhiko Sato, Satoshi Oyama
- Journal Title
  
  IAENG International Journal of Computer Science
  
  Volume: 41 Pages: 198-203
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-25330074
[Journal Article] Parallelization of Termination Checkers for Algebraic Software2014
- Author(s)
  Rui Ding, Haruhiko Sato, and Masahito Kurihara
- Journal Title
  
  Transactions on Machine Learning and Artificial Intelligence
  
  Volume: 2 Issue: 4 Pages: 102-114
- DOI
  10.14738/tmlai.24.368
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-25330074
[Journal Article] Multi-Completion with Termination Tools2013
- Author(s)
  Sarah Winkler, Haruhiko Sato, Aart Middeldorp, Masahito Kurihara
- Journal Title
  
  Journal of Automated Reasoning
  
  Volume: Vol. 50, No.3 Pages: 317-354
- NAID
  120005228268
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500022
[Journal Article] Multi-context rewriting induction with termination checkers2010
- Author(s)
  Haruhiko Sato, Masahito Kurihara
- Journal Title
  
  IEICE Transactions on Information and Systems
  
  Volume: E93-D Pages: 942-952
- NAID
  10026815209
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22700021
[Journal Article] Multi-context rewriting induction with termination checkers2010
- Author(s)
  Haruhiko Sato, Masahito Kurihara
- Journal Title
  
  IEICE Transactions on Information and Systems
  
  Volume: Vol.E93-D, No.5 Pages: 942-952
- NAID
  10026815209
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22500022
[Presentation] On Usefulness of Syntactically Complex Lemmas in Theory Exploration for Inductive Theorems2018
- Author(s)
  Haruhiko Sato and Masahito Kurihara
- Organizer
  The International MultiConference of Engineers and Computer Scientists 2018
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K16032
[Presentation] Discovering Inductive Theorems Using Rewriting Induction2016
- Author(s)
  Haruhiko Sato and Masahito Kurihara
- Organizer
  The 2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2016)
- Place of Presentation
  Intercontinental Budapest, Hungary
- Year and Date
  2016-10-09
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K16032
[Presentation] Lazy Evaluation Schemes for Efficient Implementation of Multi-Context Algebraic Reasoning Systems2016
- Author(s)
  ChengCheng Ji, Haruhiko Sato, Masahito Kurihara
- Organizer
  Information Processing Society Japan
- Place of Presentation
  慶應義塾大学矢上キャンパス（横浜市）
- Year and Date
  2016-03-10
- Data Source
  KAKENHI-PROJECT-25330074
[Presentation] A New Implementation of Multi-Context Algebraic Inductive Theorem Prover2015
- Author(s)
  ChengCheng Ji, Haruhiko Sato, Masahito Kurihara
- Organizer
  World Congress on Engineering and Computer Scientists 2015
- Place of Presentation
  Clark Kerr Campus, UC Berkeley (USA)
- Year and Date
  2015-10-21
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25330074
[Presentation] Automated Test Case Generation Considering Object States in Object-Oriented Programming2014
- Author(s)
  Hiroki Takamatsu, Haruhiko Sato, Satoshi Oyama, Masahito Kurihara
- Organizer
  International MultiConference of Engineers and Computer Scientists 2014
- Place of Presentation
  The Royal Garden Hotel Kowloon Hong Kong
- Data Source
  KAKENHI-PROJECT-25330074
[Presentation] Recognition of Normal Forms with Tree Automata for Inductive Theorem Proving2013
- Author(s)
  Haruhiko Sato, Masahito Kurihara
- Organizer
  Science and Information Conference 2013
- Place of Presentation
  Thistle Hotel London Heathrow
- Data Source
  KAKENHI-PROJECT-25330074
[Presentation] Parallelization of termination checker using dependency pair method2012
- Author(s)
  丁睿, 佐藤晴彦, 栗原正仁
- Organizer
  情報処理学会第74回全国大会
- Place of Presentation
  名古屋工業大学(名古屋)
- Year and Date
  2012-03-08
- Data Source
  KAKENHI-PROJECT-22500022
[Presentation] Parallelization of Termination Checker of Term Rewriting Systems2012
- Author(s)
  Rui Ding, Haruhiko Sato, Masahito Kurihara
- Organizer
  International MultiConference of Engineers and Computer Scientists
- Place of Presentation
  The Royal Garden Hotel(香港)
- Year and Date
  2012-03-14
- Data Source
  KAKENHI-PROJECT-22500022
[Presentation] Parallelization of termination checker of term rewriting systems2012
- Author(s)
  Rui Ding, Haruhiko Sato, Masahito Kurihara
- Organizer
  The International MultiConference of Engineers and Computer Scientists 2012
- Place of Presentation
  香港(中国)ロイヤルガーデンホテル
- Year and Date
  2012-03-15
- Data Source
  KAKENHI-PROJECT-22500022
[Presentation] Parallelization of termination checker for term rewriting system2012
- Author(s)
  Rui Ding, Haruhiko Sato, Masahito Kurihara
- Organizer
  The 2012 IEEE International Conference on Systems, Man, and Cybernetics, 1824-1829
- Place of Presentation
  Seoul(韓国)COEX 国際会議場
- Year and Date
  2012-10-15
- Data Source
  KAKENHI-PROJECT-22500022
[Presentation] Multi-context rewriting induction with termination checkers2012
- Author(s)
  Haruhiko Sato, Masahito Kurihara
- Organizer
  The 5th International Symposium on Global COE Program of Center for Next-GenerationInformation Technology Based on Knowledge Discovery and Knowledge Federation
- Place of Presentation
  札幌 ,北海道大学
- Year and Date
  2012-01-16
- Data Source
  KAKENHI-PROJECT-22500022
[Presentation] Comment-based keyword programming2011
- Author(s)
  Yusuke Sakamoto, Haruhiko Sato, Satoshi Oyama, Masahito Kurihara
- Organizer
  International MultiConference of Engineers and Computer Scientists
- Place of Presentation
  ロイヤルガーデンホテル,香港,中国
- Year and Date
  2011-03-17
- Data Source
  KAKENHI-PROJECT-22500022
[Presentation] 書き換え帰納法における文脈探索の有効性について2011
- Author(s)
  佐藤晴彦
- Organizer
  情報処理学会第84回プログラミング研究発表会
- Data Source
  KAKENHI-PROJECT-22700021
[Presentation] Recognition of Normal Forms for Sound Generalization2011
- Author(s)
  Haruhiko Sato
- Organizer
  35th TRS meeting
- Data Source
  KAKENHI-PROJECT-22700021
[Presentation] Optimizing mkbTT2010
- Author(s)
  Sarah Winkler, Haruhiko Sato, Aart Middeldorp, Masahito Kurihara
- Organizer
  21st International Conference on Rewriting Techniques and Applications
- Place of Presentation
  エジンバラ大学,エジンバラ,英国
- Year and Date
  2010-07-11
- Data Source
  KAKENHI-PROJECT-22500022
[Presentation] Optimizing mkbTT (System Description)2010
- Author(s)
  Sarah Winkler, Haruhiko Sato, Aart Middeldorp, Masahito Kurihara
- Organizer
  21st International Conference on Rewriting Techniques and Applications
- Place of Presentation
  エジンバラ大学,エジンバラ,イギリス
- Year and Date
  2010-07-13
- Data Source
  KAKENHI-PROJECT-22700021
[Presentation] Optimizing mkbTT2010
- Author(s)
  Sarah Winkler, Haruhiko Sato, Aart Middeldorp, Masahito Kurihara
- Organizer
  The 21st International Conference on Rewriting Techniques and Applications
- Place of Presentation
  Edinburgh(英国)エジンバラ大学
- Year and Date
  2010-07-12
- Data Source
  KAKENHI-PROJECT-22500022
[Presentation] Optimizing mkbTT(System Description)2010
- Author(s)
  Sarah Winkler, Haruhiko Sato, Aart Middeldorp, Masahito Kurihara
- Organizer
  21st International Conference on Rewriting Techniques and Applications
- Data Source
  KAKENHI-PROJECT-22700021
[Presentation] An Efficient Implementation of Multi-Context Algebraic Reasoning System with Lazy Evaluation
- Author(s)
  ChengCheng Ji, Haruhiko Sato, Masahito Kurihara
- Organizer
  International MultiConference of Engineers and Computer Scientists 2015 (IMECS 2015)
- Place of Presentation
  The Royal Garden Hotel, Hong Kong
- Year and Date
  2015-03-18 – 2015-03-20
- Data Source
  KAKENHI-PROJECT-25330074
[Presentation] Method Sequence Generation for Multiple Object States using Dynamic Symbolic Execution
- Author(s)
  Hiroki Takamatsu, Haruhiko Sato, Satoshi Oyama, Masahito Kurihara
- Organizer
  IEEE International Conference on Systems, Man, and Cybernetics (SMC 2014)
- Place of Presentation
  Paradise Point Resort and Spa, San Diego, USA
- Year and Date
  2014-10-05 – 2014-10-08
- Data Source
  KAKENHI-PROJECT-25330074

1. KURIHARA Masahito (50133707)

# of Collaborated Projects: 2 results

# of Collaborated Products: 18 results
2. JI ChengCheng

# of Collaborated Projects: 1 results

# of Collaborated Products: 4 results
3. TAKAMATSU Hiroki

# of Collaborated Projects: 1 results

# of Collaborated Products: 3 results
4. DING Rui

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results

Sato Haruhiko 佐藤 晴彦

SATO Haruhiko 佐藤 晴彦

Research Projects

Research Products

Co-Researchers

Improvement of lemma generation and reasoning strategies for automated inductive theorem provingPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Inductive theorem proving and its application with multi-context reasoning systems for algebraic software

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Scalable Parallel Implementation and Application of Multi-ContextReasoning Systems for Algebraic Software

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Automation of inductive theorem proving in equational logic with multi-context reasoningPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] Lazy Evaluation Schemes for Efficient Implementation of Multi-Context Algebraic Completion System2015

Author(s)

Journal Title

Data Source

[Journal Article] Automated Test Generation for Object-Oriented Programs with Multiple Targets2014

Author(s)

Journal Title

Data Source

[Journal Article] Parallelization of Termination Checkers for Algebraic Software2014

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Multi-Completion with Termination Tools2013

Author(s)

Journal Title

NAID

Data Source

[Journal Article] Multi-context rewriting induction with termination checkers2010

Author(s)

Journal Title

NAID

Data Source

[Journal Article] Multi-context rewriting induction with termination checkers2010

Author(s)

Journal Title

NAID

Data Source

[Presentation] On Usefulness of Syntactically Complex Lemmas in Theory Exploration for Inductive Theorems2018

Author(s)

Organizer

Data Source

[Presentation] Discovering Inductive Theorems Using Rewriting Induction2016

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] Lazy Evaluation Schemes for Efficient Implementation of Multi-Context Algebraic Reasoning Systems2016

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] A New Implementation of Multi-Context Algebraic Inductive Theorem Prover2015

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] Automated Test Case Generation Considering Object States in Object-Oriented Programming2014

Sato Haruhiko 佐藤晴彦

SATO Haruhiko 佐藤晴彦