Soichiro Hidaka

J-GLOBAL         Last updated: May 4, 2017 at 12:26
 
Avatar
Name
Soichiro Hidaka
URL
http://cis.k.hosei.ac.jp/en/info/faculty/computer/hidaka.html
Affiliation
Hosei University
Section
Faculty of Computer and Information Sciences, Department of Computer Science
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))
Other affiliation
National Institute of Informatics

Profile

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 Areas

 
 

Academic & Professional Experience

 
Oct 2016
 - 
Mar 2017
Visiting Scientist, AtlanMod team, DAPI (Department of Automatic Control and Production Systems and IT), École des Mines de Nantes
 
Apr 2016
 - 
Today
Professor (Zaigai Kensyuin : Oct. 2016 - Mar. 2017), Department of Computer Science, Faculty of Computer and Information Sciences, Hosei University
 
Apr 2016
 - 
Today
Visiting Professor, Collaborative Research Unit, National Institute of Informatics
 
Apr 2010
 - 
May 2010
Visiting Scientist (1 month) at AtlanMod team, Ecole des Mines de Nantes, France
 
Apr 2006
 - 
Mar 2016
Assistant Professor, Information Systems Architecture Research Division, National Institute of Informatics
 
Apr 2004
 - 
Mar 2016
Assistant Professor(Concurrent), School of Multidisciplinary Sciences, The Graduate University for Advanced Studies
 
Apr 2003
 - 
Mar 2008
part-time instructor, Ichigaya Kyoyo Kyoiku Center (reorganized as a part of Ichigaya Liberal Arts Center in 2010), Hosei University
 
Apr 2003
 - 
Mar 2006
Assistant Professor, Infrastructure Systems Research Division, National Institute of Informatics
 
Apr 2002
 - 
Mar 2004
Research Associate(Concurrent), School of Mathematical and Physical Science, The Graduate University for Advanced Studies
 
Apr 2000
 - 
Mar 2003
Research Associate, Research Center for Testbeds and Prototyping, National Institute of Informatics
 
Apr 1999
 - 
Mar 2000
Research Associate, Systems Research Division, R&D Department, National Center for Science Information Systems
 

Education

 
Apr 1990
 - 
Mar 1992
Junior Division of Natural Sciences I, College of Arts and Sciences, The University of Tokyo
 
Apr 1992
 - 
Mar 1994
Department of Electrical Engineering, Faculty of Engineering, The University of Tokyo
 
Apr 1994
 - 
Mar 1996
Department of Electronics Engineering, Master Course, Graduate School of Engineering, The University of Tokyo
 
Apr 1996
 - 
Mar 1999
Department of Information and Communication Engineering, Doctor Course, Graduate School of Engineering, The University of Tokyo
 

