稲葉一弘 INABA Kazuhiro

… 別表記

稲葉一浩 INABA Kazuhiro

研究者番号	30570311
その他のID
所属 (過去の研究課題情報に基づく) *注記	2013年度: Google, Software Engineer 2010年度 – 2011年度: 国立情報学研究所, アーキテクチャ科学研究系, 研究員
審査区分/研究分野	研究代表者以外ソフトウエア
キーワード	研究代表者以外モデル変換 / グラフ変換 / 双方向変換 / プログラミングパラダイム / プログラム言語論 / 検証 / モデル駆動ソフトウェア / プログラミング言語 / ソフトウエア工学 / モデル駆動ソフトウエア開発 / モデルコードの共進化 / モデル駆動ソフトウェア開発 / ソフトウェア工学

双方向モデル変換の言語的基盤技術に関する研究
- 研究代表者
  
  胡振江
- 研究期間 (年度)
  2010 – 2013
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  ソフトウエア
- 研究機関
  国立情報学研究所
モデルの型検査からモデル変換の型検査へ
- 研究代表者
  
  胡振江
- 研究期間 (年度)
  2010 – 2011
- 研究種目
  
  挑戦的萌芽研究
- 研究分野
  
  ソフトウエア
- 研究機関
  国立情報学研究所

すべて 2013 2012 2011 2010

すべて雑誌論文学会発表

[雑誌論文] GRoundTram: An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations2013
- 著者名/発表者名
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
- 雑誌名
  
  Progress in Informatics
  
  巻: Vol. 10 ページ: 131-148
- 査読あり
- データソース
  KAKENHI-PROJECT-22300012
[雑誌論文] 模倣に基づくグラフスキーマを利用したビュー更新可能性判定2012
- 著者名/発表者名
  中野圭介、日高宗一郎、胡振江、稲葉一浩、加藤弘之
- 雑誌名
  
  コンピュータソフトウェア
  
  巻: (印刷中)(掲載確定)
- NAID
  130004549266
- 査読あり
- データソース
  KAKENHI-PROJECT-22300012
[雑誌論文] 模倣に基づくグラフスキーマを利用したビュー更新可能性判定2012
- 著者名/発表者名
  中野圭介, 日高宗一郎, 胡振江, 稲葉一浩, 加藤弘之
- 雑誌名
  
  コンピュータソフトウエア
  
  巻: 29巻2号ページ: 174-192
- NAID
  130004549266
- 査読あり
- データソース
  KAKENHI-PROJECT-22300012
[雑誌論文] 模倣に基づくグラフスキーマを利用したビュー更新可能性判定2012
- 著者名/発表者名
  中野圭介、日高宗一郎、胡振江、稲葉一浩、加藤弘之
- 雑誌名
  
  コンピュータソフトウェア
  
  巻: 29巻2号ページ: 174-191
- NAID
  130004549266
- URL
  https://www.jstage.jst.go.jp/article/jssst/29/2/29_2_174/_pdf
- 査読あり
- データソース
  KAKENHI-PROJECT-22650007
[雑誌論文] 模倣に基づくグラフスキーマを利用したビュー更新可能性判定2011
- 著者名/発表者名
  中野圭介,日高宗一郎,胡振江,稲葉一浩,加藤弘之
- 雑誌名
  
  コンピュータソフトウェア
  
  巻: 29巻2号ページ: 74-191
- NAID
  130004549266
- データソース
  KAKENHI-PROJECT-22300012
[雑誌論文] Sound and Complete Validation of Graph Transformations2010
- 著者名/発表者名
  Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
- 雑誌名
  
  Technical Report
  
  巻: 04 ページ: 1-27
- URL
  http://grace-center.jp/downloads/GRACE-TR-2010-04.pdf
- データソース
  KAKENHI-PROJECT-22650007
[雑誌論文] Sound and Complete Validation of Graph Transformations2010
- 著者名/発表者名
  Kazuhiro Inaba, Soichiro Hidaka, Zehnjiang Hu, Hiroyuki Kato, Keisuke Nakano
- 雑誌名
  
  Technical Report GRACE-TR-2010-04
  
  巻: 2010-04 ページ: 1-27
- データソース
  KAKENHI-PROJECT-22650007
[学会発表] Graph-Transformation Verification using Monadic Second-Order Logic2011
- 著者名/発表者名
  Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
- 学会等名
  13^<th> International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2011)
- 発表場所
  University of Southern Denmark, Odense, Denmark
- 年月日
  2011-07-20
- データソース
  KAKENHI-PROJECT-22650007
