HIDAKA Soichiro 日高宗一郎

Researcher Number	70321578
Other IDs
External Links
Affiliation (Current)	2021: 法政大学, 情報科学部, 教授
Affiliation (based on the past Project Information) *help	2015 – 2020: 法政大学, 情報科学部, 教授 2007 – 2016: National Institute of Informatics, アーキテクチャ科学研究系, 助教 2006: Information Systems Architecture Science Research Division, Assist. Professor, アーキテクチャ科学研究系, 助手 2003 – 2005: National Institute of Informatics, Assistant Professor, 情報基盤研究系, 助手 2004: 情報・システム研究機構国立情報学研究所, 情報基盤研究系, 助手 2000 – 2002: 国立情報学研究所, 実証研究センター, 助手
Review Section/Research Field	Principal Investigator Software / System engineering / Software / Basic Section 60050:Software-related Except Principal Investigator Software / Software / Computer system/Network / 情報通信工学 / Communication/Network engineering
Keywords	Principal Investigator 双方向変換 / 関数型言語 / グラフ変換 / 相互運用性 / 加法性 / トレーサビリティ / 漸進的双方向化 / 並列離散事象シミュレーション / PDES / オブジェクト移送 … More Except Principal Investigator L4 / 双方向変換 / マイクロカーネル / Plan9 / グラフ変換 / 分散OS / プログラミング言語 / モデル変換 / Minix / コンポーネント / OS / マルチサーバ / 省電力 / Plan 9 / ソフトウェア工学 / モデル駆動ソフトウェア開発 / モデルコードの共進化 / モデル駆動ソフトウエア開発 / ソフトウエア工学 / モデル駆動ソフトウェア / 検証 / プログラム言語論 / プログラミングパラダイム / 双方向変換言語 / データ同期 / ソフトウエア共進化 / ソフトウエア自己適応 / 自動双方向化 / ソフトウェア共進化 / ソフトウェア自己適応 / 拡張型OS / マルチサーバー型OS / マルチサーバー / アクティブオブジェクト / マルチサーバーOS / Extensible OS / Micro kernel / Component / 分散処理 / オブジェクト複製 / 仮想マシン / 分散オブジェクト / micro-kernel / Distributed processing / Operating system / Object-oriented / ソフトウェア / 高信頼化 / リアクティブプログラミング / ソフトウエア / 相互運用 / 自律分散データ / プログラミング / 双方向変換相互運用 Less

A Study on Incremental Bidirectionalization of Data TransformationsPrincipal InvestigatorOngoing
- Principal Investigator
  
  日高宗一郎
- Project Period (FY)
  2019 – 2021
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Hosei University
リアクティブプログラミングのための高信頼化技術Ongoing
- Principal Investigator
  
  細部博史
- Project Period (FY)
  2017 – 2020
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Hosei University
Software Foundation for Interoperability of Autonomic Distributed Data based on Bidirectional TransformationOngoing
- Principal Investigator
  
  胡振江
- Project Period (FY)
  2017 – 2021
- Research Category
  
  Grant-in-Aid for Scientific Research (S)
- Research Field
  
  Software
- Research Institution
  National Institute of Informatics
A Study on interoperable bidirectional graph transformations(Fostering Joint International Research)Principal Investigator
- Principal Investigator
  
  HIDAKA Soichiro
- Project Period (FY)
  2016 – 2018
- Research Category
  
  Fund for the Promotion of Joint International Research (Fostering Joint International Research)
- Research Field
  
  Software
- Research Institution
  Hosei University
A Study on interoperable bidirectional graph transformationsPrincipal Investigator
- Principal Investigator
  
  HIDAKA Soichiro
- Project Period (FY)
  2014 – 2017
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Hosei University
  National Institute of Informatics
Integrated and Fundamental for Large-Scale and Practical Bidirectional Graph Transformation
- Principal Investigator
  
  Hu Zhenjiang
- Project Period (FY)
  2013 – 2016
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  Software
- Research Institution
  National Institute of Informatics
A study on functional bidirectional graph transformation languagesPrincipal Investigator
- Principal Investigator
  
  HIDAKA Soichiro
- Project Period (FY)
  2011 – 2013
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Software
- Research Institution
  National Institute of Informatics
Study on Language Foundation for Bidirectional Model Transformation
- Principal Investigator
  
  HU Zhenjiang
- Project Period (FY)
  2010 – 2013
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  National Institute of Informatics
Towards Model Transformation Validation from Model Validation
- Principal Investigator
  
  HU Zhenjiang
- Project Period (FY)
  2010 – 2011
- Research Category
  
  Grant-in-Aid for Challenging Exploratory Research
- Research Field
  
  Software
- Research Institution
  National Institute of Informatics
A Study on application of fusion transformation on XML database programming languagesPrincipal Investigator
- Principal Investigator
  
  HIDAKA Soichiro
- Project Period (FY)
  2008 – 2010
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Software
- Research Institution
  National Institute of Informatics
Federated software-bus (distributed OS) for ubiquitous network nodes
- Principal Investigator
  
  MARUYAMA Katsumi
- Project Period (FY)
  2007 – 2009
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Computer system/Network
- Research Institution
  National Institute of Informatics
副作用を考慮した関数型問い合わせ言語の並列性に関する研究Principal Investigator
- Principal Investigator
  
  日高宗一郎
- Project Period (FY)
  2005 – 2007
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Software
- Research Institution
  National Institute of Informatics
New flexible software platform to overcome ubiquitous NW complexity
- Principal Investigator
  
  MARUYAMA Katsumi
- Project Period (FY)
  2004 – 2006
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Communication/Network engineering
- Research Institution
  National Institute of Informatics (NII)
文書蓄積・検索等の非数値計算向け並列非同期入出力処理の高速化に関する研究Principal Investigator
- Principal Investigator
  
  日高宗一郎
- Project Period (FY)
  2002 – 2004
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  System engineering
- Research Institution
  National Institute of Informatics
Research on an extensible real-time operating system to support integrated distributed services
- Principal Investigator
  
  MARUYAMA Katsumi
- Project Period (FY)
  2001 – 2003
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  情報通信工学
- Research Institution
  National Institute of Informatics
大規模並列離散事象シミュレーションにおけるプロセッサ割り当て支援方式Principal Investigator
- Principal Investigator
  
  日高宗一郎
- Project Period (FY)
  2000 – 2001
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  System engineering
- Research Institution
  National Institute of Informatics

[Journal Article] On Additivity in Transformation Languages2017
- Author(s)
  Hidaka Soichiro、Jouault Frederic、Tisi Massimo
- Journal Title
  
  2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems
  
  Volume: - Pages: 23-33
- DOI
  10.1109/models.2017.21
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15KK0017, KAKENHI-PROJECT-26330096
[Journal Article] Guaranteeing Free-edits to Bidirectional Graph Transformations2016
- Author(s)
  Ezgi Cicek and Soichiro Hidaka
- Journal Title
  
  GRACE Technical Reports
  
  Volume: 2016-04 Pages: 1-15
- Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26330096
[Journal Article] 『モデル駆動工学の原理と応用』(3) モデル分類からみるモデル駆動工学の応用2016
- Author(s)
  日高宗一郎, Jean Bezivin, 胡振江, Frederic Jouault
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: 33 Pages: 56-77
- NAID
  130005158815
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26330096
[Journal Article] Feature-Based Classification of Bidirectional Transformation Approaches2015
- Author(s)
  Soichiro Hidaka, Massimo Tisi, Jordi Cabot, Zhenjiang Hu
- Journal Title
  
  Software and Systems Modeling
  
  Volume: 未定
- DOI
  10.1007/s10270-014-0450-0
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-26330096, KAKENHI-PROJECT-25240009
[Journal Article] Trace-based Approach to Editability and Correspondence Analysis for Bidirectional Graph Transformations2015
- Author(s)
  Soichiro Hidaka, Martin Billes, Quang Minh Tran and Kazutaka Matsuda
- Journal Title
  
  GRACE Technical Reports (GRACE-TR-2015-04)
  
  Volume: 2015(4) Pages: 1-20
- Data Source
  KAKENHI-PROJECT-26330096
[Journal Article] 『モデル駆動工学の原理と応用』 (2) メタモデリングとモデル変換2015
- Author(s)
  日高宗一郎, Jean Bezivin, 胡振江, Federic Jouault
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: 32(2) Pages: 63-78
- NAID
  130005086347
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26330096
[Journal Article] Bidirectional Transformation on Ordered Graphs2015
- Author(s)
  Fei Yang and Soichiro Hidaka
- Journal Title
  
  GRACE TECHNICAL REPORTS
  
  Volume: 2015 Pages: 1-41
- Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26330096
[Journal Article] Parallelizing Graph Structural Recursion with BSP2015
- Author(s)
  Chong Li, Le-Duc Tung, Nhat-Tan Duong, Soichiro Hidaka and Zhenjiang Hu
- Journal Title
  
  GRACE Technical Reports (GRACE-TR-2015-02)
  
  Volume: 2015(2) Pages: 1-23
- Data Source
  KAKENHI-PROJECT-26330096
[Journal Article] Trace-based Approach to Editability and Correspondence Analysis for Bidirectional Graph Transformations2015
- Author(s)
  Soichiro Hidaka, Martin Billes, Quang Minh Tran and Kazutaka Matsuda
- Journal Title
  
  CEUR Workshop Proceedings
  
  Volume: 1396 Pages: 51-65
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26330096
[Journal Article] A Trace-based Approach to Increased Comprehensibility and Predictability of Bidirectional Graph Transformations2015
- Author(s)
  Soichiro Hidaka, Martin Billes and Quang Minh Tran
- Journal Title
  
  GRACE Technical Reports (GRACE-TR-2015-03)
  
  Volume: 2015(3) Pages: 1-12
- Data Source
  KAKENHI-PROJECT-26330096
[Journal Article] Context-Preserving XQuery Fusion, Mathematical Structures in Computer Science2015
- Author(s)
  Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano and Yasunori Ishihara
- Journal Title
  
  Mathematical tructures in Computer Science
  
  Volume: online Pages: 916-941
- DOI
  10.1017/s096012951300008x
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-25730002, KAKENHI-PROJECT-26330097, KAKENHI-PROJECT-25240009
[Journal Article] Towards Co-evolution in Model-Driven Development Via Bidirectional Higher-Order Transformation2015
- Author(s)
  Bernhard Hoisl, Zhenjiang Hu and Soichiro Hidaka
- Journal Title
  
  Communications in Computer and Information Science
  
  Volume: 未定
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26330096
[Journal Article] On the use of Bidirectional Transformations for Translational Semantics2014
- Author(s)
  Florent Latombe and Soichiro Hidaka
- Journal Title
  
  GRACE TECHNICAL REPORTS, National Institute of Informatics
  
  Volume: 2014(1) Pages: 1-16
- Data Source
  KAKENHI-PROJECT-23700047
[Journal Article] On the use of Bidirectional Transformations for Translational Semantics2014
- Author(s)
  Florent Latombe and Soichiro Hidaka
- Journal Title
  
  GRACE Technical Reports (GRACE-TR-2014-01)
  
  Volume: 2014(1) Pages: 1-16
