KURIHARA Masahito 栗原正仁

… Alternative Names

KURIFARA Masahito 栗原正仁

Less

Researcher Number	50133707
Other IDs
External Links
Affiliation (based on the past Project Information) *help	2012 – 2018: 北海道大学, 情報科学研究科, 教授 2007 – 2012: Hokkaido University, 大学院・情報科学研究科, 教授 2004: Hokkaido Univ., Grad.School of Info.Sci.Tech, Prof., 大学院・情報科学研究科, 教授 2003: 北海道大学, 大学院・工学研究科, 教授 1998 – 1999: 北海道工業大学, 工学部, 教授 … More 1997: 北海道工業大学, 工学部・電気工学科, 教授 1992 – 1994: 北海道大学, 工学部, 助教授 1990: Hokkaido University, Fac. of Engineering, Assistant Professor, 工学部, 助教授 1989: 北海道大学, 工学部, 講師 Less
Review Section/Research Field	Principal Investigator Software / Software / Rehabilitation science/Welfare engineering / System engineering / 情報工学 Except Principal Investigator Informatics
Keywords	Principal Investigator 項書換え系 / 多重文脈推論 / 多重文脈型推論 / 停止性 / GIS / 完備化 / EBL / 検証 / 帰納的定理証明 / 代数的ソフトウェア … More / 帰納的定理自動証明 / 停止性検証 / 項書換えシステム / 定理自動証明 / 人工知能 / ソフトウェア学 / 仕様記述・検証 / 発散鑑定 / 定理発見 / 補助定理 / 書換え帰納法 / 補題生成 / 定理自動発見 / 帰納的定理 / 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 / プログラム検証 / 学習 / 真偽維持システム / リフォーメーション / 変換 / 項書き換え系 / モジュール / リフレクション / プログラム合成 / システム形式検証 / 代数的仕様記述 / 代数学 / 並列プログラミング / 代数 / ソフトウェア / 並列化 / オーストリア / 国際情報交換 / 完備化手続き / ディペンダブル・コンピューティング / システム工学 … More Except Principal Investigator Personal Construct Grid Method / Fuzzy / E T S / Structural Modeling / Knowledge Acquisition / Expert System / 二項関係 / 人工知能 / ファジィ / ファジイ / ETS / 構造モデリング / 知識獲得 / エキスパ-トシステム Less

Discovery and proof of inductive theorems with multi-context reasoning systems for algebraic softwarePrincipal Investigator
- Principal Investigator
  
  Kurihara Masahito
- Project Period (FY)
  2016 – 2018
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Hokkaido University
Inductive theorem proving and its application with multi-context reasoning systems for algebraic softwarePrincipal Investigator
- 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 SoftwarePrincipal Investigator
- 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
Development of Multi-Context Reasoning Infrastructural Systems for Algebraic SoftwarePrincipal Investigator
- Principal Investigator
  
  KURIHARA Masahito
- Project Period (FY)
  2007 – 2009
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Hokkaido University
Use of Highly Accurate GPS in Network-Based Barrier-Free Map Creation SystemPrincipal Investigator
- Principal Investigator
  
  KURIHARA Masahito
- Project Period (FY)
  2003 – 2004
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Rehabilitation science/Welfare engineering
- Research Institution
  HOKKAIDO UNIVERSITY
VERIFICATION AND DIAGNOSIS OF COMPUTER SYSTEMS BASED ON DISTRIBUTED CONSTRAINT SATISFACTION OF AGENTSPrincipal Investigator
- Principal Investigator
  
  KURIHARA Masahito
- Project Period (FY)
  1997 – 1999
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  System engineering
- Research Institution
  HOKKAIDO INSTITUTE OF TECHNOLOGY
EXPLANATION-BASED LEARNING AND REFORMATION FOR PROGRAM GENERATION,TRANSFORMATION,AND VERIFICATIONPrincipal Investigator
- Principal Investigator
  
  KURIHARA Masahito
- Project Period (FY)
  1992 – 1994
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  情報工学
- Research Institution
  Hokkaido University
