佐藤晴彦 Sato Haruhiko

研究者番号	30543178
その他のID
外部サイト
所属 (現在)	2025年度: 北海学園大学, 工学部, 准教授
所属 (過去の研究課題情報に基づく) *注記	2016年度 – 2017年度: 北海学園大学, 工学部, 准教授 2015年度: 北海道大学, 大学院情報科学研究科, 助教 2010年度 – 2012年度: 北海道大学, 大学院・情報科学研究科, 助教
審査区分/研究分野	研究代表者ソフトウェア / ソフトウエア研究代表者以外ソフトウェア / ソフトウエア
キーワード	研究代表者帰納的定理証明 / 項書換え系 / 定理自動証明 / 形式的検証 / 書き換え帰納法 / 補題自動生成研究代表者以外多重文脈推論 / 多重文脈型推論 / 項書換え系 / 帰納的定理証明 … もっと見る / システム形式検証 / 代数的仕様記述 / 代数的ソフトウェア / 帰納的定理自動証明 / 代数学 / ソフトウェア学 / 停止性検証 / 並列プログラミング / 項書換えシステム / 代数 / ソフトウェア / 人工知能 / 並列化隠す

帰納的定理証明の自動化に向けた補題生成と推論戦略の改良研究代表者
- 研究代表者
  
  佐藤晴彦
- 研究期間 (年度)
  2016 – 2017
- 研究種目
  
  若手研究(B)
- 研究分野
  
  ソフトウェア
- 研究機関
  北海学園大学
代数的ソフトウェア向き多重文脈型推論基盤システムによる帰納的定理証明とその応用
- 研究代表者
  
  栗原正仁
- 研究期間 (年度)
  2013 – 2015
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  ソフトウェア
- 研究機関
  北海道大学
代数的ソフトウェア向き多重文脈型推論基盤システムのスケーラブルな並列実装と応用
- 研究代表者
  
  栗原正仁
- 研究期間 (年度)
  2010 – 2012
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  ソフトウエア
- 研究機関
  北海道大学
多重化に基づく,等式論理における帰納的定理証明の自動化研究代表者
- 研究代表者
  
  佐藤晴彦
- 研究期間 (年度)
  2010 – 2011
- 研究種目
  
  若手研究(B)
- 研究分野
  
  ソフトウエア
- 研究機関
  北海道大学

すべて 2018 2016 2015 2014 2013 2012 2011 2010 その他

すべて雑誌論文学会発表

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

1. 栗原正仁 (50133707)

共同の研究課題数: 2件

共同の研究成果数: 18件
2. 季承成

共同の研究課題数: 1件

共同の研究成果数: 4件
3. 高松宏樹

共同の研究課題数: 1件

共同の研究成果数: 3件
4. 丁睿

共同の研究課題数: 1件

共同の研究成果数: 1件

佐藤 晴彦 Sato Haruhiko

研究課題

研究成果

共同研究者

帰納的定理証明の自動化に向けた補題生成と推論戦略の改良研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

代数的ソフトウェア向き多重文脈型推論基盤システムによる帰納的定理証明とその応用

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

代数的ソフトウェア向き多重文脈型推論基盤システムのスケーラブルな並列実装と応用

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

多重化に基づく,等式論理における帰納的定理証明の自動化研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[雑誌論文] Lazy Evaluation Schemes for Efficient Implementation of Multi-Context Algebraic Completion System2015

著者名/発表者名

雑誌名

データソース

[雑誌論文] Automated Test Generation for Object-Oriented Programs with Multiple Targets2014

著者名/発表者名

雑誌名

データソース

[雑誌論文] Parallelization of Termination Checkers for Algebraic Software2014

著者名/発表者名

雑誌名

DOI

データソース

[雑誌論文] Multi-Completion with Termination Tools2013

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] Multi-context rewriting induction with termination checkers2010

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] Multi-context rewriting induction with termination checkers2010

著者名/発表者名

雑誌名

NAID

データソース

[学会発表] On Usefulness of Syntactically Complex Lemmas in Theory Exploration for Inductive Theorems2018

著者名/発表者名

学会等名

データソース

[学会発表] Discovering Inductive Theorems Using Rewriting Induction2016

著者名/発表者名

学会等名

発表場所

年月日

データソース

[学会発表] Lazy Evaluation Schemes for Efficient Implementation of Multi-Context Algebraic Reasoning Systems2016

著者名/発表者名

学会等名

発表場所

年月日

データソース

[学会発表] A New Implementation of Multi-Context Algebraic Inductive Theorem Prover2015

著者名/発表者名

学会等名

発表場所

年月日

データソース

[学会発表] Automated Test Case Generation Considering Object States in Object-Oriented Programming2014

著者名/発表者名

佐藤晴彦 Sato Haruhiko