日高 宗一郎
Soichiro Hidaka
更新日: 02/01
基本情報
- 学位
-
博士(工学)(東京大学(1999))修士(工学)(東京大学(1996))学士(工学)(東京大学(1994))
- 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チームを訪問。
経歴
11-
2016年4月 - 現在
-
2016年4月 - 現在
-
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月
論文
145-
情報処理学会第85回全国大会 (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月 査読有り
-
Fourth International Workshop on Bidirectional Transformations (BX 2015) (co-located with STAF'15), CEUR Workshop Proceedings 1396 51-65 2015年7月 査読有り
-
MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT, MODELSWARD 2014 506 153-167 2015年 査読有り
-
Mathematical Structures in Computer Science 29(5) 916-941 2014年11月10日 査読有り
-
PROCEEDINGS OF THE 2014 2ND INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT (MODELSWARD 2014) 466-471 2014年 査読有り
-
ACM SIGPLAN NOTICES 48(9) 305-318 2013年9月 査読有り
-
日本ソフトウェア科学会第30回大会 講演予稿集 2013年9月
MISC
49-
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月
-
GRACE-TR (2012-06) 2012年6月
講演・口頭発表等
42-
日本ソフトウェア科学会 第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日
-
第29 回日本ソフトウェ ア科学会大会 2012年8月24日 招待有り
-
29th JSSST Convention (poster) 2012年8月23日
-
NII-Lero-Open University Workshop - Adaptation, Privacy and Security 2012年7月3日
-
Seminar in Informatics dep. Ecole des Mines de Nantes 2012年3月
-
2nd NII-PKU International Joint Workshop on Advanced Software Engineering 2011年10月
-
5th International Workshop on Bidirectional Transformation in Architecture-Based Component Composition (BT in ABC 5) 2011年5月
担当経験のある科目(授業)
12-
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年 コンピュータソフト
共同研究・競争的資金等の研究課題
18-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2021年4月 - 2024年3月
-
日本学術振興会 科学研究費補助金 基盤研究(B) 2019年4月 - 2022年3月
-
日本学術振興会 基盤研究(S) 2017年5月 - 2022年3月
-
日本学術振興会 基盤研究(B) 2017年4月 - 2021年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年
-
文部科学省 科学研究費補助金(奨励研究(A)) 奨励研究(A) 2000年 - 2001年
委員歴
59-
2020年4月 - 現在
-
2016年4月 - 現在
-
2021年11月 - 2022年10月
-
2020年11月 - 2021年10月
-
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