工学部教員プロフィールFaculty Members Profile of Faculty of Engineering

工学部 電子情報工学科

佐藤　晴彦（サトウ　ハルヒコ）准教授SATO Haruhiko

主要
担当
科目

学士課程
計算機言語学Ⅰ
最終学歴 北海道大学大学院情報科学研究科複合情報学専攻博士後期課程 修了
取得学位 工学士（北海道大学）
修士（情報科学）（北海道大学）
博士（情報科学）（北海道大学）
所属学会 情報処理学会
電子情報通信学会
日本ソフトウェア科学会

研究活動

研究業績
(10点以内)		 学術論文 「定理証明支援系Isabelleにおける関数検索機能の拡張」, 北海学園大学工学部研究報告(51), pp.35-48, 2024年1月
学会発表 「Discovering conditional properties of recursive functions in a proof assistant」（共著：Haruhiko SATO and Natsuo ISHII）, Joint 11th International Conference on Soft Computing and Intelligent Systems and 21st International Symposium on Advanced Intelligent Systems (SCIS-ISIS), Dec 2020
学術論文 「Multi-Context Automated Lemma Generation for Term Rewriting Induction with Divergence Detection」（共著：Chengcheng JI, Masahito KURIHARA, and Haruhiko SATO）, IEICE Transactions on Information and Systems, Vol. E102-D, No. 2, pp. 223-238, IEICE, Feb 2019
学会発表 「Encoding Dependency Pair Techniques and Control Strategies for Maximal Completion」（共著：Haruhiko Sato, Sarah Winkler）, 25th International Conference on Automated Deduction (CADE-25), Berlin, Germany, Aug 2015
学会発表 「A Satisfiability Encoding of Dependency Pair Techniques for Maximal Completion」（共著：Haruhiko Sato, Sarah Winkler）, 14th International Workshop on Termination (WST 2014), Vienna, Austria, Jul 2014
学術論文 「Multi-Completion with Termination Tools」（共著：Sarah Winkler, Haruhiko Sato, Aart Middeldorp, Masahito Kurihara）, Journal of Automated Reasoning, Volume 50, Issue 3, pp. 317-354, Springer, Mar 2013
学会発表 「Optimizing mkbTT (System Description)」（共著：Sarah Winkler, Haruhiko Sato, Aart Middeldorp, Masahito Kurihara）, 21st International Conference on Rewriting Techniques and Applications (RTA 2010), Edinburgh, UK, Jul 2010
学術論文 「Multi-Context Rewriting Induction with Termination Checkers」（共著：Haruhiko Sato, Masahito Kurihara）, IEICE Transactions on Information and Systems, Vol. E93-D, No. 5, pp. 942-952, IEICE, May 2010
学術論文 「Constraint-based Multi-Completion Procedures for Term Rewriting Systems」（共著：Haruhiko Sato, Masahito Kurihara, Sarah Winkler, Aart Middeldorp）, IEICE Transactions on Information and Systems, Vol. E92-D, No. 2, pp. 220-234, IEICE, Feb 2009
学会発表 「Multi-Completion with Termination Tools」（共著：Haruhiko Sato, Sarah Winkler, Masahito Kurihara, Aart Middeldorp）, 4th International Joint Conference on Automated Reasoning (IJCAR 2008), Sydney, Australia, Aug 2008
科研費等学外資金による研究 平成22年度～平成23年度 科学研究費補助金・若手研究（Ｂ）「多重化に基づく、等式論理における帰納的定理証明の自動化」（研究代表者）
学術賞受賞歴 平成22年度 電子情報通信学会論文賞

工学部教員一覧へ