- Data Source
  KAKENHI-PROJECT-26330096
[Journal Article] A Bidirectional Collaboration Framework for Bio-Model Development2014
- Author(s)
  John Wilson-Kanamori and Soichiro Hidaka
- Journal Title
  
  Second International Workshop on Bidirectional Transformations, ECEASST
  
  Volume: Vol.57
- URL
  http://journal.ub.tu-berlin.de/eceasst/article/view/866/861
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23700047
[Journal Article] On the use of Bidirectional Transformations for Translational Semantics GRACE TECHNICAL REPORTS2014
- Author(s)
  Florent Latombe and Soichiro Hidaka
- Journal Title
  
  National Institute of Informatics
  
  Volume: 2014(1) Pages: 1-16
- Data Source
  KAKENHI-PROJECT-23700047
[Journal Article] Introduction to Principles and Practice of Bidirectional Transformations2014
- Author(s)
  加藤弘之, 胡振江, 日高宗一郎, 松田一孝
- Journal Title
  
  Computer Software
  
  Volume: Vol.31, No.2 Issue: 2 Pages: 2_44-2_56
- DOI
  10.11309/jssst.31.2_44
- NAID
  130004892295
- ISSN
  0289-6540
- Language
  Japanese
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23700047, KAKENHI-PROJECT-26330096
[Journal Article] Optimization for iterative queries on MapReduce2013
- Author(s)
  Makoto Onizuka, Hiroyuki Kato, Soichiro Hidaka, Keisuke Nakano, Zhenjiang Hu
- Journal Title
  
  PVLDB
  
  Volume: Vol.7, No.4 Pages: 241-252
- URL
  http://www.vldb.org/pvldb/vol7/p241-onizuka.pdf
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23700047
[Journal Article] GRoundTram: An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations2013
- Author(s)
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
- Journal Title
  
  Progress in Informatics
  
  Volume: Vol. 10 Pages: 131-148
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300012
[Journal Article] Context-Preserving XQuery Fusion2013
- Author(s)
  Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara
- Journal Title
  
  Mathematical Structures in Computer Science (MSCS)
  
  Volume: Vol. 23
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300012
[Journal Article] Principles and Applications of Model Driven Engineering (1) History and Context of Model Driven Engineering2013
- Author(s)
  日高宗一郎, Jean Bezivin, 胡振江, Frederic Jouault
- Journal Title
  
  Computer Software
  
  Volume: Vol.30, No.3 25-44 Issue: 3 Pages: 3_25-3_44
- DOI
  10.11309/jssst.30.3_25
- NAID
  10031178228
- ISSN
  0289-6540
- Language
  Japanese
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23700047
[Journal Article] Context-Preserving XQuery Fusion2013
- Author(s)
  Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano and Yasunori Ishihara
- Journal Title
  
  Mathematical Structures in Computer Science
  
  Volume: 未定
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23700047
[Journal Article] GRoundTram : An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations2013
- Author(s)
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
- Journal Title
  
  Progress in Informatics, Special Issue : Advanced Programming Techniques for Construction of Robust, General and Evolutionary Programs
  
  Volume: No.10 Pages: 131-148
- DOI
  10.2201/niipi.2013.10.7
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22700008, KAKENHI-PROJECT-23700047
[Journal Article] Optimization for iterative queries on MapReduce2013
- Author(s)
  Makoto Onizuka, Hiroyuki Kato, Soichiro Hidaka, Keisuke Nakano, Zhenjiang Hu
- Journal Title
  
  Proceedings of the VLDB Endowment (PVLDB)
  
  Volume: 7(4) Pages: 241-252
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23700047
[Journal Article] iGRT : A Generic Interface for GRoundTram2012
- Author(s)
  Yiqing ZHU, Tao ZAN, Soichiro HIDAKA and Zhenjiang HU
