Miura Katsunori 三浦克宜

… Alternative Names

MIURA Katsunori 三浦克宣

三浦克宜ミウラカツノリ

Less

Researcher Number	50636587
Other IDs
Affiliation (Current)	2025: 小樽商科大学, 商学部, 教授
Affiliation (based on the past Project Information) *help	2013 – 2015: 北見工業大学, 工学部, 講師
Review Section/Research Field	Except Principal Investigator Intelligent informatics
Keywords	Except Principal Investigator セマンテックＷｅｂ / 言語学習 / モデルインターセクション / 論理構造 / 参照制約 / 並列プログラム生成 / ルール生成 / 確定節除去変換 / 等価変換ルール / アンフォールド変換 … More / 自然言語インターフェイス / ルール適用制御 / 関数変数 / モデルインターセクション問題 / 意味理解 / 求解問題 / 等価変換 Less

Research on Construction Technology of Semantic Web
- Principal Investigator
  
  Akama Kiyoshi
- Project Period (FY)
  2013 – 2015
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Intelligent informatics
- Research Institution
  Hokkaido University

All 2014 2013

All Journal Article

[Journal Article] ET-based Bidirectional Search for proving Formulas in the Class ES2014
- Author(s)
  Katsunori Miura and Kiyoshi Akama
- Journal Title
  
  International Journal of Innovative Computing, Information and Control
  
  Volume: Vol.10, No.6
- NAID
  120005649802
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25280078
[Journal Article] PROOF OF UNSATISFIABILITY OF ATOM SETS BASED ON COMPUTATION BY EQUIVALENT TRANSFORMATION RULES2013
- Author(s)
  Katsunori Miura, Kiyoshi Akama, Hiroshi Mabuchi, and Hidekatsu Koike
- Journal Title
  
  International Journal of Innovative Computing, Information and Control
  
  Volume: Vol. 9, No. 11 Pages: 4419-4430
- NAID
  120005649801
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25280078
[Journal Article] THEORETICAL BASIS FOR MAKING EQUIVALENT TRANSFORMATION RULES FROM LOGICAL EQUIVALENCES FOR PROGRAM SYNTHESIS2013
- Author(s)
  Katsunori Miura, Kiyoshi Akama, Hiroshi Mabuchi, and Hidekatsu Koike
- Journal Title
  
  International Journal of Innovative Computing, Information and Control
  
  Volume: Vol. 9, No. 6 Pages: 2635-2650
- NAID
  120005649800
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25280078

1. Akama Kiyoshi (50126265)

# of Collaborated Projects: 1 results

# of Collaborated Products: 3 results
2. ARAKI Kenji (50202742)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
3. Sirindhorn Ekawit Nantajeewarawat

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

Miura Katsunori 三浦克宜

MIURA Katsunori 三浦克宣

三浦克宜ミウラカツノリ

Research Projects

Research Products

Co-Researchers

Research on Construction Technology of Semantic Web

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] ET-based Bidirectional Search for proving Formulas in the Class ES2014

Author(s)

Journal Title

NAID

Data Source

[Journal Article] PROOF OF UNSATISFIABILITY OF ATOM SETS BASED ON COMPUTATION BY EQUIVALENT TRANSFORMATION RULES2013

Author(s)

Journal Title

NAID

Data Source

[Journal Article] THEORETICAL BASIS FOR MAKING EQUIVALENT TRANSFORMATION RULES FROM LOGICAL EQUIVALENCES FOR PROGRAM SYNTHESIS2013

Author(s)

Journal Title

NAID

Data Source

Miura Katsunori 三浦 克宜

MIURA Katsunori 三浦 克宣

三浦 克宜 ミウラ カツノリ

Research Projects

Research Products

Co-Researchers

Research on Construction Technology of Semantic Web

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] ET-based Bidirectional Search for proving Formulas in the Class ES2014

Author(s)

Journal Title

NAID

Data Source

[Journal Article] PROOF OF UNSATISFIABILITY OF ATOM SETS BASED ON COMPUTATION BY EQUIVALENT TRANSFORMATION RULES2013

Author(s)

Journal Title

NAID

Data Source

[Journal Article] THEORETICAL BASIS FOR MAKING EQUIVALENT TRANSFORMATION RULES FROM LOGICAL EQUIVALENCES FOR PROGRAM SYNTHESIS2013

Author(s)

Journal Title

NAID

Data Source

Miura Katsunori 三浦克宜

MIURA Katsunori 三浦克宣

三浦克宜ミウラカツノリ