Published Papers

 
Soichiro Hidaka, Martin Billes, Quang Minh Tran and Kazutaka Matsuda
Fourth International Workshop on Bidirectional Transformations (BX 2015) (co-located with STAF'15), CEUR Workshop Proceedings   1396 51-65   Jul 2015   [Refereed]
Soichiro Hidaka, Massimo Tisi, Jordi Cabot, Zhenjiang Hu
Software and Systems Modeling   Online First    Jan 2015   [Refereed]
Bernhard Hoisl, Zhenjiang Hu and Soichiro Hidaka
MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development   466-471   Feb 2014   [Refereed]
Soichiro Hidaka, Kazuyuki Asada, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
18th ACM SIGPLAN International Conference on Functional Programming (ICFP 2013)   305-318   Sep 2013   [Refereed]
Kazuyuki Asada, Soichiro Hidaka, Hiroyuki Kato, Zhenjiang Hu, Keisuke Nakano
15th International Symposium on Principles and Practice of Declarative Programming (PPDP 2013)   73-84   Sep 2013   [Refereed]
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
Progress in Informatics, Special Issue: Advanced Programming Techniques for Construction of Robust, General and Evolutionary Programs   (10) 131-148   Mar 2013   [Refereed]
John Wilson-Kanamori and Soichiro Hidaka
Second International Workshop on Bidirectional Transformations, Post-proceedings in Electronic Communications of the EASST   57    Mar 2013   [Refereed]
Makoto Onizuka, Hiroyuki Kato, Soichiro Hidaka, Keisuke Nakano, Zhenjiang Hu
Proceedings of the VLDB Endowment (PVLDB)   7(4) 241-252   Dec 2013   [Refereed]
iGRT: A Generic Interface for GRoundTram
Yiqing Zhu, Tao Zan, Soichiro Hidaka, Zhenjiang Hu
Proceedings of the JSSST 29th Convention      Aug 2012
Yijun Yu, Yu Lin, Zhenjiang Hu, Soichiro Hidaka, Hiroyuki Kato, Lionel Montrieux,
34th International Conference on Software Engineering (ICSE 2012)   540-550   Jun 2012   [Refereed]
Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano and Yasunori Ishihara
Mathematical Structures in Computer Science   25(4) 916-941   May 2015   [Refereed]
Keisuke Nakano, Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato
JSSST Computer Software   29(2) 174-192   Apr 2012   [Refereed]
Soichiro Hidaka, Kazuyuki Asada, Hiroyuki Kato, Keisuke Nakano, Zhenjiang Hu
Technical Report, GRACE Center, National Institute of Informatics   (GRACE-TR-2011-07)    Dec 2011
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato and Keisuke Nakano
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011)   480-483   Nov 2011   [Refereed]
Incremental Graph View Maintenance
Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu
Proc. of 28th JSSST Convention      Sep 2011
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano and Isao Sasano
Logic-Based Program Synthesis and Transformation, 21st International Symposium, LOPSTR 2011, Odense, Denmark, Revised Selected Papers, Lecture Notes in Computer Science   7225 123-138   Jul 2012   [Refereed]
Preliminary version appeared in the Pre-Proceedings, pp.168-182
http://www.biglab.org/pdf/lopstr11.pdf
Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2011)   17-28   Jul 2011   [Refereed]
Isao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
Proc. of the 4th International Conference on Model Transformation (ICMT 2011)   LNCS 6707 138-151   Jun 2011   [Refereed]
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano
15th ACM SIGPLAN International Conference on Functional Programming (ICFP 2010)   205-216   Sep 2010   [Refereed]
Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano and Yasunori Ishihara
Proceedings of the 8th ASIAN Symposium on Programming Languages and Systems (APLAS 2010)   255-270   Nov 2010   [Refereed]
An Order-sensitive Fusion for XQuery
Hiroyuki KATO, SOICHIRO HIDAKA, ZHENJIANG HU, KEISUKE NAKANO and YASUNORI ISHIHARA
Proceedings of WebDB Forum 2009   2009(3)    Nov 2009   [Refereed]
Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
31st International Conference on Software Engineering   Companion Volume 235-238   May 2009   [Refereed]
Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
Proceedings of the 2009 ACM symposium on Applied Computing   468-475   Mar 2009   [Refereed]
Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Yasunori Ishihara, Keisuke Nakano
ACM SIGPLAN Workshop on Programming Language Techniques for XML (PLAN-X 2009), Savannah, Georgia, USA      Jan 2009   [Refereed]
Towards Compositional Approach to Model Transformations (Takahashi Award to presentation by Hu)
Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
日本ソフトウェア科学会第25回大会講演論文集      Sep 2008
Soichiro Hidaka, Hiroyuki Kato, Masatoshi Yoshikawa
Proc. of the International Symposium on Information Technology Convergence   32-36   Nov 2007   [Refereed]
Quick and Lightweight Detection of Anomalous Drivers in Multi-server Operating Systems to Improve Availability (Fast Abstracts)
Ryota Ozaki, Soichiro Hidaka, Kazuya Kodama, Katsumi Maruyama
The 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks 2007, Supplemental Volume   378-379   Jun 2007   [Refereed]
Thepparit BANDITWATTANAWONG, Soichiro HIDAKA,Hironori WASHIZAKI, and Katsumi MARUYAMA
IEICE Transactions on Communications (special issue on Networks Software)   E90-B(4) 728-741   Apr 2007   [Refereed]
Soichiro Hidaka, Hiroyuki Kato and Masatoshi Yoshikawa
Proc. the 22nd Annual ACM Symposium on Applied Computing (SAC 2007)   1332-1333   Mar 2007   [Refereed]
Hiroyuki Kato, Soichiro Hidaka and Masatoshi Yoshikawa
Progress in Informatics   (4) 15-28   Mar 2007   [Refereed]
Ryota OZAKI, Soichiro HIDAKA, Kazuya KODAMA Katsumi MARUYAMA
IEICE TRANSACTIONS on Information and Systems   E90-D(1) 58-66   Jan 2007   [Refereed]
Thepparit Banditwattanawong, Soichiro Hidaka, Hironori Washizaki, Katsumi Maruyama
IEEJ Transactions on Electrical and Electronic Engineering   1(4) 397-407   Nov 2006   [Refereed]
Thepparit BANDITWATTANAWONG, Soichiro HIDAKA, Hironori WASHIZAKI, Katsumi MARUYAMA
IEICE TRANSACTIONS on Information and Systems   E89-D(11) 2712-2723   Nov 2006   [Refereed]
Fine-grained Replication for Private-workspace and Memory-constrained Computings
T. Banditwattanawong, S.Hidaka, H.Washizaki, and K.Maruyama
Proc. of IFIP Int. Conf. on Network and Parallel Computing (NPC 2006), Tokyo, Japan   84-92   Oct 2006   [Refereed]
Thepparit Banditwattanawong , Hironori Washizaki, Soichiro Hidaka and Katsumi Maruyama
Proc. of IEEE Int. Symposium on Communications and Information Technologies(ISCIT 2006), Bangkok, Thailand(Oct., 2006)   428-433   Oct 2006   [Refereed]
Koike Mayumi, Ito Manabu, Ikeda Kayo, Hidaka Soichiro, Aoki Terumasa
IPSJ SIG Notes   2006(21) 13-18   Mar 2006
XQuery Equalities and Cost Model
Soichiro Hidaka, Hiroyuki Kato, Masatoshi Yoshikawa
Proc. The 4th Workshop on Programmable Structured Documents, Tokyo, Japan(Dec., 2005)   58-77   Dec 2005
FLWOR Arranging: an XQuery Partial Evaluation
Hiroyuki Kato, Soichiro Hidaka, Masatoshi Yoshikawa
Proc. The 4th Workshop on Programmable Structured Documents, Tokyo, Japan(Dec., 2005)   78-88   Dec 2005
Soichiro Hidaka, Hiroyuki Kato, Masatoshi Yoshikawa
Technical report   (NII-2005-016E)    Nov 2005
Manabu Ito, Mayumi Koike, Kayo Ikeda, Soichiro Hidaka, Terumasa Aoki
Proceedings of the 6th Asia-Pacific Symposium on Information and Telecommunication Technologies (APSITT 2005)   117-121   Nov 2005   [Refereed]
ITO Manabu, KOIKE Mayumi, IKEDA Kayo, HIDAKA Soichiro, AOKI Terumasa
Proceedings of the Society Conference of IEICE   2005 267   Sep 2005
Thepparit Banditwattanawong, Katsumi Maruyama, Soichiro Hidaka, Hironori Washizaki
Proc. of the 3rd IEEE International Conference on Industrial Informatics (INDIN'05)   759-764   Aug 2005   [Refereed]
Ryota Ozaki, Soichiro Hidaka, Kazuya Kodama, Katsumi Maruyama
Proc. 7th International Workshop on Mobillity in Databases and Distributed Systems(MDDS2005)   1063-1067   Aug 2005   [Refereed]
Contemporaneity-Conscious Clustering Algorithm for Distributed Object Caching
Thepparit Banditwattanawong, Katsumi Maruyama, Soichiro Hidaka, and Hironori Washizaki
Proc. of The 2005 International Conference on Parallel and Distributed Processing Techniques and Applications   277-283   Jun 2005   [Refereed]
Continuous Access to Remote Devices in the Presence of Device Migration (Fast Abstract)
Ryota Ozaki, Soichiro Hidaka, Kazuya Kodama and Katsumi Maruyama
Supplemental Volume of the The IEEE/IFIP International Conference on Dependable Systems and Networks 2005 (DSN-2005)   86-87   Jun 2005   [Refereed]
ITO Manabu, KOIKE Mayumi, IKEDA Kayo, HIDAKA Soichiro, AOKI Terumasa
IPSJ SIG Notes   2005(23) 37-41   Mar 2005
Koike Mayumi, Aoki Terumasa, Ikeda Kayo, Ito Manabu, Hidaka Soichiro
IPSJ SIG Notes   2005(23) 43-48   Mar 2005
Soichiro HIDAKA, Hiroyuki KATO and Masatoshi YOSHIKAWA
   Oct 2004
ITO Manabu, KOIKE Mayumi, IKEDA Kayo, HIDAKA Soichiro, AOKI Terumasa
IPSJ SIG Notes   2004(65) 17-22   Jun 2004
Soichiro Hidaka, Kazuya Kodama, Katsumi Maruyama, Hiromichi Hashizume
Electronics and Communications in Japan (Part I: Communications)   87(5) 20-28   May 2004   [Refereed]
A component oriented OS for network service systems
Katsumi Maruyama, Ryota Ozaki, Soichiro Hidaka, Kazuya Kodama and Yusheng JI
Proceedings of the 5th Asia-Pacific Symposium on Information and Telecommunication Technologies (APSITT 2003), Noumea, New Caledonia(Nov., 2003)   551-556   Nov 2003   [Refereed]
Soichiro Hidaka,Hiroyuki Kato
Proceedings of the Workshop on Multimedia Contents in Digital Libraries, Chania, Crete, Greece(Jun., 2003)      Jun 2003   [Refereed]
K. Maruyama, K. Kodama, S. Hidaka and H. Hashizume
Proceedings of the Tenth ACM SIGOPS European Workshop (EW2002), Saint-Emilion, France (Sep., 2002)   194-197   Sep 2002   [Refereed]
Soichiro Hidaka, Terumasa Aoki, Hitoshi Aida, Tadao Saito
Systems and Computers in Japan   33(9) 90-98   Aug 2002   [Refereed]
S. Hidaka, K. Kodama, Y. Ji and K. Maruyama
Proceedings of the 6th World Multiconference on Systemics, Cybernetics and Informatics (SCI2002), Florida, USA,(Jul., 2002)   I 184-189   Jul 2002   [Refereed]
Tadao Saito, Hitoshi Aida, Terumasa Aoki, Soichiro Hidaka, Tredej Toranawigtrai, Akinori Hashimoto
Electronics and Communications in Japan (Part I: Communications)   84(9) 16-26   Sep 2001   [Refereed]
Querying Structured Documents based on Human Visual Memory
S. Hidaka, H. Kato and K. Oyama
Proceedings of the ISCA 2nd International Conference On Information Reuse And Integration (IRI-2000), Hawaii, USA,(Nov., 2000)   91-94   Nov 2000   [Refereed]
Querying Structured Documents based on Human Visual Memory (Poster)
S. Hidaka, H. Kato and K. Oyama
Proceedings of the First International Symposium on Advanced Informatics (AdInfo2000), Tokyko, Japan,(Mar., 2000)   127-132   Mar 2000
Construction of a Large-scale Test Collection for IR Systems
N. Kando, K. Kuriyama, T. Nozue, K. Eguchi, H. Kato, S. Hidaka and K. Oyama
Proceedings of the First International Symposium on Advanced Informatics (AdInfo2000), Tokyo, Japan(Mar., 2000)   111-118   Mar 2000
S. Hidaka, H. Kato and K. Oyama
IPSJ SIG Notes (DBS)   2000(10) 17-20   Jan 2000
S. Hidaka, H. Kato, and K. Oyama
Proceedings of the International Symposium on Database Applications in Non-Traditional Environments(DANTE'99), Kyoto, Japan,(Dec., 1999)   267-270   Dec 1999   [Refereed]
S. Hidaka, H. Kato, S. Sato, N. Kando and K. Oyama
Proc. of the 16th Workshop on Digital Libraries   (16) 115-120   Nov 1999
N. Kando, K. Kuriyama, T. Nozue, K. Eguchi, H. Kato and S. Hidaka
Proceedings of the 4th International Workshop on Information Retrieval with Asian Languages., Taipei, Taiwan,(Nov., 1999)      Nov 1999   [Refereed][Invited]
N. Kando, K. Kuriyama, T. Nozue, K. Eguchi, H. Kato and S. Hidaka
Proceedings of the First NTCIR Workshop on Research in Japanese Text Retrieval and Term Recognition, Tokyo, Japan,(Aug., 1999)   11-44   Aug 1999
E. Shimamura, S. Hidaka, H. Aida and T. Saito
Proceedings of the 58th National Convention of Information Processing Society of Japan   (1) 305-306   Mar 1999
Soichiro Hidaka
Graduate School of Engineering, University of Tokyo      Mar 1999   [Refereed]
S. Hidaka, T. Aoki, H. Aida, and T. Saito
Proceedings of the Second International Symposium on Computing in Object-oriented Parallel Environments(ISCOPE '98), New Mexico, USA, Lecture Notes in Computer Science   1505 151-158   Dec 1998   [Refereed]
S. Hidaka, H. Aida and T. Saito
Technical Report of the Institute of Electronics, Information and Communication Engineers   98(234) 81-87   Aug 1998
Soichiro Hidaka, Hitoshi Aida, Tadao Saito
Proceedings of the IEICE General Conference   (140)    Mar 1998
S. Hidaka, H. Gotoda, H. Hashizume and K. Ono
Proceedings of the 1997 engineering science society conference of IEICE   109   Mar 1997
S. Hidaka, H. Aida and T. Saito
Proc. of 1996 IEICE Information and System Society Conference   60   Sep 1996
An Experimental Implementation of the NCX Compiler on the AP1000 (Master's thesis) (in Japanese)
Soichiro Hidaka
Department of Electronics Engineering, Graduate School of Engineering, University of Tokyo   71p   Mar 1996   [Refereed]
Implementation of the NCX Compiler on the AP1000
Hitoshi Aida, Soichiro Hidaka
Final report on "A Basic Information System based on Massively Parallel Principles" (in Japanese)   35-43   Mar 1996
Implementation of the NCX compiler on the AP1000
Hitoshi Aida, Shiro Kawai, Soichiro Hidaka, Hiroyuki Hayashi
Proceedings of 6th Symposium on "A Basic Information System based on massively Parallel Principles"   2-2-2-9   Mar 1995
An Implementation of Data Parallel C Language NCX on MIMD Parallel Computers (in Japanese), Bachelor's thesis
Bachelor's thesis
Department of Electrical Engineering, Faculty of Engineering, University of Tokyo   31p   Mar 1994   [Refereed]
Bernhard Hoisl, Zhenjiang Hu and Soichiro Hidaka
Communications in Computer and Information Science   506 153-167   Dec 2015   [Refereed]
Extended version of the paper appeared in proceedings of MODELSWARD 2014

Misc

 
Ezgi Çiçek and Soichiro Hidaka
GRACE Technical Reports   (GRACE-TR-2016-04) 1-15   Sep 2016
Makoto ONIZUKA,Hiroyuki KATO,Soichiro HIDAKA,Keisuke NAKANO,Zhenjiang HU
GRACE Technical Reports   (GRACE-TR-2016-02) 1-11   Mar 2016
Soichiro Hidaka, Jean Bézivin, Zhenjiang Hu and Frédéric Jouault
Computer Software   33(2) 56-77   May 2016   [Refereed]
Fei Yang and Soichiro Hidaka
GRACE TECHNICAL REPORTS   2015(8) 1-41   Dec 2015
Soichiro Hidaka, Martin Billes and Quang Minh Tran
GRACE Technical Reports   (GRACE-TR-2015-03)    Feb 2015
Soichiro Hidaka, Martin Billes, Quang Minh Tran and Kazutaka Matsuda
GRACE Technical Reports   (GRACE-TR-2015-04)    Feb 2015
Chong Li, Le-Duc Tung, Nhat-Tan Duong, Soichiro Hidaka and Zhenjiang Hu
GRACE Technical Reports   (GRACE-TR-2015-02)    Feb 2015
A Parameterized Graph Transformation Calculus for Finite Graphs with Monadic Branches
Kazuyuki Asada, Soichiro Hidaka, Hiroyuki Kato, Zhenjiang Hu, Keisuke Nakano
JSSST 30th Convention      Sep 2013
Kazuyuki Asada, Soichiro Hidaka, Hiroyuki Kato Zhenjiang Hu and Keisuke Nakano
GRACE Technical Report   (GRACE-TR-2012-07)    Oct 2012
Structural Recursion on Ordered Graphs
Kazuyuki Asada, Soichiro Hidaka, Hiroyuki Kato, Zhenjiang Hu, Keisuke Nakano
29th JSSST Convention      Aug 2012
Soichiro Hidaka, Jean Bézivin, Zhenjiang Hu and Frédéric Jouault
Journal of the Japan Society for Software Science and Technology   32(2) 63-78   May 2015   [Refereed]
Fuyuki Ishikawa, Soichiro Hidaka, Kenji Tei
Journal of the Japan Society for Software Science and Technology - Computer Software   31(2) 28-32   May 2014   [Refereed][Invited]
Florent Latombe and Soichiro Hidaka
GRACE TECHNICAL REPORTS   2014(1) 1-16   Apr 2014
Soichiro Hidaka, James F. Terwilliger
Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014), Athens, Greece, March 28, 2014.   61-62   Mar 2014
Hiroyuki Kato, Zhenjiang Hu, Soichiro Hidaka and Kazutaka Matsuda
Journal of the Japan Society for Software Science and Technology - Computer Software   31(2) 44-56   May 2014   [Refereed][Invited]
Soichiro Hidaka, Jean Bézivin, Zhenjiang Hu and Frédéric Jouault
Journal of the Japan Society for Software Science and Technology   30(3) 25-44   Aug 2013   [Refereed]
Yiqing ZHU, Tao ZAN, Soichiro HIDAKA and Zhenjiang HU
GRACE-TR   (2012-06)    Jun 2012
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano and Isao Sasano
GRACE Technical Report   (GRACE-TR-2011-06)    Nov 2011
Revises and supersedes GRACE-TR-2011-02.
Yijun Yu, Yu Lin, Zhenjiang Hu, Soichiro Hidaka, Hiroyuki Kato, and Lionel Montrieux
Technical Reports at the Centre for Research in Computing, Faculty of Mathematics, Computing and Technology, The Open University   2011(9)    Sep 2011
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
GRACE Technical Report   (GRACE-TR-2011-05)    Aug 2011
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano and Isao Sasano
GRACE Technical Report   (GRACE-TR-2011-02)    Jun 2011
Superseded by the revised version GRACE-TR-2011-06.
Keisuke Nakano, Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato
GRACE Technical Report   (GRACE-TR-2011-01)    May 2011
Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara
GRACE Technical Report   (GRACE-TR-2010-07)    Sep 2010
Long version of APLAS'10 paper.
Soichiro Hidaka, Zhenjiang Hu,Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano
GRACE Technical Report   (GRACE-TR-2010-06)    Jul 2010
Long version of ICFP'10 paper.
Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
GRACE Technical Report   GRACE-TR-2010-04    May 2010
Zhenjiang Hu, Soichiro Hidaka, Hiroyuki Kato
NII Today (English)   (33) 4-7   Apr 2010
This English language edition of NII Today corresponds to No.47 of the Japanese edition
An XQuery Fusion with Preserving Document Order
Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara
JSSST 26th Convention      Sep 2009
Hiroyuki Kato Soichiro Hidaka Zhenjiang Hu Keisuke Nakano Yasunori Ishihara
GRACE TECHNICAL REPORTS   (GRACE-TR 2009–04)    Sep 2009
Bidirectionalizing Structural Recursion on Graphs
Soichiro Hidaka Zhenjiang Hu Kazuhiro Inaba Hiroyuki KatoKazutaka Matsuda Keisuke Nakano
26th JSSST Convention      Sep 2009
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano
GRACE TECHNICAL REPORTS   (GRACE-TR 2009–03)    Aug 2009
The bidirectional transformation problem has been attracting more and more attention in the programming language community. Despite many promising results about bidirectional transformation on linear strings or tree-like data structures, it remain...
Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
GRACE TECHNICAL REPORTS   GRACE-TR-2008(02)    Sep 2008
Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
GRACE TECHNICAL REPORTS   GRACE-TR-2008(01)    Aug 2008
Soichiro HIDAKA, Hiroyuki KATO and Masatoshi YOSHIKAWA
NII Technical Reports   (NII-2008-003J)    Feb 2008

Conference Activities & Talks

 
Bidirectionalizing Model Transformation Languages through Partial Translation
Soichiro Hidaka, Massimo Tisi
JSSST 33rd Convention   9 Sep 2016   
Soichiro Hidaka
11 Oct 2014   4th Asian Workshop of Advanced Software Engineering
Joint work with Martin Billes and Quang Minh Tran
Soichiro Hidaka
JSSST 31st Convention   8 Sep 2014   
Introduction to co-authored ICFP'13 paper.
http://dx.doi.org/10.1145/2544174.2500608
Soichiro Hidaka
Bi-directional transformations (BX) – Theory and Applications Across Disciplines   4 Dec 2013   
Soichiro Hidaka
NII Shonan Meeting on Engineering Adaptive Software Systems (EASSy)   10 Sep 2013   
Soichiro Hidaka
3rd Asian Workshop on Advanced Software Engineering (AWASE 2013)   20 Jul 2013   
Towards Bidirectional Graph Transformations with High-Level Patterns
Tao Zan, Soichiro Hidaka, Hiroyuki Kato, Zhenjiang Hu
15th JSSST Workshop on Programming and Programming Languages, category 3   5 Mar 2013   JSSST
Interoperable traceability in bidirectional graph transformations
Soichiro Hidaka
Atlanmod-BiG Joint workshop on Bidirectionality in Model Transformations   15 Sep 2012   
Soichiro Hidaka
JSSST 29th Convention   24 Aug 2012   
Focused introduction to co-authored ICSE'12 paper (talked mainly on the bidirectional transformation used in the paper).
http://dx.doi.org/10.1109/ICSE.2012.6227162
iGRT: A Generic Interface for GRoundTram
Yiqing ZHU, Tao Zan, Soichiro HIDAKA, Zhenjiang Hu
29th JSSST Convention (poster)   23 Aug 2012   
Interfacing bidirectional graph transformation system GRoundTram
Soichiro Hidaka
NII-Lero-Open University Workshop - Adaptation, Privacy and Security   3 Jul 2012   
Soichiro Hidaka
Seminar in Informatics dep. Ecole des Mines de Nantes   Mar 2012   
GRoundTram as an Integrated Framework and Developing Environments for Bidirectional Model Transformations
Soichiro Hidaka
2nd NII-PKU International Joint Workshop on Advanced Software Engineering   Oct 2011   
Static and Dynamic Optimizations in a Graph Roundtrip Transformation System GRoundTram
Soichiro Hidaka
5th International Workshop on Bidirectional Transformation in Architecture-Based Component Composition (BT in ABC 5)   May 2011   
Soichiro Hidaka
The Fourth DIKU-IST Joint Workshop on Foundations of Software   Jan 2011   
Soichiro Hidaka
Dagstuhl seminar report, Bidirectional Transformations "bx"   Jan 2011   
Soichiro Hidaka
Dagstuhl seminar report, Bidirectional Transformations "bx"   Jan 2011   
Towards State-based Interface to a Graph Roundtrip Transformation System GRoundTram (poster)
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato (National Institute of Informatics), Kazutaka Matsuda (Tohoku University), Keisuke Nakano (The University of Electro-Communications)
Eighth Asian Symposium on Programming Languages and Systems (APLAS 2010)   Nov 2010   
Range Analysis of Graph Transformation for Simulation-based Schema (poster)
Keisuke Nakano, Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba and Hiroyuki Kato
Eighth Asian Symposium on Programming Languages and Systems (APLAS 2010)   Nov 2010   
Providing State-based Interface to a Graph Roundtrip Transformation System GRoundTram
Soichiro Hidaka
1st PKU-NII International Joint Workshop on Advanced Software Engineering   Oct 2010   
Soichiro Hidaka
Workshop on Bidirectional Transformation (BT2010) at GRACE International Symposium on Advanced Software Engineering 2010   Mar 2010   
GRoundTram: A Bidirectional Graph Transformation System Based on Structural Recursion
Soichiro Hidaka Zhenjiang Hu Kazuhiro Inaba Hiroyuki Kato Kazutaka Matsuda Keisuke Nakano
GRACE International Symposium on Advanced Software Engineering 2010   Mar 2010   
GRoundTram: A Bidirectional Graph Transformation System based on Structural Recursion
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda,Keisuke Nakano
The Seventh Asian Symposium on Programming Languages and Systems (APLAS 2009)   Dec 2009   
An Order-sensitive XQuery Fusion
Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara
The Seventh Asian Symposium on Programming Languages and Systems(APLAS 2009) (poster)   Dec 2009   
Design and implementation of the bidirectional interpretation engine in a graph roundtrip transformation system GRoundTram
Soichiro Hidaka
3rd International Workshop on Bidirectional Transformation in Architecture-Based Component Composition (Bi-Trans in ABC)   Nov 2009   
Soichiro Hidaka
The 26th GRACE Seminar on Advanced Software Science and Engineering   Oct 2009   GRACE Center
Bidirectionalizing Structural Recursion on Graphs
Soichiro Hidaka Zhenjiang Hu Kazuhiro Inaba Hiroyuki Kato Kazutaka Matsuda Keisuke Nakano
26th JSSST Convention (poster and demo)   Sep 2009   
Rewriting XQuery to Avoid Redundant Expressions based on Static Emulation of XML Store
Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Yasunori Ishihara, Keisuke Nakano
Sixth Asian Workshop on Foundations of Software   Apr 2009   
Bidirectionalizing Structural Recursive Transformation on Graphs (short presentation of ongoing work)
Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
Sixth Asian Workshop on Foundations of Software(AWFS 2009)   Apr 2009   
Bidirectional Interpretation of UnCAL Graph Algebra
Soichiro Hidaka
2nd International Workshop on Bidirectional Transformation in Architecture-Based Component Composition   5 Jan 2009   
Bidirectional Graph Transformation using UnCAL
Soichiro Hidaka
GRACE International Meeting on Bidirectional Transformations   14 Dec 2008   

Teaching Experience

 
 

Works

 
LambdaFG version 0.1a
Soichiro Hidaka   Software   Aug 2013 - Aug 2013
- Enhancement of inteface for ordered graphs
- Enhanced primitives for lists (constructors, foldr, foldl and examples (select_even, etc))
- Type annotation for expressions supported.
GRoundTram Version. 0.9.3
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano   Software   Aug 2012
Updated version of the GRoundTram (Graph Roundtrip Transformation for Models) system.
Source Code, Tutorial, Language References, and Tool References are included.
Hidaka mainly contributed to:
- editing interface on normalized graph using well-...
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano   Software   Mar 2011
Updated version of the GRoundTram (Graph Roundtrip Transformation for Models) system.
Source Code, Tutorial, Language References, and Tool References are included.
Hidaka mainly contributed to significant speedup achieved by run-time and static ...
Hiroyuki Kato, Soichiro Hidaka   Software   Jun 2010
Hidaka contributed to early design stage.
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano   Software   Nov 2009
Source Code, Tutorial, Language References, and Tool References of the GRoundTram (Graph Roundtrip Transformation for Models) system
Soichiro Hidaka (with BiG team)   Software   Jul 2009
Demo CGI of a bidirectionalization of graph transformation language at the user level syntax (UnQL+)
Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano   Software   Sep 2008
Demonstration CGI of model transformation in UnQL+
Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano   Software   Sep 2008
Demonstration CGI of graph transformation in UnCAL graph transformation language core.

Research Grants & Projects

 
リアクティブプログラミングのための高信頼化技術
Japan Society for the Promotion of Science: Grant-in-Aid for Scientific Research (B)
Project Year: Apr 2017 - Mar 2021    Investigator(s): Hiroshi Hosobe
A Study on interoperable bidirectional graph transformations
(Fostering Joint International Research)
Japan Society for the Promotion of Science: Fund for the Promotion of Joint International Research 
(Fostering Joint International Research)
Project Year: Jan 2016 - Mar 2018    Investigator(s): Soichiro Hidaka
A Study on interoperable bidirectional graph transformations
JSPS: Grants-in-Aid for Scientific Research (C)
Project Year: Apr 2014 - Mar 2018    Investigator(s): Soichiro Hidaka
A study on functional bidirectional graph transformation languages
JSPS: Grants-in-Aid for Young Scientists (B)
Project Year: 2011 - 2013    Investigator(s): Soichiro Hidaka
Ministry of Education, Culture, Sports, Science and Technology: Grants-in-Aid for Scientific Research(基盤研究(B))
Project Year: 2010 - 2013    Investigator(s): Principal Investigator Zhenjiang Hu
Ministry of Education, Culture, Sports, Science and Technology: Grants-in-Aid for Scientific Research(挑戦的萌芽研究)
Project Year: 2010 - 2011    Investigator(s): Zhenjiang HU
A Study on application of fusion transformation on XML database programming languages
Ministry of Education, Culture, Sports, Science and Technology: Grants-in-Aid for Scientific Research(若手研究(B))
Project Year: 2008 - 2010    Investigator(s): Soichiro HIDAKA
Ministry of Education, Culture, Sports, Science and Technology: Grants-in-Aid for Scientific Research(基盤研究(B))
Project Year: 2007 - 2009    Investigator(s): Katsumi MARUYAMA
A Study on Parallelism of Functional Query Languages in the Presence of Side-Effects
Ministry of Education, Culture, Sports, Science and Technology: Grants-in-Aid for Scientific Research(若手研究(B))
Project Year: 2005 - 2007    Investigator(s): Soichiro Hidaka
Ministry of Education, Culture, Sports, Science and Technology: Grants-in-Aid for Scientific Research(基盤研究(B))
Project Year: 2004 - 2007    Investigator(s): Katsumi MARUYAMA
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"
Ministry of Internal Affairs and Communications: Strategic Information and Communications R&D Promotion Programme (SCOPE)
Project Year: Dec 2003 - Mar 2006    Investigator(s): Soichiro Hidaka
A study on accelerating parallel asynchronous I/O for document archiving/retrieval and other non-numeric computing applications
Ministry of Education, Culture, Sports, Science and Technology: Grants-in-Aid for Scientific Research(若手研究(B))
Project Year: 2002 - 2004    Investigator(s): Soichiro Hidaka
Ministry of Education, Culture, Sports, Science and Technology: Grants-in-Aid for Scientific Research(基盤研究(B))
Project Year: 2001 - 2003    Investigator(s): Katsumi MARUYAMA
A study on supporting of processor assignment for large scale parallel discrete event simulation
Ministry of Education, Culture, Sports, Science and Technology: Grants-in-Aid for Scientific Research(奨励研究(A))
Project Year: 2000 - 2001    Investigator(s): Soichiro Hidaka

Committee Memberships

 
Feb 2017
 - 
Today
The 18th Symposium on Trends in Functional Programming (TFP 2017)  Programme Committee member
 
Nov 2016
 - 
Apr 2017
Sixth International Workshop on Bidirectional Transformations (Bx 2017)  Programme Committee member
 
Oct 2016
 - 
Today
10th International Conference on Model Transformation  Program committee member
 
May 2016
 - 
Sep 2016
Japan Society for Software Science and Technology  Program committee, 33rd Convention
 
Apr 2015
 - 
Sep 2015
Japan Society for Software Science and Technology  Demo and Poster Chair, Program committee, 32nd Convention
 
Apr 2015
 - 
Today
Information Processing Society of Japan  Editorial Committee member of the Transactions on Programming
 
Mar 2014
 - 
Jul 2015
Fourth International Workshop on Bidirectional Transformations  Programm Committee
 
Jul 2013
 - 
Apr 2017
Bidirectional Transformations  Steering committee
 
May 2013
 - 
Mar 2016
NII Shonan Meeting  Steering Committee member
 
Jul 2013
 - 
Mar 2014
Third International Workshop on Bidirectional Transformations  PC co-chair
 
Jul 2012
 - 
Mar 2013
Second International Workshop on Bidirectional Transformations (BX 2013)  Programme committee
 
Jul 2012
 - 
Feb 2013
1st International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2013)  Program Committee member
 
Sep 2011
 - 
May 2012
5th International Conference on Model Transformation (ICMT 2012)  Programme committee member, Transformations in Modelling and Reutilization session chair
 
Oct 2011
   
 
2nd NII-PKU International Joint Workshop on Advanced Software Engineering, Hakone-machi, Japan  Program Committee Member
 
Mar 2010
 - 
Sep 2011
The 16th ACM SIGPLAN International Conference on Functional Programming (ICFP2011)  Local Arrangements Chair
 
Feb 2011
 - 
Jul 2011
3rd International Workshop on Model Transformation with ATL (MtATL 2011)  PC member
 
 
 - 
May 2011
5th International Workshop on Bidirectional Transformation in Architecture-Based Component Composition (BT in ABC 5)  PC member
 
2010
 - 
May 2013
NII Shonan Meeting  Organizing Committee
 
 
 - 
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")
 
Mar 2005
 - 
Nov 2011
Ministry of Economy, Trade and Industry  Board of Examiners, Industrial Property Council
 

Patents

 
T. Saito, H. Aida, T. Aoki, S. Hidaka and U. Bunworasate

Social Contribution

 
[Panelist]  Fourth International Workshop on Bidirectional Transformations  (L'Aquila, Italy)  24 Jul 2015

Others

 
May 2014   Additional Reviewer
2014 ACM SIGPLAN Haskell Symposium (Haskell'14)
Mar 2014   Subreviewer
The 19th ACM SIGPLAN International Conference on Functional Programming (ICFP 2014)
2014   Reviewer
Software and Systems Modeling (International Journal, Springer)
2013
Reviewer, ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Jul 2013
External reviewer, 15th International Symposium on Principles and Practice of Declarative Programming (PPDP 2013)
Sep 2012
Organizer, Atlanmod-BiG Joint workshop on Bidirectionality in Model
Transformations, Paris, France
Reviewer, Journal of the ACM (once)
Apr 2012
Additional Reviewer, 27th IEEE/ACM International Conference on Automated Software Engineering
Jul 2012
Reviewer, The Journal of Object Technology
Sep 2011
Development Tool Session Chair, 28th Convention of Japan Society for Software Science and Technology, Okinawa, Japan
Jun 2011
Additional reviewer,
Fifth IEEE International Conference on Semantic Computing (ICSC 2011)
Jun 2011
Additional Reviewer (Co-reviewer), ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems (MODELS 2011) Foundations Track
Oct 2010
Organizer, GRACE Seminar on Advanced Software Science and Engineering (Oct. 2010 to Mar. 2011)
Additional reviewer, Third International Conference on Theory and Practice of Model Transformations (ICMT2010)
External reviewer, IEICE transactions on Information and Systems, 2010 special section on Data Engineering
External reviewer, IPSJ Transactions on Databases (TOD), 2009
External reviewer, IEICE transactions on Information and Systems, 2007 special section on Parallel/Distributed Processing and Systems
External reviewer, IEICE transactions on Information and Systems, 2007 (Normal Section)
Reviewer, Annual Symposium on Advanced Computing Systems and Infrastructures (SACSIS 2005)
Additional reviewer:WWW2005 (14th Int’l World Wide Web Conf.) XML and Web Services
External Reviewer, AINA (The IEEE 19th International Conference on Advanced Information Networking and Applications) (2004)
Referees, The Fourth Int’l Conf. on Web-Age Information Management (WAIM 2003)
Reviewer, NII Journal No.6 (2003)