- Journal Title
  
  GRACE Technical Report
  
  Volume: (GRACE-TR 2012-06 Pages: 1-31
- NAID
  40020580368
- Data Source
  KAKENHI-PROJECT-23700047
[Journal Article] View Updatability Checking with Simulation-based Graph Schema2012
- Author(s)
  中野圭介, 日高宗一郎,胡振江,稲葉一浩,加藤弘之
- Journal Title
  
  Computer Software
  
  Volume: 29(2) Issue: 2 Pages: 174-192
- DOI
  10.11309/jssst.29.2_174
- NAID
  130004549266
- ISSN
  0289-6540
- Language
  Japanese
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22700008, KAKENHI-PROJECT-23700047
[Journal Article] 模倣に基づくグラフスキーマを利用したビュー更新可能性判定2012
- Author(s)
  中野圭介、日高宗一郎、胡振江、稲葉一浩、加藤弘之
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: 29巻2号 Pages: 174-191
- NAID
  130004549266
- URL
  https://www.jstage.jst.go.jp/article/jssst/29/2/29_2_174/_pdf
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22650007
[Journal Article] 模倣に基づくグラフスキーマを利用したビュー更新可能性判定2012
- Author(s)
  中野圭介、日高宗一郎、胡振江、稲葉一浩、加藤弘之
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: (印刷中)(掲載確定)
- NAID
  130004549266
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300012
[Journal Article] iGRT:A Generic Interface for GRoundTram2012
- Author(s)
  Yiqing ZHU, Tao ZAN, Soichiro HIDAKA and Zhenjiang HU
- Journal Title
  
  GRACE　Technical Report (GRACE-TR 2012-06)
  
  Volume: 6 Pages: 1-31
- Data Source
  KAKENHI-PROJECT-23700047
[Journal Article] Parameterized Graph Transformation Languages with Monads2012
- Author(s)
  Kazuyuki Asada, Soichiro Hidaka, Hiroyuki Kato Zhenjiang Hu and Keisuke Nakano
- Journal Title
  
  GRACE Technical Report (GRACE-TR-2012-07)
  
  Volume: 10 Pages: 1-21
- Data Source
  KAKENHI-PROJECT-23700047
[Journal Article] 模倣に基づくグラフスキーマを利用したビュー更新可能性判定2012
- Author(s)
  中野圭介, 日高宗一郎, 胡振江, 稲葉一浩, 加藤弘之
- Journal Title
  
  コンピュータソフトウエア
  
  Volume: 29巻2号 Pages: 174-192
- NAID
  130004549266
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300012
[Journal Article] Marker-directed optimization of UnCAL graph transformations, Logic-Based Program Synthesis and Transformation2012
- Author(s)
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano
- Journal Title
  
  21st International Symposium, LOPSTR 2011, Odense, Denmark, Revised Selected Papers, Lecture Notes in Computer Science
  
  Volume: Vol.7225 Pages: 123-138
- DOI
  10.1007/978-3-642-32211-2_9
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22700008, KAKENHI-PROJECT-23700047
[Journal Article] 【掲載確定】模倣に基づくグラフスキーマを利用したビュー更新可能性判定2012
- Author(s)
  中野圭介、日高宗一郎、胡振江、稲葉一浩、加藤弘之
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: 29巻2号
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23700047
[Journal Article] Marker-directed optimization of UnCAL graph transformations2012
- Author(s)
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano and Isao Sasano
- Journal Title
  
  Logic-Based Program Synthesis and Transformation, 21st International Symposium, LOPSTR 2011, Odense, Denmark, Revised Selected Papers, Lecture Notes in Computer Science
  
  Volume: 7225 Pages: 123-138
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23700047
[Journal Article] Towards Bidirectional Transformations on Ordered Graphs GRACE2011
- Author(s)
  Soichiro Hidaka, Kazuyuki Asada, Hiroyuki Kato, Keisuke Nakano, Zhenjiang Hu
- Journal Title
  
  Technical Report
  
  Volume: GRACE-TR-2011-07 Pages: 1-24
- Data Source
  KAKENHI-PROJECT-23700047
[Journal Article] Marker-directed Optimization of UnCAL Graph Transformations (revised version)2011
- Author(s)
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, Isao Sasano
- Journal Title
  
  GRACE Technical Report (GRACE-TR-2011-06)
  
  Volume: 2011-06 Pages: 1-24
- Data Source
  KAKENHI-PROJECT-23700047
[Journal Article] Towards Bidirectional Transformations on Ordered Graphs2011
- Author(s)
  Soichiro Hidaka, Kazuyuki Asada, Hiroyuki Kato, Keisuke Nakano, Zhenjiang Hu
- Journal Title
  
  GRACE Technical Report (GRACE-TR-2011-07)
  
  Volume: 2011-07 Pages: 1-24
- Data Source
  KAKENHI-PROJECT-23700047
[Journal Article] Simulation-based Graph Schema for View Updatability Checking of Graph Queries2011
- Author(s)
  Keisuke Nakano, Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato
- Journal Title
  
  GRACE Technical Report (GRACE-TR-2011-01)
  
  Volume: 2011-01 Pages: 1-22
- Data Source
  KAKENHI-PROJECT-23700047
[Journal Article] 模倣に基づくグラフスキーマを利用したビュー更新可能性判定2011
- Author(s)
  中野圭介,日高宗一郎,胡振江,稲葉一浩,加藤弘之
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: 29巻2号 Pages: 74-191
- NAID
  130004549266
- Data Source
  KAKENHI-PROJECT-22300012
[Journal Article] Lionel Montrieux blinkit : Maintaining Invariant Traceability through Bidirectional Transformations2011
- Author(s)
  Yijun Yu, Yu Lin, Zhenjiang Hu, Soichiro Hidaka, Hiroyuki Kato
- Journal Title
  
  Technical Reports at the Centre for Research in Computing, Faculty of Mathematics, Computing and Technology, The Open University
  
  Volume: 2011(9) Pages: 1-13
- Data Source
  KAKENHI-PROJECT-23700047
[Journal Article] blinkit: Maintaining Invariant Traceability through Bidirectional Transformations2011
- Author(s)
  Yijun Yu, Yu Lin, Zhenjiang Hu, Soichiro Hidaka, Hiroyuki Kato, Lionel Montrieux
- Journal Title
  
  Technical Reports at the Centre for Research in Computing, Faculty of Mathematics, Computing and Technology, The Open University
  
  Volume: 2011(9) Pages: 1-13
- Data Source
  KAKENHI-PROJECT-23700047
[Journal Article] GRoundTram: An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations2011
- Author(s)
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
- Journal Title
  
  GRACE　Technical Report (GRACE-TR-2011-05)
  
  Volume: 2011-05 Pages: 1-10
- Data Source
  KAKENHI-PROJECT-23700047
[Journal Article] Marker-directed optimization of UnCAL graph transformations2011
- Author(s)
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, Isao Sasano
- Journal Title
  
  GRACE　Technical Report (GRACE-TR-2011-02)
  
  Volume: 2011-02 Pages: 1-22
- Data Source
  KAKENHI-PROJECT-23700047
[Journal Article] Sound and Complete Validation of Graph Transformations2010
- Author(s)
  Kazuhiro Inaba, Soichiro Hidaka, Zehnjiang Hu, Hiroyuki Kato, Keisuke Nakano
- Journal Title
  
  Technical Report GRACE-TR-2010-04
  
  Volume: 2010-04 Pages: 1-27
- Data Source
  KAKENHI-PROJECT-22650007
[Journal Article] Bidirectionalizing Graph Transformations2010
- Author(s)
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano
- Journal Title
  
  GRACE Technical Report,(GRACE-TR-2010-06)
  
  Pages: 1-17
- Data Source
  KAKENHI-PROJECT-20700035
[Journal Article] Context-Preserving XQuery Fusion2010
- Author(s)
  Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara
- Journal Title
  
  GRACE Technical Report (GRACE-TR-2010-07)
  
  Volume: 2010-07 Pages: 1-21
- Data Source
  KAKENHI-PROJECT-20700035
[Journal Article] Bidirectionalizing Graph Transformations2010
- Author(s)
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano
- Journal Title
  
  GRACE Technical Report (GRACE-TR-2010-06)
  
  Volume: 2010-06 Pages: 1-17
- Data Source
  KAKENHI-PROJECT-20700035
[Journal Article] Complete Validation of Graph Transformations2010
- Author(s)
  Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
- Journal Title
  
  GRACE Technical Report (GRACE-TR-2010-04)
  
  Pages: 1-27
- Data Source
  KAKENHI-PROJECT-20700035
[Journal Article] Sound and Complete Validation of Graph Transformations2010
- Author(s)
  Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
- Journal Title
  
  Technical Report
  
  Volume: 04 Pages: 1-27
- URL
  http://grace-center.jp/downloads/GRACE-TR-2010-04.pdf
- Data Source
  KAKENHI-PROJECT-22650007
[Journal Article] Context-Preserving Xquery Fusion2010
- Author(s)
  Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara
- Journal Title
  
  GRACE Technical Report (GRACE-TR-2010-07)
  
  Pages: 1-21
- Data Source
  KAKENHI-PROJECT-20700035
[Journal Article] An XQuery Fusion with Preserving Document Order2009
- Author(s)
  Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara
- Journal Title
  
  日本ソフトウェア科学会第26回大会講演論文集
  
  Pages: 15-15
- Data Source
  KAKENHI-PROJECT-20700035
[Journal Article] A compositional approach to bidirectional model transformation2009
- Author(s)
  Soichiro Hidaka(共著)
- Journal Title
  
  31^<st> International Conference on Software Engineering Companion Volume
  
  Pages: 235-238
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700035
[Journal Article] 順序を考慮に入れたXQueryの融合変換2009
- Author(s)
  加藤弘之、日高宗一郎、胡振江、中野圭介、石原靖哲
- Journal Title
  
  Webとデータベースに関するフォーラム(WebDB Forum 2009)論文集
  
  Pages: 8-8
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700035
[Journal Article] Bidirectionalizing Structural Recursion on Graphs2009
- Author(s)
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano
- Journal Title
  
  GRACE TECHNICAL REPORTS (GRACE-TR-2009-03)
  
  Pages: 41-41
- Data Source
  KAKENHI-PROJECT-20700035
[Journal Article] A compositional approach to bidirectional model transformation2009
- Author(s)
  Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
- Journal Title
  
  31st International Conference on Software Engineering, 巻Companion Volume
  
  Pages: 235-238
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700035
[Journal Article] Bidirectionalizing Structural Recursion on Graphs2009
- Author(s)
  Soichiro Hidaka(共著)
- Journal Title
  
  日本ソフトウェア科学会第26回大会講演論文集 (CD-ROM)
- Data Source
  KAKENHI-PROJECT-20700035
[Journal Article] Towards a Compositional Approach to Model Transformation for Software Development2009
- Author(s)
  Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
- Journal Title
  
  Proceedings of the 2009 ACM symposium on Applied Computing
  
  Pages: 468-475
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700035
[Journal Article] An Order-Sensitive Fusionfor Xquery2009
- Author(s)
  Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara
- Journal Title
  
  GRACE TECHNICAL REPORTS(GRACE-TR-2009-04)
  
  Pages: 28-28
- Data Source
  KAKENHI-PROJECT-20700035
[Journal Article] Bidirectionalizing Structural Recursion on Graphs2009
- Author(s)
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano
- Journal Title
  
  日本ソフトウェア科学会第26回大会講演論文集
  
  Pages: 18-18
- Data Source
  KAKENHI-PROJECT-20700035
[Journal Article] Towards a Compositional Approach to Model Transformation for Software Development2009
- Author(s)
  Soichiro Hidaka(共著)
- Journal Title
  
  Proceedings of the 2009 ACM symposium on Applied Computing (CD-ROM)
  
  Pages: 468-475
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20700035
[Journal Article] Bidirectionalizing Structural Recursion on Graphs2009
- Author(s)
  Soichiro Hidaka(共著)
- Journal Title
  
  GRACE TECHNICAL REPORTS(GRACE-TR 2009-03) 2009
- Data Source
  KAKENHI-PROJECT-20700035
[Journal Article] An Algebraic Approach to Bidirectional Model Transformations2008
- Author(s)
  Soichiro Hidaka(共著)
- Journal Title
  
  GRACE TECHNICAL REPORTS 2008
  
  Pages: 14-14
- Data Source
  KAKENHI-PROJECT-20700035
[Journal Article] Towards Compositional Approach to Model Transformations2008
- Author(s)
  Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
- Journal Title
  
  GRACE TECHNICAL REPORTS (GRACE-TR-2008-02)
  
  Pages: 37-37
- Data Source
  KAKENHI-PROJECT-20700035
[Journal Article] An Algebraic Approach to Bidirectional Model Transformations2008
- Author(s)
  Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
- Journal Title
  
  GRACE TECHNICAL REPORTS (GRACE-TR-2008-01)
  
  Pages: 14-14
- Data Source
  KAKENHI-PROJECT-20700035
[Journal Article] 書換えに基づく最適化のためのXQueryの相対コストモデル2008
- Author(s)
  日高宗一郎
- Journal Title
  
  電子情報通信学会論文誌 J91-D
  
  Pages: 873-888
- NAID
  110007381035
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17700041
[Journal Article] Towards Compositional Approach to Model Transformations2008
- Author(s)
  Soichiro Hidaka(共著)
- Journal Title
  
  GRACE TECHNICAL REPORTS 2008
  
  Pages: 37-37
- Data Source
  KAKENHI-PROJECT-20700035
[Journal Article] 書き換えに基づく最適化のためのXQueryの相対コストモデル2008
- Author(s)
  日高宗一郎
- Journal Title
  
  NIIテクニカル・レポート NII-2008-003J
  
  Pages: 24-24
- Data Source
  KAKENHI-PROJECT-17700041
[Journal Article] Towards Compositional Approach to Model Transformations2008
- Author(s)
  Soichiro Hidaka(共著)
- Journal Title
  
  日本ソフトウェア科学会第25回大会講演論文集 (CD-ROM)
  
  Pages: 23-23
- Data Source
  KAKENHI-PROJECT-20700035
[Journal Article] Towards Compositional Approach to Model Transformations2008
- Author(s)
  Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
- Journal Title
  
  日本ソフトウェア科学会第25回大会講演論文集巻(CD-ROM)
  
  Pages: 23-23
- Data Source
  KAKENHI-PROJECT-20700035
[Journal Article] SOOM : Scalable Object-Oriented Middleware for Cooperative and Pervasive Computings2007
- Author(s)
  T.Banditwattanawong, s.Hidaka, h.Washizaki, k.Maruyama
- Journal Title
  
  IEICE TRANSACTIONS on Communications Vol.E90-B No.4
  
  Pages: 728-741
- NAID
  110007519312
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16360196
[Journal Article] A Relative Cost Model for XQuery2007
- Author(s)
  Soichiro Hidaka
- Journal Title
  
  Proc. the 22nd Annual ACM Symposium on Applied Computing (SAC 2007)
  
  Pages: 1332-1333
- Data Source
  KAKENHI-PROJECT-17700041
[Journal Article] Design and Implementation of Remote Device Access Facility to Support Device Migration2007
- Author(s)
  Ryota Ozaki, Soichiro Hidaka, Kazuya Kodama, Katsumi Maruyama
- Journal Title
  
  IEICE Transaction on Information ＆ Systems Vol.E90-D,No.1
  
  Pages: 58-66
- NAID
  110004710127
- Data Source
  KAKENHI-PROJECT-16360196
[Journal Article] A More Optimizer-friendly Treatment of XQuery Store in the Presence of Side-Effects2007
- Author(s)
  Soichiro Hidaka
- Journal Title
  
  Proc. of the International Symposium on Information Technology Convergence(ISITC 2007)
  
  Pages: 32-36
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17700041
[Journal Article] SOOM : Scalable Object-Oriented Middleware for Cooperative and Pervasive Computings2007
- Author(s)
  T.Banditwattanawong, s.Hidaka, h.Washizaki, k.Maruyama
- Journal Title
  
  IEICE (電子情報通信学会) TRANSACTIONS on Communications Vol.E90-B No.4
  
  Pages: 728-741
- NAID
  110007519312
- Data Source
  KAKENHI-PROJECT-16360196
[Journal Article] Design and Implementation of Remote Device Access Facility to Support Device Migration2007
- Author(s)
  Ryota Ozaki, Soichiro Hidaka, Kazuya Kodama, Katsumi Maruyama
- Journal Title
  
  IEICE Transaction on Information ＆ Systems Vol.E90-D, No.1
  
  Pages: 58-66
- NAID
  110004710127
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16360196
[Journal Article] SOOM : Scalable Object-Oriented Middleware for Cooperative and Pervasive Computings2007
- Author(s)
  T.Banditwattanawong, s.Hidaka, h.Washizaki, k.Maruyama
- Journal Title
  
  IEEJ(電気学会) Transactions on Electrical and Electronic Engineering Vol.E90-B No.4
  
  Pages: 728-741
- NAID
  110007519312
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16360196
[Journal Article] デバイス移動に対応するデバイスアクセス技術2006
- Author(s)
  尾崎亮太, 日高宗一郎, 児玉和也, 丸山勝巳
- Journal Title
  
  第9回プログラミング及び応用のシステムに関するワークショップ
- Data Source
  KAKENHI-PROJECT-16360196
[Journal Article] Optimization of Program Loading by Object Class Clustering2006
- Author(s)
  T.Banditwattanawong, s.Hidaka, h.Washizaki, k.Maruyama
- Journal Title
  
  IEEJ Transactions on Electrical and Electronic Engineering vol.1, No.4
  
  Pages: 397-407
- NAID
  10024291223
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16360196
[Journal Article] 計算機移動やデバイス移動に対してもサービスが継続可能な遠隔デバイスアクセス機構2006
- Author(s)
  尾崎, 日高, 児玉, 丸山
- Journal Title
  
  電子情報通信学会(和文論文誌B)シームレス通信サービスのためのネットワーキング技術特集号 Vol.J89-B, No.8
  
  Pages: 1357-1366
- NAID
  110007378879
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16360196
[Journal Article] Optimization of Program Loading by Object Class Clustering2006
- Author(s)
  T.Banditwattanawong, s.Hidaka, h.Washizaki, k.Maruyama
- Journal Title
  
  IEEJ (電気学会) Transactions on Electrical and Electronic Engineering vol.1,No.4
  
  Pages: 397-407
- NAID
  10024291223
- Data Source
  KAKENHI-PROJECT-16360196
[Journal Article] Cluster replication for distributed-java-object caching2006
- Author(s)
  T.Banditwattanawong, s.Hidaka, h.Washizaki, k.Maruyama
- Journal Title
  
  IEICE Transactions on information and systems vol.E89-D, no.11
  
  Pages: 2712-2723
- NAID
  110007538479
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16360196
[Journal Article] 計算機移動やデバイス移動に対してもサービスが継続可能な遠隔デバイスアクセス機構2006
- Author(s)
  尾崎亮太, 日高宗一郎, 児玉和也, 丸山勝巳
- Journal Title
  
  電子情報通信学会(和文論文誌B)シームレス通信サービスのためのネットワーキング技術特集号 Vol.J89-B,No.8
  
  Pages: 1357-1366
- NAID
  110007378879
- Data Source
  KAKENHI-PROJECT-16360196
[Journal Article] デバイス移動に対してもサービスが継続可能な遠隔デバイスアクセス機構2006
- Author(s)
  尾崎, 日高, 児玉, 丸山
- Journal Title
  
  第36回モバイルコンピューティングとユビキタス通信・第10回ユビキタスコンピューティング合同研究発表会 MBL36-UB110
  
  Pages: 251-220
- NAID
  110004710127
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-16360196
[Journal Article] Cluster replication for distributed-java-object caching2006
- Author(s)
  T.Banditwattanawong, s.Hidaka, h.Washizaki, k.Maruyama
- Journal Title
  
  IEICE Transactions on information and systems vol.E89-D,no.11
  
  Pages: 2712-2723
- NAID
  110007538479
- Data Source
  KAKENHI-PROJECT-16360196
[Journal Article] XQuery Equalities and Cost Model2005
- Author(s)
  Hidaka, S
- Journal Title
  
  Proceedings of The 4th Workshop on Programmable Structured Documents
  
  Pages: 58-77
- Data Source
  KAKENHI-PROJECT-17700041
[Journal Article] デバイス移動に対してもサービスが継続可能な遠隔デバイスアクセス機構2005
- Author(s)
  尾崎亮太, 日高宗一郎, 児玉和也, 丸山勝巳
- Journal Title
  
  第36回モバイルコンピューティングとユビキタス通信・第10回ユビキタスコンピューティング合同研究発表会 MBL36-UB11
- NAID
  110004710127
- Data Source
  KAKENHI-PROJECT-16360196
[Journal Article] An XQuery Cost Model in Relative Form2005
- Author(s)
  Hidaka, S
- Journal Title
  
  Technical report, National Institute of Informatics 2005 016E
- Data Source
  KAKENHI-PROJECT-17700041
[Journal Article] 遠隔デバイス管理機構の設計2005
- Author(s)
  尾崎亮太, 日高宗一郎, 児玉和也, 丸山勝巳
- Journal Title
  
  電子情報通信学会総合大会 D-3-4
- Data Source
  KAKENHI-PROJECT-16360196
[Journal Article] ネットワークの動的変化に対応する遠隔デバイス管理機構2005
- Author(s)
  尾崎亮太, 日高宗一郎, 児玉和也, 丸山勝巳
- Journal Title
  
  ユビキタスコンピューティングシステム研究会 MBL32UB17-8
- NAID
  110002695092
- Data Source
  KAKENHI-PROJECT-16360196
[Journal Article] Accessing Remote Devices Using Conventional Interfaces in Mobile Computing Environment,2005
- Author(s)
  Ryota Ozaki, Soichiro Hidaka, Kazuya Kodama, Katsumi Maruyama
- Journal Title
  
  Proc. 8th International Workshop on Mobility in Databases and Distributed Systems
  
  Pages: 1063-1067
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-16360196
[Journal Article] Proxy-and-Hook : A Java-based Distributed Object Caching Framework2005
- Author(s)
  Banditwattanawong, S.Hidaka, H.Washizaki, K.Maruyama
- Journal Title
  
  Proc.of Int'l IEEE Conf.on Industrial Informatics
- Data Source
  KAKENHI-PROJECT-16360196
[Journal Article] ネットワーク上に動的に分散する多数のデバイスを制御する基盤ソフトウェアの検討2004
- Author(s)
  尾崎亮太, 丸山勝巳, 日高宗一郎, 児玉和也
- Journal Title
  
  SWoPP 2004 2004-dos-97-
  
  Pages: 81-88
- NAID
  110002913968
- Data Source
  KAKENHI-PROJECT-16360196
[Journal Article] XQueryのソ-スレベル最適化のための等価変換に関する考察2004
- Author(s)
  日高宗一郎
- Journal Title
  
  情報処理学会第51回プログラミング研究会
- NAID
  110002769554
- Data Source
  KAKENHI-PROJECT-14750339
[Journal Article] Context-Preserving XQuery Fusion
- Author(s)
  Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano and Yasunori Ishihara
- Journal Title
  
  Mathematical Structures in Computer Science, APLAS 2010 special issue, (Cambridge University Press)
  
  Volume: (accepted, 掲載号未定)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23700047
[Journal Article] Context-Preserving XQuery Fusion
- Author(s)
  Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, YasunoriIshihara
- Journal Title
  
  Mathematical Structures in Computer Science (MSCS), Cambridge University Press
  
  Volume: (掲載確定)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22300012
[Presentation] トレースに基づく双方向変換の多方向化に向けたco-targetial compositionのための漸進化 (ポスター)2020
- Author(s)
  日高　宗一郎
- Organizer
  第22回プログラミングおよびプログラミング言語ワークショップ
- Data Source
  KAKENHI-PROJECT-19H04088
[Presentation] 双方向変換を用いたコードクローン間の選択的な更新伝播手法2019
- Author(s)
  相原崇弘, 日高宗一郎
- Organizer
  情報処理学会プログラミング研究会第123回研究発表会
- Data Source
  KAKENHI-PROJECT-15KK0017
[Presentation] 双方向変換を用いたコードクローン間の選択的な更新伝播手法2019
- Author(s)
  相原崇弘, 日高宗一郎
- Organizer
  情報処理学会第123回プログラミング研究会
- Data Source
  KAKENHI-PROJECT-17H01726
[Presentation] 抽象構文木の双方向変換によるコードクローン管理に向けて2018
- Author(s)
  相原崇弘，日高宗一郎
- Organizer
  情報処理学会第80回全国大会
- Data Source
  KAKENHI-PROJECT-26330096
[Presentation] 抽象構文木の双方向変換によるコードクローン管理に向けて2018
- Author(s)
  相原崇弘，日高宗一郎
- Organizer
  情報処理学会第80回全国大会
- Data Source
  KAKENHI-PROJECT-15KK0017
[Presentation] 双方向変換言語を用いたコードクローン管理に向けて (ポスター)2018
- Author(s)
  相原崇弘, 日高宗一郎
- Organizer
  第59回プログラミング・シンポジウム
- Data Source
  KAKENHI-PROJECT-26330096
[Presentation] Towards reduction of source access in incremental updates of relational views2018
- Author(s)
  Soichiro Hidaka
- Organizer
  First Workshop on Software Foundations for Data Interoperability
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15KK0017
[Presentation] 双方向変換言語を用いたコードクローン管理に向けて (ポスター)2018
- Author(s)
  相原崇弘, 日高宗一郎
- Organizer
  情報処理学会　第59回プログラミング・シンポジウム
- Data Source
  KAKENHI-PROJECT-15KK0017
[Presentation] Towards reduction of source access in incremental updates of relational views2018
- Author(s)
  Soichiro Hidaka
- Organizer
  First Workshop on Software Foundations for Data Interoperability
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26330096
[Presentation] On Additivity in Transformation Languages2017
- Author(s)
  Soichiro Hidaka, Frederic Jouault, Massimo Tisi
- Organizer
  ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H06099
[Presentation] On the Construction of Translation in Partial Bidirectionalization2017
- Author(s)
  日高宗一郎，Massimo Tisi
- Organizer
  情報処理学会第116回プログラミング研究発表会
- Data Source
  KAKENHI-PROJECT-15KK0017
[Presentation] On the Construction of Translation in Partial Bidirectionalization2017
- Author(s)
  日高宗一郎，Massimo Tisi
- Organizer
  情報処理学会第116回プログラミング研究発表会
- Data Source
  KAKENHI-PROJECT-26330096
[Presentation] State- vs. delta-based bx: Pros and cons. (Position Statement in the panel)2016
- Author(s)
  Soichiro Hidaka
- Organizer
  NII Shonan Meeting on Bidirectional Transformations
- Place of Presentation
  湘南国際村センター（神奈川県三浦郡葉山町）
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26330096
[Presentation] Bidirectionalizing Model Transformation Languages through Partial Translation2016
- Author(s)
  日高宗一郎, Massimo Tisi
- Organizer
  日本ソフトウェア科学会第 33 回大会
- Place of Presentation
  東北大学片平キャンパス電気通信研究所（宮城県仙台市）
- Data Source
  KAKENHI-PROJECT-26330096
[Presentation] Bidirectionalizing Model Transformation Languages through Partial Translation2016
- Author(s)
  日高宗一郎、Massimo Tisi
- Organizer
  日本ソフトウェア科学会第33回大会
- Place of Presentation
  東北大学（宮城県仙台市）
- Year and Date
  2016-09-06
- Data Source
  KAKENHI-PROJECT-25240009
[Presentation] Bidirectionalizing Model Transformation Languages through Partial Translation2016
- Author(s)
  日高宗一郎, Massimo Tisi
- Organizer
  日本ソフトウェア科学会第 33 回大会
- Place of Presentation
  東北大学片平キャンパス電気通信研究所（宮城県仙台市）
- Data Source
  KAKENHI-PROJECT-15KK0017
[Presentation] Trace-based Approach to Editability and Correspondence Analysis for Bidirectional Graph Transformations2015
- Author(s)
  Soichiro Hidaka, Martin Billes, Quang Minh Tran and Kazutaka Matsuda
- Organizer
  Fourth International Workshop on Bidirectional Transformations (Bx 2015)
- Place of Presentation
  L'Aquila, Italy
- Year and Date
  2015-07-24
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26330096
[Presentation] Trace-based Approach to Editability and Correspondence Analysis for Bidirectional Graph Transformations2015
- Author(s)
  Soichiro Hidaka, Martin Billes, Quang Minh Tran, Kazutaka Matsuda
- Organizer
  4th International Workshop on Bidirectional Transformations (BX 2015)
- Place of Presentation
  L'Aquila (Italy)
- Year and Date
  2015-07-24
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-25240009
[Presentation] Towards Co-Evolution in Model-driven Development via Bidirectional Higher-Order Transformation (Position Paper)2014
- Author(s)
  Bernhard Hoisl, Soichiro Hidaka, Zhenjiang Hu
- Organizer
  2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2014)
