Rchr
J-GLOBAL ID:200901010970726512
Update date: Mar. 22, 2024
Hidaka Soichiro
Hidaka Soichiro
Affiliation and department:
Other affiliations (1):
-
National Institute of Informatics
Visiting Professor
Homepage URL (2):
https://cis.hosei.ac.jp/depts/cs/hidaka/
,
https://cis.hosei.ac.jp/en/depts/cs/#hidaka
Research field (2):
Software
, Communication and network engineering
Research keywords (8):
programming language processor
, Bidirectional Transformation
, Program Transformation
, Graph Transformation
, Database Programming Languages
, Optimization
, XQuery
, Cost Model
Research theme for competitive and other funds (18):
- 2021 - 2024 更新を対象としたデータ相互運用問題のソフトウェア基盤技術
- 2019 - 2022 A Study on Incremental Bidirectionalization of Data Transformations
- 2017 - 2022 Software Foundation for Interoperability of Autonomic Distributed Data based on Bidirectional Transformation
- 2017 - 2021 リアクティブプログラミングのための高信頼化技術
- 2016 - 2018 A Study on interoperable bidirectional graph transformations (Fostering Joint International Research)
- 2014 - 2018 A Study on interoperable bidirectional graph transformations
- 2013 - 2017 Integrated and Fundamental for Large-Scale and Practical Bidirectional Transformation
- 2011 - 2013 A study on functional bidirectional graph transformation languages
- 2010 - 2013 A study on linguistic foundations of bidirectional model transformation
- 2010 - 2011 Towards Model Transformation Validation from Model Validation
- 2008 - 2010 A Study on application of fusion transformation on XML database programming languages
- 2007 - 2009 Federated software-bus (distributed OS) for ubiquitous network nodes
- 2005 - 2007 A Study on Parallelism of Functional Query Languages in the Presence of Side-Effects
- 2004 - 2007 New flexible software platform to overcome ubiquitous NW complexity
- 2003 - 2006 A study on Very Fast Metadata Retrieval based on XQuery Optimization", sub theme of "A Study on Advanced Video/Image Retrieval Method for Efficient Content Creation"
- 2002 - 2004 A study on accelerating parallel asynchronous I/O for document archiving/retrieval and other non-numeric computing applications
- 2001 - 2003 Research on an extensible real-time operating system to support integrated distributed services
- 2000 - 2001 A study on supporting of processor assignment for large scale parallel discrete event simulation
Show all
Papers (145):
-
Yuki NAKANO, Soichiro HIDAKA. A study on Controlling Operation Applications in Conflict Resolution of Bidirectional Transformation Network based on Operational Transformation. 85th National Convention of the IPSJ. 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
-
Yuki Nakano, Soichiro Hidaka. Conflict Resolution with Operational Transformation in Bidirectional Transformation Network. 2022. 1. 273-274
-
Yasuhito Asano, Yang Cao, Soichiro Hidaka, Zhenjiang Hu, Yasunori Ishihara, Hiroyuki Kato, Keisuke Nakano, Makoto Onizuka, Yuya Sasaki, Toshiyuki Shimizu, et al. Bidirectional Collaborative Frameworks for Decentralized Data Management. Communications in Computer and Information Science. 2022. 1457. 13-51
more...
MISC (49):
-
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
-
Soichiro Hidaka. Bidirectional Transformation: From the Classic View Update Problem to the Linguistic Approach and Applications to Software Developments. IPSJ magazine. 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
more...
Patents (2):
-
Variable rate TDM switching system
-
TS接続を用いた可変速度TDM交換方式
Lectures and oral presentations (42):
-
An Adaptation Framework for View-based Data Sharing in Bipartite Network of Bidirectional Transformations (unrefereed)
(2023)
-
双方向変換と単方向変換の連鎖に基づく漸進的双方向化
(日本ソフトウェア科学会第39回大会, ポスターセッション59-P 2022)
-
Conflict Resolution for Data Updates by Multiple Bidirectional Transformations
(2021)
-
トレースに基づく双方向変換の多方向化に向けたco-targetial compositionのための漸進化
(第22回プログラミングおよびプログラミング言語ワークショップ (PPL2020), カテゴリ3 (新型コロナウイルス感染症による中止のためポスターデータ提出のみ) 2020)
-
Selective Update Propagation Method between Code Clones through Bidirectional Transformation
(123rd workshop of the IPSJ Special Interest Group on Programming 2019)
more...
Works (10):
-
LambdaFG version 0.1a
Soichiro Hidaka 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 -
more...
Education (4):
- 1996 - 1999 The University of Tokyo Graduate School of Engineering Department of Information and Communication Engineering, Doctor Course
- 1994 - 1996 The University of Tokyo Graduate School of Engineering Department of Electronics Engineering, Master Course
- 1992 - 1994 The University of Tokyo Faculty of Engineering Department of Electrical Engineering
- 1990 - 1992 The University of Tokyo College of Arts and Sciences Junior Division of Natural Sciences I
Professional career (3):
- 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))
Work history (11):
- 2016/04 - 現在 National Institute of Informatics Collaborative Research Unit Visiting Professor
- 2016/04 - 現在 Hosei University Department of Computer Science, Faculty of Computer and Information Sciences Professor (Zaigai Kensyuin : Oct. 2016 - Mar. 2017)
- 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 National Institute of Informatics Information Systems Architecture Research Division Assistant Professor
- 2004/04 - 2016/03 The Graduate University for Advanced Studies Department of Informatics, School of Multidisciplinary Sciences Assistant Professor (Concurrent)
- 2010/04 - 2010/05 Ecole des Mines de Nantes, France Visiting Scientist (1 month) at AtlanMod team
- 2003/04 - 2008/03 Hosei University Ichigaya Kyoyo Kyoiku Center (reorganized as a part of Ichigaya Liberal Arts Center in 2010) part-time instructor
- 2003/04 - 2006/03 National Institute of Informatics Infrastructure Systems Research Division Assistant Professor (called Research Associate until March 2004)
- 2002/04 - 2004/03 The Graduate University for Advanced Studies Department of Informatics, School of Mathematical and Physical Science Research Associate(Concurrent)
- 2000/04 - 2003/03 National Institute of Informatics Research Center for Testbeds and Prototyping Research Associate
- 1999/04 - 2000/03 National Center for Science Information Systems Systems Research Division, R&D Department Research Associate
Show all
Committee career (59):
- 2020/04 - 現在 情報処理学会プログラミング研究会 幹事
- 2016/04 - 現在 Information Processing Society of Japan Steering Committee member, Special Interest Group on Programming
- 2023/07 - 第26回プログラミングおよびプログラミング言語ワークショップ プログラム委員
- 2021/11 - 2022/10 第21回情報科学技術フォーラム(FIT2022) 研究専門委員会担当委員(情報処理学会)
- 2020/11 - 2021/10 20th Forum on Information Technology (FIT2021) PC member as a representative of field A and IPSJ 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
- 2019/07 - Special Interest Group on Programming and Programming Languages, Japan Society for Software Science and Technology PPL 2020 Program Commitee
- 2015/04 - 2019/03 Information Processing Society of Japan Editorial Committee member of the Transactions on Programming
- 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/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/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
- 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/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
- 2016/11 - 2017/04 Sixth International Workshop on Bidirectional Transformations (Bx 2017) Programme Committee member
- 2013/07 - 2017/04 Bidirectional Transformations Steering committee
- 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
- 2013/07 - 2014/03 Third International Workshop on Bidirectional Transformations PC co-chair
- 2010 - 2013/05 NII Shonan Meeting Organizing Committee
- 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/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
- 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
- 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
- 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/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
- - 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
- - 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")
- - 2006 11th Annual Asian Computing Science Conference (ASIAN 2006) Local Organization Committee, Session chair ("Verification and Theories II")
Show all
Association Membership(s) (5):
IEEE
, ACM
, Japan Society for Software Science and Technology
, Information Processing Society of Japan
, Institute of Electronics, Information and Communication Engineers
Return to Previous Page