SEARCH
Search Details
HIDAKA Souichiro
Faculty of Computer and Information Sciences Department of Computer Science
Professor
Researchmap URL
https://researchmap.jp/hidakaProfile
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).
Researcher information
■ 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)
- programming language processor
- Bidirectional Transformation
- Program Transformation
- Graph Transformation
- Database Programming Languages
- Optimization
- XQuery
- Cost Model
Career
■ Career
- Apr. 2016 - Present
National Institute of Informatics, Collaborative Research Unit, Visiting Professor - Apr. 2016 - Present
Hosei University, Department of Computer Science, Faculty of Computer and Information Sciences, Professor (Zaigai Kensyuin : Oct. 2016 - Mar. 2017) - Oct. 2016 - Mar. 2017
École des Mines de Nantes, AtlanMod team, DAPI (Department of Automatic Control and Production Systems and IT), Visiting Scientist - Apr. 2006 - Mar. 2016
National Institute of Informatics, Information Systems Architecture Research Division, Assistant Professor - Apr. 2004 - Mar. 2016
The Graduate University for Advanced Studies, Department of Informatics, School of Multidisciplinary Sciences, Assistant Professor (Concurrent) - Apr. 2010 - May 2010
Ecole des Mines de Nantes, France, Visiting Scientist (1 month) at AtlanMod team - Apr. 2003 - Mar. 2008
Hosei University, Ichigaya Kyoyo Kyoiku Center (reorganized as a part of Ichigaya Liberal Arts Center in 2010), part-time instructor - Apr. 2003 - Mar. 2006
National Institute of Informatics, Infrastructure Systems Research Division, Assistant Professor (called Research Associate until March 2004) - Apr. 2002 - Mar. 2004
The Graduate University for Advanced Studies, Department of Informatics, School of Mathematical and Physical Science, Research Associate(Concurrent) - Apr. 2000 - Mar. 2003
National Institute of Informatics, Research Center for Testbeds and Prototyping, Research Associate - Apr. 1999 - Mar. 2000
National Center for Science Information Systems, Systems Research Division, R&D Department, Research Associate
- Apr. 1996 - Mar. 1999, The University of Tokyo, Graduate School of Engineering, Department of Information and Communication Engineering, Doctor Course
- Apr. 1994 - Mar. 1996, The University of Tokyo, Graduate School of Engineering, Department of Electronics Engineering, Master Course
- Apr. 1992 - Mar. 1994, The University of Tokyo, Faculty of Engineering, Department of Electrical Engineering
- Apr. 1990 - Mar. 1992, The University of Tokyo, College of Arts and Sciences, Junior Division of Natural Sciences I
- Mar. 2024 - Mar. 2025
プログラム共同委員長, 第27回プログラミングおよびプログラミング言語ワークショップ - Jul. 2023 - Mar. 2024
Program Committee, The 26th Workshop of the Special Interest Group on Programming and Programming Languages, Japan Society for Software Science and Technology - Apr. 2020 - Mar. 2024
Editorial Committee member of the Transactions on Programming, Information Processing Society of Japan - Apr. 2020 - Mar. 2024
幹事, 情報処理学会プログラミング研究会 - Nov. 2021 - Oct. 2022
研究専門委員会担当委員（情報処理学会）, 第21回情報科学技術フォーラム（FIT2022） - Nov. 2020 - Oct. 2021
PC member as a representative of field A and IPSJ PRO, 20th Forum on Information Technology (FIT2021) - Jul. 2021
プログラム委員, 第24回プログラミングおよびプロ グラミング言語ワークショップ - Jul. 2021
Program Committee Member, Artifact Evaluation, ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS 2021) - Jun. 2021
PC Member, Tools Demonstration Track, ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS 2021) - Apr. 2016 - Mar. 2020
Steering Committee member, Special Interest Group on Programming, Information Processing Society of Japan - Jul. 2019
PPL 2020 Program Commitee, Special Interest Group on Programming and Programming Languages, Japan Society for Software Science and Technology - Apr. 2015 - Mar. 2019
Editorial Committee member of the Transactions on Programming, Information Processing Society of Japan - Aug. 2018 - Feb. 2019
Program Committee member, SFDI2019: Second Workshop on Software Foundations for Data Interoperability - Dec. 2018
program committee, 23rd International Conference on Fundamental Approaches to Software Engineering (FASE 2020) - Dec. 2017 - Oct. 2018
Program Committee member, Symposium on Trends in Functional Programming 2018 - Oct. 2018
Programme Committee member, 12th International Conference on Model Transformations (ICMT 2019) - Nov. 2017 - Jun. 2018
Program committee member, 11th International Conference on Model Transformation - Nov. 2017 - Jun. 2018
Program committee member, 11th International Conference on Model Transformation - Oct. 2017 - Apr. 2018
Programme Committee member, 7th International Workshop on Bidirectional Transformations (Bx 2018) - Oct. 2017 - Apr. 2018
Programme Committee member, 7th International Workshop on Bidirectional Transformations (Bx 2018) - Feb. 2017 - Nov. 2017
Programme Committee member, The 18th Symposium on Trends in Functional Programming (TFP 2017) - Feb. 2017 - Nov. 2017
Programme Committee member, The 18th Symposium on Trends in Functional Programming (TFP 2017) - Oct. 2016 - Jul. 2017
Program committee member, 10th International Conference on Model Transformation - Oct. 2016 - Jul. 2017
Program committee member, 10th International Conference on Model Transformation - Nov. 2016 - Apr. 2017
Programme Committee member, Sixth International Workshop on Bidirectional Transformations (Bx 2017) - Nov. 2016 - Apr. 2017
Programme Committee member, Sixth International Workshop on Bidirectional Transformations (Bx 2017) - Jul. 2013 - Apr. 2017
Steering committee, Bidirectional Transformations - Jul. 2013 - Apr. 2017
Steering committee, Bidirectional Transformations - May 2016 - Sep. 2016
Program committee, 33rd Convention, Japan Society for Software Science and Technology - May 2016 - Sep. 2016
第33回大会プログラム委員, 日本ソフトウェア科学会 - May 2013 - Mar. 2016
Steering Committee member, NII Shonan Meeting - May 2013 - Mar. 2016
Steering Committee, NII湘南会議 - Apr. 2015 - Sep. 2015
Demo and Poster Chair, Program committee, 32nd Convention, Japan Society for Software Science and Technology - Apr. 2015 - Sep. 2015
第32回大会デモ・ポスター委員長,プログラム委員, 日本ソフトウェア科学会 - Mar. 2014 - Jul. 2015
Programm Committee, Fourth International Workshop on Bidirectional Transformations - Mar. 2014 - Jul. 2015
Program Committee, Fourth International Workshop on Bidirectional Transformations - Jul. 2013 - Mar. 2014
PC co-chair, Third International Workshop on Bidirectional Transformations - Jul. 2013 - Mar. 2014
PC co-chair, Third International Workshop on Bidirectional Transformations - 2010 - May 2013
Organizing Committee, NII Shonan Meeting - 2010 - May 2013
Organizing Committee, NII Shonan Meeting - Jul. 2012 - Mar. 2013
Programme committee, Second International Workshop on Bidirectional Transformations (BX 2013) - Jul. 2012 - Mar. 2013
Programme committee, Second International Workshop on Bidirectional Transformations (BX 2013) - Jul. 2012 - Feb. 2013
Program Committee member, 1st International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2013) - Jul. 2012 - Feb. 2013
Program Committee member, 1st International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2013) - Sep. 2011 - May 2012
Programme committee member, Transformations in Modelling and Reutilization session chair, 5th International Conference on Model Transformation (ICMT 2012) - Sep. 2011 - May 2012
Programme committee member, Transformations in Modelling and Reutilization session chair, 5th International Conference on Model Transformation - 2005 - 2012
査読協力者 (2006年を除く。2005年以外は登録のみ), 先進的計算基盤シンポジウム SACSIS - Mar. 2005 - Nov. 2011
試験委員, 経済産業省工業所有権審議会 - Mar. 2005 - Nov. 2011
Board of Examiners, Industrial Property Council, Ministry of Economy, Trade and Industry - Oct. 2011
Program Committee Member, 2nd NII-PKU International Joint Workshop on Advanced Software Engineering, Hakone-machi, Japan - Oct. 2011
Program Committee Member, 2nd NII-PKU International Joint Workshop on Advanced Software Engineering, Hakone-machi, Japan - Mar. 2010 - Sep. 2011
Local Arrangements Chair, The 16th ACM SIGPLAN International Conference on Functional Programming (ICFP2011) - Mar. 2010 - Sep. 2011
Local Arrangements Chair, The 16th ACM SIGPLAN International Conference on Functional Programming (ICFP2011) - Feb. 2011 - Jul. 2011
PC member, 3rd International Workshop on Model Transformation with ATL (MtATL 2011) - Feb. 2011 - Jul. 2011
PC member, 3rd International Workshop on Model Transformation with ATL (MtATL 2011) - May 2011
PC member, 5th International Workshop on Bidirectional Transformation in Architecture-Based Component Composition (BT in ABC 5) - May 2011
PC member, 5th International Workshop on Bidirectional Transformation in Architecture-Based Component Composition (BT in ABC 5) - 2010
PC Co-chair, 4th International Workshop on Bidirectional Transformation in Architecture-Based Component Composition (BT in ABC 4) - 2010
PC Co-chair, 4th International Workshop on Bidirectional Transformation in Architecture-Based Component Composition (BT in ABC 4) - 2006
Local Organization Committee, Session chair ("Verification and Theories II"), 11th Annual Asian Computing Science Conference (ASIAN 2006) - 2006
Local Organization Committee, Session chair ("Verification and Theories II"), 11th Annual Asian Computing Science Conference (ASIAN 2006)
Research activity information
■ Award
- Sep. 2024
日本ソフトウェア科学会, The 40th JSSST Annual Conference Takahashi Award (2023)
双方向変換の二部ネットワークにおけるビューに基くデータ共有のための適応手法 日高宗一郎, 加藤弘之, 武市正人 日本ソフトウェア科学会 第40回大会 口頭発表セッション (3) プログラミング言語処理系 (2), Japan, Japan society
- Improving Database Synchronization Efficiency Using Bidirectional Transformations (Junior ＆ Student Poster Session : General Poster Presentation)
Qiyun Cui; Soichiro Hidaka
Proceedings of the General Conference of the Institute of Electronics, INformation and Communication Engineers, Mar. 2025
Last - Incrementalizing Putback-based Bidirectional Transformation Language BiGUL
Masaki Toyoda; Soichiro Hidaka
87th National Convention of IPSJ, Mar. 2025 - Partial Bidirectionalization of Model Transformation Languages
Soichiro Hidaka; Massimo Tisi
27th International Conference of Model Driven Engineering Languages and Systems, Sep. 2024, [Reviewed] - Incrementalizing Putback-based Bidirectional Transformation Language BiGUL for Incrementalizing XMU
Masaki Toyoda; Soichiro Hidaka
86th National Convention of IPSJ, Mar. 2024 - A study on Controlling Operation Applications in Conflict Resolution of Bidirectional Transformation Network based on Operational Transformation
Yuki NAKANO; Soichiro HIDAKA
85th National Convention of the IPSJ, Mar. 2023
Last - A Practical Model Driven Approach for Designing Security Aware RESTful Web APIs using SOFL
Busalire EMEKA; Soichiro HIDAKA; Shaoying LIU
IEICE TRANSACTIONS on Information and Systems, Feb. 2023, [Reviewed] - Semi-automatic Transformation of Ecore Metamodels to SOFL Based Specifications
Busalire Emeka; Soichiro Hidaka; Shaoying Liu
IPSJ SIG Technical Reports (SIGSE), Jul. 2022 - Conflict Resolution with Operational Transformation in Bidirectional Transformation Network
Yuki Nakano; Soichiro Hidaka
情報処理学会第84回全国大会講演論文集, Mar. 2022
Last - Bidirectional Collaborative Frameworks for Decentralized Data Management
Yasuhito Asano; Yang Cao; Soichiro Hidaka; Zhenjiang Hu; Yasunori Ishihara; Hiroyuki Kato; Keisuke Nakano; Makoto Onizuka; Yuya Sasaki; Toshiyuki Shimizu; Masato Takeichi; Chuan Xiao; Masatoshi Yoshikawa
Communications in Computer and Information Science, 2022, [Invited] - Conflict Resolution for Data Updates by Multiple Bidirectional Transformations
Mikiya Habu; Soichiro Hidaka
Software Foundations for Data Interoperability. SFDI 2021. Communications in Computer and Information Science, Aug. 2021, [Reviewed]
Last - A Formal Approach to Secure Design of RESTful Web APIs Using SOFL
Busalire Emeka; Soichiro Hidaka; Shaoying Liu
Structured Object-Oriented Formal Language and Method, Jun. 2021, [Reviewed] - Trace-based Error Prevention and Detection of Consistency Maintenance via Bidirectional Graph Transformations
Soichiro Hidaka
2020 IEEE 20th International Conference on Software Quality, Reliability and Security Companion (QRS-C), Dec. 2020 - Development of a domain-specific language for board game for the purpose of introduction to programming
Nao Iituka; Soichiro Hidaka
Proceedings of the 2019 IEICE General Conference, Mar. 2019 - A Makup Language for Representation and Update Management of Quiz
Jogaku Nishizawa; Soichiro Hidaka
Proceeding of the 2019 IEICE General Conference, Mar. 2019 - Toward Code Clone Management through Bidirectional Transformation of Abstract Syntax Trees
Takahiro Aihara; Soichiro Hidaka
Proceedings of the 80th National Convention of IPSJ, Mar. 2018 - On Additivity in Transformation Languages
Soichiro Hidaka; Frederic Jouault; Massimo Tisi
Proceedings - ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, 07 Nov. 2017, [Reviewed] - Feature-based classification of bidirectional transformation approaches
Soichiro Hidaka; Massimo Tisi; Jordi Cabot; Zhenjiang Hu
SOFTWARE AND SYSTEMS MODELING, Jul. 2016, [Reviewed] - Trace-based Approach to Editability and Correspondence Analysis for Bidirectional Graph Transformations
Soichiro Hidaka; Martin Billes; Quang Minh Tran; Kazutaka Matsuda
Fourth International Workshop on Bidirectional Transformations (BX 2015) (co-located with STAF'15), CEUR Workshop Proceedings, Jul. 2015, [Reviewed] - Towards Bidirectional Higher-Order Transformation for Model-Driven Co-evolution
Bernhard Hoisl; Zhenjiang Hu; Soichiro Hidaka
MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT, MODELSWARD 2014, 2015, [Reviewed] - Context-preserving XQuery fusion
H. Kato; S. Hidaka; Z. Hu; K. Nakano; Y. Ishihara
Mathematical Structures in Computer Science, 10 Nov. 2014, [Reviewed] - Towards Co-evolution in Model-Driven Development Via Bidirectional Higher-Order Transformation
Bernhard Hoisl; Zhenjiang Hu; Soichiro Hidaka
PROCEEDINGS OF THE 2014 2ND INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT (MODELSWARD 2014), 2014, [Reviewed] - Structural Recursion for Querying Ordered Graphs
Soichiro Hidaka; Kazuyuki Asada; Zhenjiang Hu; Hiroyuki Kato; Keisuke Nakano
ACM SIGPLAN NOTICES, Sep. 2013, [Reviewed] - 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 - Structural Recursion for Querying Ordered Graphs
Soichiro Hidaka; Kazuyuki Asada; Zhenjiang Hu; Hiroyuki Kato; Keisuke Nakano
第15回プログラミングおよびプログラミング言語ワークショップ(PPL 2013), カテゴリ1, Mar. 2013, [Reviewed] - GRoundTram: An integrated framework for developing well-behaved bidirectional model transformations
Soichiro Hidaka; Zhenjiang Hu; Kazuhiro Inaba; Hiroyuki Kato; Keisuke Nakano
Progress in Informatics, Mar. 2013, [Reviewed] - Optimization for iterative queries on MapReduce
Makoto Onizuka; Hiroyuki Kato; Soichiro Hidaka; Keisuke Nakano; Zhenjiang Hu
Proceedings of the VLDB Endowment, 2013, [Reviewed] - A parameterized graph transformation calculus for finite graphs with monadic branches
Kazuyuki Asada; Soichiro Hidaka; Hiroyuki Kato; Zhenjiang Hu; Keisuke Nakano
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming, PPDP 2013, 2013, [Reviewed] - iGRT: A Generic Interface for GRoundTram
Yiqing Zhu; Tao Zan; Soichiro Hidaka; Zhenjiang Hu
Proceedings of the JSSST 29th Convention, Aug. 2012 - Structural Recursion on Ordered Graphs
Kazuyuki Asada; Soichiro Hidaka; Hiroyuki Kato; Zhenjiang Hu; Keisuke Nakano
29th JSSST Convention, Aug. 2012 - View Updatability Checking with Simulation-based Graph Schema
Keisuke Nakano; Soichiro Hidaka; Zhenjiang Hu; Kazuhiro Inaba; Hiroyuki Kato
JSSST Computer Software, Apr. 2012, [Reviewed] - Marker-directed optimization of UnCAL graph transformations
Soichiro Hidaka; Zhenjiang Hu; Kazuhiro Inaba; Hiroyuki Kato; Kazutaka Matsuda; Keisuke Nakano; Isao Sasano
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2012, [Reviewed] - Context-Preserving XQuery Fusion
Hiroyuki Kato; Soichiro Hidaka; Zhenjiang Hu; Keisuke Nakano; Yasunori Ishihara
Mathematical Structures in Computer Science (MSCS), Cambridge University Press, 2012, [Reviewed] - Maintaining Invariant Traceability through Bidirectional Transformations
Yijun Yu; Yu Lin; Zhenjiang Hu; Soichiro Hidaka; Hiroyuki Kato; Lionel Montrieux
2012 34TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2012, [Reviewed] - Towards Bidirectional Transformations on Ordered Graphs
Soichiro Hidaka; Kazuyuki Asada; Hiroyuki Kato; Keisuke Nakano; Zhenjiang Hu
Technical Report, GRACE Center, National Institute of Informatics, Dec. 2011 - Incremental Graph View Maintenance
Hiroyuki Kato; Soichiro Hidaka; Zhenjiang Hu
Proc. of 28th JSSST Convention, Sep. 2011 - GRoundTramによるATLの双方向化の実現
篠埜 功; 胡 振江; 日高 宗一郎; 稲葉 一浩; 加藤 弘之; 中野 圭介
日本ソフトウェア科学会第28回大会講演論文集, Sep. 2011 - 模倣に基づくグラフスキーマを利用したビュー更新可能性判定
中野 圭介; 日高 宗一郎; 胡 振江; 稲葉 一浩; 加藤 弘之
第13回プログラミングおよびプログラミング言語ワークショップ論文集, Mar. 2011, [Reviewed] - Graph-Transformation Verification using Monadic Second-Order Logic
Kazuhiro Inaba; Soichiro Hidaka; Zhenjiang Hu; Hiroyuki Kato; Keisuke Nakano
PPDP 11 - PROCEEDINGS OF THE 2011 SYMPOSIUM ON PRINCIPLES AND PRACTICES OF DECLARATIVE PROGRAMMING, 2011, [Reviewed] - Toward bidirectionalization of ATL with GRoundTram
Isao Sasano; Zhenjiang Hu; Soichiro Hidaka; Kazuhiro Inaba; Hiroyuki Kato; Keisuke Nakano
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2011, [Reviewed] - GRoundTram: An integrated framework for developing well-behaved bidirectional model transformations
Soichiro Hidaka; Zhenjiang Hu; Kazuhiro Inaba; Hiroyuki Kato; Keisuke Nakano
2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011, Proceedings, 2011, [Reviewed] - Bidirectionalizing Graph Transformations
Soichiro Hidaka; Zhenjiang Hu; Kazuhiro Inaba; Hiroyuki Kato; Kazutaka Matsuda; Keisuke Nakana
ACM SIGPLAN NOTICES, Sep. 2010, [Reviewed] - Context-preserving XQuery fusion
Hiroyuki Kato; Soichiro Hidaka; Zhenjiang Hu; Keisuke Nakano; Yasunori Ishihara
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2010, [Reviewed] - An Order-sensitive Fusion for XQuery
Hiroyuki KATO; SOICHIRO HIDAKA; ZHENJIANG HU; KEISUKE NAKANO; YASUNORI ISHIHARA
Proceedings of WebDB Forum 2009, Nov. 2009, [Reviewed] - 順序を考慮に入れたXQueryの融合変換
加藤 弘之; 日高 宗一郎; 胡 振江; 中野 圭介; 石原 靖哲
Webとデータベースに関するフォーラム (WebDB Forum 2009) 論文集, Nov. 2009, [Reviewed] - A Compositional Approach to Bidirectional Model Transformation
Soichiro Hidaka; Zhenjiang Hu; Hiroyuki Kato; Keisuke Nakano
2009 31ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, COMPANION VOLUME, 2009, [Reviewed] - Towards a compositional approach to model transformation for software development
Soichiro Hidaka; Zhenjiang Hu; Hiroyuki Kato; Keisuke Nakano
Proceedings of the ACM Symposium on Applied Computing, 2009, [Reviewed] - Rewriting XQuery to Avoid Redundant Expressions based on Static Emulation of XML Store
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, [Reviewed] - Towards Compositional Approach to Model Transformations (Takahashi Award to presentation by Hu)
Soichiro Hidaka; Zhenjiang Hu; Hiroyuki Kato; Keisuke Nakano
日本ソフトウェア科学会第25回大会講演論文集, Sep. 2008 - Quick Recovery of Failed Drivers on Multi-server Operating Systems to Improve Availability
Ryota Ozaki; Soichiro Hidaka; Kazuya Kodama; Katsumi Maruyama
第6回情報科学技術フォーラム, Sep. 2007 - Quick Recovery of Failed Drivers on Multi-server Operating Systems
Ryota Ozaki; Soichiro Hidaka; Kazuya Kodama; Katsumi Maruyama
IPSJ SIG Notes, Aug. 2007 - 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, Jun. 2007, [Reviewed] - 拡張Dewey Order を用いたdistinct-doc-order のエミュレーションに基づくXQuery の書き換え規則
加藤弘之; 日高宗一郎
情報処理学会第64回プログラミング研究会, Jun. 2007 - SOOM: Scalable object-oriented middleware for cooperative and pervasive computings
Thepparit Banditwattanawong; Soichiro Hidaka; Hironori Washizaki; Katsumi Maruyama
IEICE TRANSACTIONS ON COMMUNICATIONS, Apr. 2007, [Reviewed] - XQueryへの融合変換適用の機会と制限 (ポスター)
日高宗一郎; 加藤弘之
第９回プログラミングおよびプログラミング言語ワークショップ論文集(PPL2007), Mar. 2007 - 拡張Dewey Orderを用いたdistinct-doc-orderのエミュレーションに基づくXQueryの書き換え規則 (ポスター)
加藤弘之; 日高宗一郎
第９回プログラミングおよびプログラミング言語ワークショップ(PPL2007)論文集, Mar. 2007 - Rewriting XQuery by child-path folding
Hiroyuki Kato; Soichiro Hidaka; Masatoshi Yoshikawa
Progress in Informatics, Mar. 2007, [Reviewed] - Improving Availability on a Multi-server Operating System
Ryota Ozaki; Soichiro Hidaka; Kazuya Kodama; Katsumi Maruyama
IEICE technical report, Feb. 2007 - A more optimizer-friendly treatment of XQuery store in the presence of side-effects
Soichiro Hidaka; Hiroyuki Kato; Masatoshi Yoshikawa
2007 INTERNATIONAL SYMPOSIUM ON INFORMATION TECHNOLOGY CONVERGENCE, PROCEEDINGS, 2007, [Reviewed] - Design and implementation of remote device access facility to support device migration
Ryota Ozaki; Soichiro Hidaka; Kazuya Kodama; Katsumi Maruyama
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, Jan. 2007, [Reviewed] - A Relative Cost Model for XQuery
Soichiro Hidaka; Hiroyuki Kato; Masatoshi Yoshikawa
APPLIED COMPUTING 2007, VOL 1 AND 2, 2007, [Reviewed] - Optimization of program loading by object class clustering
Thepparit Banditwattanawong; Soichiro Hidaka; Hironori Washizaki; Katsumi Maruyama
IEEJ TRANSACTIONS ON ELECTRICAL AND ELECTRONIC ENGINEERING, Nov. 2006, [Reviewed] - Cluster replication for distributed-java-object caching
Thepparit Banditwattanawong; Soichiro Hidaka; Hironori Washizaki; Katsumi Maruyama
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, Nov. 2006, [Reviewed] - Fine-grained Replication for Private-workspace and Memory-constrained Computings
T. Banditwattanawong; S.Hidaka; H.Washizaki; K.Maruyama
Proc. of IFIP Int. Conf. on Network and Parallel Computing (NPC 2006), Tokyo, Japan, Oct. 2006, [Reviewed] - Design and Implementation of Remote Device Access Facility to Support Host Mobility and Device Migration
Ryota Ozaki; Soichiro Hidaka; Kazuya Kodama; Katsumi Maruyama
IEICE Journal B, Aug. 2006, [Reviewed] - 単機能ユーザインタフェースデバイスの携帯利用法の提案とその支援システムの設計と実現
尾崎亮太; 日高宗一郎; 児玉和也; 丸山勝巳
電子情報通信学会 第4回 次世代ネットワークソフトウェア研究会, 09 Jun. 2006 - デバイス移動に対応するデバイスアクセス継続技術
尾崎亮太; 日高宗一郎; 児玉和也; 丸山勝巳
日本ソフトウェア科学会 ソフトウェアシステム研究会 第9回 プログラミングおよび応用のシステムに関するワークショップ(SPA 2006), Mar. 2006, [Reviewed] - XQueryへの垂直方向の再帰を含む融合変換の適用 (ショートプレゼンテーションおよびポスター)
日高宗一郎; 加藤弘之; 吉川正俊
第８回プログラミングおよびプログラミング言語ワークショップ論文集(PPL2006), Mar. 2006 - FLWR Arranging: XQueryの冗長なエレメント構築子などの削除による書き換え (ショートプレゼンテーションおよびポスター)
加藤弘之; 日高宗一郎; 吉川正俊
第８回プログラミングおよびプログラミング言語ワークショップ(PPL2006)論文集, Mar. 2006 - A study on 3D Interface for Image/Video Retrieval and its Issues
Koike Mayumi; Ito Manabu; Ikeda Kayo; Hidaka Soichiro; Aoki Terumasa
IPSJ SIG Notes, Mar. 2006 - Partial and on-demand incremental deployment of Java application program over the internet
Thepparit Banditwattanawong; Hironori Washizaki; Soichiro Hidaka
2006 INTERNATIONAL SYMPOSIUM ON COMMUNICATIONS AND INFORMATION TECHNOLOGIES,VOLS 1-3, 2006, [Reviewed] - XQuery Equalities and Cost Model
Soichiro Hidaka; Hiroyuki Kato; Masatoshi Yoshikawa
Proc. The 4th Workshop on Programmable Structured Documents, Tokyo, Japan(Dec., 2005), 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), Dec. 2005 - An XQuery Cost Model in Relative Form
Soichiro Hidaka; Hiroyuki Kato; Masatoshi Yoshikawa
Technical report, Nov. 2005 - A-20-7 A Study on Feature Interpretation Using KANSEI to Subject in Image
ITO Manabu; KOIKE Mayumi; IKEDA Kayo; HIDAKA Soichiro; AOKI Terumasa
Proceedings of the Society Conference of IEICE, Sep. 2005 - 入れ子XQueryにおける冗長なエレメント構築子の排除による経路式の畳み込みに基づく問合せ最適化手法
加藤弘之; 日高宗一郎
インフォーマル・ワークショップ「XML処理手法と理論」第５回(XYZ5)，東京大学，2005年6月16日〓17日, 16 Jun. 2005 - Continuous Access to Remote Devices in the Presence of Device Migration (Fast Abstract)
Ryota Ozaki; Soichiro Hidaka; Kazuya Kodama; Katsumi Maruyama
Supplemental Volume of the The IEEE/IFIP International Conference on Dependable Systems and Networks 2005 (DSN-2005), Jun. 2005, [Reviewed] - ネットワークの動的変化に対応する遠隔デバイス管理機構
尾崎亮太; 日高宗一郎; 児玉和也; 丸山勝巳
ユビキタスコンピューティング研究会報告, Mar. 2005 - Design of Network Extended Device Management System
Ryota Ozaki; Soichiro Hidaka; Kazuya Kodama; Katsumi Maruyama
Proceedings of the IEICE General Conference, Mar. 2005 - Network Extended Device Management System Supporting Location Transparency
Ryota Ozaki; Soichiro Hidaka; Kazuya Kodama; Katsumi Maruyama
第32回モバイルコンピューティングとユビキタス通信・ 第7回ユビキタスコンピューティングシステム合同研究発表会, Mar. 2005 - Contents Classification Using Camera Angle to Support Image Retrieval
ITO Manabu; KOIKE Mayumi; IKEDA Kayo; HIDAKA Soichiro; AOKI Terumasa
IPSJ SIG Notes, Mar. 2005 - 3D Interface for Image/Video Retrieval and A Study on Its Application to Retrieval System
Koike Mayumi; Aoki Terumasa; Ikeda Kayo; Ito Manabu; Hidaka Soichiro
IPSJ SIG Notes, Mar. 2005 - Contemporaneity-conscious clustering algorithm for distributed object caching
T Banditwattanawong; K Maruyama; S Hidaka; H Washizaki
PDPTA '05: Proceedings of the 2005 International Conference on Parallel and Distributed Processing Techniques and Applications, Vols 1-3, 2005, [Reviewed] - Proxy-and-hook: A Java-based distributed object caching framework
T Banditwattanawong; K Maruyama; S Hidaka; H Washizaki
2005 3rd IEEE International Conference on Industrial Informatics (INDIN), 2005, [Reviewed] - Accessing remote devices using conventional interfaces in mobile computing environment
R Ozaki; S Hidaka; K Kodama; K Maruyama
SIXTEENTH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS, 2005, [Reviewed] - Examination of image retrieval system using subjective image information
Manabu Ito; Mayumi Koike; Kayo Ikeda; Soichiro Hidaka; Terumasa Aoki
APSITT 2005: 6th Asia-Pacific Symposium on Information and Telecommunication Technologies, Proceedings, 2005, [Reviewed] - 被写体の位置情報を用いたコンテンツ分類
伊藤学; 小池真由美; 池田佳代; 日高宗一郎; 青木輝勝
情報処理処理学会 オーディオビジュアル複合処理第47回研究会（札幌）（2004年12月）, Dec. 2004 - A study on 3D Interface for Image/Video Retrieval and its Issues
KOIKE Mayumi; AOKI Terumasa; IKEDA Kayo; ITO Manabu; HIDAKA Soichiro
画像電子学会 第２１３回研究会 in 山形 （山形）（2004年10月）, Oct. 2004 - A study on the Image/VIdeo Retrieval interface using depth information
ITO Manabu; KOIKE Mayumi; IKEDA Kayo; HIDAKA Soichiro; AOKI Terumasa
画像電子第213回研究会（山形）, Oct. 2004 - On a Set of Equations for XQuery Source Level Transformation
Soichiro HIDAKA; Hiroyuki KATO; Masatoshi YOSHIKAWA
Abstract of unrefereed presentation of the 51st workshop of SIG PRO of the Information Processing Society of Japan, Oct. 2004 - A Study on Query Generation and Interface Architecture for Video Retrieval
ITO Manabu; KOIKE Mayumi; IKEDA Kayo; HIDAKA Soichiro; AOKI Terumasa
情報処理FIT2004, Sep. 2004 - Intuitive Interface for Advanced Image/VideoRetrieval
KOIKE Mayumi; AOKI Terumasa; IKESA Kayo; ITO Manabu; HIDAKA Soichiro
情報処理学会FIT2004, Sep. 2004 - Network Extended Device Management System Supporting Common Interface and Location Transparency
OZAKI Ryota; MARUYAMA Katsumi; HIDAKA Soichiro; KODAMA Kazuya
Summer United Workshops on Parallel, Distributed and Cooperative Processing (SWoPP 2004), Aug. 2004 - Meta-data Description and System Development for Advanced Video Retrieval
ITO Manabu; KOIKE Mayumi; IKEDA Kayo; HIDAKA Soichiro; AOKI Terumasa
IPSJ SIG Notes, Jun. 2004 - FLWOR Arranging: Optimizing nested FLWOR bloks in XQuery by rewriting
KATO Hiroyuki; HIDAKA Soichiro
IPSJ SIG Notes, May 2004 - 3D Interface for Image/Video Retrieval
KOIKE Mayumi; AOKI Terumasa; IKEDA Kayo; ITO Manabu; HIDAKA Soichiro
情報処理学会研究報告AVM, Mar. 2004 - Verification of Effectiveness on 3D Interface for Image/Video Retrieval
KOIKE Mayumi; AOKI Terumasa; IKEDA Kayo; HIDAKA Soichiro
情報処理学会研究報告AVM, Mar. 2004 - 12-2 A Study on Advanced Video Retrieval for Producing the Content
Ito Manabu; Ikeda Kayo; Koike Mayumi; Hidaka Soichiro; Aoki Terumasa
PROCEEDINGS OF THE ITE ANNUAL CONVENTION, 2004 - Multiserver OS for control systems: Its structure and intertask messaging efficiency
S Hidaka; K Kodama; K Maruyama; H Hashizume
ELECTRONICS AND COMMUNICATIONS IN JAPAN PART I-COMMUNICATIONS, 2004, [Reviewed] - A component oriented OS for network service systems
Katsumi Maruyama; Ryota Ozaki; Soichiro Hidaka; Kazuya Kodama; Yusheng JI
Proceedings of the 5th Asia-Pacific Symposium on Information and Telecommunication Technologies (APSITT 2003), Noumea, New Caledonia(Nov., 2003), Nov. 2003, [Reviewed] - Redundant Communication Elimination Optimization in XQuery for Multimedia Contents Management using Metadata in Distributed Digital Library Environments
Soichiro Hidaka; Hiroyuki Kato
Proceedings of the Workshop on Multimedia Contents in Digital Libraries, Chania, Crete, Greece(Jun., 2003), Jun. 2003, [Reviewed] - Multi-Server OS for Control Systems: Structure and Inter-Task Messaging Efficiency
HIDAKA Soichiro; KODAMA Kazuya; MARUYAMA Katsumi, HASHIZUME Hiromichi
The Transactions of the Institute of Electronics,Information and Communication Engineers B, Mar. 2003, [Reviewed] - 大規模通信シミュレーションのハイブリッド並列環境への適用
日高宗一郎
電子情報通信学会ソサエティ大会講演論文集, Sep. 2002 - Implementation and performance evaluation of a FIFO Queue class library for time warp
Soichiro Hidaka; Terumasa Aoki; Hitoshi Aida; Tadao Saito
Systems and Computers in Japan, Aug. 2002, [Reviewed] - A file server optimization using scatter/gather IPC on L4 based multi-server operating system
S Hidaka; K Kodama; YS Ji; K Maruyama
6TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL I, PROCEEDINGS, 2002, [Reviewed] - Extensible distributed operating system for reliable control systems
Katsumi Maruyama; Kazuya Kodama; Soichiro Hidaka; Hiromichi Hashizume
Proceedings of the 10th Workshop on ACM SIGOPS European Workshop, EW 10, 2002, [Reviewed] - CG/アニメ画像に適した電子透かし方式の一検討
日高宗一郎; 高橋由泰; 木村徹; 加藤弘之; 青木 輝勝
第63回情報処理学会全国大会講演論文集, Sep. 2001 - A Study on Watermarking for Animation Images
AOKI Terumasa; TAKAHASHI Yoshiyasu; HIDAKA Soichiro; KIMURA Toru; KATO Hiroyuki; YASUDA Hiroshi
IPSJ SIG Notes, Sep. 2001 - Imprementation of the Digital Watermark with Robustness to Cropping
TAKAHASHI Yoshiyasu; KIMURA Touru, KATO Hiroyuki; HIDAKA Soichiro; AOKI Terumasa
電子情報通信学会ソサイエティ大会講演論文集・情報・システム, Aug. 2001 - A study on multi-server distributed OS for real-time systems
HIDAKA Soichiro; KODAMA Kazuya; MARUYAMA Katsumi
情報処理学会研究報告, Jun. 2001 - A Cutting-tolerant Watermarking Method for CG/Animation Image
AOKI Terumasa; KATO Hiroyuki; KIMURA Toru; TAKAHASHI Yoshiyasu; HIDAKA Soichiro
電子情報通信学会総合大会講演論文集・基礎・境界, Mar. 2001 - ディジタルコンテンツ流通の動向と今後の課題 (招待講演)
青木輝勝; 加藤弘之; 木村徹; 濱中淳宏; 日高宗一郎
(株)日本テクノセンター招待講演, 2001年1月24-25日, 24 Jan. 2001, [Invited] - A distributed access control method for wireless LANs in shadowing environments
T Saito; H Aida; T Aoki; S Hidaka; T Toranawigtrai; A Hashimoto
ELECTRONICS AND COMMUNICATIONS IN JAPAN PART I-COMMUNICATIONS, 2001, [Reviewed] - Querying Structured Documents based on Human Visual Memory (Poster)
S. Hidaka; H. Kato; K. Oyama
Proceedings of the First International Symposium on Advanced Informatics (AdInfo2000), Tokyko, Japan,(Mar., 2000), Mar. 2000 - Construction of a Large-scale Test Collection for IR Systems
N. Kando; K. Kuriyama; T. Nozue; K. Eguchi; H. Kato; S. Hidaka; K. Oyama
Proceedings of the First International Symposium on Advanced Informatics (AdInfo2000), Tokyo, Japan(Mar., 2000), Mar. 2000 - Development of an Online Journal Editing and Publishing System
Oyama Keizo; Kando Noriko; Satoh Shin'ichi; Kato Hiroyuki; Hidaka Soichiro
Research bulletin of the National Center for Science Information System, Mar. 2000, [Reviewed] - Implementation and Performance Evaluation of a FIFO Queue Class Library
HIDAKA Soichiro; AOKI Terumasa; AIDA Hitoshi; SAITO Tadao
電子情報通信学会論文誌, Feb. 2000, [Reviewed] - A Distributed Access Control Method for Wireless LANs in Shadowing Environments
SAITO Tadao; AIDA Hitoshi; AOKI Terumasa; HIDAKA Soichiro; TORANAWIGTRAI Tredej; HASHIMOTO Akinori
The Transactions of the Institute of Electronics,Information and Communication Engineers B, Feb. 2000, [Reviewed] - Querying structured documents based on human visual memory
S Hidaka; H Kato; K Oyama
INFORMATION REUSE AND INTEGRATION, 2000, [Reviewed] - A Study on Index Structure for Querying Already-Read Documents based on Visual Memory of Word Occurrences
S. Hidaka; H. Kato; K. Oyama
IPSJ SIG Notes (DBS), Jan. 2000 - Querying Structured Documents based on Human Visual Memory
S. Hidaka; H. Kato; K. Oyama
Proceedings of the International Symposium on Database Applications in Non-Traditional Environments(DANTE'99), Kyoto, Japan,(Dec., 1999), Dec. 1999, [Reviewed] - Online Publication Systems
S. Hidaka; H. Kato; S. Sato; N. Kando; K. Oyama
Proc. of the 16th Workshop on Digital Libraries, Nov. 1999 - The NTCIR Workshop : The first evaluation workshop on Japanese text retrieval and cross-lingual information retrieval (invited)
N. Kando; K. Kuriyama; T. Nozue; K. Eguchi; H. Kato; S. Hidaka
Proceedings of the 4th International Workshop on Information Retrieval with Asian Languages., Taipei, Taiwan,(Nov., 1999), Nov. 1999, [Reviewed], [Invited] - Optimization of communication process by logical process transfer in PDES
Shengwei Cai; Tadao Saito; Hitoshi Aida; Soichiro Hidaka
第59回情報処理学会全国大会講演論文集, Sep. 1999 - Overview of IR tasks at the first NTCIR Workshop
N. Kando; K. Kuriyama; T. Nozue; K. Eguchi; H. Kato; S. Hidaka
Proceedings of the First NTCIR Workshop on Research in Japanese Text Retrieval and Term Recognition, Tokyo, Japan,(Aug., 1999), Aug. 1999 - A Proposal of Wireless Token Passing LAN
SHUTO Satoshi; KIM Byung-Suk; HIDAKA Soichiro; AIDA Hitoshi; SAITO Tadao
総合大会講演論文集・通信, Mar. 1999 - A Study on Parallel Discrete Event Simulation Environments (Doctoral dissertation) (in Japanese)
Soichiro Hidaka
Graduate School of Engineering, University of Tokyo, Mar. 1999, [Reviewed] - A study on output analysis of parallel discrete event simulation
E. Shimamura; S. Hidaka; H. Aida; T. Saito
Proceedings of the 58th National Convention of Information Processing Society of Japan, Mar. 1999 - A study on statistical issue of parallel discrete event simulations
Ei Shimamura; Soichiro Hidaka; Hitoshi Aida; Tadao Saito
第57回情報処理学会全国大会講演論文集, Oct. 1998 - Logical Process Scheduling using Heap Data Structure in Parallel Discrete Event Simulation
S. Hidaka; H. Aida; T. Saito
Technical Report of the Institute of Electronics, Information and Communication Engineers, Aug. 1998 - A study on Acceleration of Parallel Event Simulation of Queuing System (in Japanese)
Soichiro Hidaka; Hitoshi Aida; Tadao Saito
Proceedings of the IEICE General Conference, Mar. 1998 - A Study of Ring Reconfiguration in Wireless Token Passing LAN
トラナウィカライトリーデージ; 日高宗一郎; 橋本昭則; 青木輝勝; 相田仁; 齊藤忠夫
電子情報通信学会総合大会講演論文集・通信, Mar. 1998 - A FIFO queue class library as a state variable of Time Warp logical processes
S Hidaka; T Aoki; H Aida; T Saito
COMPUTING IN OBJECT-ORIENTED PARALLEL ENVIRONMENTS, 1998, [Reviewed] - An Automated Circuit Design System using PDF-based Electronic Documents
S. Hidaka; H. Gotoda; H. Hashizume; K. Ono
Proceedings of the 1997 engineering science society conference of IEICE, Mar. 1997 - Optimization of Communication in Massively-Parallel C Language NCX using Remote Evaluation
S. Hidaka; H. Aida; T. Saito
Proc. of 1996 IEICE Information and System Society Conference, 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, Mar. 1996, [Reviewed] - 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), Mar. 1996 - Remote Evaluating Expressions in Massively-Parallel C Language NCX
HIDAKA Soichiro; KAWAI Shiro; AIDA Hitoshi; SAITO Tadao
第51回情報処理学会全国大会講演論文集, Sep. 1995 - 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", Mar. 1995 - AP-1000 上でのNCXコンパイラの実現
相田仁; 川合史朗; 日高宗一郎; 林博之
文部省重点領域研究「超並列原理に基づく情報処理基本体系」第5回シンポジウム予稿集, Oct. 1994 - Assigning Virtual Processors onto MIMD computers in a Compiler for Massively-Parallel C Language NCX
HIDAKA Soichiro; KAWAI Shiro; AIDA Hitoshi; SAITO Tadao
第49回情報処理学会全国大会講演論文集, Sep. 1994 - Compiling for Massively-Parallel C Language NCX on MIMD Conputers
KAWAI Shiro; HIDAKA Soichiro; AIDA Hitoshi; SAITO Tadao
第49回情報処理学会全国大会講演論文集, Sep. 1994 - An Implementation of Data Parallel C Language NCX on MIMD Parallel Computers (in Japanese), Bachelor's thesis
Soichiro Hidaka
Department of Electrical Engineering, Faculty of Engineering, University of Tokyo, Mar. 1994, [Reviewed] - AP-1000 上でのNCXコンパイラの実現
相田仁; 川合史朗; 日高宗一郎
文部省重点領域研究「超並列原理に基づく情報処理基本体系」第4回シンポジウム予稿集, Mar. 1994
- Evolutionary Framework and Conflict Resolution for Multidirectional Transformations
Soichiro Hidaka
Bidirectional Collaborative Data Management, 12 Dec. 2024 - Design and Engineering of Adaptive Software Systems
Soichiro Hidaka; Zhenjiang Hu; Marin Litoiu; Lin Liu; Patrick Martin; Xin Peng; Guiling Wang; Yijun Yu
Engineering Adaptive Software Systems, Communications of NII Shonan Meetings, Dec. 2018, [Reviewed] - A View-based Programmable Architecture for Controlling and Integrating Decentralized Data.
Yasuhito Asano; Soichiro Hidaka; Zhenjiang Hu; Yasunori Ishihara; Hiroyuki Kato; Hsiang-Shang Ko; Keisuke Nakano; Makoto Onizuka; Yuya Sasaki; Toshiyuki Shimizu; Kanae Tsushima; Masatoshi Yoshikawa
CoRR, 2018 - Making View Update Strategies Programmable - Toward Controlling and Sharing Distributed Data -.
Yasuhito Asano; Soichiro Hidaka; Zhenjiang Hu; Yasunori Ishihara; Hiroyuki Kato; Hsiang-Shang Ko; Keisuke Nakano; Makoto Onizuka; Yuya Sasaki; Toshiyuki Shimizu,Van-Dang Tran; Kanae Tsushima; Masatoshi Yoshikawa
CoRR, 2018 - Bidirectional Transformation: From the Classic View Update Problem to the Linguistic Approach and Applications to Software Developments
Soichiro Hidaka
IPSJ magazine, Dec. 2017, [Reviewed], [Invited] - Guaranteeing Free-edits to Bidirectional Graph Transformations
Ezgi Çiçek; Soichiro Hidaka
GRACE Technical Reports, Sep. 2016 - Principles and Applications of Model Driven Engineering (3) Applications of Model Driven Engineering from a Perspective of Model Classifications
Soichiro Hidaka; Jean Bézivin; Zhenjiang Hu; a; Frédéric Jouault
Computer Software, May 2016, [Reviewed] - Graph Generation via Reverse Iterative Query Processing
Makoto ONIZUKA; Hiroyuki KATO; Soichiro HIDAKA; Keisuke NAKANO; Zhenjiang HU
GRACE Technical Reports, Mar. 2016 - Bidirectional Transformation on Ordered Graphs
Fei Yang; Soichiro Hidaka
GRACE TECHNICAL REPORTS, Dec. 2015 - Principles and Applications of Model Driven Engineering (2) Metamodeling and Model Transformation
Soichiro Hidaka; Jean Bézivin; Zhenjiang Hu; a; Frédéric Jouault
Journal of the Japan Society for Software Science and Technology, May 2015, [Reviewed] - A Trace-based Approach to Increased Comprehensibility and Predictability of Bidirectional Graph Transformations
Soichiro Hidaka; Martin Billes; Quang Minh Tran
GRACE Technical Reports, Feb. 2015 - Trace-based Approach to Editability and Correspondence Analysis for Bidirectional Graph Transformations
Soichiro Hidaka; Martin Billes; Quang Minh Tran; Kazutaka Matsuda
GRACE Technical Reports, Feb. 2015 - Parallelizing Graph Structural Recursion with BSP
Chong Li; Le-Duc Tung; Nhat-Tan Duong; Soichiro Hidaka; Zhenjiang Hu
GRACE Technical Reports, Feb. 2015 - Introduction to Principles and Practice of Bidirectional Transformations (Tutorial)
Hiroyuki Kato; Zhenjiang Hu; Soichiro Hidaka; Kazutaka Matsuda
Journal of the Japan Society for Software Science and Technology - Computer Software, May 2014, [Reviewed], [Invited] - Report of EASSy2013
Fuyuki Ishikawa; Soichiro Hidaka; Kenji Tei
Journal of the Japan Society for Software Science and Technology - Computer Software, May 2014, [Reviewed], [Invited] - On the use of Bidirectional Transformations for Translational Semantics
Florent Latombe; Soichiro Hidaka
GRACE TECHNICAL REPORTS, Apr. 2014 - Preface to the Third International Workshop on Bidirectional Transformations
Soichiro Hidaka; James F. Terwilliger
Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014), Athens, Greece, March 28, 2014., Mar. 2014 - Principles and Applications of Model Driven Engineering (1) History and Context of Model Driven Engineering.
Soichiro Hidaka; Zhenjiang Hu; Jean BÉzivin; FrÉ DÉric Jouault
Computer Software, 2013, [Reviewed] - Research on the clustering towards the improvement in conservativeness of a Simulink model, and bidirectional conversion with an UML model
小澤 貴之; 鷲崎 弘宜; 深澤 良彰; Zhenjiang Hu; Soichiro Hidaka
組込みシステムシンポジウム2012論文集, 10 Oct. 2012 - Parameterized Graph Transformation Languages with Monads
Kazuyuki Asada; Soichiro Hidaka; Hiroyuki Kato; Zhenjiang Hu; Keisuke Nakano
GRACE Technical Report, Oct. 2012 - iGRT: A Generic Interface for GRoundTram
Yiqing ZHU; Tao ZAN; Soichiro HIDAKA; Zhenjiang HU
GRACE-TR, Jun. 2012 - Marker-directed Optimization of UnCAL Graph Transformations (revised version)
Soichiro Hidaka; Zhenjiang Hu; Kazuhiro Inaba; Hiroyuki Kato; Kazutaka Matsuda; Keisuke Nakano; Isao Sasano
GRACE Technical Report, Nov. 2011 - blinkit: Maintaining Invariant Traceability through Bidirectional Transformations
Yijun Yu; Yu Lin; Zhenjiang Hu; Soichiro Hidaka; Hiroyuki Kato; Lionel Montrieux
Technical Reports at the Centre for Research in Computing, Faculty of Mathematics, Computing and Technology, The Open University, Sep. 2011 - GRoundTram: An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations
Soichiro Hidaka; Zhenjiang Hu; Kazuhiro Inaba; Hiroyuki Kato; Keisuke Nakano
GRACE Technical Report, Aug. 2011 - Marker-directed optimization of UnCAL graph transformations
Soichiro Hidaka; Zhenjiang Hu; Kazuhiro Inaba; Hiroyuki Kato; Kazutaka Matsuda; Keisuke Nakano; Isao Sasano
GRACE Technical Report, Jun. 2011 - Simulation-based Graph Schema for View Updatability Checking of Graph Queries
Keisuke Nakano; Soichiro Hidaka; Zhenjiang Hu; Kazuhiro Inaba; Hiroyuki Kato
GRACE Technical Report, May 2011 - Towards State-based Interface to a Graph Roundtrip Transformation System GRoundTram (poster)
Soichiro Hidaka; Zhenjiang Hu; Kazuhiro Inaba; Hiroyuki Kato; Kazutaka Matsuda; Keisuke Nakano
Eighth ASIAN Symposium on Programming Languages and Systems (APLAS 2010), Shanghai, China, November 22 - December 1, 2010, Dec. 2010 - Range Analysis of Graph Transformation for Simulation-based Schema (poster)
Keisuke Nakano; Soichiro Hidaka; Zhenjiang Hu; Kazuhiro Inaba; Hiroyuki Kato
Eighth ASIAN Symposium on Programming Languages and Systems (APLAS 2010), Shanghai, China, November 22 - December 1, 2010, Dec. 2010 - Sound and Complete Validation of Graph Transformations
Kazuhiro Inaba; Soichiro Hidaka; Zhenjiang Hu; Hiroyuki Kato; Keisuke Nakano
GRACE Technical Report, May 2010 - Development of innovative bidirectional software, NII Special "New Trend of Software Engineering"
Zhenjiang Hu; Soichiro Hidaka; Hiroyuki Kato
NII Today (English), Apr. 2010 - Context-Preserving XQuery Fusion
Hiroyuki Kato; Soichiro Hidaka; Zhenjiang Hu; Keisuke Nakano; Yasunori Ishihara
PROGRAMMING LANGUAGES AND SYSTEMS, 2010 - Bidirectionalizing Graph Transformations
Soichiro Hidaka; Zhenjiang Hu; Kazuhiro Inaba; Hiroyuki Kato; Kazutaka Matsuda; Keisuke Nakano
ICFP 2010: PROCEEDINGS OF THE 2010 ACM SIGPLAN INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING, 2010 - Bidirectionalizing Structural Recursion on Graphs
Soichiro Hidaka; Zhenjiang Hu; Kazuhiro Inaba; Hiroyuki KatoKazutaka Matsuda; Keisuke Nakano
26th JSSST Convention, Sep. 2009 - An Order-Sensitive Fusion for XQuery
Hiroyuki Kato; Soichiro Hidaka; Zhenjiang Hu; Keisuke Nakano; Yasunori Ishihara
GRACE TECHNICAL REPORTS, Sep. 2009 - An XQuery Fusion with Preserving Document Order
Hiroyuki Kato; Soichiro Hidaka; Zhenjiang Hu; Keisuke Nakano; Yasunori Ishihara
JSSST 26th Convention, Sep. 2009 - Bidirectionalizing Structural Recursion on Graphs
Soichiro Hidaka; Zhenjiang Hu; Kazuhiro Inaba; Hiroyuki Kato; Kazutaka Matsuda; Keisuke Nakano
GRACE TECHNICAL REPORTS, Aug. 2009 - An Algebraic Approach to Bidirectional Model Transformations
Soichiro Hidaka; Zhenjiang Hu; Hiroyuki Kato; Keisuke Nakano
GRACE TECHNICAL REPORTS, Sep. 2008 - Towards Compositional Approach to Model Transformations
Soichiro Hidaka; Zhenjiang Hu; Hiroyuki Kato; Keisuke Nakano
GRACE TECHNICAL REPORTS, Aug. 2008 - A Relative Cost Model of XQuery for Optimization Based on Rewriting
Soichiro HIDAKA; Hiroyuki KATO; Masatoshi YOSHIKAWA
NII Technical Reports, Feb. 2008 - "KANSEI PERSPECTIVE" IMAGE CHARACTERISTICS EXPRESSION BY MANUAL DESCRIPTION FOR IMAGE RETRIEVAL
ITO Manabu; KOIKE Mayumi; IKEDA Kayo; HIDAKA Soichiro; AOKI Terumasa
IEICE technical report, 02 Jan. 2006 - Content Classification Using Photographic Subject's Position
ITO Manabu; KOIKE Mayumi; IKEDA Kayo; HIDAKA Soichiro; AOKI Terumasa
IEICE technical report. Image engineering, 09 Dec. 2004 - Content Classification Using Photographic Subject's Position
ITO Manabu; KOIKE Mayumi; IKEDA Kayo; HIDAKA Soichiro; AOKI Terumasa
ITE technical report, 09 Dec. 2004 - Multi-Server OS for Control Systems : Its Structure and InterTask Messaging Efficiency, Vol.J86-B,No.3, pp.376-384
HIDAKA Soichiro; KODAMA Kazuya; MARUYAMA Katsumi; HASHIZUME Hiromichi
IEICE transactions on communications, 01 Mar. 2003 - Development of an online journal editing and publishing system
Keizo Oyama; Noriko Kando; Shin'ichi Sato; Hiroyuki Kato; Soichiro Hidaka
Research bulletin of the National Center for Science Information System, Mar. 2000 - Online publication systems (in Japanese w/English abstract)
Keizo Oyama; Noriko Kando; Shin'ichi Sato; Hiroyuki Kato; Soichiro Hidaka
Nov. 1999 - オンラインジャーナル出版システム
日高宗一郎; 加藤弘之; 佐藤真一; 神門典子; 大山敬三
情報処理学会研究報告, Jan. 1999
- Operational Transformation-based Conflict Resolution for Data Updates in Bidirectional Transformation Network (unrefereed presentation)
Yuki Nakano; Soichiro Hidaka
148th workshop of the IPSJ Special Interest Group on Programming, 21 Mar. 2024, 情報処理学会プログラミング研究会 - An Adaptation Framework for View-based Data Sharing in Bipartite Network of Bidirectional Transformations (unrefereed)
Soichiro Hidaka; Hiroyuki Kato; Masato Takeichi
日本ソフトウェア科学会 第40回大会, 12 Sep. 2023 - 双方向変換と単方向変換の連鎖に基づく漸進的双方向化
日高 宗一郎
日本ソフトウェア科学会第39回大会, ポスターセッション59-P, 31 Aug. 2022 - Conflict Resolution for Data Updates by Multiple Bidirectional Transformations
Mikiya Habu; Soichiro Hidaka
情報処理学会第133回プログラミング研究発表会, 17 Mar. 2021, 情報処理学会プログラミング研究会 - トレースに基づく双方向変換の多方向化に向けたco-targetial compositionのための漸進化
日高; 宗一郎
第22回プログラミングおよびプログラミング言語ワークショップ (PPL2020), カテゴリ3 (新型コロナウイルス感染症による中止のためポスターデータ提出のみ), Mar. 2020, JSSST - Selective Update Propagation Method between Code Clones through Bidirectional Transformation
Takahiro Aihara; Soichiro Hidaka
123rd workshop of the IPSJ Special Interest Group on Programming, 18 Mar. 2019 - Bidirectionalizing Model Transformation Languages through Partial Translation
Soichiro Hidaka; Massimo Tisi
JSSST 33rd Convention, 09 Sep. 2016 - Towards Trace-based Approach to Increasing the Comprehensibility and Predictability of Bidirectional Graph Transformations
Soichiro Hidaka
11 Oct. 2014, 4th Asian Workshop of Advanced Software Engineering - Towards A Trace-based Approach to Increasing the Comprehensibility and Predictability of Bidirectional Graph Transformations
Soichiro Hidaka; Billes Martin; Quang Minh Tran
日本ソフトウェア科学会 第31回大会, 09 Sep. 2014 - Structural Recursion for Querying Ordered Graphs
Soichiro Hidaka
JSSST 31st Convention, 08 Sep. 2014, [Invited] - Position Statement: Compositional development framework for bidirectional model transformations based on structural recursion on graphs
Soichiro Hidaka
Bi-directional transformations (BX) – Theory and Applications Across Disciplines, 04 Dec. 2013 - Bidirectional Graph Transformation Infrastructure and its Applications
Soichiro Hidaka
NII Shonan Meeting on Engineering Adaptive Software Systems (EASSy), 10 Sep. 2013 - Towards an interoperable bidirectional graph transformation system
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, 05 Mar. 2013, JSSST - Interoperable traceability in bidirectional graph transformations
Soichiro Hidaka
Atlanmod-BiG Joint workshop on Bidirectionality in Model Transformations, 15 Sep. 2012 - Maintaining Invariant Traceability through Bidirectional Transformations(双方 向変換を用いた不変トレーサビリティの保守) Introduction to Co-authored ICSE'12 paper (Special Talk)
Soichiro Hidaka
JSSST 29th Convention, 24 Aug. 2012, [Invited] - 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, 03 Jul. 2012 - Bidirectional Model Transformation based on Structural Recursion on Graphs
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 - Bidirectionalizing Graph Transformations (国外既発表カテゴリ)
Soichiro Hidaka; Zhenjiang Hu; Kazuhiro Inaba; Hiroyuki Kato; Kazutaka Matsuda; Keisuke Nakano
第13回プログラミングおよびプログラミング言語ワークショップ（PPL2011）, Mar. 2011, 日本ソフトウェア科学会 プログラミング論研究会 - Position Statement: Bidirectional Graph Transformations based on Structural Recursion
Soichiro Hidaka
Dagstuhl seminar report, Bidirectional Transformations "bx", Jan. 2011 - Working Group: Relationships between BX and View Updates (proposal and report)
Soichiro Hidaka
Dagstuhl seminar report, Bidirectional Transformations "bx", Jan. 2011 - Marker-directed optimization of UnCAL graph algebra revisited: Optimizing bidirectional graph transformations
Soichiro Hidaka
The Fourth DIKU-IST Joint Workshop on Foundations of Software, Jan. 2011 - Range Analysis of Graph Transformation for Simulation-based Schema (poster)
Keisuke Nakano; Soichiro Hidaka; Zhenjiang Hu; Kazuhiro Inaba; Hiroyuki Kato
Eighth Asian Symposium on Programming Languages and Systems (APLAS 2010), Nov. 2010 - Towards State-based Interface to a Graph Roundtrip Transformation System GRoundTram (poster)
Soichiro Hidaka; Zhenjiang Hu; Kazuhiro Inaba; Hiroyuki Kato; Natio; u; e; of; Kazutaka Matsuda; Tohoku University; Keisuke Nakano; The; iversity of Electro-Communications
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 - Sound and Complete Validation of Graph Transformations
稲葉 一浩; 日高 宗一郎; 胡 振江; 加藤 弘之; 中野 圭介
第12回プログラミングおよびプログラミング言語ワークショップ, Mar. 2010, 日本ソフトウェア科学会 プログラミング論研究会 - GRoundTram: 構造的再帰関数に基づく双方向グラフ変換システム
日高宗一郎; 胡振江; 稲葉一浩; 加藤弘之; 松田一孝; 中野圭介
第12回プログラミングおよびプログラミング言語ワークショップ, 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 - On the traceability in a graph roundtrip transformation system GRoundTram
Soichiro Hidaka
Workshop on Bidirectional Transformation (BT2010) at GRACE International Symposium on Advanced Software Engineering 2010, Mar. 2010 - 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 - 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 - 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 - Bidirectional graph transformation based on structural recursion
Soichiro Hidaka
The 26th GRACE Seminar on Advanced Software Science and Engineering, Oct. 2009, GRACE Center, [Invited] - 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, 05 Jan. 2009 - Bidirectional Graph Transformation using UnCAL
Soichiro Hidaka
GRACE International Meeting on Bidirectional Transformations, 14 Dec. 2008 - 入れ子XQueryにおける冗長なエレメント構築子の排除による経路式の畳み込みに基づく問合せ最適化手法
加藤弘之; 日高宗一郎
インフォーマル・ワークショップ「XML処理手法と理論」第5回(XYZ5)，東京大学(2005年6月), Jun. 2005 - ディジタルコンテンツ流通の動向と今後の課題 (招待講演)
青木輝勝; 加藤弘之; 木村徹; 濱中淳宏; 日高宗一郎
(株)日本テクノセンター招待講演, Jan. 2001
- Type Systems and Functional Languages
Sep. 2024 - Present
Faculty of Computer and Information Sciences, Hosei University - Advanced Lecture on Information Systems (omnibus)
Sep. 2023 - Present
Faculty of Computer and Information Sciences, Hosei University - Computer Science Laboratory Work (omnibus)
Sep. 2023 - Feb. 2024
Faculty of Computer and Information Sciences, Hosei University - Data Structures and Algorithms Lab
Apr. 2021 - Jul. 2021
Faculty of Computer and Information Sciences, Hosei University - Databases
Faculty of Computer and Information Sciences, Hosei University - Introduction to Computer Systems II
Faculty of Computer and Information Sciences, Hosei University - Operations Research
Faculty of Computer and Information Sciences, Hosei University - Introduction to Software Science II
Department of Informatics, School of Multidisciplinary Sciences, The Graduate University for Advanced Studies - Database Programming Languages
Department of Informatics, School of Multidisciplinary Sciences, The Graduate University for Advanced Studies - Information Processing Literacy I/II (FY 2003 - 2007)
Hosei University - Introduction to Multidisciplinary Science
School of Multidisciplinary Sciences, The Graduate University for Advanced Studies - Database Programming Languages
Graduate School of Computer and Information Sciences, Hosei University - New Network Theory
Faculty of Computer and Information Sciences, Hosei University - Formal Languages and Automata
Faculty of Computer and Information Sciences, Hosei University - Introduction to Computer and Information Sciences
Faculty of Computer and Information Sciences, Hosei University
- IEEE
- ACM
- Japan Society for Software Science and Technology
- Information Processing Society of Japan
- Institute of Electronics, Information and Communication Engineers
- LambdaFG version 0.1a
Soichiro Hidaka
Aug. 2013 - Aug. 2013, Software - GRoundTram Version. 0.9.3
Soichiro Hidaka; Zhenjiang Hu; Kazuhiro Inaba; Hiroyuki Kato; Kazutaka Matsuda; Keisuke Nakano
Aug. 2012, Software - GRoundTram Version. 0.9.2
Soichiro Hidaka; Zhenjiang Hu; Kazuhiro Inaba; Hiroyuki Kato; Kazutaka Matsuda; Keisuke Nakano
Mar. 2011, Software - GRoundTram Version 0.1.1
Soichiro Hidaka; Zhenjiang Hu; Kazuhiro Inaba; Hiroyuki Kato; Kazutaka Matsuda; Keisuke Nakano
Nov. 2009, Software - Bidirectionalization of UnCAL graph algebra
Soichiro Hidaka; Zhenjiang Hu; Hiroyuki Kato; Keisuke Nakano
Sep. 2008, Software - UnQL+ for Compositional Model Transformation
Soichiro Hidaka; Zhenjiang Hu; Hiroyuki Kato; Keisuke Nakano
Sep. 2008, Software - L4Minix Ver. E
K. Maruyama; K. Kodama; S. Hidaka; H. Hashizume; Y. Ji; I. Ide; A. Nakamura
2002, Software
- A Study on Incremental Bidirectionalization of Data Transformations
Apr. 2019 - Mar. 2022 - Software Foundation for Interoperability of Autonomic Distributed Data based on Bidirectional Transformation
May 2017 - Mar. 2022 - リアクティブプログラミングのための高信頼化技術
Apr. 2017 - Mar. 2021 - A Study on interoperable bidirectional graph transformations (Fostering Joint International Research)
Fund for the Promotion of Joint International Research (Fostering Joint International Research)
Hosei University
Jan. 2016 - Mar. 2018 - A Study on interoperable bidirectional graph transformations
Apr. 2014 - Mar. 2018 - Integrated and Fundamental for Large-Scale and Practical Bidirectional Transformation
Apr. 2013 - Mar. 2017 - A study on functional bidirectional graph transformation languages
Grant-in-Aid for Young Scientists (B)
National Institute of Informatics
2011 - 2013 - A study on linguistic foundations of bidirectional model transformation
Grant-in-Aid for Scientific Research (B)
National Institute of Informatics
2010 - 2013 - Towards Model Transformation Validation from Model Validation
Grant-in-Aid for Challenging Exploratory Research
National Institute of Informatics
2010 - 2011 - A Study on application of fusion transformation on XML database programming languages
若手研究(B)
国立情報学研究所
2008 - 2010 - Federated software-bus (distributed OS) for ubiquitous network nodes
Grant-in-Aid for Scientific Research (B)
National Institute of Informatics
2007 - 2009 - A Study on Parallelism of Functional Query Languages in the Presence of Side-Effects
若手研究(B)
国立情報学研究所
2005 - 2007 - New flexible software platform to overcome ubiquitous NW complexity
Grant-in-Aid for Scientific Research (B)
National Institute of Informatics
2004 - 2007 - 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"
Dec. 2003 - Mar. 2006 - Research on an extensible real-time operating system to support integrated distributed services
Grant-in-Aid for Scientific Research (B)
National Institute of Informatics
2001 - 2003 - A study on supporting of processor assignment for large scale parallel discrete event simulation
Encouragement of Young Scientists (A)
National Institute of Informatics
2000 - 2001
- US6,628,650, 特願--, Variable rate TDM switching system
T. Saito; H. Aida; T. Aoki; S. Hidaka; U. Bunworasate - 特許3002727, 特願平10-217379, ＴＳ接続を用いた可変速度ＴＤＭ交換方式
齊藤忠夫; 相田仁; 青木輝勝; 日高宗一郎; ブンワォラセト ウドムキャット
- Reaching out to end users
panelist
Fourth International Workshop on Bidirectional Transformations, L'Aquila, Italy, 24 Jul. 2015
- Reviewer (2017)
2017 - 2017 - Additional Reviewer
May 2014 - May 2014 - Subreviewer
Mar. 2014 - Mar. 2014 - Additional Reviewer
2014 - 2014 - Reviewer
2014 - 2014 - External reviewer, 15th International Symposium on Principles and Practice of Declarative Programming (PPDP 2013)
Jul. 2013 - Jul. 2013 - Reviewer, ACM Transactions on Autonomous and Adaptive Systems (TAAS)
2013 - 2013 - Organizer
Sep. 2012 - Sep. 2012 - Reviewer, The Journal of Object Technology
Jul. 2012 - Jul. 2012 - Additional Reviewer, 27th IEEE/ACM International Conference on Automated Software Engineering
Apr. 2012 - Apr. 2012 - Development Tool Session Chair, 28th Convention of Japan Society for Software Science and Technology, Okinawa, Japan
Sep. 2011 - Sep. 2011 - Additional Reviewer (Co-reviewer), ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems (MODELS 2011) Foundations Track
Jun. 2011 - Jun. 2011 - Jun. 2011 - Jun. 2011
- Organizer, GRACE Seminar on Advanced Software Science and Engineering (Oct. 2010 to Mar. 2011)
Oct. 2010 - Oct. 2010 - Reviewer, NII Journal No.6 (2003)
- 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)
- 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, Annual Symposium on Advanced Computing Systems and Infrastructures (SACSIS 2005)
- 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
- Reviewer, Journal of the ACM (once)
