• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

栗原 正仁  KURIHARA Masahito

ORCIDORCID連携する *注記
研究者番号 50133707
その他のID
外部サイト
所属 (過去の研究課題情報に基づく) *注記 2012年度 – 2018年度: 北海道大学, 情報科学研究科, 教授
2007年度 – 2012年度: 北海道大学, 大学院・情報科学研究科, 教授
2004年度: 北海道大学, 大学院・情報科学研究科, 教授
2003年度: 北海道大学, 大学院・工学研究科, 教授
1998年度 – 1999年度: 北海道工業大学, 工学部, 教授 … もっと見る
1997年度: 北海道工業大学, 工学部・電気工学科, 教授
1992年度 – 1994年度: 北海道大学, 工学部, 助教授
1990年度: 北海道大学, 工学部, 助教授
1989年度: 北海道大学, 工学部, 講師 隠す
審査区分/研究分野
研究代表者
ソフトウェア / ソフトウエア / リハビリテーション科学・福祉工学 / システム工学 / 情報工学
研究代表者以外
情報学
キーワード
研究代表者
項書換え系 / 多重文脈推論 / 多重文脈型推論 / 停止性 / GIS / 完備化 / EBL / 検証 / 帰納的定理証明 / 代数的ソフトウェア … もっと見る / 帰納的定理自動証明 / 停止性検証 / 項書換えシステム / 定理自動証明 / 人工知能 / ソフトウェア学 / 仕様記述・検証 / 発散鑑定 / 定理発見 / 補助定理 / 書換え帰納法 / 補題生成 / 定理自動発見 / 帰納的定理 / intelligent information technology / street conditions / navigation / wheelchair / Map creation / Barrier-Free Map / Highly Accurate GPS / 知識情報処理 / 地理情報システム / タウンマップ / バリアフリー / ネットワーク / GPS / GSG / 車椅子 / 知能情報 / 地図生成 / バリアフリーマップ / 歩行者支援 / 利用者参加支援 / 高精度GPS / completion / termination / rewrite system / diagnosis / verification / distributed constraint satisfaction / agent / 二分決定グラフ / 書換え系 / 診断 / 分散制約充足 / エージェント / Module / Reflection / Completion / Verification / Termination / Program generation / Term rewriting system / ATMS / プログラム検証 / 学習 / 真偽維持システム / リフォーメーション / 変換 / 項書き換え系 / モジュール / リフレクション / プログラム合成 / システム形式検証 / 代数的仕様記述 / 代数学 / 並列プログラミング / 代数 / ソフトウェア / 並列化 / オーストリア / 国際情報交換 / 完備化手続き / ディペンダブル・コンピューティング / システム工学 … もっと見る
研究代表者以外
Personal Construct Grid Method / Fuzzy / E T S / Structural Modeling / Knowledge Acquisition / Expert System / 二項関係 / 人工知能 / ファジィ / ファジイ / ETS / 構造モデリング / 知識獲得 / エキスパ-トシステム 隠す
  • 研究課題

    (8件)
  • 研究成果

    (69件)
  • 共同研究者

    (9人)
  •  代数的ソフトウェア向き多重文脈型推論基盤システムによる帰納的定理の発見と証明研究代表者

    • 研究代表者
      栗原 正仁
    • 研究期間 (年度)
      2016 – 2018
    • 研究種目
      基盤研究(C)
    • 研究分野
      ソフトウェア
    • 研究機関
      北海道大学
  •  代数的ソフトウェア向き多重文脈型推論基盤システムによる帰納的定理証明とその応用研究代表者

    • 研究代表者
      栗原 正仁
    • 研究期間 (年度)
      2013 – 2015
    • 研究種目
      基盤研究(C)
    • 研究分野
      ソフトウェア
    • 研究機関
      北海道大学
  •  代数的ソフトウェア向き多重文脈型推論基盤システムのスケーラブルな並列実装と応用研究代表者

    • 研究代表者
      栗原 正仁
    • 研究期間 (年度)
      2010 – 2012
    • 研究種目
      基盤研究(C)
    • 研究分野
      ソフトウエア
    • 研究機関
      北海道大学
  •  代数的ソフトウェア向き多重文脈型推論基盤システムの開発研究研究代表者

    • 研究代表者
      栗原 正仁
    • 研究期間 (年度)
      2007 – 2009
    • 研究種目
      基盤研究(C)
    • 研究分野
      ソフトウエア
    • 研究機関
      北海道大学
  •  高精度GPSを用いた利用者参加支援ネットワーク型バリアフリータウンマップ生成系研究代表者

    • 研究代表者
      栗原 正仁
    • 研究期間 (年度)
      2003 – 2004
    • 研究種目
      基盤研究(B)
    • 研究分野
      リハビリテーション科学・福祉工学
    • 研究機関
      北海道大学
  •  エージェントの分散制約充足に基づく計算機システムの検証および診断研究代表者

    • 研究代表者
      栗原 正仁
    • 研究期間 (年度)
      1997 – 1999
    • 研究種目
      基盤研究(C)
    • 研究分野
      システム工学
    • 研究機関
      北海道工業大学
  •  プログラムの合成・変換・検証に関する知識の説明に基づく学習とリフォーメーション研究代表者

    • 研究代表者
      栗原 正仁
    • 研究期間 (年度)
      1992 – 1994
    • 研究種目
      一般研究(C)
    • 研究分野
      情報工学
    • 研究機関
      北海道大学
  •  知識獲得のための知識構造モデリング法の基礎研究

    • 研究代表者
      大内 東
    • 研究期間 (年度)
      1989 – 1990
    • 研究種目
      一般研究(B)
    • 研究分野
      情報学
    • 研究機関
      北海道大学

