OYAMAGUCHI Michio 大山口通夫

Researcher Number	50111828
External Links
Affiliation (based on the past Project Information) *help	2000 – 2005: 三重大学, 工学部, 教授 1996 – 1998: 三重大学, 工学部, 教授 1990 – 1994: 三重大学, 工学部, 教授
Review Section/Research Field	Principal Investigator 計算機科学 / Fundamental theory of informatics / Informatics
Keywords	Principal Investigator Church-Rosser / Term Rewriting Systems / 項書き換えシステム / unification / completion procedure / nonlinear TRS / Church-Rosser(合流性) / 定理の自動証明 / 単一化 / 完備化手続き … More / 非線形TRS / 深さ保存性 / automated theorem proving / completion of extended critical pairs / 拡張危険対の完備化 / 合流性 / joinability / word problem / Church-Rosser(confluence) / 右非線形TRS / 項合流性 / 語問題 / normal TRS / 定理の自働証明 / 標準TRS / weight-preserving / automatic theorem proving / 強重なり性 / 左線形TRS / 重さ保存性 / Sequence-normalizing / Depth-preserving / simple-right-linear / Non-omega-overlapping / E-overlapping / 右定項TRS / 非W重なり / 非E重なり / 系列正規化 / 単純右線形TRS / 非ω重なり / E重なり / program verification / language processor / object oriented / continuation / denotational semantics / parallel processing / 表示的意味記述 / 正当性検証 / 必須呼び出し計算 / 形式的意味論 / プログラムの正当性検証 / 言語実行系 / オブジェクト指向 / 接続法 / 表示的意味論 / 並列処理言語 Less

Research Projects
(5 results)
Research Products
(8 results)

Research in fundamental properties of rewriting systems and advanced theorem proving systemsPrincipal Investigator
- Principal Investigator
  
  OYAMAGUCHI Michio
- Project Period (FY)
  2003 – 2005
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Mie University
Fundamental properties of rewriting systems and automated theorem provingPrincipal Investigator
- Principal Investigator
  
  OYAMAGUCHI Michio
- Project Period (FY)
  2000 – 2002
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  Mie University
Fundamental properties of rewriting systems and completion proceduresPrincipal Investigator
- Principal Investigator
  
  OYAMAGUCHI Michio
- Project Period (FY)
  1996 – 1998
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  MIE UNIVERSITY
Fundamental properties of rewriting systems and evaluation strategy of functional programsPrincipal Investigator
- Principal Investigator
  
  OYAMAGUCHI Michio
- Project Period (FY)
  1993 – 1994
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  MIE UNIVERSITY
Design, formal semantics and verification of parallel programming languagesPrincipal Investigator
- Principal Investigator
  
  OYAMAGUCHI Michio
- Project Period (FY)
  1990 – 1992
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  Informatics
- Research Institution
  Mie university

All 2006 2004 2003

All Journal Article

[Journal Article] The Joinability and Related Decision Problems for Semi-Constructor TRSs2006
- Author(s)
  I Mitsuhashi, M.Oyamaguchi, Y.Ohta, T.Yamada
- Journal Title
  
  Transactions of IPS Japan Vol.47,No.5(in print)
- NAID
  130000058353
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500009
[Journal Article] The reachability and related decision problems for monadic and semi-constructor TRSs2006
- Author(s)
  I.Mitsuhashi, M.Oyamaguchi, T.Yamada
- Journal Title
  
  Information Processing Letters (in print)
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500009
[Journal Article] On the Open Problems Concerning Church-Rosser of Left-Linear Term Rewriting Systems2004
- Author(s)
  M.Oyamaguchi, Y.Ohta
- Journal Title
  
  Transactions of IEICE Vol.E87-D, No.2
  
  Pages: 290-298
- NAID
  110003223348
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500009
[Journal Article] The Joinability and Unification Problems for Confluent Semi-Constructor TRSs2004
- Author(s)
  I.Mitsuhashi, M.Oyamaguchi, Y.Ohta, T.Yamada
- Journal Title
  
  Proceedings of the 15th International Conference on Rewriting Techniques and Applications (RTA 2004) LNCS3091
  
  Pages: 285-300
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500009
[Journal Article] On the open Problems Concerning Church-Rosser of Left-Linear Term Rewriting Systems2004
- Author(s)
  M.Oyamaguchi
- Journal Title
  
  Transactions of IEICE E87-D・2
  
  Pages: 290-298
- NAID
  110003223348
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500009
[Journal Article] On the Open Problems Concerning Church-Rosser of Left-Linear Term Rewriting Systems2004
- Author(s)
  OYAMAGUCHI, M.
- Journal Title
  
  IEICE Trans. Inf.& Syst. E87-D・2
  
  Pages: 290-298
- NAID
  110003223348
- Data Source
  KAKENHI-PROJECT-15500009
[Journal Article] The Unification Problem for Confluent Right-Ground Term Rewriting Systems2003
- Author(s)
  M.Oyamaguchi, Y.Ohta
- Journal Title
  
  Information and Computation Vol.183
  
  Pages: 187-211
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500009
[Journal Article] The Unification Problem for Confluent Right-Ground Term Rewriting Systems2003
- Author(s)
  M.Oyamaguchi
- Journal Title
  
  Information and Computatlon 183
  
  Pages: 187-211
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500009

OYAMAGUCHI Michio 大山口 通夫

Research Projects

Research Products

Research in fundamental properties of rewriting systems and advanced theorem proving systemsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Fundamental properties of rewriting systems and automated theorem provingPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Fundamental properties of rewriting systems and completion proceduresPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Fundamental properties of rewriting systems and evaluation strategy of functional programsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Design, formal semantics and verification of parallel programming languagesPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] The Joinability and Related Decision Problems for Semi-Constructor TRSs2006

Author(s)

Journal Title

NAID

Description

Data Source

[Journal Article] The reachability and related decision problems for monadic and semi-constructor TRSs2006

Author(s)

Journal Title

Description

Data Source

[Journal Article] On the Open Problems Concerning Church-Rosser of Left-Linear Term Rewriting Systems2004

Author(s)

Journal Title

NAID

Description

Data Source

[Journal Article] The Joinability and Unification Problems for Confluent Semi-Constructor TRSs2004

Author(s)

Journal Title

Description

Data Source

[Journal Article] On the open Problems Concerning Church-Rosser of Left-Linear Term Rewriting Systems2004

Author(s)

Journal Title

NAID

Description

Data Source

[Journal Article] On the Open Problems Concerning Church-Rosser of Left-Linear Term Rewriting Systems2004

Author(s)

Journal Title

NAID

Data Source

[Journal Article] The Unification Problem for Confluent Right-Ground Term Rewriting Systems2003

Author(s)

Journal Title

Description

Data Source

[Journal Article] The Unification Problem for Confluent Right-Ground Term Rewriting Systems2003

Author(s)

Journal Title

Description

Data Source

OYAMAGUCHI Michio 大山口通夫