[学会発表] GroundTram : An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations (short paper)2011
- 著者名/発表者名
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
- 学会等名
  26^<th> IEEE/ACM International Conference on Automated Software Engineering (ASE 2011)
- 発表場所
  The Oread, Kansas City, USA
- 年月日
  2011-11-10
- データソース
  KAKENHI-PROJECT-22300012
[学会発表] Graph-Transformation Verification using Monadic Second-Order Logic2011
- 著者名/発表者名
  Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
- 学会等名
  13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2011)
- 発表場所
  Odense, Denmark
- データソース
  KAKENHI-PROJECT-22300012
[学会発表] GRoundTram : An IntegratEd Framework for Developing Well-Behaved Bidirectional Model Transformations (short paper)2011
- 著者名/発表者名
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
- 学会等名
  26th IEEE/ACM International Conference On Automated Software Engineering (ASE 2011)
- 発表場所
  Oread, Lawrence, Kansas, USA
- データソース
  KAKENHI-PROJECT-22300012
[学会発表] Toward bidirectionalization of ATL with GRoundTram2011
- 著者名/発表者名
  Isao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
- 学会等名
  International Conference on Model Transformation (ICMT 2011)
- 発表場所
  Zurich, Switzerland
- データソース
  KAKENHI-PROJECT-22300012
[学会発表] Toward bidirectionalization of ATL with GRoundTram2011
- 著者名/発表者名
  Isao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
- 学会等名
  International Conference on Model Transformation (ICMT 2011)
- 発表場所
  Swiss Federal Intsitute of Technology Zurich, Zurich, Switzerland
- 年月日
  2011-06-27
- データソース
  KAKENHI-PROJECT-22300012
[学会発表] Marker-Directed Optimization of UnCAL Graph Transformations2011
- 著者名/発表者名
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, Isao Sasano
- 学会等名
  21^<st> International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011)
- 発表場所
  University of Southern Denmark, Odense, Denmark
- 年月日
  2011-07-19
- データソース
  KAKENHI-PROJECT-22300012
[学会発表] 模倣に基づくグラフスキーマを利用したビュー更新可能性判定2011
- 著者名/発表者名
  中野圭介、日高宗一郎、胡振江、稲葉一浩、加藤弘之
- 学会等名
  第13回プログラミングおよびプログラミング言語ワークショップ
- 発表場所
  定山渓ビューホテル、北海道
- 年月日
  2011-03-10
- データソース
  KAKENHI-PROJECT-22650007
[学会発表] Graph-Transformation Verification using Monadic Second-Order Logic2011
- 著者名/発表者名
  Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
- 学会等名
  13^<th> International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming(PPDP 2011)
- 発表場所
  University of Southern Denmark, Odense, Denmark
- 年月日
  2011-07-20
- データソース
  KAKENHI-PROJECT-22650007
[学会発表] Marker-Directed Optimization of UnCAL Graph Transformations2011
- 著者名/発表者名
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, Isao Sasano
- 学会等名
  21st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011)
- 発表場所
  Odense, Denmark
- データソース
  KAKENHI-PROJECT-22300012
[学会発表] 模倣に基づくグラグスキーマを利用したビュー更新可能製判定2011
- 著者名/発表者名
  中野圭介、日高宗一郎、胡振江、稲葉一浩、加藤弘之
- 学会等名
  第13回プログラミングおよびプログラミング言語ワークショップ
- 発表場所
  定山渓ビューホテル、北海道
- 年月日
  2011-03-10
- データソース
  KAKENHI-PROJECT-22650007
[学会発表] Graph-Transformation Verification using Monadic Second-Order Logic2011
- 著者名/発表者名
  Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
- 学会等名
  13^<th> International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2011)
- 発表場所
  University of Southern Denmark, Odense, Denmark
- 年月日
  2011-07-20
- データソース
  KAKENHI-PROJECT-22300012
[学会発表] Range Analysis of Graph Transformation for Simulation-based Schema2010
- 著者名/発表者名
  Keisuke Nakano, Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato
- 学会等名
  8^<th> Asian Symposium on Programming Languages and Systems (APLAS 2010)
- 発表場所
  Hengshan Hotel, Shanghai, China(poster)
- 年月日
  2010-11-30
- データソース
  KAKENHI-PROJECT-22650007
[学会発表] Bidirectionalizing Graph Transformations2010
- 著者名/発表者名
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano, Kazutaka Matsuda
- 学会等名
  15^<th> ACM SIGPLAN International Conference on Functional Programming (ICFP 2010)