Knowledge Structural Modeling for Developing Expert Systems.
- Principal Investigator
  
  OHUCHI Azuma
- Project Period (FY)
  1989 – 1990
- Research Category
  
  Grant-in-Aid for General Scientific Research (B)
- Research Field
  
  Informatics
- Research Institution
  Hokkaido University

[Journal Article] Multi-Context Automated Lemma Generation for Term Rewriting Induction with Divergence Detection2019
- Author(s)
  Chengcheng Ji, Masahito Kurihara, Haruhiko Sato
- Journal Title
  
  IEICE Transactions on Information and Systems
  
  Volume: E102-D Pages: 223-238
- NAID
  130007586588
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-16K00090
[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] 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] A Tool for Visualizing the Behavior of Fuzzy Constraint Satisfaction Solvers2010
- Author(s)
  Takuto Yanagida, Masahito Kurihara, Hidetoshi Nonaka
- Journal Title
  
  Journal of Advanced Computational Intelligence & Intelligent Informatics 14(未定(採択決定・編集中))
  
  Pages: 1-1
- Data Source
  KAKENHI-PROJECT-19500020
[Journal Article] Multi-context rewriting induction with termination checkers (Special Section on Formal Approach)2010
- Author(s)
  Haruhiko Sato, Masahito Kurihara
- Journal Title
  
  IEICE Transactions on Information and Systems Vol. E93-D, No. 5(採録決定)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500020
[Journal Article] Hardness measures for gridworld bench-marks and performance analysis of realtime heuristic search algorithms2010
- Author(s)
  Masataka Mizusawa, Masahito Kurihara