- Place of Presentation
  Sana Lisbon Hotel,Lisbon, Portugal
- Year and Date
  2014-01-07
- Data Source
  KAKENHI-PROJECT-25240009
[Presentation] グラフ双方向変換トレースに基づく分かり易さと予測可能性の向上に向けて2014
- Author(s)
  日高宗一郎, マーティンビレス, クアンミントラン
- Organizer
  日本ソフトウェア科学会第31回大会
- Place of Presentation
  名古屋大学東山キャンパス,名古屋,愛知県
- Year and Date
  2014-09-09
- Data Source
  KAKENHI-PROJECT-26330096
[Presentation] Structural Recursion for Querying Ordered Graphs(順序つきグラフ問い合わせのための構造再帰）2014
- Author(s)
  日高宗一郎
- Organizer
  日本ソフトウェア科学会第31回大会
- Place of Presentation
  名古屋大学東山キャンパス,名古屋市,愛知県
- Year and Date
  2014-09-08
- Invited
- Data Source
  KAKENHI-PROJECT-26330096
[Presentation] Towards Co-evolution in Model-Driven Development Via Bidirectional Higher-Order Transformation2014
- Author(s)
  Bernhard Hoisl, Zhenjiang Hu and Soichiro Hidaka
- Organizer
  MODELSWARD 2014-Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development
- URL
  http://nm.wu-wien.ac.at/nm/file/MODELSWARD2014-PP%2epdf?m=download
- Place of Presentation
  Lisbon, Portugal(pp. 466-471)
- Year and Date
  2014-01-07
- Data Source
  KAKENHI-PROJECT-23700047
[Presentation] Optimization for iterative queries on MapReduce2014
- Author(s)
  Makoto Onizuka, Hiroyuki Kato, Soichiro Hidaka, Keisuke Nakano, Zhenjiang Hu
- Organizer
  40th International Conference on Very Large Data Base (VLDB 2014)
- Place of Presentation
  Dragon Hotel, Hangzhou,China
- Year and Date
  2014-09-02
- Data Source
  KAKENHI-PROJECT-26330096
[Presentation] Optimization for Iterative Queries on MapReduce2014
- Author(s)
  Makoto Onizuka, Hiroyuki Kato, Soichiro Hidaka, Keisuke Nakano, Zhenjiang Hu
- Organizer
  40th International Conference on Very Large Data Base (VLDB 2014)
- Place of Presentation
  Dragon Hotel, Hangzhou, China
- Year and Date
  2014-09-02
- Data Source
  KAKENHI-PROJECT-25240009
[Presentation] Towards Trace-based Approach to Increasing the Comprehensibility and Predictability of Bidirectional Graph Transformations2014
- Author(s)
  日高宗一郎
- Organizer
  4th Asian Workshop of Advanced Software Engineering
- Place of Presentation
  The Lakeview Hotel,Beijing,China
- Year and Date
  2014-10-11
- Data Source
  KAKENHI-PROJECT-26330096
[Presentation] Preface to the Third International Workshop on Bidirectional Transformations2014
- Author(s)
  Soichiro Hidaka, James F. Terwilliger
- Organizer
  Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014)
