馬淵浩司 MABUCHI Hiroshi

研究者番号	20281545
その他のID
所属 (現在)	2025年度: 岩手県立大学, ソフトウェア情報学部, 教授
所属 (過去の研究課題情報に基づく) *注記	2010年度: 公立大学法人岩手県立大学, ソフトウェア情報学部, 准教授 2009年度 – 2010年度: 岩手県立大学, ソフトウェア情報学部, 准教授 2008年度: 公立大学法人岩手県立大学, ソフトウェア情報学部, 准教授 2007年度 – 2008年度: 岩手県立大学, 情報ソフトウェア学部, 准教授 2005年度 – 2006年度: 岩手県立大学, 情報ソフトウェア学部, 助教授
審査区分/研究分野	研究代表者以外計算機システム・ネットワーク / メディア情報学・データベース
キーワード	研究代表者以外特徴抽出 / 移動通信 / 行動理解 / 位置管理 / モバイルネットワーク技術 / 適応 / 例に導かれた探索 / 一般論理構造 / 論理等価式 / 質問応答問題 … もっと見る / 意味保存スコーレム化 / スコーレム化 / 等価変換 / 正当性 / 開世界問題 / プログラム生成 / 求解問題 / セマンテックWeb 隠す

ポスト4Gへ向けた利用者の自律・適応的行動理解モデル開発と新世代移動通信網の研究
- 研究代表者
  
  チャクラボルティゴウタム (G Chakraborty / CHAKRABORTY G)
- 研究期間 (年度)
  2008 – 2010
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  計算機システム・ネットワーク
- 研究機関
  岩手県立大学
適応的セマンテックWebの構築技術の研究
- 研究代表者
  
  赤間清
- 研究期間 (年度)
  2005 – 2008
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  メディア情報学・データベース
- 研究機関
  北海道大学

すべて 2010 2009 2008 2007 2006 2005

すべて雑誌論文学会発表

[雑誌論文] Creation of ET Rules from Logical Formulas representing Equivalent Relations2009
- 著者名/発表者名
  Katsunori Miura, Kiyoshi Akama, and Hiroshi Mabuchi
- 雑誌名
  
  International Journal of Innovative Computing, Information and Control (IJICIC) vol.5, no.2
  
  ページ: 263-277
- 査読あり
- データソース
  KAKENHI-PROJECT-17300027
[雑誌論文] Generating Functionality-based Rules for Program Construction2009
- 著者名/発表者名
  Katsunori Miura, Kiyoshi Akama, and Hiroshi Mabuchi
- 雑誌名
  
  International Journal of Innovative Computing, Information and Control (IJICIC) vol.5, no.9(掲載決定)
- 査読あり
- データソース
  KAKENHI-PROJECT-17300027
[雑誌論文] An Efficient Location Management Based on Delay Information for Mobile Communication2008
- 著者名/発表者名
  Daisuke Senzaki, Goutam Chakraborty, M. Matsuhara and H. Mabuchi
- 雑誌名
  
  Journal of Information Processing Society of Japan
  
  巻: Vol.49, No.1 ページ: 322-334
- NAID
  110006595154
- 査読あり
- データソース
  KAKENHI-PROJECT-20500071
[雑誌論文] Algorithmic Debugging of Equivalent Transformation Programs Based on Differences in Certainty of Rules2008
- 著者名/発表者名
  Shinya Miyajima, Kiyoshi Akama, Hiroshi Mabuchi
