三浦克宜 Miura Katsunori

ORCID

ORCID連携する *注記

… 別表記

三浦克宣 MIURA Katsunori

隠す

研究者番号	50636587
その他のID
所属 (現在)	2025年度: 小樽商科大学, 商学部, 教授
所属 (過去の研究課題情報に基づく) *注記	2013年度 – 2015年度: 北見工業大学, 工学部, 講師
審査区分/研究分野	研究代表者以外知能情報学
キーワード	研究代表者以外セマンテックＷｅｂ / 言語学習 / モデルインターセクション / 論理構造 / 参照制約 / 並列プログラム生成 / ルール生成 / 確定節除去変換 / 等価変換ルール / アンフォールド変換 … もっと見る / 自然言語インターフェイス / ルール適用制御 / 関数変数 / モデルインターセクション問題 / 意味理解 / 求解問題 / 等価変換隠す

セマンティックWebの構築技術に関する研究
- 研究代表者
  
  赤間清
- 研究期間 (年度)
  2013 – 2015
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  知能情報学
- 研究機関
  北海道大学

すべて 2014 2013

すべて雑誌論文

[雑誌論文] ET-based Bidirectional Search for proving Formulas in the Class ES2014
- 著者名/発表者名
  Katsunori Miura and Kiyoshi Akama
- 雑誌名
  
  International Journal of Innovative Computing, Information and Control
  
  巻: Vol.10, No.6
- NAID
  120005649802
- 査読あり
- データソース
  KAKENHI-PROJECT-25280078
[雑誌論文] PROOF OF UNSATISFIABILITY OF ATOM SETS BASED ON COMPUTATION BY EQUIVALENT TRANSFORMATION RULES2013
- 著者名/発表者名
  Katsunori Miura, Kiyoshi Akama, Hiroshi Mabuchi, and Hidekatsu Koike
- 雑誌名
  
  International Journal of Innovative Computing, Information and Control
  
  巻: Vol. 9, No. 11 ページ: 4419-4430
- NAID
  120005649801
- 査読あり
- データソース
  KAKENHI-PROJECT-25280078
[雑誌論文] THEORETICAL BASIS FOR MAKING EQUIVALENT TRANSFORMATION RULES FROM LOGICAL EQUIVALENCES FOR PROGRAM SYNTHESIS2013
- 著者名/発表者名
  Katsunori Miura, Kiyoshi Akama, Hiroshi Mabuchi, and Hidekatsu Koike
- 雑誌名
  
  International Journal of Innovative Computing, Information and Control
  
  巻: Vol. 9, No. 6 ページ: 2635-2650
- NAID
  120005649800
- 査読あり
- データソース
  KAKENHI-PROJECT-25280078

1. 赤間清 (50126265)

共同の研究課題数: 1件

共同の研究成果数: 3件
2. 荒木健治 (50202742)

共同の研究課題数: 1件

共同の研究成果数: 0件
3. Sirindhorn Ekawit Nantajeewarawat

共同の研究課題数: 1件

共同の研究成果数: 0件