- Journal Title
  
  Journal of Heuristics Vol. 16
  
  Pages: 23-36
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500020
[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
[Journal Article] Multi-context rewriting induction with termination checkers2010
- Author(s)
  Haruhiko Sato, Masahito Kurihara
- Journal Title
  
  IEICE Transactions on Information and Systems(Special Section on Formal Approach) E93-D(未定(採択決定・編集中))
  
  Pages: 1-1
- NAID
  10026815209
- Data Source
  KAKENHI-PROJECT-19500020
[Journal Article] Hardness measures for gridworld benchmarks and performance analysis of real-time heuristic search algorithms2010
- Author(s)
  Masataka Mizusawa, Masahito Kurihara
- Journal Title
  
  Journal of Heuristics 16
  
  Pages: 23-36
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500020
[Journal Article] Computational Dialectics Based on Specialization and Generalization-A New Reasoning Method for Conflict Resolution2009
- Author(s)
  Hiroyuki Kido and Masahito Kurihara
- Journal Title
  
  Lecture Notes in Artificial Intelligence 5447
  
  Pages: 228-241
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500020
[Journal Article] Constraint-based multi-completion procedures for term rewriting systems (Special Section on Foundation of Computer Science)2009
- Author(s)
  Haruhiko Sato, Masahito Kurihara, Sarah Winkler, Aart Middeldorp
- Journal Title
  
  IEICE Transactions on Information and Systems Vol. E92-D, No. 2
  
  Pages: 220-234
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500020
[Journal Article] Constraint-Based Multi-Completion Procedures for Term Rewriting Systems2009
- Author(s)
  Haruhiko Sato, Masahito Kurihara, Sarah Winkler, Aart Middeldorp
- Journal Title
  
  IEICE Transactions on Information and Systems (Special Section on Foundation of Computer Science) E92-D
  
  Pages: 220-234
- NAID
  10026807461
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500020
[Journal Article] Hardness measures for gridworld benchmarks and performance-analysis of real-time heuristic search algorithms2008
- Author(s)
  Masataka Mizusawa and Masahito Kurihara
- Journal Title
  
  Journal of-Heuristics 2008(Online)
  
  Pages: 1-14
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-19500020
[Journal Article] Mathematical model and logic for multipath message forwarding networks2005
- Author(s)
  M.Numazawa, M.Kurihara
- Journal Title
  
  IPSJ Trans.TOM 46-SIG2
  
  Pages: 39-46
- NAID
  110002914211
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15300188
[Journal Article] 多重パスメッセージ転送ネットワークの数理モデルと論理2005
- Author(s)
  沼澤政信, 栗原正仁
- Journal Title
  
  情報処理学会論文誌:数理モデル化と応用 46
  
  Pages: 39-46
- NAID
  110002914211
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15300188
[Journal Article] 優先順位と二分決定グラフに基づく複数経路順序下の項書換え系完備化手続き2004
- Author(s)
  横山壱星, 栗原正仁
- Journal Title
  
  人工知能学会論文誌 19
  
  Pages: 472-482
- NAID
  10014164867
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15300188
[Journal Article] Description and acquirement of macro-actions in reinforcement learning2004
- Author(s)
  T.Yoshikawa, Y.Kanazawa, M.Kurihara
- Journal Title
  
  Proc.6th Int.Conf.on Fuzzy Systems
  
  Pages: 150-153
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15300188
[Journal Article] Use of highly accurate GPS in network-based barrier-free map creation system2004
- Author(s)
  M.Kurihara, H.Nonaka, T.Yoshikawa
- Journal Title
  
  Proc.IEEE Int.Conf.on Systems, Man and Cybernetics 1
  
  Pages: 1169-1173
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15300188
[Journal Article] エージェントの移動性を考慮したエージェント間通信のトラフィック量に関する実験と評価2004
- Author(s)
  能登正人, 沼澤政信, 栗原正仁
- Journal Title
  
  電気学会論文誌C 124
  
  Pages: 904-911
- NAID
  10012646843
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15300188
[Journal Article] Time-frequency decomposition in gesture recognition system using accelerometer2004
- Author(s)
  H.Nonaka, M.Kurihara
- Journal Title
  
  Lecture Notes in Artificial Intelligence 3213
  
  Pages: 1072-1078
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15300188
[Journal Article] Use of highly accurate GPS in network-based barrier-free map creation system2004
- Author(s)
  M.Kurihara, H.Nonaka, T.Yoshikawa
- Journal Title
  
  Proc.IEEE 2004 Int.Conf.on Systems, Man and Cybernetics 1
  
  Pages: 1169-1173
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15300188
[Journal Article] Description and acquirement of macro-actions in reinforcement learning2004
- Author(s)
  T.Yoshikawa, Y.Kanazawa, M.Kurihara
- Journal Title
  
  Proc.6th Int.Conf.on Fuzzy Systems 1
  
  Pages: 150-153
- Data Source
  KAKENHI-PROJECT-15300188
[Journal Article] Empirical evaluation of traffic performance of inter-agent communication systems with mobile agents2004
- Author(s)
  M.Noto, M.Numazawa, M.Kurihara
- Journal Title
  
  IEEJ Trans.EIS 124-3
  
  Pages: 904-911
- NAID
  10012646843
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15300188
[Journal Article] Completion for multiple path orderings based on precedence and binary decision diagrams2004
- Author(s)
  I.Yokoyama, M.Kurihara
- Journal Title
  
  JSAI Trans. 19-6
  
  Pages: 472-482
- NAID
  10014164867
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15300188
[Journal Article] Efficient BDD Encodings for Partial Order Constraints with Application to Expert Systems in Software Verification2004
- Author(s)
  M.Kurihara, H.Kondo
- Journal Title
  
  Lecture Notes in Artificial Intelligence 3029
  
  Pages: 827-837
- Data Source
  KAKENHI-PROJECT-15300188
[Journal Article] Efficient BDD encodings for partial order constraints with application to expert systems in software verification2004
- Author(s)
  M.Kurihara, H.Kondo
- Journal Title
  
  Lecture Notes in Artificial Intelligence 3029
  
  Pages: 827-837
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15300188
[Journal Article] Logic for multi-path message forwarding networks for mobile agents2003
- Author(s)
  M.Kurihara, M.Numazawa
- Journal Title
  
  Lecture Notes in Artificial Intelligence 2871
  
  Pages: 374-383
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15300188
[Presentation] Automated proof and discovery of inductive thorems with rewriting induction over multi-context reasoning systems: state-of-the-art technologies and perspectives2018
- Author(s)
  Masahito Kurihara, Haruhiko Sato, ChengCheng Ji
- Organizer
  World Congress on Engineering and Computer Science 2018 (WCECS 2018)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K00090
[Presentation] On Usefulness of Syntactically Complex Lemmas in Theory Exploration for Inductive Theorems2018
- Author(s)
  Haruhiko Sato and Masahito Kurihara
- Organizer
  International MultiConference of Engineers and Computer Scientists
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K00090
[Presentation] Lazy Evaluation Schemes for Efficient Implementation of Multi-Context Algebraic Reasoning Systems2016
- Author(s)
  Chengcheng Ji, Masahito Kurihara
- Organizer
  Computational Logic in the Alps (CLA 2016)
- Place of Presentation
  Obergurgl (Austria)
- Year and Date
  2016-09-05
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K00090
[Presentation] Discovering Inductive Theorems Using Rewriting Induction2016
- Author(s)
  Haruhiko Sato, Masahito Kurihara
- Organizer
  IEEE International Conference on Systems, Man, and Cybernetics (SMC 2016)
- Place of Presentation
  Budapest (Hungary)
- Year and Date
  2016-10-09
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K00090
[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] Design and Implementation of Multi-Context Rewriting Induction2010
- Author(s)
  Haruhiko Sato, Masahito Kurihara
- Organizer
  IAENG International MultiConference of Engineers and Computer Scientists
- Place of Presentation
  ロイヤルガーデンホテル (香港)
- Year and Date
  2010-03-17
- Data Source
  KAKENHI-PROJECT-19500020
[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] Design and Implementation of Multi-Context Rewriting Induction2010
- Author(s)
  Haruhiko Sato, Masahito Kurihara
- Organizer
  International MultiConference of Engineers and Computer Scientists
- Place of Presentation
  ロイヤルガーデンホテル、香港(中国)
- Year and Date
  2010-03-17
- Data Source
  KAKENHI-PROJECT-19500020
[Presentation] Multi-Context Rewriting Induction2010
- Author(s)
  Masahito Kurihara, Haruhiko Sato
- Organizer
  International Symposium on Global COE Program of Center for Next-Generation Information Technology Based on Knowledge Discovery and Knowledge Federation
- Place of Presentation
  北海道大学学術交流会館 (札幌)
- Year and Date
  2010-01-19
- Data Source
  KAKENHI-PROJECT-19500020
[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] Multi-Context Rewriting Induction2010
- Author(s)
  Masahito Kurihara, Haruhiko Sato
- Organizer
  3rd International Symposium on Global COE Program of Center for Next-Generation Information Technology Based on Knowledge Discovery and Knowledge Federation
- Place of Presentation
  北海道大学学術交流会館、札幌
- Year and Date
  2010-01-19
- Data Source
  KAKENHI-PROJECT-19500020
[Presentation] Optimizing mkbTT2010
- Author(s)
  Sarah Winkler, Haruhiko Sato, Aart Middeldorp, Masahito Kurihara
- Organizer
  International Conference on Rewriting Techniques and Applications
- Place of Presentation
  エジンバラ大学 (英国エジンバラ市)
- Year and Date
  2010-07-11
- Data Source
  KAKENHI-PROJECT-19500020
[Presentation] Userfriendly GUI in software model checking2009
- Author(s)
  Shoichi Yokoyama, Haruhiko Sato, Masahito Kurihara
- Organizer
  IEEE International Conference on Systems, Man, and Cybernetics
- Place of Presentation
  ハイアット・リージェンシーホテル (米国サンアントニオ市)
- Year and Date
  2009-10-12
- Data Source
  KAKENHI-PROJECT-19500020
[Presentation] User-friendly GUI in software model checking2009
- Author(s)
  Shoichi Yokoyama, Haruhiko Sato, Masahito Kurihara
- Organizer
  2009 IEEE International Conference on Systems, Man, and Cybernetics
- Place of Presentation
  ハイアット・リージェンシーホテル、サンアントニオ(米国)
- Year and Date
  2009-10-12
- Data Source
  KAKENHI-PROJECT-19500020
[Presentation] Multi-completion procedures for term rewriting systems based on constraint system2008
- Author(s)
  Haruhiko Sato and Masahito Kurihara
- Organizer
  International Conference on Information Technology and Applications
- Place of Presentation
  Hilton Cairns Hotel (Cairns)
- Data Source
  KAKENHI-PROJECT-19500020
[Presentation] Implementation and performance evaluation of multi-completion with termination checking2008
- Author(s)
  Haruhiko Sato and Masahito Kurihara
- Organizer
  2008 IEEE International Conference on Systems, Man, and Cybernetics
- Place of Presentation
  Suntec Singapore Convention Exhibition Centre (Singapore)
- Data Source
  KAKENHI-PROJECT-19500020
[Presentation] Design and Implementation of Multicompletion procedures with termination checking2008
- Author(s)
  Haruhiko Sato, Masahito Kurihara
- Organizer
  International Conference on Theoretical and Mathematical Foundations of Computer Science
- Place of Presentation
  インペリアル・スワンホテル (米国オーランド市)
- Year and Date
  2008-07-07
- Data Source
  KAKENHI-PROJECT-19500020
[Presentation] Searching for successful reduction orders in equational multi-completion with boolean constraints2008
- Author(s)
  Masahito Kurihara and Haruhiko Sato
- Organizer
  International Symposium on Global COE Program of Center for Next-Generation Information Technology based on Knowledge Discovery and Knowledge Federation(GCOE-NGIT 2008)
- Place of Presentation
  北海道大学(札幌)
- Data Source
  KAKENHI-PROJECT-19500020
[Presentation] Multi-completion procedures for term rewriting systems with modern termination checking2008
- Author(s)
  Haruhiko Sato, Masahito Kurihara
- Organizer
  International Conference on Computing, Communications and Control
- Place of Presentation
  ローゼンセンター (米国オーランド市)
- Year and Date
  2008-06-29
- Data Source
  KAKENHI-PROJECT-19500020
[Presentation] Multicompletion with termination tools2008
- Author(s)
  Haruhiko Sato, Sarah Winkler, Masahito Kurihara, Aart Middeldorp
- Organizer
  International Joint Conference on Automated Reasoning
- Place of Presentation
  メキュアホテル (豪州シドニー市)
- Year and Date
  2008-08-10
- Data Source
  KAKENHI-PROJECT-19500020
[Presentation] Multi-completion procedures for term rewriting systems based on constraint system, Proc2008
- Author(s)
  Haruhiko Sato, Masahito Kurihara
- Organizer
  International Conference on Information Technology and Appli-cations
- Place of Presentation
  ヒルトンホテル (豪州ケアンズ市)
- Year and Date
  2008-06-23
- Data Source
  KAKENHI-PROJECT-19500020
[Presentation] Multi-completion procedures for term rewriting systems with modern termination checking2008
- Author(s)
  Haruhiko Sato and Masahito Kurihara
- Organizer
  International Conference on Computing, Communications and Control
- Place of Presentation
  Rosen Centre Hotel (Orlando)
- Data Source
  KAKENHI-PROJECT-19500020
[Presentation] Design and Implementation of Multi-completion procedures with termination checking2008
- Author(s)
  Haruhiko Sato and Masahito Kurihara
- Organizer
  International Conference on Theoretical and Mathematical Foundations of Computer Science
- Place of Presentation
  Imperial Swan Hotel & Suites (Orlando)
- Data Source
  KAKENHI-PROJECT-19500020
[Presentation] Multi-completion with termination tools2008
- Author(s)
  Haruhiko Sato, Sarah Winkler, Masahito Kurihara and Aart Middeldorp
- Organizer
  4th International Joint Conference on Automated Reasoning
- Place of Presentation
  Mecure Sydney Hotel (Sydney)
- Data Source
  KAKENHI-PROJECT-19500020
[Presentation] MKBOOL: A multi-completion system for boolean constrained reduction orders2008
- Author(s)
  Haruhiko Sato and Masahito Kurihara
- Organizer
  International MultiConference of Engineers and Computer Scientists 2008(IMECS 2008)
- Place of Presentation
  リーガル・カオルーンホテル(香港)
- Data Source
  KAKENHI-PROJECT-19500020
[Presentation] MKBOOL : A multi-completion system for boolean constrained reduction orders2008
- Author(s)
  Haruhiko Sato, Masahito Kurihara
- Organizer
  IAENG International MultiConference of Engineers and Computer Scientists
- Place of Presentation
  リーガル・カオルーンホテル (香港)
- Year and Date
  2008-03-19
- Data Source
  KAKENHI-PROJECT-19500020
[Presentation] Implementation and performance evaluation of multi-completion with termination checking2008
- Author(s)
  Haruhiko Sato, Masahito Kurihara
- Organizer
  IEEE International Conference on Systems, Man, and Cybernetics
- Place of Presentation
  サンテック国際会議展示場 (シンガポール)
- Year and Date
  2008-10-12
- Data Source
  KAKENHI-PROJECT-19500020
[Presentation] 依存対法を用いた項書換え系多重完備化手続き2007
- Author(s)
  佐藤晴彦, 栗原正仁
- Organizer
  日本ソフトウェア科学会第24回大会
- Place of Presentation
  奈良先端科学技術大学院大学(奈良)
- Data Source
  KAKENHI-PROJECT-19500020
[Presentation] 依存対法を用いた項書換え系多重完備化手続き2007
- Author(s)
  佐藤晴彦, 栗原正仁
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  北海道大学(札幌)
- Data Source
  KAKENHI-PROJECT-19500020
[Presentation] Parallelization of Termination Checker for Term Rewriting System
- Author(s)
  Masahito Kurihara
- Organizer
  IEEE International Conference on Systems, Man, and Cybernetics
- Place of Presentation
  COEX会議場（ソウル）
- Data Source
  KAKENHI-PROJECT-22500022
[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. SATO Haruhiko (30543178)

# of Collaborated Projects: 3 results

# of Collaborated Products: 22 results
2. OHUCHI Azuma (50002308)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
3. ENDOU Satoshi (00223686)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
4. OHYANAGI Toshio (70177020)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
5. NONAKA Hidetoshi (60189420)

# of Collaborated Projects: 1 results

# of Collaborated Products: 3 results
6. YOSHIKAWA Takashi (40344486)

# of Collaborated Projects: 1 results

# of Collaborated Products: 4 results
7. JI ChengCheng

# of Collaborated Projects: 1 results

# of Collaborated Products: 4 results
8. TAKAMATSU Hiroki

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
9. DING Rui

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results

KURIHARA Masahito 栗原 正仁

KURIFARA Masahito 栗原 正仁

Research Projects

Research Products

Co-Researchers

Discovery and proof of inductive theorems with multi-context reasoning systems for algebraic softwarePrincipal 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 softwarePrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

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

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Development of Multi-Context Reasoning Infrastructural Systems for Algebraic SoftwarePrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Use of Highly Accurate GPS in Network-Based Barrier-Free Map Creation SystemPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

VERIFICATION AND DIAGNOSIS OF COMPUTER SYSTEMS BASED ON DISTRIBUTED CONSTRAINT SATISFACTION OF AGENTSPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

EXPLANATION-BASED LEARNING AND REFORMATION FOR PROGRAM GENERATION,TRANSFORMATION,AND VERIFICATIONPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Knowledge Structural Modeling for Developing Expert Systems.

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] Multi-Context Automated Lemma Generation for Term Rewriting Induction with Divergence Detection2019

Author(s)

Journal Title

NAID

Data Source

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

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] A Tool for Visualizing the Behavior of Fuzzy Constraint Satisfaction Solvers2010

Author(s)

Journal Title

Data Source

[Journal Article] Multi-context rewriting induction with termination checkers (Special Section on Formal Approach)2010

Author(s)

Journal Title

Data Source

KURIHARA Masahito 栗原正仁

KURIFARA Masahito 栗原正仁