- URL
  http://ceur-ws.org/Vol-1133/paper-09.pdf
- Place of Presentation
  Athens, Greece(pp.61-62)
- Year and Date
  2014-03-28
- Data Source
  KAKENHI-PROJECT-23700047
[Presentation] A Parameterized Graph Transformation Calculus for Finite Graphs with Monadic Branches2013
- Author(s)
  Kazuyuki Asada, Soichiro Hidaka, Hiroyuki Kato, Zhenjiang Hu, Keisuke Nakano
- Organizer
  15th International Symposium on Principles and Practice of Declarative Programming (PPDP 2013)
- Place of Presentation
  Complutense University of Madrid, Madrid, Spain
- Year and Date
  2013-09-16
- Data Source
  KAKENHI-PROJECT-25240009
[Presentation] Bidirectional Graph Transformation Infrastructure and its Applications2013
- Author(s)
  日高宗一郎
- Organizer
  NII Shonan Meeting on Engineering Adaptive Software Systems, (EASSy)
- Place of Presentation
  湘南国際村センター、逗子市、神奈川県
- Year and Date
  2013-09-10
- Data Source
  KAKENHI-PROJECT-23700047
[Presentation] A Bidirectional Collaboration Framework for Bio-Model Development2013
- Author(s)
  John Wilson-Kanamori and Soichiro Hidaka
- Organizer
  Second International Workshop on Bidirectional Transformation
- Place of Presentation
  Sapienza, University of Rome (Rome, Italy)
- Year and Date
  2013-03-17
- Data Source
  KAKENHI-PROJECT-23700047
[Presentation] Structural recursion for querying ordered graphs2013
- Author(s)
  Soichiro Hidaka, Kazuyuki Asada, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
- Organizer
  18th ACM SIGPLAN International Conference on Functional Programming (ICFP 2013)
- Place of Presentation
  The Hilton Boston Logan Airport Hotel, Boston, USA
- Year and Date
  2013-09-27
- Data Source
  KAKENHI-PROJECT-23700047
[Presentation] Position Statement : Compositional development framework for bidirectional model transformations based on structural recursion on graphs2013
- Author(s)
  Soichiro Hidaka
- Organizer
  Bi-directional transformations (BX) - Theory and Applications Across Disciplines
- Place of Presentation
  Banff Centre, Banff, Canada
- Year and Date
  2013-12-04
- Data Source
  KAKENHI-PROJECT-23700047
[Presentation] A parameterized graph transformation calculus for finite graphs with monadic branches2013
- Author(s)
  Kazuyuki Asada, Soichiro Hidaka, Hiroyuki Kato, Zhenjiang Hu, Keisuke Nakano
- Organizer
  15th International Symposium on Principles and Practice of Declarative Programming (PPDP 2013)
- Place of Presentation
  Complutense of University of Madrid, Madrid, Spain
- Year and Date
  2013-09-16
- Data Source
  KAKENHI-PROJECT-23700047
[Presentation] Structural Recursion for Querying Ordered Graphs2013
- Author(s)
  Soichiro Hidaka, Kazuyuki Asada, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
- Organizer
  18th ACM SIGPLAN International Conference on Functional Programming (ICFP 2013)
- Place of Presentation
  Hilton Boston Logan Airport Hotel, Boston, Massachusetts, USA
- Year and Date
  2013-09-27
- Data Source
  KAKENHI-PROJECT-25240009
[Presentation] Towards an interoperable bidirectional graph transformation system2013
- Author(s)
  Soichiro Hidaka
- Organizer
  3rd Asian Workshop on Advanced Software Engineering (AWASE 2013)
- Place of Presentation
  National University of Singapore, Singapore
- Year and Date
  2013-07-20
- Data Source
  KAKENHI-PROJECT-23700047
[Presentation] Maintaining Invariant Traceability through Bidirectional Transformations2012
- Author(s)
  Yijun Yu, Yu Lin, Zhenjiang Hu, Soichiro Hidaka, Hiroyuki Kato, Lionel Montrieux blinkit
- Organizer
  34th International Conference on Software Engineering (ICSE 2012)
- Place of Presentation
  Kongresshaus (Zurich, Switzerland)
- Year and Date
  2012-06-07
- Data Source
  KAKENHI-PROJECT-23700047
[Presentation] Bidirectional Model Transformation based on Structural Recursion on Graphs2012
- Author(s)
  Soichiro Hidaka
- Organizer
  Seminar in Informatics dep. Ecole des Mines de Nantes
- Place of Presentation
  Ecole des Mines de Nantes(Nantes, France)
- Year and Date
  2012-03-23
- Data Source
  KAKENHI-PROJECT-23700047
[Presentation] Interoperable traceability in bidirectional graph transformations2012
- Author(s)
  日高宗一郎
- Organizer
  Atlanmod-BiG Joint workshop on Bidirectionality in Model Transformations
- Place of Presentation
  MINES ParisTech, Ecole Nationale Superieure des Mines de Paris
- Year and Date
  2012-09-15
- Data Source
  KAKENHI-PROJECT-23700047
[Presentation] 【発表確定】blinkit: Maintaining Invariant Traceability through Bidirectional Transformations2012
- Author(s)
  Yijun Yu, Yu Lin, Zhenjiang Hu, Soichiro Hidaka, Hiroyuki Kato, Lionel Montrieux
- Organizer
  34th International Conference on Software Engineering (ICSE 2012)
- Place of Presentation
  Kongresshaus(Zurich, Switzerland)
- Data Source
  KAKENHI-PROJECT-23700047
[Presentation] Maintaining Invariant Traceability through Bidirectional Transformations2012
- Author(s)
  Yijun Yu, Yu Lin, Zhenjiang Hu, Soichiro Hidaka, Hiroyuki Kato, Lionel Montrieux
- Organizer
  34th International Conference on Software Engineering (ICSE 2012)
- Place of Presentation
  Zurich, Switzerland
- Data Source
  KAKENHI-PROJECT-22300012
[Presentation] GRoundTram as an Integrated Framework and Developing Environments for Bidirectional Model Transformations2011
- Author(s)
  Soichiro Hidaka
- Organizer
  2nd NII-PKU International Joint Workshop on Advanced Software Engineering
- Place of Presentation
  ラフォーレ強羅（神奈川県）
- Data Source
  KAKENHI-PROJECT-23700047
[Presentation] GRoundTram : An IntegratEd Framework for Developing Well-Behaved Bidirectional Model Transformations (short paper)2011
- Author(s)
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
- Organizer
  26th IEEE/ACM International Conference On Automated Software Engineering (ASE 2011)
- Place of Presentation
  Oread, Lawrence, Kansas, USA
- Data Source
  KAKENHI-PROJECT-22300012
[Presentation] Graph-Transformation Verification using Monadic Second-Order Logic2011
- Author(s)
  Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
- Organizer
  13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2011)
- Place of Presentation
  University of Southern Denmark(Odense, Denmark)
- Data Source
  KAKENHI-PROJECT-23700047
[Presentation] Toward bidirectionalization of ATL with GRoundTram2011
- Author(s)
  Isao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
- Organizer
  International Conference on Model Transformation (ICMT 2011)
- Place of Presentation
  Zurich, Switzerland
- Data Source
  KAKENHI-PROJECT-22300012
[Presentation] Toward bidirectionalization of ATL with GRoundTram2011
- Author(s)
  Isao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
- Organizer
  International Conference on Model Transformation (ICMT 2011)
- Place of Presentation
  Swiss Federal Intsitute of Technology Zurich, Zurich, Switzerland
- Year and Date
  2011-06-27
- Data Source
  KAKENHI-PROJECT-22300012
[Presentation] GRoundTram : An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations (short paper)2011
- Author(s)
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
- Organizer
  The 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011)
- Place of Presentation
  The Oread (Kansas, USA)
- Year and Date
  2011-11-09
- Data Source
  KAKENHI-PROJECT-23700047
[Presentation] 模倣に基づくグラグスキーマを利用したビュー更新可能製判定2011
- Author(s)
  中野圭介、日高宗一郎、胡振江、稲葉一浩、加藤弘之
- Organizer
  第13回プログラミングおよびプログラミング言語ワークショップ
- Place of Presentation
  定山渓ビューホテル、北海道
- Year and Date
  2011-03-10
- Data Source
  KAKENHI-PROJECT-22650007
[Presentation] Bidirectional Graph Transformations based on Structural Recursion2011
- Author(s)
  Soichiro Hidaka, Position Statement
