Soichiro Hidaka
(日高 宗一郎)Profile Information
- Affiliation
- Faculty of Computer and Information Sciences, Department of Computer Science, Hosei University
- Visiting Professor, National Institute of Informatics
- Degree
-
Ph.D (Dr. Eng.)(The University of Tokyo (1999))Master of Engineering(The University of Tokyo (1996))Bachelor of Engineering(The University of Tokyo (1994))
- ORCID ID
- https://orcid.org/0000-0002-4726-8712
- J-GLOBAL ID
- 200901010970726512
- researchmap Member ID
- 1000256238
- External link
Soichiro Hidaka received his bachelor's degree in engineering and Ph. D in Engineering from the University of Tokyo in 1994 and 1999. He had involved in research projects such as parallel programming language implementation, micro-kernel based operating system and document processing system. He is interested in studies on infrastructure software systems and particularly on database programming languages. Recently he has been conducting research on bidirectional graph transformations that is intended to facilitate bidirectional model transformations. He had visited AtlanMod team in Ecole des Mines de Nantes for 1 month starting from Apr. 21 2010, and attended seminar on Bidirectional Transformations "bx" at Dagstuhl in January 2011. He served as a member of NII Shonan Meeting steering committee until March 2016. He was a member of Bidirectional Transformations steering committee until April 2017 and now is among advisory board members. He visited AtlanMod team in Ecole des Mines de Nantes for 6 months from October 2016 to conduct "A Study on interoperable bidirectional graph transformations" funded by JSPS Fund for the Promotion of Joint International Research (Fostering Joint International Research).
Research Interests
8Research Areas
2Research History
11-
Apr, 2010 - May, 2010
Education
4-
Apr, 1992 - Mar, 1994
Papers
146-
86th National Convention of IPSJ, 2024(1) 347-348, Mar, 2024
-
85th National Convention of the IPSJ, 2023(1) 327-328, Mar, 2023 Last author
-
IEICE TRANSACTIONS on Information and Systems, E106-D(5) 986-1000, Feb, 2023 Peer-reviewed
-
IPSJ SIG Technical Reports (SIGSE), 2022-SE-211(9) 1-6, Jul, 2022
-
(1) 273-274, Mar, 2022 Last author
-
Communications in Computer and Information Science, 1457 13-51, 2022 Invited
-
Software Foundations for Data Interoperability. SFDI 2021. Communications in Computer and Information Science, 1457 62-75, Aug, 2021 Peer-reviewedLast author
-
Structured Object-Oriented Formal Language and Method, 105-125, Jun, 2021 Peer-reviewed
-
2020 IEEE 20th International Conference on Software Quality, Reliability and Security Companion (QRS-C), 87-90, Dec, 2020
-
Proceedings of the 2019 IEICE General Conference, 情報・システムソサイエティ D-15-4, Mar, 2019
-
Proceeding of the 2019 IEICE General Conference, 情報・システムソサイエティ D-15-3, Mar, 2019
-
Proceedings of the 80th National Convention of IPSJ, 2018(1) 275-276, Mar, 2018
-
情報処理学会プログラミング・シンポジウム予稿集, 59 85-88, Jan, 2018
-
Proceedings - ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, 23-33, Nov 7, 2017 Peer-reviewed
-
SOFTWARE AND SYSTEMS MODELING, 15(3) 907-928, Jul, 2016 Peer-reviewed
-
Fourth International Workshop on Bidirectional Transformations (BX 2015) (co-located with STAF'15), CEUR Workshop Proceedings, 1396 51-65, Jul, 2015 Peer-reviewed
-
MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT, MODELSWARD 2014, 506 153-167, 2015 Peer-reviewed
-
Mathematical Structures in Computer Science, 29(5) 916-941, Nov 10, 2014 Peer-reviewed
-
PROCEEDINGS OF THE 2014 2ND INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT (MODELSWARD 2014), 466-471, 2014 Peer-reviewed
-
ACM SIGPLAN NOTICES, 48(9) 305-318, Sep, 2013 Peer-reviewed
Misc.
49-
Engineering Adaptive Software Systems, Communications of NII Shonan Meetings, 1-33, Dec, 2018 Peer-reviewed
-
CoRR, abs/1803.06674, 2018
-
CoRR, abs/1809.10357, 2018
-
IPSJ magazine, 58(12) 1114-1122, Dec, 2017 Peer-reviewedInvited
-
GRACE Technical Reports, (GRACE-TR-2016-04) 1-15, Sep, 2016
-
Computer Software, 33(2) 56-77, May, 2016 Peer-reviewed
-
GRACE Technical Reports, (GRACE-TR-2016-02) 1-11, Mar, 2016
-
GRACE TECHNICAL REPORTS, 2015(8) 1-41, Dec, 2015
-
Journal of the Japan Society for Software Science and Technology, 32(2) 63-78, May, 2015 Peer-reviewed
-
GRACE Technical Reports, (GRACE-TR-2015-03), Feb, 2015
-
GRACE Technical Reports, (GRACE-TR-2015-04), Feb, 2015
-
GRACE Technical Reports, (GRACE-TR-2015-02), Feb, 2015
-
Journal of the Japan Society for Software Science and Technology - Computer Software, 31(2) 44-56, May, 2014 Peer-reviewedInvited
-
Journal of the Japan Society for Software Science and Technology - Computer Software, 31(2) 28-32, May, 2014 Peer-reviewedInvited
-
GRACE TECHNICAL REPORTS, 2014(1) 1-16, Apr, 2014
-
Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014), Athens, Greece, March 28, 2014., 61-62, Mar, 2014
-
Computer Software, 30(3) 25-44, 2013 Peer-reviewed
-
GRACE Technical Report, (GRACE-TR-2012-07), Oct, 2012
-
GRACE-TR, (2012-06), Jun, 2012
Presentations
43-
第148回プログラミング研究発表会, Mar 21, 2024, 情報処理学会プログラミング研究会
-
日本ソフトウェア科学会第39回大会, ポスターセッション59-P, Aug 31, 2022
-
第22回プログラミングおよびプログラミング言語ワークショップ (PPL2020), カテゴリ3 (新型コロナウイルス感染症による中止のためポスターデータ提出のみ), Mar, 2020, JSSST
-
123rd workshop of the IPSJ Special Interest Group on Programming, Mar 18, 2019
-
JSSST 33rd Convention, Sep 9, 2016
-
Oct 11, 2014, 4th Asian Workshop of Advanced Software Engineering
-
JSSST 31st Convention, Sep 8, 2014 Invited
-
Bi-directional transformations (BX) – Theory and Applications Across Disciplines, Dec 4, 2013
-
NII Shonan Meeting on Engineering Adaptive Software Systems (EASSy), Sep 10, 2013
-
3rd Asian Workshop on Advanced Software Engineering (AWASE 2013), Jul 20, 2013
-
15th JSSST Workshop on Programming and Programming Languages, category 3, Mar 5, 2013, JSSST
-
Atlanmod-BiG Joint workshop on Bidirectionality in Model Transformations, Sep 15, 2012
-
JSSST 29th Convention, Aug 24, 2012 Invited
-
29th JSSST Convention (poster), Aug 23, 2012
-
NII-Lero-Open University Workshop - Adaptation, Privacy and Security, Jul 3, 2012
-
Seminar in Informatics dep. Ecole des Mines de Nantes, Mar, 2012
-
2nd NII-PKU International Joint Workshop on Advanced Software Engineering, Oct, 2011
Teaching Experience
14-
Apr, 2021 - Jul, 2021
Professional Memberships
5Works
10-
Aug, 2013 - Aug, 2013 Software
-
Aug, 2012 Software
-
Mar, 2011 Software
-
Jun, 2010 Software
-
Nov, 2009 Software
-
Jul, 2009 Software
-
Jul, 2009 Software
-
Sep, 2008 Software
-
Sep, 2008 Software
-
2002 Software
Research Projects
19-
科学研究費助成事業, 基盤研究(C), 日本学術振興会, Apr, 2024 - Mar, 2027
-
科学研究費助成事業, 基盤研究(B), 日本学術振興会, Apr, 2021 - Mar, 2024
-
Grant-in-Aid for Scientific Research (B), Japan Society for the Promotion of Science, Apr, 2019 - Mar, 2022
-
Grant-in-Aid for Scientific Research (S), Japan Society for the Promotion of Science, May, 2017 - Mar, 2022
-
Grant-in-Aid for Scientific Research (B), Japan Society for the Promotion of Science, Apr, 2017 - Mar, 2021
-
Fund for the Promotion of Joint International Research (Fostering Joint International Research), Fund for the Promotion of Joint International Research (Fostering Joint International Research), Japan Society for the Promotion of Science, Jan, 2016 - Mar, 2018
-
Grants-in-Aid for Scientific Research (C), JSPS, Apr, 2014 - Mar, 2018
-
Grant-in-Aid for Scientific Research (A), JSPS, Apr, 2013 - Mar, 2017
-
Grants-in-Aid for Young Scientists (B), Grant-in-Aid for Young Scientists (B), JSPS, 2011 - 2013
-
Grants-in-Aid for Scientific Research(基盤研究(B)), Grant-in-Aid for Scientific Research (B), Ministry of Education, Culture, Sports, Science and Technology, 2010 - 2013
-
Grants-in-Aid for Scientific Research(挑戦的萌芽研究), Grant-in-Aid for Challenging Exploratory Research, Ministry of Education, Culture, Sports, Science and Technology, 2010 - 2011
-
Grants-in-Aid for Scientific Research(若手研究(B)), 若手研究(B), Ministry of Education, Culture, Sports, Science and Technology, 2008 - 2010
-
Grants-in-Aid for Scientific Research(基盤研究(B)), Grant-in-Aid for Scientific Research (B), Ministry of Education, Culture, Sports, Science and Technology, 2007 - 2009
-
Grants-in-Aid for Scientific Research(若手研究(B)), 若手研究(B), Ministry of Education, Culture, Sports, Science and Technology, 2005 - 2007
-
Grants-in-Aid for Scientific Research(基盤研究(B)), Grant-in-Aid for Scientific Research (B), Ministry of Education, Culture, Sports, Science and Technology, 2004 - 2007
-
Strategic Information and Communications R&D Promotion Programme (SCOPE), Ministry of Internal Affairs and Communications, Dec, 2003 - Mar, 2006
-
Grants-in-Aid for Scientific Research(若手研究(B)), 若手研究(B), Ministry of Education, Culture, Sports, Science and Technology, 2002 - 2004
-
Grants-in-Aid for Scientific Research(基盤研究(B)), Grant-in-Aid for Scientific Research (B), Ministry of Education, Culture, Sports, Science and Technology, 2001 - 2003
-
Grants-in-Aid for Scientific Research(Encouragement of Young Scientist(A)), Encouragement of Young Scientists (A), Ministry of Education, Culture, Sports, Science and Technology, 2000 - 2001
Committee Memberships
60-
Apr, 2020 - Mar, 2024
-
Nov, 2021 - Oct, 2022
-
Jul, 2021
-
Dec, 2017 - Oct, 2018
-
Nov, 2017 - Jun, 2018
-
Nov, 2017 - Jun, 2018
Industrial Property Rights
2Other
25-
Mar, 2014 - Mar, 2014The 19th ACM SIGPLAN International Conference on Functional Programming (ICFP 2014)
-
2014 - 2014Foundations of Software Science and Computation Structures, 18th International Conference
-
Sep, 2012 - Sep, 2012Organizer, Atlanmod-BiG Joint workshop on Bidirectionality in Model Transformations, Paris, France
-
Jun, 2011 - Jun, 2011Additional reviewer, Fifth IEEE International Conference on Semantic Computing (ICSC 2011)
Social Activities
1