日高 宗一郎 更新日: 10/07/12 17:59
プロフィール 4月２１日より１ヶ月間、EMNantes/INRIA のAtlanModチームを訪問しました。
経歴 2010年4月
-
2010年5月
Ecole des Mines de Nantes, France Visiting Researcher (1 month) at AtlanMod team
2007年
-
現在
国立情報学研究所 アーキテクチャ科学研究系 助教
2006年
-
2007年
国立情報学研究所 アーキテクチャ科学研究系 助手
2003年
-
2005年
国立情報学研究所 情報基盤研究系 助手
2000年
-
2002年
国立情報学研究所 実証研究センター 助手
論文 Bidirectionalizing Graph Transformations
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano
15th ACM SIGPLAN International Conference on Functional Programming (ICFP 2010) (to appear) 2010年 [査読有り]
順序を考慮に入れたXQueryの融合変換
加藤 弘之, 日高 宗一郎, 胡 振江, 中野 圭介, 石原 靖哲
Webとデータベースに関するフォーラム (WebDB Forum 2009) 論文集 2009(3) 2009年11月 [査読有り]
Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
31st International Conference on Software Engineering Companion Volume 235-238 2009年5月 [査読有り]
Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
Proceedings of the 2009 ACM symposium on Applied Computing 468-475 2009年3月 [査読有り]
Towards Compositional Approach to Model Transformations (Takahashi Award to presentation by Hu)
Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
日本ソフトウェア科学会第25回大会講演論文集 2008年9月
Misc Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
GRACE Technical Report GRACE-TR-2010-04 2010年5月
Hiroyuki Kato Soichiro Hidaka Zhenjiang Hu Keisuke Nakano Yasunori Ishihara
GRACE TECHNICAL REPORTS (GRACE-TR 2009–04) 2009年9月
Bidirectionalizing Structural Recursion on Graphs
Soichiro Hidaka Zhenjiang Hu Kazuhiro Inaba Hiroyuki KatoKazutaka Matsuda Keisuke Nakano
日本ソフトウェア科学会第26回大会 講演論文集(電子版) 2009年9月
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano
GRACE TECHNICAL REPORTS (GRACE-TR 2009–03) 2009年8月
The bidirectional transformation problem has been attracting more and more attention in the programming language community. Despite many promising results about bidirectional transformation on linear strings or tree-like data structures, it remains as an open problem whether it is possible to design a language that can support practical development of bidirectional transformations on graphs. In...
An Algebraic Approach to Bidirectional Model Transformations
Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
GRACE TECHNICAL REPORTS GRACE-TR-2008(02) 2008年9月
講演・口頭発表等 Soichiro Hidaka
Workshop on Bidirectional Transformation (BT2010) at GRACE International Symposium on Advanced Software Engineering 2010 2010年3月
GRoundTram: A Bidirectional Graph Transformation System Based on Structural Recursion
Soichiro Hidaka Zhenjiang Hu Kazuhiro Inaba Hiroyuki Kato Kazutaka Matsuda Keisuke Nakano
GRACE International Symposium on Advanced Software Engineering 2010 2010年3月
GRoundTram: 構造的再帰関数に基づく双方向グラフ変換システム
日高宗一郎、胡振江、稲葉一浩、加藤弘之、松田一孝、中野圭介
第12回プログラミングおよびプログラミング言語ワークショップ 2010年3月 日本ソフトウェア科学会 プログラミング論研究会
Sound and Complete Validation of Graph Transformations
稲葉 一浩, 日高 宗一郎, 胡 振江, 加藤 弘之, 中野 圭介
第12回プログラミングおよびプログラミング言語ワークショップ 2010年3月 日本ソフトウェア科学会 プログラミング論研究会
GRoundTram: A Bidirectional Graph Transformation System based on Structural Recursion
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda,Keisuke Nakano
The Seventh Asian Symposium on Programming Languages and Systems (APLAS 2009) 2009年12月
作品
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano コンピュータソフト 2009年11月
Source Code, Tutorial, Language References, and Tool References of the GRoundTram (Graph Roundtrip Transformation for Models) system
Soichiro Hidaka (with BiG team) コンピュータソフト 2009年7月
グラフ変換言語のユーザ構文(UnQL+)レベルでの双方向化のデモCGI
L4Minix Ver. E
K. Maruyama, K. Kodama, S. Hidaka, H. Hashizume, Y. Ji, I. Ide and A. Nakamura コンピュータソフト 2002年
http://research.nii.ac.jp/H2O
Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano コンピュータソフト 2008年9月
Demonstration CGI of model transformation in UnQL+
Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano コンピュータソフト 2008年9月
Demonstration CGI of graph transformation in UnCAL graph transformation language core.
その他
PC Co-chair, 4th International Workshop on Bidirectional Transformation in Architecture-Based Component Composition (BT in ABC 4)