- Organizer
  Dagstuhl seminar report, BidirectionalTransformations “bx"
- Place of Presentation
  Dagstuhl,Germany
- Data Source
  KAKENHI-PROJECT-20700035
[Presentation] Static and Dynamic Optimizations in a Graph Roundtrip Transformation System GRoundTram2011
- Author(s)
  Soichiro Hidaka
- Organizer
  5th International Workshop on Bidirectional Transformation in Architecture-Based Component Composition (BT in ABC 5)
- Place of Presentation
  Xi'an Jiaotong University (Xi'an, China)
- Year and Date
  2011-05-17
- Data Source
  KAKENHI-PROJECT-23700047
[Presentation] Toward bidirectionalization of ATL with GRoundTram2011
- Author(s)
  Isao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
- Organizer
  4^<th> Intrnational Conference on Model Transformation (ICMT2011)
- Place of Presentation
  ETH, Zurich, Switzerland(発表確定)
- Year and Date
  2011-06-27
- Data Source
  KAKENHI-PROJECT-20700035
[Presentation] 漸進的グラフビュー維持の枠組みの提案2011
- Author(s)
  加藤弘之、鬼塚真、日高宗一郎、中野圭介、胡振江
- Organizer
  日本ソフトウェア科学会第28 回大会
- Place of Presentation
  沖縄産業支援センター（沖縄県）
- Data Source
  KAKENHI-PROJECT-23700047
[Presentation] GRoundTramによるATLの双方向化の実現2011
- Author(s)
  篠埜功、胡振江、日高宗一郎、稲葉一浩、加藤弘之、中野圭介
- Organizer
  日本ソフトウェア科学会第28回大会
- Place of Presentation
  沖縄産業支援センター（沖縄県）
- Data Source
  KAKENHI-PROJECT-23700047
[Presentation] Graph-Transformation Verification using Monadic Second-Order Logic2011
- Author(s)
  Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
- Organizer
  13^<th> International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming(PPDP 2011)
- Place of Presentation
  University of Southern Denmark, Odense, Denmark
- Year and Date
  2011-07-20
- Data Source
  KAKENHI-PROJECT-22650007
[Presentation] Toward bidirectionalization of ATL with GRoundTram2011
- Author(s)
  Isao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
- Organizer
  4th International Conference on Model Transformation (ICMT 2011)
- Place of Presentation
  ETH Zurich(Zurich, Switzerland)
- Data Source
  KAKENHI-PROJECT-23700047
[Presentation] 胡振江漸進的グラフビュー維持の枠組みの提案2011
- Author(s)
  加藤弘之、鬼塚真、日高宗一郎、中野圭介
- Organizer
  日本ソフトウェア科学会第28回大会
- Place of Presentation
  沖縄産業支援センター(沖縄県)
- Year and Date
  2011-09-29
- Data Source
  KAKENHI-PROJECT-23700047
[Presentation] Graph-Transformation Verification using Monadic Second-order Logic2011
- Author(s)
  Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
- Organizer
  13^<th> International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP2011)
- Place of Presentation
  Odense, Denmark(発表確定)
- Data Source
  KAKENHI-PROJECT-20700035
[Presentation] Position Statement : Bidirectional Graph Transformations based on Structural Recursion2011
- Author(s)
  Soichiro Hidaka
- Organizer
  Dagstuhl seminar report, Bidirectional Transformations "bx"
- Place of Presentation
  Schloss Dagstuhl Computer Science Center, Dagstuhl, Germany
- Year and Date
  2011-01-21
- Data Source
  KAKENHI-PROJECT-20700035
[Presentation] Static and Dynamic Optimizations in a Graph Roundtrip Transformation System GRoundTram2011
- Author(s)
  Soichiro Hidaka
- Organizer
  5th International Workshop on Bidirectional Transformation in Architecture-Based Component Composition (BT in ABC 5)
- Place of Presentation
  Xi'an Jiaotong University(Xi'an, China)
- Data Source
  KAKENHI-PROJECT-23700047
[Presentation] Graph-Transformation Verification using Monadic Second-Order Logic2011
- Author(s)
  Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
- Organizer
  13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2011)
- Place of Presentation
  University of Southern Denmark (Odense, Denmark)
- Year and Date
  2011-07-20
- Data Source
  KAKENHI-PROJECT-23700047
[Presentation] GRoundTram によるATL の双方向化の実現2011
- Author(s)
  篠埜功、胡振江、日高宗一郎、稲葉一浩、加藤弘之、中野圭介
- Organizer
  日本ソフトウェア科学会第28回大会
- Place of Presentation
  沖縄産業支援センター(沖縄県)
- Year and Date
  2011-09-29
- Data Source
  KAKENHI-PROJECT-23700047
[Presentation] Bidirectionalizing Graph Transformations2011
- Author(s)
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano
- Organizer
  第13回プログラミングおよびプログラミング言語ワークショップ
- Place of Presentation
  北海道、定山渓ビューホテル
- Data Source
  KAKENHI-PROJECT-20700035
[Presentation] GRoundTram: An Integrated Framework for DevelopingWell-Behaved Bidirectional Model Transformations (short paper)2011
- Author(s)
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
- Organizer
  The 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011)
- Place of Presentation
  The Oread(Kansas, USA)
- Data Source
  KAKENHI-PROJECT-23700047
[Presentation] Graph-Transformation Verification using Monadic Second-order Logic2011
- Author(s)
  Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
- Organizer
  13^<th> International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP2011)
- Place of Presentation
  University of Southern Denmark, Odense, Denmark(発表確定)
- Data Source
  KAKENHI-PROJECT-20700035
[Presentation] Toward bidirectionalization of ATL with GRoundTRam2011
- Author(s)
  Isao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
- Organizer
  4^<th> International Conference on Model Transformation (ICMT2011),
- Place of Presentation
  Zurich, Switzerland(発表確定)
- Data Source
  KAKENHI-PROJECT-20700035
[Presentation] Graph-Transformation Verification using Monadic Second-Order Logic2011
- Author(s)
  Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
- Organizer
  13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2011)
- Place of Presentation
  Odense, Denmark
- Data Source
  KAKENHI-PROJECT-22300012
[Presentation] Marker-Directed Optimization of UnCAL Graph Transformations2011
- Author(s)
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, Isao Sasano
- Organizer
  21^<st> International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011)
- Place of Presentation
  University of Southern Denmark, Odense, Denmark
- Year and Date
  2011-07-19
- Data Source
  KAKENHI-PROJECT-22300012
[Presentation] 模倣に基づくグラフスキーマを利用したビュー更新可能性判定2011
- Author(s)
  中野圭介、日高宗一郎、胡振江、稲葉一浩、加藤弘之
- Organizer
  第13回プログラミングおよびプログラミング言語ワークショップ
- Place of Presentation
  定山渓ビューホテル、北海道
- Year and Date
  2011-03-10
- Data Source
  KAKENHI-PROJECT-22650007
[Presentation] Marker-directed optimization of UnCAL graph revisited : Optimizing bidirectional graph transformations2011
- Author(s)
  Soichiro Hidaka
- Organizer
  The 4th DIKU-ISTJoint Workshop on Foundations of Software
- Place of Presentation
  東京、浅草ビューホテル
- Data Source
  KAKENHI-PROJECT-20700035
[Presentation] Graph-Transformation Verification using Monadic Second-Order Logic2011
- Author(s)
  Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
- Organizer
  13^<th> International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2011)
- Place of Presentation
  University of Southern Denmark, Odense, Denmark
- Year and Date
  2011-07-20
- Data Source
  KAKENHI-PROJECT-22300012
[Presentation] Graph-Transformation Verification using Monadic Second-Order Logic2011
- Author(s)
  Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
- Organizer
  13^<th> International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2011)
- Place of Presentation
  University of Southern Denmark, Odense, Denmark
- Year and Date
  2011-07-20
- Data Source
  KAKENHI-PROJECT-22650007
[Presentation] Marker-directed optimization of UnCAL graph algebra revisited : Optimizing bidirectional graph transformations2011
- Author(s)
  Soichiro Hidaka
- Organizer
  The Fourth DIKU-IST Joint Workshop on Foundations of Software
- Place of Presentation
  浅草ビューホテル、東京都
- Year and Date
  2011-01-12
- Data Source
  KAKENHI-PROJECT-20700035
[Presentation] GroundTram : An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations (short paper)2011
- Author(s)
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
- Organizer
  26^<th> IEEE/ACM International Conference on Automated Software Engineering (ASE 2011)
- Place of Presentation
  The Oread, Kansas City, USA
- Year and Date
  2011-11-10
- Data Source
  KAKENHI-PROJECT-22300012
[Presentation] GRoundTram as an Integrated Framework and Developing Environments for Bidirectional Model Transformations2011
- Author(s)
  Soichiro Hidaka
- Organizer
  2nd NII-PKU International Joint Workshop on Advanced Software Engineering
- Place of Presentation
  ラフォーレ強羅(神奈川県)
- Year and Date
  2011-10-21
- Data Source
  KAKENHI-PROJECT-23700047
[Presentation] Marker-directed optimization of UnCAL graph transformations2011
- Author(s)
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, Isao Sasano
- Organizer
  21st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011)
- Place of Presentation
  University of Southern Denmark(Odense, Denmark)
- Year and Date
  2011-07-19
- Data Source
  KAKENHI-PROJECT-23700047
[Presentation] 模倣に基づくグラフスキーマを利用したビュー更新可能性判定2011
- Author(s)
  中野圭介、日高宗一郎、胡振江、稲葉一浩、加藤弘之
- Organizer
  第13回プログラミングおよびプログラミング言語ワークショップ
- Place of Presentation
  北海道、定山渓ビューホテル
- Data Source
  KAKENHI-PROJECT-20700035
[Presentation] Toward bidirectionalization of ATL with GRoundTram2011
- Author(s)
  Isao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
- Organizer
  4th International Conference on Model Transformation (ICMT 2011)
- Place of Presentation
  Zurich, Switzerland
- Year and Date
  2011-06-27
- Data Source
  KAKENHI-PROJECT-23700047
[Presentation] Relationships between BX and View Updates (Proposal and Report)2011
- Author(s)
  Soichiro Hidaka, Working Group
- Organizer
  Dagstuhl seminar report, Bidirectional Transformations “bx"
- Place of Presentation
  Dagstuhl, Germany
- Data Source
  KAKENHI-PROJECT-20700035
[Presentation] Marker-Directed Optimization of UnCAL Graph Transformations2011
- Author(s)
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, Isao Sasano
- Organizer
  21st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011)
- Place of Presentation
  Odense, Denmark
- Data Source
  KAKENHI-PROJECT-22300012
[Presentation] Working Group : Relationships between BX and View Updates2011
- Author(s)
  Soichiro Hidaka
- Organizer
  Dagstuhl seminar report, Bidirectional Transformations "bx"
- Place of Presentation
  Schloss Dagstuhl Computer Science Center, Dagstuhl, Germany(Proposal and report)
- Year and Date
  2011-01-20
- Data Source
  KAKENHI-PROJECT-20700035
