日高宗一郎

国立情報学研究所客員教授

2021 - 2024 更新を対象としたデータ相互運用問題のソフトウェア基盤技術
2019 - 2022 データ変換の漸進的双方向化に関する研究
2017 - 2022 双方向変換の深化による自律分散ビッグデータの相互運用基盤に関する研究
2017 - 2021 リアクティブプログラミングのための高信頼化技術
2016 - 2018 相互運用可能な双方向グラフ変換に関する研究(国際共同研究強化)

全件表示

豊田雅希, 日高宗一郎. Putbackベースの双方向変換言語XMUの更新ベース化に向けて. 情報処理学会第86回全国大会講演論文集. 2024. 2024. 1. 347-348
仲野祐希, 日高宗一郎. 操作変換を用いた双方向変換網の競合解決における操作変換制御の一検討. 情報処理学会第85回全国大会. 2023. 2023. 1. 327-328
Busalire EMEKA, Soichiro HIDAKA, Shaoying LIU. A Practical Model Driven Approach for Designing Security Aware RESTful Web APIs using SOFL. IEICE TRANSACTIONS on Information and Systems. 2023. E106-D. 5. 986-1000
Busalire Emeka, Soichiro Hidaka, Shaoying Liu. Semi-automatic Transformation of Ecore Metamodels to SOFL Based Specifications. IPSJ SIG Technical Reports (SIGSE). 2022. 2022-SE-211. 9. 1-6
仲野祐希, 日高宗一郎. 双方向変換網における操作変換を用いた競合解決手法. 情報処理学会第84回全国大会講演論文集. 2022. 1. 273-274

Soichiro Hidaka, Zhenjiang Hu, Marin Litoiu, Lin Liu, Patrick Martin, Xin Peng, Guiling Wang, Yijun Yu. Design and Engineering of Adaptive Software Systems. Engineering Adaptive Software Systems, Communications of NII Shonan Meetings. 2018. 1-33
Yasuhito Asano, Soichiro Hidaka, Zhenjiang Hu, Yasunori Ishihara, Hiroyuki Kato, Hsiang-Shang Ko, Keisuke Nakano, Makoto Onizuka, Yuya Sasaki, Toshiyuki Shimizu, et al. A View-based Programmable Architecture for Controlling and Integrating Decentralized Data. CoRR. 2018. abs/1803.06674
Yasuhito Asano, Soichiro Hidaka, Zhenjiang Hu, Yasunori Ishihara, Hiroyuki Kato, Hsiang-Shang Ko, Keisuke Nakano, Makoto Onizuka, Yuya Sasaki, Toshiyuki Shimizu,Van-Dang Tran, et al. Making View Update Strategies Programmable - Toward Controlling and Sharing Distributed Data -. CoRR. 2018. abs/1809.10357
日高宗一郎. 双方向変換:古典的なビュー更新問題から, プログラミング言語によるアプローチとソフトウェア開発への応用まで. 情報処理学会会誌. 2017. 58. 12. 1114-1122
Ezgi Çiçek, Soichiro Hidaka. Guaranteeing Free-edits to Bidirectional Graph Transformations. GRACE Technical Reports. 2016. GRACE-TR-2016-04. 1-15

Variable rate TDM switching system
TS接続を用いた可変速度TDM交換方式

双方向変換網における操作変換を用いたデータ更新競合解決手法
(第148回プログラミング研究発表会 2024)
双方向変換の二部ネットワークにおけるビューに基くデータ共有のための適応手法
(日本ソフトウェア科学会第40回大会 2023)
双方向変換と単方向変換の連鎖に基づく漸進的双方向化
(日本ソフトウェア科学会第39回大会, ポスターセッション59-P 2022)
複数の双方向変換に対するデータ更新時の競合解決手法
(情報処理学会第133回プログラミング研究発表会 2021)
トレースに基づく双方向変換の多方向化に向けたco-targetial compositionのための漸進化
(第22回プログラミングおよびプログラミング言語ワークショップ (PPL2020), カテゴリ3 (新型コロナウイルス感染症による中止のためポスターデータ提出のみ) 2020)

LambdaFG version 0.1a
日高宗一郎 2013 - 2013
GRoundTram Version. 0.9.3
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano 2012 -
GRoundTram Version. 0.9.2
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano 2011 -
XFusion Version 0.5.0
Hiroyuki Kato, Soichiro Hidaka 2010 -
GRoundTram Version 0.1.1
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano 2009 -

1996 - 1999 東京大学大学院工学系研究科電子情報工学専攻博士課程
1994 - 1996 東京大学大学院工学系研究科電子工学専攻修士課程
1992 - 1994 東京大学工学部電気工学科
1990 - 1992 東京大学教養学部理科I類

博士(工学) (東京大学(1999))
修士(工学) (東京大学(1996))
学士(工学) (東京大学(1994))