- 雑誌名
  
  Proceedings of the 9th International Conference on Intelligent Technologies (InTech'08)
  
  ページ: 103-112
- 査読あり
- データソース
  KAKENHI-PROJECT-17300027
[雑誌論文] Generating Speq Rules based on Automatic Proof of Logical Equivalence2008
- 著者名/発表者名
  Katsunori Miura, Kiyoshi Akama, and Hiroshi Mabuchi
- 雑誌名
  
  International Journal of Computer Science (IJCS) vol.3, no.3
  
  ページ: 190-198
- 査読あり
- データソース
  KAKENHI-PROJECT-17300027
[雑誌論文] Correctness Proof for Equivalent Transformation of Equality Constraints on an Interval-Variable Domain2005
- 著者名/発表者名
  Hiroshi Mabuchi
- 雑誌名
  
  Proc.of the 2005 International Conference on Artificial Intelligence (ICAI'05) Vol.II
  
  ページ: 627-633
- データソース
  KAKENHI-PROJECT-17300027
[学会発表] An Efficient Method to Set RBF Network Paramters Based on SOM Training2010
- 著者名/発表者名
  Kazuhiko Yamashita, Groutam Chakraborty, Hiroshi Mabuchi, Masafumi Matsuhara
- 学会等名
  Proceedings of the IEEE international Conference on Computer and Information Technology
- 発表場所
  イギリス
- データソース
  KAKENHI-PROJECT-20500071
[学会発表] How best to restore operations of a Damaged ANN?2010
- 著者名/発表者名
  Goutam Chakraborty, Hideyuki Kurokawa, Basabi Chakraborty, Masafumi Matsuhara, Hiroshi Mabuchi, Yasuo Terayama
- 学会等名
  Proceedings of the IEEE World Congress on Computational Intelligence
- 発表場所
  スペイン
- データソース
  KAKENHI-PROJECT-20500071
[学会発表] How best to restore operations of a Damaged ANN?2010
- 著者名/発表者名
  Goutam Chakraborty, H.Kurokawa, B.Chakraborty, M.Matsuhara, H.Mabuchi, Y.Terayama
- 学会等名
  IEEE World Congress on Computational Intelligence
- 発表場所
  Spain
- データソース
  KAKENHI-PROJECT-20500071
[学会発表] An Efficient Method to Set RBF Network Paramters Based on SOM Training2010
- 著者名/発表者名
  Kazuhiko Yamashita, Goutam Chakraborty, Hiroshi Mabuchi, Masafumi Matsuhara
- 学会等名
  IEEE international Conference on Computer and Information Technology
- 発表場所
  England
- データソース
  KAKENHI-PROJECT-20500071
[学会発表] Creation of ET Rules via Logical Equivalence2009
- 著者名/発表者名
  Katsunori Miura, Kiyoshi Akama, and Hiroshi Mabuchi
- 学会等名
  Proceeding of the Second International Conference on Innovative Computing, Information and Control (ICICIC2007), ICICIC-2007-2149, JAPAN ISBN : 0-7695-2882-1
- 発表場所
  Kumamoto
- データソース
  KAKENHI-PROJECT-17300027
[学会発表] Construction of Equivalent Transformation Rules from Logical Equivalence2007
- 著者名/発表者名
  Katsunori Miura, Kiyoshi Akama, and Hiroshi Mabuchi
- 学会等名
  Proceedings of the Eighth International Conference on Intelligent Technologi es (InTech'07)
- 発表場所
  Sydney, Australia
- データソース
  KAKENHI-PROJECT-17300027
[学会発表] Construction of Equivalent Transformation Relations of Definite Clauses from Logical Equivalence2006
- 著者名/発表者名
  Katsunori Miura, Kiyoshi Akama, Yoshinori Shigeta, and Hiroshi Mabuchi
- 学会等名
  Proceedings of the 7th international conference on intelligent technologies (InTech'06)
- 発表場所
  Taipei Taiwan
- データソース
  KAKENHI-PROJECT-17300027

1. 赤間清 (50126265)

共同の研究課題数: 1件

共同の研究成果数: 7件
2. チャクラボルティゴウタム (50250840)

共同の研究課題数: 1件

共同の研究成果数: 5件
3. 松原雅文 (70363728)

共同の研究課題数: 1件

共同の研究成果数: 5件
4. B Chakraborty (90305293)

共同の研究課題数: 1件

共同の研究成果数: 0件
5. CHAKRABORTY Basabi

共同の研究課題数: 0件

共同の研究成果数: 5件

馬淵 浩司 MABUCHI Hiroshi

研究課題

研究成果

共同研究者

ポスト4Gへ向けた利用者の自律・適応的行動理解モデル開発と新世代移動通信網の研究

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

適応的セマンテックWebの構築技術の研究

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[雑誌論文] Creation of ET Rules from Logical Formulas representing Equivalent Relations2009

著者名/発表者名

雑誌名

データソース

[雑誌論文] Generating Functionality-based Rules for Program Construction2009

著者名/発表者名

雑誌名

データソース

[雑誌論文] An Efficient Location Management Based on Delay Information for Mobile Communication2008

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] Algorithmic Debugging of Equivalent Transformation Programs Based on Differences in Certainty of Rules2008

著者名/発表者名

雑誌名

データソース

[雑誌論文] Generating Speq Rules based on Automatic Proof of Logical Equivalence2008

著者名/発表者名

雑誌名

データソース

[雑誌論文] Correctness Proof for Equivalent Transformation of Equality Constraints on an Interval-Variable Domain2005

著者名/発表者名

雑誌名

データソース

[学会発表] An Efficient Method to Set RBF Network Paramters Based on SOM Training2010

著者名/発表者名

学会等名

発表場所

データソース

[学会発表] How best to restore operations of a Damaged ANN?2010

著者名/発表者名

学会等名

発表場所

データソース

[学会発表] How best to restore operations of a Damaged ANN?2010

著者名/発表者名

学会等名

発表場所

データソース

[学会発表] An Efficient Method to Set RBF Network Paramters Based on SOM Training2010

著者名/発表者名

学会等名

発表場所

データソース

[学会発表] Creation of ET Rules via Logical Equivalence2009

著者名/発表者名

学会等名

発表場所

データソース

[学会発表] Construction of Equivalent Transformation Rules from Logical Equivalence2007

著者名/発表者名

学会等名

発表場所

データソース

[学会発表] Construction of Equivalent Transformation Relations of Definite Clauses from Logical Equivalence2006

著者名/発表者名

学会等名

発表場所

データソース

馬淵浩司 MABUCHI Hiroshi