[Presentation] Range Analysis of Graph Transformation for Simulation-based Schema2010
- Author(s)
  Keisuke Nakano, Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato
- Organizer
  8^<th> Asian Symposium on Programming Languages and Systems (APLAS 2010)
- Place of Presentation
  Hengshan Hotel, Shanghai, China(poster)
- Year and Date
  2010-11-30
- Data Source
  KAKENHI-PROJECT-22650007
[Presentation] Bidirectionalizing Graph Transformations2010
- Author(s)
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano
- Organizer
  15^<th> ACM SIGPLAN International Conference on Functional Programming (ICFP2010)
- Place of Presentation
  Hyatt Regency Inner Harbor, Baltimore, USA
- Year and Date
  2010-09-28
- Data Source
  KAKENHI-PROJECT-20700035
[Presentation] Context-Preserving XQuery Fusion2010
- Author(s)
  Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara
- Organizer
  8^<th> ASIAN Symposium on Programming Languages and Systems (APLAS2010)
- Place of Presentation
  Hengshan Hotel, Shanghai, China
- Year and Date
  2010-11-30
- Data Source
  KAKENHI-PROJECT-20700035
[Presentation] Range Analysis of Graph Transformation for Simulation-based Schema2010
- Author(s)
  Keisuke Nakano, Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato
- Organizer
  8^<th> Asian Symposium on Programming Languages and Systems (APLAS2010)
- Place of Presentation
  Hengshan Hotel, Shanghai, China(poster)
- Year and Date
  2010-11-30
- Data Source
  KAKENHI-PROJECT-20700035
[Presentation] Sound and Complete Validation of Graph Transformations2010
- Author(s)
  稲葉一浩、日高宗一郎、胡振江、加藤弘之、中野圭介
- Organizer
  第12回プログラミングおよびプログラミング言語ワークショップ
- Place of Presentation
  香川県、琴平温泉
- Data Source
  KAKENHI-PROJECT-20700035
[Presentation] Towards State-based Interface to a Graph Roundtrip Transformation System GRoundTram2010
- Author(s)
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano
- Organizer
  8^<th> Asian Symposium on Programming Languages and Systems (APLAS2010)
- Place of Presentation
  Hengshan Hotel, Shanghai, China(poster)
- Year and Date
  2010-11-30
- Data Source
  KAKENHI-PROJECT-20700035
[Presentation] Bidirectionalizing Graph Transformations2010
- Author(s)
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano, Kazutaka Matsuda
- Organizer
  15th ACM SIGPLAN International Conference on Functional Programming (ICFP 2010)
- Place of Presentation
  Baltimore, Maryland, USA
- Data Source
  KAKENHI-PROJECT-22300012
[Presentation] 構造的再帰関数に基づく双方向グラフ変換システム2010
- Author(s)
  日高宗一郎、胡振江、稲葉一浩、加藤弘之、松田一孝、中野圭介、GRoundTram
- Organizer
  第12回プログラミングおよびプログラミング言語ワークショップ
- Place of Presentation
  香川県、琴平温泉
- Data Source
  KAKENHI-PROJECT-20700035
[Presentation] Providing State-based Interface to a Graph Roundtrip Transformation System GRoundTram2010
- Author(s)
  Soichiro Hidaka
- Organizer
  1^<st> PKU-NII International Joint Workshop on Advanced Software Engineering
- Place of Presentation
  Peking University, Beijing, China
- Year and Date
  2010-10-10
- Data Source
  KAKENHI-PROJECT-20700035
[Presentation] GRoundTram : A Bidirectional Graph Transformation System Based on Structural Recursion2010
- Author(s)
  日高宗一郎(共著)
- Organizer
  Workshop on Bidirectional Transformation(BT2010)at GRACE International Symposium on Advanced Software Engineering 2010
- Place of Presentation
  National Institute of Informatics, Japan
- Year and Date
  2010-03-15
- Data Source
  KAKENHI-PROJECT-20700035
[Presentation] Bidirectionalizing Graph Transformations2010
- Author(s)
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano, Kazutaka Matsuda
- Organizer
  15^<th> ACM SIGPLAN International Conference on Functional Programming (ICFP 2010)
- Place of Presentation
  Hyatt Regency Inner Harbor, Baltimore, America
- Year and Date
  2010-09-28
- Data Source
  KAKENHI-PROJECT-22650007
[Presentation] Bidirectionalizing Graph Transformations2010
- Author(s)
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano, Kazutaka Matsuda
- Organizer
  15^<th> ACM SIGPLAN International Conference on Functional Programming(ICFP 2010)
- Place of Presentation
  Hyatt Regency Inner Harbor, Baltimore, America
- Year and Date
  2010-09-28
- Data Source
  KAKENHI-PROJECT-22650007
[Presentation] Bidirectionalizing Graph Transformations2010
- Author(s)
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano, Kazutaka Matsuda
- Organizer
  15^<th> ACM SIGPLAN International Conference on Functional Programming (ICFP 2010)
- Place of Presentation
  Hyatt Regency Inner Harbor, Baltimore, America
- Year and Date
  2010-09-28
- Data Source
  KAKENHI-PROJECT-22300012
[Presentation] On the traceability in a graph roundtrip transformation system, Workshop on Bidirectional Transformation (BT2010) at GRACE2010
- Author(s)
  Soichiro Hidaka
- Organizer
  International Symposium on Advanced Software Engineering 2010
- Place of Presentation
  東京、学術総合センター
- Data Source
  KAKENHI-PROJECT-20700035
[Presentation] Context-Preserving Xquery Fusion2010
- Author(s)
  Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara
- Organizer
  8^<th> ASIAN Symposium on Programming Languages and Systems (APLAS2010)
- Place of Presentation
  Shanghai, China
- Data Source
  KAKENHI-PROJECT-20700035
[Presentation] GRoundTram:構造的再帰関数に基づく双方向グラフ変換システム2010
- Author(s)
  日高宗一郎(共著)
- Organizer
  第12回プログラミングおよびプログラミング言語ワークショップ
- Place of Presentation
  香川県琴平温泉
- Year and Date
  2010-03-04
- Data Source
  KAKENHI-PROJECT-20700035
[Presentation] Range Analysis of Graph Transformation for Simulation-based Schema(poster)2010
- Author(s)
  Keisuke Nakano, Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato
- Organizer
  8^<th> Asian Symposium on Programming Languages and Systems(APLAS 2010)
- Place of Presentation
  Hengshan Hotel, Shanghai, China
- Year and Date
  2010-11-30
- Data Source
  KAKENHI-PROJECT-22650007
[Presentation] A Bidirectional Graph Transformation System Based on Structural Recursion, Workshop on Bidirectional Transformation (BT2010) at GRACE2010
- Author(s)
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, GRoundTram
- Organizer
  International Symposium on Advanced Software Engineering 2010
- Place of Presentation
  東京、学術総合センター
- Data Source
  KAKENHI-PROJECT-20700035
[Presentation] Towards State-based Interface to a Graph Roundtrip Transformation System GRoundTram (poster)2010
- Author(s)
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano
- Organizer
  8^<th> ASIAN Symposium on Programming Languages and Systems (APLAS2010)
- Place of Presentation
  Shanghai, China
- Data Source
  KAKENHI-PROJECT-20700035
[Presentation] Bidirectionalizing Graph Transformations2010
- Author(s)
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano
- Organizer
  15^<th> ACM SIGPLAN International Conference on Functional Programming (ICFP2010)
- Place of Presentation
  Baltimore, USA
- Data Source
  KAKENHI-PROJECT-20700035
[Presentation] On the traceability in a graph roundtrip transformation system GRoundTram2010
- Author(s)
  日高宗一郎
- Organizer
  Workshop on Bidirectional Transformation(BT2010)at GRACE International Symposium on Advanced Software Engineering 2010
- Place of Presentation
  National Institute of Informatics, Japan
- Year and Date
  2010-03-15
- Data Source
  KAKENHI-PROJECT-20700035
[Presentation] Context-Preserving XQuery Fusion2010
- Author(s)
  Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara
- Organizer
  Eighth ASIAN Symposium on Programming Languages and Systems (APLAS 2010)
- Place of Presentation
  Shanghai, China
- Data Source
  KAKENHI-PROJECT-22300012
[Presentation] Range Analysis of Graph Transformation for Simulation-based Schema (poster)2010
- Author(s)
  Keisuke Nakano, Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato
- Organizer
  8^<th> ASIAN Symposium on Programming Languages and Systems (APLAS2010)
- Place of Presentation
  Shanghai, China
- Data Source
  KAKENHI-PROJECT-20700035
[Presentation] Contest-Preserving XQuery Fusion2010
- Author(s)
  Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara
- Organizer
  8^<th> Asian Symposium on Programming Languages and Systems (APLAS2010)
- Place of Presentation
  Hengshan Hotel, Shanghai, China
- Year and Date
  2010-11-30
- Data Source
  KAKENHI-PROJECT-22300012
[Presentation] Providing State-based interface to a Graph Roundtrip Transformation System GRoundTram2010
- Author(s)
  Soichiro Hidaka
- Organizer
  1^<st> PKU-NII International Joint Workshop on Advanced Software Engineering
- Place of Presentation
  Beijing, China
- Data Source
  KAKENHI-PROJECT-20700035
[Presentation] A Bidirectional Graph Transformation System based on Structural Recursion2009
- Author(s)
  Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Ianaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, GroundTram
- Organizer
  The 7^<th> Asian Symposium on Programming Languages and Systems (APLAS2009)
- Place of Presentation
  Seoul, Korea
- Data Source
  KAKENHI-PROJECT-20700035
[Presentation] Bidirectional graph transformation based on structural recursion2009
- Author(s)
  日高宗一郎(共著)
- Organizer
  The 26th GRACE Seminar on Advanced Software Science and Engineering
- Place of Presentation
  National Institute of Informatics, Japan
- Year and Date
  2009-10-23
- Data Source
  KAKENHI-PROJECT-20700035
[Presentation] Bidirectional graph transformation based on structural recursion2009
- Author(s)
  Soichiro Hidaka
- Organizer
  The 26^<th> GRACE Seminar on Advanced Software Science and Engineering
- Place of Presentation
  東京都、国立情報学研究所(招待講演)
- Year and Date
  2009-10-23
- Data Source
  KAKENHI-PROJECT-20700035
[Presentation] Rewriting XQuery to Avoid Redundant Expressions based on Static Emulation of XML Store2009
- Author(s)
  Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Yasunori Ishihara, Keisuke Nakano
- Organizer
  ACM SIGPLAN Workshop on Programming Language Techniques for XML
- Place of Presentation
  Georgia, USA
- Data Source
  KAKENHI-PROJECT-20700035
[Presentation] Bidirectional Interpretation of UnCAL Graph Algebra2009
- Author(s)
  Soichiro Hidaka
- Organizer
  2nd International Workshop on Bidirectional Transformation in Architecture-Based Component Composition
- Place of Presentation
  Shonan Village Center, Japan(神奈川)
- Year and Date
  2009-01-06
- Data Source
  KAKENHI-PROJECT-20700035
[Presentation] Bidirectionalizing Structural Recursive Transformation on Graphs (short presentation of ongoing work)2009
- Author(s)
  Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