すべて 2019 2018 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2005 2004 2003 その他

すべて 雑誌論文 学会発表

  • [雑誌論文] Multi-Context Automated Lemma Generation for Term Rewriting Induction with Divergence Detection2019

    • 著者名/発表者名
      Chengcheng Ji, Masahito Kurihara, Haruhiko Sato
    • 雑誌名

      IEICE Transactions on Information and Systems

      巻: E102-D ページ: 223-238

    • NAID

      130007586588

    • 査読あり
    • データソース
      KAKENHI-PROJECT-16K00090
  • [雑誌論文] 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
  • [雑誌論文] 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
  • [雑誌論文] A Tool for Visualizing the Behavior of Fuzzy Constraint Satisfaction Solvers2010

    • 著者名/発表者名
      Takuto Yanagida, Masahito Kurihara, Hidetoshi Nonaka
    • 雑誌名

      Journal of Advanced Computational Intelligence & Intelligent Informatics 14(未定(採択決定・編集中))

      ページ: 1-1

    • データソース
      KAKENHI-PROJECT-19500020
  • [雑誌論文] Multi-context rewriting induction with termination checkers (Special Section on Formal Approach)2010

    • 著者名/発表者名
      Haruhiko Sato, Masahito Kurihara
    • 雑誌名

      IEICE Transactions on Information and Systems Vol. E93-D, No. 5(採録決定)

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19500020
  • [雑誌論文] Hardness measures for gridworld bench-marks and performance analysis of realtime heuristic search algorithms2010

    • 著者名/発表者名
      Masataka Mizusawa, Masahito Kurihara
    • 雑誌名

      Journal of Heuristics Vol. 16

      ページ: 23-36

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19500020
  • [雑誌論文] 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
  • [雑誌論文] Multi-context rewriting induction with termination checkers2010

    • 著者名/発表者名
      Haruhiko Sato, Masahito Kurihara
    • 雑誌名

      IEICE Transactions on Information and Systems(Special Section on Formal Approach) E93-D(未定(採択決定・編集中))

      ページ: 1-1

    • NAID

      10026815209

    • データソース
      KAKENHI-PROJECT-19500020
  • [雑誌論文] Hardness measures for gridworld benchmarks and performance analysis of real-time heuristic search algorithms2010

    • 著者名/発表者名
      Masataka Mizusawa, Masahito Kurihara
    • 雑誌名

      Journal of Heuristics 16

      ページ: 23-36

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19500020
  • [雑誌論文] Computational Dialectics Based on Specialization and Generalization-A New Reasoning Method for Conflict Resolution2009

    • 著者名/発表者名
      Hiroyuki Kido and Masahito Kurihara
    • 雑誌名

      Lecture Notes in Artificial Intelligence 5447

      ページ: 228-241

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19500020
  • [雑誌論文] Constraint-based multi-completion procedures for term rewriting systems (Special Section on Foundation of Computer Science)2009

    • 著者名/発表者名
      Haruhiko Sato, Masahito Kurihara, Sarah Winkler, Aart Middeldorp
    • 雑誌名

      IEICE Transactions on Information and Systems Vol. E92-D, No. 2

      ページ: 220-234

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19500020
  • [雑誌論文] Constraint-Based Multi-Completion Procedures for Term Rewriting Systems2009

    • 著者名/発表者名
      Haruhiko Sato, Masahito Kurihara, Sarah Winkler, Aart Middeldorp
    • 雑誌名

      IEICE Transactions on Information and Systems (Special Section on Foundation of Computer Science) E92-D

      ページ: 220-234

    • NAID

      10026807461

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19500020
  • [雑誌論文] Hardness measures for gridworld benchmarks and performance-analysis of real-time heuristic search algorithms2008

    • 著者名/発表者名
      Masataka Mizusawa and Masahito Kurihara
    • 雑誌名

      Journal of-Heuristics 2008(Online)

      ページ: 1-14

    • 査読あり
    • データソース
      KAKENHI-PROJECT-19500020
  • [雑誌論文] Mathematical model and logic for multipath message forwarding networks2005

    • 著者名/発表者名
      M.Numazawa, M.Kurihara
    • 雑誌名

      IPSJ Trans.TOM 46-SIG2

      ページ: 39-46

    • NAID

      110002914211

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15300188
  • [雑誌論文] 多重パスメッセージ転送ネットワークの数理モデルと論理2005

    • 著者名/発表者名
      沼澤政信, 栗原正仁
    • 雑誌名

      情報処理学会論文誌:数理モデル化と応用 46

      ページ: 39-46

    • NAID

      110002914211

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15300188
  • [雑誌論文] 優先順位と二分決定グラフに基づく複数経路順序下の項書換え系完備化手続き2004

    • 著者名/発表者名
      横山壱星, 栗原正仁
    • 雑誌名

      人工知能学会論文誌 19

      ページ: 472-482

    • NAID

      10014164867

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15300188
  • [雑誌論文] Description and acquirement of macro-actions in reinforcement learning2004

    • 著者名/発表者名
      T.Yoshikawa, Y.Kanazawa, M.Kurihara
    • 雑誌名

      Proc.6th Int.Conf.on Fuzzy Systems

      ページ: 150-153

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15300188
  • [雑誌論文] Use of highly accurate GPS in network-based barrier-free map creation system2004

    • 著者名/発表者名
      M.Kurihara, H.Nonaka, T.Yoshikawa
    • 雑誌名

      Proc.IEEE Int.Conf.on Systems, Man and Cybernetics 1

      ページ: 1169-1173

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15300188
  • [雑誌論文] エージェントの移動性を考慮したエージェント間通信のトラフィック量に関する実験と評価2004

    • 著者名/発表者名
      能登正人, 沼澤政信, 栗原正仁
    • 雑誌名

      電気学会論文誌C 124

      ページ: 904-911

    • NAID

      10012646843

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15300188
  • [雑誌論文] Time-frequency decomposition in gesture recognition system using accelerometer2004

    • 著者名/発表者名
      H.Nonaka, M.Kurihara
    • 雑誌名

      Lecture Notes in Artificial Intelligence 3213

      ページ: 1072-1078

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15300188
  • [雑誌論文] Use of highly accurate GPS in network-based barrier-free map creation system2004

    • 著者名/発表者名
      M.Kurihara, H.Nonaka, T.Yoshikawa
    • 雑誌名

      Proc.IEEE 2004 Int.Conf.on Systems, Man and Cybernetics 1

      ページ: 1169-1173

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15300188
  • [雑誌論文] Description and acquirement of macro-actions in reinforcement learning2004

    • 著者名/発表者名
      T.Yoshikawa, Y.Kanazawa, M.Kurihara
    • 雑誌名

      Proc.6th Int.Conf.on Fuzzy Systems 1

      ページ: 150-153

    • データソース
      KAKENHI-PROJECT-15300188
  • [雑誌論文] Empirical evaluation of traffic performance of inter-agent communication systems with mobile agents2004

    • 著者名/発表者名
      M.Noto, M.Numazawa, M.Kurihara
    • 雑誌名

      IEEJ Trans.EIS 124-3

      ページ: 904-911

    • NAID

      10012646843

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15300188
  • [雑誌論文] Completion for multiple path orderings based on precedence and binary decision diagrams2004

    • 著者名/発表者名
      I.Yokoyama, M.Kurihara
    • 雑誌名

      JSAI Trans. 19-6

      ページ: 472-482

    • NAID

      10014164867

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15300188
  • [雑誌論文] Efficient BDD Encodings for Partial Order Constraints with Application to Expert Systems in Software Verification2004

    • 著者名/発表者名
      M.Kurihara, H.Kondo
    • 雑誌名

      Lecture Notes in Artificial Intelligence 3029

      ページ: 827-837

    • データソース
      KAKENHI-PROJECT-15300188
  • [雑誌論文] Efficient BDD encodings for partial order constraints with application to expert systems in software verification2004

    • 著者名/発表者名
      M.Kurihara, H.Kondo
    • 雑誌名

      Lecture Notes in Artificial Intelligence 3029

      ページ: 827-837

    • 説明
      「研究成果報告書概要(欧文)」より
    • データソース
      KAKENHI-PROJECT-15300188
  • [雑誌論文] Logic for multi-path message forwarding networks for mobile agents2003

    • 著者名/発表者名
      M.Kurihara, M.Numazawa
    • 雑誌名

      Lecture Notes in Artificial Intelligence 2871

      ページ: 374-383

    • 説明
      「研究成果報告書概要(和文)」より
    • データソース
      KAKENHI-PROJECT-15300188
  • [学会発表] Automated proof and discovery of inductive thorems with rewriting induction over multi-context reasoning systems: state-of-the-art technologies and perspectives2018

    • 著者名/発表者名
      Masahito Kurihara, Haruhiko Sato, ChengCheng Ji
    • 学会等名
      World Congress on Engineering and Computer Science 2018 (WCECS 2018)
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K00090
  • [学会発表] On Usefulness of Syntactically Complex Lemmas in Theory Exploration for Inductive Theorems2018

    • 著者名/発表者名
      Haruhiko Sato and Masahito Kurihara
    • 学会等名
      International MultiConference of Engineers and Computer Scientists
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K00090
  • [学会発表] Lazy Evaluation Schemes for Efficient Implementation of Multi-Context Algebraic Reasoning Systems2016

    • 著者名/発表者名
      Chengcheng Ji, Masahito Kurihara
    • 学会等名
      Computational Logic in the Alps (CLA 2016)
    • 発表場所
      Obergurgl (Austria)
    • 年月日
      2016-09-05
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K00090
  • [学会発表] Discovering Inductive Theorems Using Rewriting Induction2016

    • 著者名/発表者名
      Haruhiko Sato, Masahito Kurihara
    • 学会等名
      IEEE International Conference on Systems, Man, and Cybernetics (SMC 2016)
    • 発表場所
      Budapest (Hungary)
    • 年月日
      2016-10-09
    • 国際共著/国際学会である
    • データソース
      KAKENHI-PROJECT-16K00090
  • [学会発表] 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
  • [学会発表] Design and Implementation of Multi-Context Rewriting Induction2010

    • 著者名/発表者名
      Haruhiko Sato, Masahito Kurihara
    • 学会等名
      IAENG International MultiConference of Engineers and Computer Scientists
    • 発表場所
      ロイヤルガーデンホテル (香港)
    • 年月日
      2010-03-17
    • データソース
      KAKENHI-PROJECT-19500020
  • [学会発表] Optimizing mkbTT2010

    • 著者名/発表者名
      Sarah Winkler, Haruhiko Sato, Aart Middeldorp, Masahito Kurihara
    • 学会等名
      21st International Conference on Rewriting Techniques and Applications
    • 発表場所
      エジンバラ大学,エジンバラ,英国
    • 年月日
      2010-07-11
    • データソース
      KAKENHI-PROJECT-22500022
  • [学会発表] Design and Implementation of Multi-Context Rewriting Induction2010

    • 著者名/発表者名
      Haruhiko Sato, Masahito Kurihara
    • 学会等名
      International MultiConference of Engineers and Computer Scientists
    • 発表場所
      ロイヤルガーデンホテル、香港(中国)
    • 年月日
      2010-03-17
    • データソース
      KAKENHI-PROJECT-19500020
  • [学会発表] Multi-Context Rewriting Induction2010

    • 著者名/発表者名
      Masahito Kurihara, Haruhiko Sato
    • 学会等名
      International Symposium on Global COE Program of Center for Next-Generation Information Technology Based on Knowledge Discovery and Knowledge Federation
    • 発表場所
      北海道大学学術交流会館 (札幌)
    • 年月日
      2010-01-19
    • データソース
      KAKENHI-PROJECT-19500020
  • [学会発表] 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
  • [学会発表] Multi-Context Rewriting Induction2010

    • 著者名/発表者名
      Masahito Kurihara, Haruhiko Sato
    • 学会等名
      3rd International Symposium on Global COE Program of Center for Next-Generation Information Technology Based on Knowledge Discovery and Knowledge Federation
    • 発表場所
      北海道大学学術交流会館、札幌
    • 年月日
      2010-01-19
    • データソース
      KAKENHI-PROJECT-19500020
  • [学会発表] Optimizing mkbTT2010

    • 著者名/発表者名
      Sarah Winkler, Haruhiko Sato, Aart Middeldorp, Masahito Kurihara
    • 学会等名
      International Conference on Rewriting Techniques and Applications
    • 発表場所
      エジンバラ大学 (英国エジンバラ市)
    • 年月日
      2010-07-11
    • データソース
      KAKENHI-PROJECT-19500020
  • [学会発表] Userfriendly GUI in software model checking2009

    • 著者名/発表者名
      Shoichi Yokoyama, Haruhiko Sato, Masahito Kurihara
    • 学会等名
      IEEE International Conference on Systems, Man, and Cybernetics
    • 発表場所
      ハイアット・リージェンシーホテル (米国サンアントニオ市)
    • 年月日
      2009-10-12
    • データソース
      KAKENHI-PROJECT-19500020
  • [学会発表] User-friendly GUI in software model checking2009

    • 著者名/発表者名
      Shoichi Yokoyama, Haruhiko Sato, Masahito Kurihara
    • 学会等名
      2009 IEEE International Conference on Systems, Man, and Cybernetics
    • 発表場所
      ハイアット・リージェンシーホテル、サンアントニオ(米国)
    • 年月日
      2009-10-12
    • データソース
      KAKENHI-PROJECT-19500020
  • [学会発表] Multi-completion procedures for term rewriting systems based on constraint system2008

    • 著者名/発表者名
      Haruhiko Sato and Masahito Kurihara
    • 学会等名
      International Conference on Information Technology and Applications
    • 発表場所
      Hilton Cairns Hotel (Cairns)
    • データソース
      KAKENHI-PROJECT-19500020
  • [学会発表] Implementation and performance evaluation of multi-completion with termination checking2008

    • 著者名/発表者名
      Haruhiko Sato and Masahito Kurihara
    • 学会等名
      2008 IEEE International Conference on Systems, Man, and Cybernetics
    • 発表場所
      Suntec Singapore Convention Exhibition Centre (Singapore)
    • データソース
      KAKENHI-PROJECT-19500020
  • [学会発表] Design and Implementation of Multicompletion procedures with termination checking2008

    • 著者名/発表者名
      Haruhiko Sato, Masahito Kurihara
    • 学会等名
      International Conference on Theoretical and Mathematical Foundations of Computer Science
    • 発表場所
      インペリアル・スワンホテル (米国オーランド市)
    • 年月日
      2008-07-07
    • データソース
      KAKENHI-PROJECT-19500020
  • [学会発表] Searching for successful reduction orders in equational multi-completion with boolean constraints2008

    • 著者名/発表者名
      Masahito Kurihara and Haruhiko Sato
    • 学会等名
      International Symposium on Global COE Program of Center for Next-Generation Information Technology based on Knowledge Discovery and Knowledge Federation(GCOE-NGIT 2008)
    • 発表場所
      北海道大学(札幌)
    • データソース
      KAKENHI-PROJECT-19500020
  • [学会発表] Multi-completion procedures for term rewriting systems with modern termination checking2008

    • 著者名/発表者名
      Haruhiko Sato, Masahito Kurihara
    • 学会等名
      International Conference on Computing, Communications and Control
    • 発表場所
      ローゼンセンター (米国オーランド市)
    • 年月日
      2008-06-29
    • データソース
      KAKENHI-PROJECT-19500020
  • [学会発表] Multicompletion with termination tools2008

    • 著者名/発表者名
      Haruhiko Sato, Sarah Winkler, Masahito Kurihara, Aart Middeldorp
    • 学会等名
      International Joint Conference on Automated Reasoning
    • 発表場所
      メキュアホテル (豪州シドニー市)
    • 年月日
      2008-08-10
    • データソース
      KAKENHI-PROJECT-19500020
  • [学会発表] Multi-completion procedures for term rewriting systems based on constraint system, Proc2008

    • 著者名/発表者名
      Haruhiko Sato, Masahito Kurihara
    • 学会等名
      International Conference on Information Technology and Appli-cations
    • 発表場所
      ヒルトンホテル (豪州ケアンズ市)
    • 年月日
      2008-06-23
    • データソース
      KAKENHI-PROJECT-19500020
  • [学会発表] Multi-completion procedures for term rewriting systems with modern termination checking2008

    • 著者名/発表者名
      Haruhiko Sato and Masahito Kurihara
    • 学会等名
      International Conference on Computing, Communications and Control
    • 発表場所
      Rosen Centre Hotel (Orlando)
    • データソース
      KAKENHI-PROJECT-19500020
  • [学会発表] Design and Implementation of Multi-completion procedures with termination checking2008

    • 著者名/発表者名
      Haruhiko Sato and Masahito Kurihara
    • 学会等名
      International Conference on Theoretical and Mathematical Foundations of Computer Science
    • 発表場所
      Imperial Swan Hotel & Suites (Orlando)
    • データソース
      KAKENHI-PROJECT-19500020
  • [学会発表] Multi-completion with termination tools2008

    • 著者名/発表者名
      Haruhiko Sato, Sarah Winkler, Masahito Kurihara and Aart Middeldorp
    • 学会等名
      4th International Joint Conference on Automated Reasoning
    • 発表場所
      Mecure Sydney Hotel (Sydney)
    • データソース
      KAKENHI-PROJECT-19500020
  • [学会発表] MKBOOL: A multi-completion system for boolean constrained reduction orders2008

    • 著者名/発表者名
      Haruhiko Sato and Masahito Kurihara
    • 学会等名
      International MultiConference of Engineers and Computer Scientists 2008(IMECS 2008)
    • 発表場所
      リーガル・カオルーンホテル(香港)
    • データソース
      KAKENHI-PROJECT-19500020
  • [学会発表] MKBOOL : A multi-completion system for boolean constrained reduction orders2008

    • 著者名/発表者名
      Haruhiko Sato, Masahito Kurihara
    • 学会等名
      IAENG International MultiConference of Engineers and Computer Scientists
    • 発表場所
      リーガル・カオルーンホテル (香港)
    • 年月日
      2008-03-19
    • データソース
      KAKENHI-PROJECT-19500020
  • [学会発表] Implementation and performance evaluation of multi-completion with termination checking2008

    • 著者名/発表者名
      Haruhiko Sato, Masahito Kurihara
    • 学会等名
      IEEE International Conference on Systems, Man, and Cybernetics
    • 発表場所
      サンテック国際会議展示場 (シンガポール)
    • 年月日
      2008-10-12
    • データソース
      KAKENHI-PROJECT-19500020
  • [学会発表] 依存対法を用いた項書換え系多重完備化手続き2007

    • 著者名/発表者名
      佐藤 晴彦, 栗原 正仁
    • 学会等名
      日本ソフトウェア科学会第24回大会
    • 発表場所
      奈良先端科学技術大学院大学(奈良)
    • データソース
      KAKENHI-PROJECT-19500020
  • [学会発表] 依存対法を用いた項書換え系多重完備化手続き2007

    • 著者名/発表者名
      佐藤 晴彦, 栗原 正仁
    • 学会等名
      電子情報通信学会ソフトウェアサイエンス研究会
    • 発表場所
      北海道大学(札幌)
    • データソース
      KAKENHI-PROJECT-19500020
  • [学会発表] Parallelization of Termination Checker for Term Rewriting System

    • 著者名/発表者名
      Masahito Kurihara
    • 学会等名
      IEEE International Conference on Systems, Man, and Cybernetics
    • 発表場所
      COEX会議場(ソウル)
    • データソース
      KAKENHI-PROJECT-22500022
  • [学会発表] 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.  佐藤 晴彦 (30543178)
    共同の研究課題数: 3件
    共同の研究成果数: 22件
  • 2.  大内 東 (50002308)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 3.  遠藤 聡志 (00223686)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 4.  大柳 俊夫 (70177020)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 5.  野中 秀俊 (60189420)
    共同の研究課題数: 1件
    共同の研究成果数: 3件
  • 6.  吉川 毅 (40344486)
    共同の研究課題数: 1件
    共同の研究成果数: 4件
  • 7.  季 承成
    共同の研究課題数: 1件
    共同の研究成果数: 4件
  • 8.  高松 宏樹
    共同の研究課題数: 1件
    共同の研究成果数: 2件
  • 9.  丁 睿
    共同の研究課題数: 1件
    共同の研究成果数: 1件

URL: 

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi