日高 宗一郎
Soichiro Hidaka
更新日: 05/02
基本情報
- 学位
-
博士(工学)(東京大学(1999))修士(工学)(東京大学(1996))学士(工学)(東京大学(1994))
- ORCID iD
https://orcid.org/0000-0002-4726-8712- J-GLOBAL ID
- 200901010970726512
- researchmap会員ID
- 1000256238
- 外部リンク
1994年東大・工・電気卒。1999年同大大学院工学系研究科電子情報工学専攻博士課程修了。博士(工学)。言語処理系、データベースプログラミング言語、オペレーティングシステム、文書処理システム等の研究に従事。最近では、2010年4月21日より1ヶ月間、EMNantes/INRIA のAtlanModチームを訪問し、 2011年1月に Dagstuhlの双方向変換に関するセミナーに参加する等、モデル双方向変換を目指したグラフ双方向変換を基軸とした研究も推進している。湘南会議Steering Committee 委員(2016年3月迄)、Bidirectional Transformations Steering Committee 委員(2017年4月迄)。2016年10月より2017年3月まで科研(国際共同研究強化)によりEMNantesのAtlanModチームを訪問。
研究キーワード
8経歴
14-
2025年4月 - 現在
-
2016年4月 - 現在
-
2016年4月 - 現在
-
2020年4月 - 2022年3月
-
2017年4月 - 2019年3月
-
2006年4月 - 2016年3月
-
2004年4月 - 2016年3月
-
2003年4月 - 2008年3月
-
2003年4月 - 2006年3月
-
2002年4月 - 2004年3月
-
2000年4月 - 2003年3月
-
1999年4月 - 2000年3月
学歴
4-
1996年4月 - 1999年3月
-
1994年4月 - 1996年3月
-
1992年4月 - 1994年3月
-
1990年4月 - 1992年3月
論文
151-
情報処理学会 第88回全国大会講演論文集 2026年3月 最終著者
-
The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 26) (only included in the informal proceedings) 2026年1月 査読有り最終著者
-
電子情報通信学会総合大会 情報・システム講演論文集 2 JSPO-175-JSPO-175 2025年3月 最終著者
-
情報処理学会第87回全国大会講演論文集 2025(1) 259-260 2025年3月
-
27th International Conference of Model Driven Engineering Languages and Systems 1-12 2024年9月 査読有り
-
情報処理学会第86回全国大会講演論文集 2024(1) 347-348 2024年3月
-
情報処理学会第85回全国大会 2023(1) 327-328 2023年3月 最終著者
-
IEICE TRANSACTIONS on Information and Systems E106-D(5) 986-1000 2023年2月 査読有り
-
IPSJ SIG Technical Reports (SIGSE) 2022-SE-211(9) 1-6 2022年7月
-
情報処理学会第84回全国大会講演論文集 (1) 273-274 2022年3月 最終著者
-
Communications in Computer and Information Science 1457 13-51 2022年 招待有り
-
Software Foundations for Data Interoperability. SFDI 2021. Communications in Computer and Information Science 1457 62-75 2021年8月 査読有り最終著者
-
Structured Object-Oriented Formal Language and Method 105-125 2021年6月 査読有り
-
2020 IEEE 20th International Conference on Software Quality, Reliability and Security Companion (QRS-C) 87-90 2020年12月
-
2019年電子情報通信学会総合大会講演論文集 情報・システムソサイエティ D-15-4 2019年3月
-
2019年電子情報通信学会総合大会講演論文集 情報・システムソサイエティ D-15-3 2019年3月
-
第80回全国大会講演論文集 2018(1) 275-276 2018年3月
-
情報処理学会プログラミング・シンポジウム予稿集 59 85-88 2018年1月
-
Proceedings - ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, MODELS 2017 23-33 2017年11月7日 査読有り
-
SOFTWARE AND SYSTEMS MODELING 15(3) 907-928 2016年7月 査読有り
MISC
50-
Bidirectional Collaborative Data Management 25-36 2024年12月12日
-
Engineering Adaptive Software Systems, Communications of NII Shonan Meetings 1-33 2018年12月 査読有り
-
CoRR abs/1803.06674 2018年
-
CoRR abs/1809.10357 2018年
-
情報処理学会会誌 58(12) 1114-1122 2017年12月 査読有り招待有り
-
GRACE Technical Reports (GRACE-TR-2016-04) 1-15 2016年9月
-
コンピュータソフトウェア 33(2) 56-77 2016年5月 査読有り
-
GRACE Technical Reports (GRACE-TR-2016-02) 1-11 2016年3月
-
GRACE TECHNICAL REPORTS 2015(8) 1-41 2015年12月
-
コンピュータソフトウェア 32(2) 63-78 2015年5月 査読有り
-
GRACE Technical Reports (GRACE-TR-2015-03) 2015年2月
-
GRACE Technical Reports (GRACE-TR-2015-04) 2015年2月
-
GRACE Technical Reports (GRACE-TR-2015-02) 2015年2月
-
日本ソフトウェア科学会論文誌コンピュータソフトウェア 31(2) 44-56 2014年5月 査読有り招待有り
-
日本ソフトウェア科学会論文誌コンピュータソフトウェア 31(2) 28-32 2014年5月 査読有り招待有り
-
GRACE TECHNICAL REPORTS 2014(1) 1-16 2014年4月
-
Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014), Athens, Greece, March 28, 2014. 61-62 2014年3月
-
コンピュータソフトウェア 30(3) 25-44 2013年 査読有り
-
組込みシステムシンポジウム2012論文集 2012 218-219 2012年10月10日
-
GRACE Technical Report (GRACE-TR-2012-07) 2012年10月
講演・口頭発表等
48-
第28回プログラミングおよびプログラミング言語ワークショップ (PPL 2026) 2026年3月10日 日本ソフトウェア科学会 プログラミング論研究会
-
第157回プログラミング研究発表会 2026年1月20日 情報処理学会プログラミング研究会
-
日本ソフトウェア科学会第42回大会 2025年9月5日
-
情報処理学会第155回プログラミング研究発表会 2025年8月4日 情報処理学会プログラミング研究会
-
第27回プログラミングおよびプログラミング言語ワークショップ (PPL 2025) 2025年3月6日 日本ソフトウェア科学会 プログラミング論研究会
-
第148回プログラミング研究発表会 2024年3月21日 情報処理学会プログラミング研究会
-
日本ソフトウェア科学会 第40回大会 2023年9月12日
-
日本ソフトウェア科学会第39回大会, ポスターセッション59-P 2022年8月31日
-
情報処理学会第133回プログラミング研究発表会 2021年3月17日 情報処理学会プログラミング研究会
-
第22回プログラミングおよびプログラミング言語ワークショップ (PPL2020), カテゴリ3 (新型コロナウイルス感染症による中止のためポスターデータ提出のみ) 2020年3月 JSSST
-
情報処理学会第123回プログラミング研究会 2019年3月18日
-
日本ソフトウェア科学会第 33 回大会 2016年9月9日
-
2014年10月11日 4th Asian Workshop of Advanced Software Engineering
-
日本ソフトウェア科学会 第31回大会 2014年9月9日
-
第31 回日本ソフトウェア科学会大会 2014年9月8日 招待有り
-
Bi-directional transformations (BX) – Theory and Applications Across Disciplines 2013年12月4日
-
NII Shonan Meeting on Engineering Adaptive Software Systems (EASSy) 2013年9月10日
-
3rd Asian Workshop on Advanced Software Engineering (AWASE 2013) 2013年7月20日
-
第15回プログラミングおよびプログラミング言語ワークショップ(PPL 2013), カテゴリ3 2013年3月5日 JSSST
-
Atlanmod-BiG Joint workshop on Bidirectionality in Model Transformations 2012年9月15日
担当経験のある科目(授業)
15-
2024年9月 - 現在
-
2023年9月 - 2024年2月
-
2021年4月 - 2021年7月
所属学協会
5Works(作品等)
10-
2013年8月 - 2013年8月 コンピュータソフト
-
2012年8月 コンピュータソフト
-
2011年3月 コンピュータソフト
-
2010年6月 コンピュータソフト
-
2009年11月 コンピュータソフト
-
2009年7月 コンピュータソフト
-
2009年7月 コンピュータソフト
-
2008年9月 コンピュータソフト
-
2008年9月 コンピュータソフト
-
2002年 コンピュータソフト
共同研究・競争的資金等の研究課題
21-
日本学術振興会 科学研究費助成事業 挑戦的研究(萌芽) 2025年6月 - 2028年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2024年4月 - 2027年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2021年4月 - 2024年3月
-
日本学術振興会 科学研究費補助金 基盤研究(B) 2019年4月 - 2022年3月
-
日本学術振興会 基盤研究(S) 2017年5月 - 2022年3月
-
日本学術振興会 基盤研究(B) 2017年4月 - 2021年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2014年4月 - 2018年3月
-
日本学術振興会 国際共同研究加速基金(国際共同研究強化) 国際共同研究加速基金(国際共同研究強化) 2016年1月 - 2018年3月
-
日本学術振興会 科学研費助成事業 基盤研究(C) 2014年4月 - 2018年3月
-
日本学術振興会 科学研究費補助金(基盤研究(A)) 2013年4月 - 2017年3月
-
日本学術振興会 学術研究助成基金助成金 若手研究B 若手研究(B) 2011年 - 2013年
-
文部科学省 科学研究費補助金(基盤研究(B)) 基盤研究(B) 2010年 - 2013年
-
文部科学省 科学研究費補助金(挑戦的萌芽研究) 挑戦的萌芽研究 2010年 - 2011年
-
文部科学省 科学研究費補助金(若手研究(B)) 若手研究(B) 2008年 - 2010年
-
文部科学省 科学研究費補助金(基盤研究(B)) 基盤研究(B) 2007年 - 2009年
-
文部科学省 科学研究費補助金(若手研究(B)) 若手研究(B) 2005年 - 2007年
-
文部科学省 科学研究費補助金(基盤研究(B)) 基盤研究(B) 2004年 - 2007年
-
総務省 戦略的情報通信研究開発推進制度 2003年12月 - 2006年3月
-
文部科学省 科学研究費補助金(若手研究(B)) 若手研究(B) 2002年 - 2004年
-
文部科学省 科学研究費補助金(基盤研究(B)) 基盤研究(B) 2001年 - 2003年
委員歴
61-
2024年3月 - 2025年3月
-
2023年7月 - 2024年3月
-
2020年4月 - 2024年3月
-
2020年4月 - 2024年3月
-
2021年11月 - 2022年10月
-
2020年11月 - 2021年10月
-
2016年4月 - 2020年3月
-
2015年4月 - 2019年3月
-
2017年12月 - 2018年10月
その他
25-
2014年3月 - 2014年3月The 19th ACM SIGPLAN International Conference on Functional Programming (ICFP 2014)
-
2014年 - 2014年Foundations of Software Science and Computation Structures, 18th International Conference
-
2012年9月 - 2012年9月Organizer, Atlanmod-BiG Joint workshop on Bidirectionality in Model Transformations, Paris, France
-
2011年6月 - 2011年6月Additional reviewer, Fifth IEEE International Conference on Semantic Computing (ICSC 2011)
社会貢献活動
1