- Organizer
  6^<th> Asian Workshop on Foundations of Software (AWFS2009)
- Place of Presentation
  東京都、国立情報学研究所
- Data Source
  KAKENHI-PROJECT-20700035
[Presentation] Design and implementation of the bidirectional interpretation engine in a graph roundtrip transformation system GRoundTram2009
- Author(s)
  日高宗一郎(共著)
- Organizer
  3^<rd> International Workshop on Bidirectional Trans formation in Architecture-Based Component Composition
- Place of Presentation
  Changsha, China
- Year and Date
  2009-11-15
- Data Source
  KAKENHI-PROJECT-20700035
[Presentation] Bidirectional Interpretation of UnCAL Graph Algebra2009
- Author(s)
  Soichiro Hidaka
- Organizer
  2^<nd> International Workshop on Bidirectional Transformation in Architecture-Based Component Composition
- Place of Presentation
  神奈川、湘南国際村センター
- Data Source
  KAKENHI-PROJECT-20700035
[Presentation] GRoundTram : A Bidirectional Graph Transformation System Based on Structural Recursion2009
- Author(s)
  日高宗一郎(共著)
- Organizer
  The Seventh Asian Symposium on Programming Languages and Systems(APLAS2009)
- Place of Presentation
  Seoul, Korea
- Year and Date
  2009-12-14
- Data Source
  KAKENHI-PROJECT-20700035
[Presentation] Bidirectionalizing Structural Recursive Transformation on Graphs(short presentation of ongoing work)2009
- Author(s)
  日高宗一郎(共著)
- Organizer
  Sixth Asian Workshop on Foundations of Software
- Place of Presentation
  National Institute of Informatics, Japan
- Year and Date
  2009-04-07
- Data Source
  KAKENHI-PROJECT-20700035
[Presentation] Design and implementation of the bidirectional interpretation engine in a graph roundtrip transformation system GRoundTram2009
- Author(s)
  Soichiro Hidaka
- Organizer
  3^<rd> International Workshop on Bidirectional Transformation in Architecture-Based Component Composition (Bi-Trans in ABC)
- Place of Presentation
  Changsha, China
- Data Source
  KAKENHI-PROJECT-20700035
[Presentation] An Order-sensitive Xquery Fusion2009
- Author(s)
  Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara
- Organizer
  The 7^<th> Asian Symposium on Programming Languages and Systems (APLAS2009)
- Place of Presentation
  Seoul, Korea
- Data Source
  KAKENHI-PROJECT-20700035
[Presentation] Rewriting XQuery to Avoid Redundant Expressions based on Static Emulation of XML Store2009
- Author(s)
  Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Yasunori Ishihara, Keisuke Nakano
- Organizer
  6^<th> Asian Workshop on Foundations of Software (AWFS2009)
- Place of Presentation
  東京都、国立情報学研究所
- Data Source
  KAKENHI-PROJECT-20700035
[Presentation] Bidirectional Graph Transformation using UnCAL2008
- Author(s)
  Soichiro Hidaka
- Organizer
  GRACE International Meeting on Bidirectional Transformations
- Place of Presentation
  神奈川、湘南国際村センター
- Data Source
  KAKENHI-PROJECT-20700035
[Presentation] Bidirectional Graph Transformation using UnCAL2008
- Author(s)
  Soichiro Hidaka
- Organizer
  GRACE International Meeting on Bidirectional Trans-formations
- Place of Presentation
  Shonan Village Center, Japan(神奈川)
- Year and Date
  2008-12-17
- Data Source
  KAKENHI-PROJECT-20700035
[Presentation] Bidirectional Graph Transformation Infrastructure and its Applications
- Author(s)
  日高　宗一郎
- Organizer
  NII Shonan Meeting on Engineering Adaptive Software Systems (EASSy)
- Place of Presentation
  湘南国際村センター、逗子市、神奈川県
- Data Source
  KAKENHI-PROJECT-23700047
[Presentation] Interfacing bidirectional graph transformation system GRoundTram
- Author(s)
  日高　宗一郎
- Organizer
  NII-Lero-Open University Workshop - Adaptation, Privacy and Security
- Place of Presentation
  Open University (Milton Keynes, UK )
- Data Source
  KAKENHI-PROJECT-23700047
[Presentation] Structural Recursion on Ordered Graphs
- Author(s)
  Kazuyuki Asada, Soichiro Hidaka, Hiroyuki Kato, Zhenjiang Hu, Keisuke Nakano
- Organizer
  日本ソフトウェア科学会第29回大会（29th JSSST Convention）
- Place of Presentation
  法政大学小金井キャンパス（東京都）
- Data Source
  KAKENHI-PROJECT-23700047
[Presentation] Interoperable traceability in bidirectional graph transformations
- Author(s)
  日高　宗一郎
- Organizer
  Atlanmod-BiG Joint workshop on Bidirectionality in Model Transformations
- Place of Presentation
  INRIA, Paris sub office (Paris , France)
- Data Source
  KAKENHI-PROJECT-23700047
[Presentation] A Bidirectional Collaboration Framework for Bio-Model Development
- Author(s)
  John Wilson-Kanamori and Soichiro Hidaka
- Organizer
  Second International Workshop on Bidirectional Transformations
- Place of Presentation
  Sapienza, University of Rome( Rome, Italy)
- Data Source
  KAKENHI-PROJECT-23700047
[Presentation] Maintaining Invariant Traceability through Bidirectional Transformations(双方向変換を用いた不変トレーサビリティの保守) ICSE'12共著論文の紹介(特別講演)
- Author(s)
  日高　宗一郎
- Organizer
  日本ソフトウェア第29回科学会大会
- Place of Presentation
  法政大学小金井キャンパス（東京都）
- Invited
- Data Source
  KAKENHI-PROJECT-23700047
[Presentation] Position Statement: Compositional development framework for bidirectional model transformation based on structural recursion on graphs
- Author(s)
  Soichiro Hidaka
- Organizer
  Bi-directional transformations (BX) - Theory and Applications Across Disciplines
- Place of Presentation
  Banff Centre, Banff, Canada
- Data Source
  KAKENHI-PROJECT-23700047
[Presentation] iGRT: A Generic Interface for GRoundTram
- Author(s)
  Yiqing ZHU, Tao Zan, Soichiro HIDAKA, Zhenjiang Hu
- Organizer
  日本ソフトウェア科学会第29回大会（29th JSSST Convention (poster)
- Place of Presentation
  法政大学小金井キャンパス（東京都
- Data Source
  KAKENHI-PROJECT-23700047
[Presentation] Towards Co-Evolution in Model-driven Development via Bidirectional Higher-Order Transformation
- Author(s)
  Bernhard Hoisl, Zhenjiang Hu and Soichiro Hidaka
- Organizer
  MODELSWARD 2014 - 2nd International Conference on Model-Driven Engineering and Software Development
- Place of Presentation
  The Sana Lisbon Hotel, Lisbon, Portugal
- Data Source
  KAKENHI-PROJECT-23700047
[Presentation] Preface to the Third International Workshop on Bidirectional Transformations
- Author(s)
  Soichiro Hidaka, James F. Terwilliger
- Organizer
  Third International Workshop on Bidirectional Transformations (co-located with EDBT/ICDT 2014 Joint Conference)
- Place of Presentation
  Royal Olympic Hotel,Athens, Greece
- Data Source
  KAKENHI-PROJECT-23700047
[Presentation] Structural Recursion for Querying Ordered Graphs
- Author(s)
  Soichiro Hidaka, Kazuyuki Asada, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
- Organizer
  第15回プログラミングおよびプログラミング言語ワークショップ(PPL 2013), カテゴリ1
- Place of Presentation
  御宿東鳳( 福島県）
- Data Source
  KAKENHI-PROJECT-23700047
[Presentation] Towards Bidirectional Graph Transformations with High-Level Patterns
- Author(s)
  Tao Zan, Soichiro Hidaka, Hiroyuki Kato, Zhenjiang Hu
- Organizer
  第15回プログラミングおよびプログラミング言語ワークショップ(PPL 2013), カテゴリ3
- Place of Presentation
  御宿東鳳( 福島県）
- Data Source
  KAKENHI-PROJECT-23700047

1. HASHIZUME Hiromichi (40172853)

# of Collaborated Projects: 4 results

# of Collaborated Products: 0 results
2. KODAMA Kazuya (80321579)

# of Collaborated Projects: 4 results

# of Collaborated Products: 11 results
3. HU Zhenjiang (50292769)

# of Collaborated Projects: 4 results

# of Collaborated Products: 36 results
4. KATO Hiroyuki (10321580)

# of Collaborated Projects: 4 results

# of Collaborated Products: 34 results
5. MARUYAMA Katsumi (60280533)

# of Collaborated Projects: 3 results

# of Collaborated Products: 19 results
6. INABA Kazuhiro (30570311)

# of Collaborated Projects: 2 results

# of Collaborated Products: 25 results
7. NAKANO Keisuke (30505839)

# of Collaborated Projects: 2 results

# of Collaborated Products: 25 results
8. EMOTO Kento (00587470)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
9. MATSUDA Kazutaka (10583627)

# of Collaborated Projects: 2 results

# of Collaborated Products: 5 results
10. ADACHI Jun (80143551)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
11. JI Yusheng (80225333)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
12. TAKEUCHI Ikuo (90293109)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
13. NAMIKI Mitaro (10208077)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
14. SASANO Isao (10362021)

# of Collaborated Projects: 1 results

# of Collaborated Products: 4 results
15. MORIHATA Akimasa (10582257)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
16. HIBINO Yasushi (10251969)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
17. 三好健文 (70506732)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
18. 浅田和之 (00570251)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
19. 細部博史 (60321577)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
20. 中島震 (60350211)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
21. 吉川正俊 (30182736)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
22. 鬼塚真 (60726165)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
23. 石原靖哲 (00263434)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
24. Tisi Massimo

# of Collaborated Projects: 1 results

# of Collaborated Products: 3 results
25. Jouault Frédéric

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
26. ZHU Zirun

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

HIDAKA Soichiro 日高 宗一郎

Research Projects

Research Products

Co-Researchers

A Study on Incremental Bidirectionalization of Data TransformationsPrincipal InvestigatorOngoing

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

リアクティブプログラミングのための高信頼化技術Ongoing

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Software Foundation for Interoperability of Autonomic Distributed Data based on Bidirectional TransformationOngoing

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A Study on interoperable bidirectional graph transformations(Fostering Joint International Research)Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A Study on interoperable bidirectional graph transformationsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Integrated and Fundamental for Large-Scale and Practical Bidirectional Graph Transformation

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A study on functional bidirectional graph transformation languagesPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Study on Language Foundation for Bidirectional Model Transformation

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Towards Model Transformation Validation from Model Validation

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A Study on application of fusion transformation on XML database programming languagesPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Federated software-bus (distributed OS) for ubiquitous network nodes

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

副作用を考慮した関数型問い合わせ言語の並列性に関する研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

New flexible software platform to overcome ubiquitous NW complexity

Principal Investigator

Project Period (FY)

Research Category

HIDAKA Soichiro 日高宗一郎