- 発表場所
  Hyatt Regency Inner Harbor, Baltimore, America
- 年月日
  2010-09-28
- データソース
  KAKENHI-PROJECT-22300012
[学会発表] Range Analysis of Graph Transformation for Simulation-based Schema(poster)2010
- 著者名/発表者名
  Keisuke Nakano, Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato
- 学会等名
  8^<th> Asian Symposium on Programming Languages and Systems(APLAS 2010)
- 発表場所
  Hengshan Hotel, Shanghai, China
- 年月日
  2010-11-30
- データソース
  KAKENHI-PROJECT-22650007
[学会発表] Bidirectionalizing Graph Transformations2010
- 著者名/発表者名
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano, Kazutaka Matsuda
- 学会等名
  15^<th> ACM SIGPLAN International Conference on Functional Programming (ICFP 2010)
- 発表場所
  Hyatt Regency Inner Harbor, Baltimore, America
- 年月日
  2010-09-28
- データソース
  KAKENHI-PROJECT-22650007
[学会発表] Bidirectionalizing Graph Transformations2010
- 著者名/発表者名
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano, Kazutaka Matsuda
- 学会等名
  15^<th> ACM SIGPLAN International Conference on Functional Programming(ICFP 2010)
- 発表場所
  Hyatt Regency Inner Harbor, Baltimore, America
- 年月日
  2010-09-28
- データソース
  KAKENHI-PROJECT-22650007
[学会発表] Bidirectionalizing Graph Transformations2010
- 著者名/発表者名
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano, Kazutaka Matsuda
- 学会等名
  15th ACM SIGPLAN International Conference on Functional Programming (ICFP 2010)
- 発表場所
  Baltimore, Maryland, USA
- データソース
  KAKENHI-PROJECT-22300012

1. 胡振江 (50292769)

共同の研究課題数: 2件

共同の研究成果数: 25件
2. 日高宗一郎 (70321578)

共同の研究課題数: 2件

共同の研究成果数: 25件
3. 加藤弘之 (10321580)

共同の研究課題数: 2件

共同の研究成果数: 25件
4. 中野圭介 (30505839)

共同の研究課題数: 1件

共同の研究成果数: 14件
5. 篠埜功 (10362021)

共同の研究課題数: 1件

共同の研究成果数: 4件
6. 江本健斗 (00587470)

共同の研究課題数: 1件

共同の研究成果数: 0件
7. 松田一孝 (10583627)

共同の研究課題数: 1件

共同の研究成果数: 4件

稲葉 一弘 INABA Kazuhiro

稲葉 一浩 INABA Kazuhiro

研究課題

研究成果

共同研究者

双方向モデル変換の言語的基盤技術に関する研究

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

モデルの型検査からモデル変換の型検査へ

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[雑誌論文] GRoundTram: An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations2013

著者名/発表者名

雑誌名

データソース

[雑誌論文] 模倣に基づくグラフスキーマを利用したビュー更新可能性判定2012

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] 模倣に基づくグラフスキーマを利用したビュー更新可能性判定2012

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] 模倣に基づくグラフスキーマを利用したビュー更新可能性判定2012

著者名/発表者名

雑誌名

NAID

URL

データソース

[雑誌論文] 模倣に基づくグラフスキーマを利用したビュー更新可能性判定2011

著者名/発表者名

雑誌名

NAID

データソース

[雑誌論文] Sound and Complete Validation of Graph Transformations2010

著者名/発表者名

雑誌名

URL

データソース

[雑誌論文] Sound and Complete Validation of Graph Transformations2010

著者名/発表者名

雑誌名

データソース

[学会発表] Graph-Transformation Verification using Monadic Second-Order Logic2011

著者名/発表者名

学会等名

発表場所

年月日

データソース

[学会発表] GroundTram : An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations (short paper)2011

著者名/発表者名

学会等名

発表場所

年月日

データソース

[学会発表] Graph-Transformation Verification using Monadic Second-Order Logic2011

著者名/発表者名

学会等名

発表場所

データソース

[学会発表] GRoundTram : An IntegratEd Framework for Developing Well-Behaved Bidirectional Model Transformations (short paper)2011

著者名/発表者名

学会等名

発表場所

データソース

[学会発表] Toward bidirectionalization of ATL with GRoundTram2011

著者名/発表者名

学会等名

発表場所

データソース

[学会発表] Toward bidirectionalization of ATL with GRoundTram2011

著者名/発表者名

稲葉一弘 INABA Kazuhiro

稲葉一浩 INABA Kazuhiro