2016/04 - 現在国立情報学研究所研究開発連携客員教授
2016/04 - 現在法政大学情報科学部コンピュータ科学科教授 (2016年10月より2017年3月まで在外研修員)
2016/10 - 2017/03 École des Mines de Nantes AtlanMod team, DAPI (Department of Automatic Control and Production Systems and IT) Visiting Scientist
2006/04 - 2016/03 国立情報学研究所アーキテクチャ科学研究系助手(2007年4月に助教に配置換)
2004/04 - 2016/03 総合研究大学院大学複合科学研究科情報学専攻助手 (併任) (2007年4月に助教に配置換)

全件表示

2023/07 - 2024/03 第26回プログラミングおよびプログラミング言語ワークショッププログラム委員
2020/04 - 2024/03 情報処理学会論文誌プログラミング編集委員
2020/04 - 2024/03 情報処理学会プログラミング研究会幹事
2021/11 - 2022/10 第21回情報科学技術フォーラム(FIT2022) 研究専門委員会担当委員(情報処理学会)
2020/11 - 2021/10 第20回情報科学技術フォーラム (FIT2021) 担当委員(PRO)兼プログラム委員

2021/07 - 第24回プログラミングおよびプログラミング言語ワークショッププログラム委員

2021/07 - ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS 2021) Program Committee Member, Artifact Evaluation

2021/06 - ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS 2021) PC Member, Tools Demonstration Track

2016/04 - 2020/03 情報処理学会プログラミング研究会運営委員

2019/07 - 第22回プログラミングおよびプログラミング言語ワークショッププログラム委員

2015/04 - 2019/03 情報処理学会論文誌プログラミング編集委員

2018/08 - 2019/02 SFDI2019: Second Workshop on Software Foundations for Data Interoperability Program Committee member

2018/12 - 23rd International Conference on Fundamental Approaches to Software Engineering (FASE 2020) program committee

2017/12 - 2018/10 Symposium on Trends in Functional Programming 2018 Program Committee member

2018/10 - 12th International Conference on Model Transformations (ICMT 2019) Programme Committee member

2017/11 - 2018/06 11th International Conference on Model Transformation Program committee member

2017/10 - 2018/04 7th International Workshop on Bidirectional Transformations (Bx 2018) Programme Committee member

2017/02 - 2017/11 The 18th Symposium on Trends in Functional Programming (TFP 2017) Programme Committee member

2016/10 - 2017/07 10th International Conference on Model Transformation Program committee member

2016/11 - 2017/04 Sixth International Workshop on Bidirectional Transformations (Bx 2017) Programme Committee member

2013/07 - 2017/04 Bidirectional Transformations Steering committee

2016/05 - 2016/09 Japan Society for Software Science and Technology Program committee, 33rd Convention

2016/05 - 2016/09 日本ソフトウェア科学会第33回大会プログラム委員

2013/05 - 2016/03 NII Shonan Meeting Steering Committee member

2013/05 - 2016/03 NII湘南会議 Steering Committee

2015/04 - 2015/09 Japan Society for Software Science and Technology Demo and Poster Chair, Program committee, 32nd Convention

2015/04 - 2015/09 日本ソフトウェア科学会第32回大会デモ・ポスター委員長,プログラム委員

2014/03 - 2015/07 Fourth International Workshop on Bidirectional Transformations Programm Committee

2014/03 - 2015/07 Fourth International Workshop on Bidirectional Transformations Program Committee

2013/07 - 2014/03 Third International Workshop on Bidirectional Transformations PC co-chair

2010 - 2013/05 NII Shonan Meeting Organizing Committee

2012/07 - 2013/03 Second International Workshop on Bidirectional Transformations (BX 2013) Programme committee

2012/07 - 2013/02 1st International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2013) Program Committee member

2011/09 - 2012/05 5th International Conference on Model Transformation (ICMT 2012) Programme committee member, Transformations in Modelling and Reutilization session chair

2011/09 - 2012/05 5th International Conference on Model Transformation Programme committee member, Transformations in Modelling and Reutilization session chair

2005 - 2012 先進的計算基盤シンポジウム SACSIS 査読協力者 (2006年を除く。2005年以外は登録のみ)

2005/03 - 2011/11 経済産業省工業所有権審議会試験委員

2005/03 - 2011/11 Ministry of Economy, Trade and Industry Board of Examiners, Industrial Property Council

2011/10 - 2nd NII-PKU International Joint Workshop on Advanced Software Engineering, Hakone-machi, Japan Program Committee Member

2010/03 - 2011/09 The 16th ACM SIGPLAN International Conference on Functional Programming (ICFP2011) Local Arrangements Chair

2011/02 - 2011/07 3rd International Workshop on Model Transformation with ATL (MtATL 2011) PC member

- 2011/05 5th International Workshop on Bidirectional Transformation in Architecture-Based Component Composition (BT in ABC 5) PC member

- 2010 4th International Workshop on Bidirectional Transformation in Architecture-Based Component Composition (BT in ABC 4) PC Co-chair

- 2006 11th Annual Asian Computing Science Conference (ASIAN 2006) Local Organization Committee, Session chair ("Verification and Theories II")

全件表示

日本ソフトウェア科学会第40回大会高橋奨励賞 (2023)

IEEE , ACM , 日本ソフトウェア科学会 , 情報処理学会 , 電子情報通信学会

日高 宗一郎