加藤弘之 (Hiroyuki Kato) - マイポータル

基本情報

所属: 国立情報学研究所アーキテクチャ科学研究系助教

J-GLOBAL ID: 200901006519215698
researchmap会員ID: 1000298772

外部リンク: http://research.nii.ac.jp/~kato/

研究分野

情報通信 / ソフトウェア /

論文

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 …

Communications in Computer and Information Science 1457 CCIS 13-51 2022年査読有り招待有り
プログラム可能なスキーマの共存戦略の実現手法

田中順平, Van-Dang Tran, 加藤弘之, 胡振江

情報処理学会論文誌プログラミング(PRO) 14(5) 15-33 2021年11月査読有り
Toward Recursive View Update Strategies on Relations

Van-Dang Tran, Hiroyuki Kato, Zhenjiang Hu

Proceedings of Ninth International Workshop on Bidirectional Transformations (Bx 2021) 2021年6月査読有り
BIRDS

Van-Dang Tran, Hiroyuki Kato, Zhenjiang Hu

Proceedings of the VLDB Endowment 13(12) 2897-2900 2020年8月査読有り
BIRDS: Programming view update strategies in Datalog

Van-Dang Tran, Hiroyuki Kato, Zhenjiang Hu

PVLDB 13(12) 2897-2900 2020年8月査読有り
A Counterexample-Guided Debugger for Non-recursive Datalog

Van-Dang Tran, Hiroyuki Kato, Zhenjiang Hu

Programming Languages and Systems (LNCS, volume 12470) 323-342 2020年査読有り
Programmable View Update Strategies on Relations

Van-Dang Tran, 加藤弘之, 胡振江

PVLDB 13(5) 726-739 2020年査読有り
Toward BX-Based Architecture for Controlling and Sharing Distributed Data

Yasunori Ishihara, Hiroyuki Kato, Keisuke Nakano, Makoto Onizuka, Yuya Sasaki

IEEE International Conference on Big Data and Smart Computing(BigComp) 1-5 2019年2月査読有り
Flexible Framework for Data Integration and Update Propagation: System Aspect

Yasuhito Asano, Dennis-Florian Herr, Yasunori Ishihara, Hiroyuki Kato, Keisuke Nakano, Makoto Onizuka, Yuya Sasaki

1-5 2019年2月査読有り
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 …

CoRR abs/1809.10357 2018年査読有り
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 …

CoRR abs/1803.06674 2018年査読有り
DDO-free xquery

Hiroyuki Kato, Yasunori Ishihara, Torsten Grust

ACM International Conference Proceeding Series 130653 2017年9月1日査読有り
Cell-Based Provenance for Scientific Data

Juyeong Park, Masatoshi Yoshikawa, Hiroyuki Kato

Proceedings of the ACM/IEEE Joint Conference on Digital Libraries 2017年7月25日査読有り
セル単位のデータ来歴 --データ引用に向けて

朴柱英, 吉川正俊, 加藤弘之

第9回データ工学と情報マネジメントに関するフォーラム 2017年3月査読有り
XQuery Optimization by Avoiding Node Sorting and Duplicate Elimination

Yasunori Ishihara, Hiroyuki Kato, Torsten Grust

IEICE Technical Report 115(508) 43-48 2016年3月
Context-preserving XQuery fusion

H. Kato, S. Hidaka, Z. Hu, K. Nakano, Y. Ishihara

MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE 25(4) 916-941 2015年5月査読有り
高談闊論：双方向変換の原理と実践（解説論文）

加藤弘之, 胡振江, 日高宗一郎, 松田一孝

日本ソフトウェア科学会論文誌コンピュータソフトウェア 31(2) 44-56 2014年5月査読有り
Structural Recursion for Querying Ordered Graphs

Soichiro Hidaka, Kazuyuki Asada, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano

ACM SIGPLAN NOTICES 48(9) 305-318 2013年9月査読有り
An Experimental Implementation of Self-adjusting Bidirectional Transformations,

Vo Huu Phuc, 加藤弘之, 日高宗一郎, 胡振江

日本ソフトウェア科学会第30回大会, 東京大学本郷キャンパス, 2013年9月10日～13日. 2013年9月
GRoundTram: An integrated framework for developing well-behaved bidirectional model transformations

Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano

Progress in Informatics (10) 131-148 2013年3月査読有り

もっとみる

MISC

A Declarative Framework for Updatable Views in Relational Databases

Van-Dang Tran, 加藤弘之, 胡振江

WebDBフォーラム 2019年9月査読有り
Controlling and Sharing Distributed Data for Implementing Service Alliance.

Yasuhito Asano, Zhenjiang Hu, Yasunori Ishihara, Hiroyuki Kato, Makoto Onizuka, Masatoshi Yoshikawa

IEEE International Conference on Big Data and Smart Computing, BigComp 2019, Kyoto, Japan, February 27 - March 2, 2019 1-4 2019年査読有り
ビブリオトーク私のおすすめ：Foundation of Databases

加藤弘之

情報処理 59(11) 1038-1039 2018年11月招待有り
データ相互運用問題を支える技術

加藤弘之

情報処理学会誌 58(4) 310-317 2017年4月査読有り招待有り
制限されたDTDクラスのもとでのXQuery式の型推論 (ソフトウェアサイエンス)

杉村憲司, 石原靖哲, 加藤弘之, 藤原融

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 115(508) 37-42 2016年3月10日
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 (GRACE-TR-2011-06) 2011年11月
漸進的グラフビュー更新の枠組みの提案

加藤弘之, 鬼塚真, 日高宗一郎

日本ソフトウェア科学会大会論文集 28 1-12 2011年9月27日
blinkit: Maintaining Invariant Traceability through Bidirectional Transformations - A Technical Report

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 2011(9) 2011年9月
GRoundTram: An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations

Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano

GRACE Technical Report (GRACE-TR-2011-05) 2011年8月
Marker-directed Optimization of UnCAL Graph Transformations

Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, Isao Sasano

GRACE Technical Report (GRACE-TR-2011-02) 2011年6月
Simulation-based Graph Schema for View Updatability Checking of Graph Queries

Keisuke Nakano, Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato

GRACE Technical Report (GRACE-TR-2011-01) 2011年5月
漸進的グラフビュー更新の枠組みの提案

加藤弘之, 鬼塚真, 日高宗一郎, 中野圭介, HU Zhenjiang

日本ソフトウエア科学会大会講演論文集(CD-ROM) 28th ROMBUNNO.5A-2 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 2010年12月
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 2010年12月
Complete Validation of Graph Transformations

Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano

GRACE Technical Report GRACE-TR-2010-04 2010年5月
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 205-216 2010年
Context-Preserving XQuery Fusion

Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara

PROGRAMMING LANGUAGES AND SYSTEMS 6461 255-+ 2010年
順序を考慮に入れたXQueryの融合変換

加藤弘之, 日高宗一郎, HU ZHENJIANG, 中野圭介, 石原靖哲

情報処理学会シンポジウムシリーズ(CD-ROM) 2009(3) ROMBUNNO.3B,3 2009年11月12日
An Order-Sensitive Fusion for XQuery

Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara

Technical Report GRACE-TR-2009-04, GRACE Center, National Institute of Informatics, September 2009, 28 pages 2009年9月
An Algebraic Approach to Bidirectional Model Transformations

Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano

Technical Report GRACE-TR-2008-02 2008年9月

もっとみる

書籍等出版物

Software Foundations for Data Interoperability and Large Scale Graph Data Analytics

Lu Qin, Wenjie Zhang, Ying Zhang, You Peng, Hiroyuki Kato, Wei Wang, Chuan Xiao (担当:共編者(共編著者))

CCIS1281, Springer 2020年
トピックマップ入門

加藤弘之, 桐山孝司, 小町祐史, 瀬戸川教彦, 中林啓司, 吉田光男

東京電機大学出版局 2006年12月10日 (ISBN: 4501542101)
Advances in Databases and Multimedia for the New Century (Advanced Database Research and Development Series Vol.10)

未入力

World Scientific Publishing 2000年4月 (ISBN: 9810243103)
Advanced Database Systems for Integration of Media and User Environments 1998 (Advanced Database Research and Development Series Vol.9)

未入力

World Scientific 1998年1月

講演・口頭発表等

Flexible framework for data integration and update propagation: system aspect

Yasuhito Asano, Kyoto, Dennis-Florian Herr (Technical University of Munich, Germany, Yasunori Ishihara, Nanzan University, Japa, Hiroyuki Kato, NII, Jap, Keisuke Nakano, Tohoku, Univ, rsity, Ja, Makoto Onizuka, Osaka University, J, Yuya Sasaki(Osaka University, J

Second Workshop on Software Foundations for Data Interoperability 2019年2月27日
Toward BX-based Architecture for Controlling and Sharing Distributed Data

Yasunori Ishihara, Nanzan University, Japa, Hiroyuki Kato, NII, Jap, Keisuke Nakano, Tohoku, Univ, rsity, Ja, Makoto Onizuka, Osaka University, J, Yuya Sasaki, saka Univ, rsity

Second Workshop on Software Foundations for Data Interoperability 2019年2月27日
Controlling and Sharing Distributed Data for Implementing Service Alliance

asuhito Asano, Kyoto, Zhenjiang Hu, NII, Jap, Yasunori Ishihara, Nanzan University, Japa, Hiroyuki Kato, NII, Jap, Makoto Onizuka, Osaka Univ, rsity, Masatoshi Yoshikawa, Kyoto, Uni, ity

Second Workshop on Software Foundations for Data Interoperability 2019年2月27日
Cell-based Provenance for Scientific Data

朴柱英, 吉川正俊, 加藤弘之

ACM/IEEE-CS Joint Conference on Digital Libraires (JCDL) 2017年6月21日
セル単位のデータ来歴 --データ引用に向けて

朴柱英, 吉川正俊, 加藤弘之

第9回データ工学と情報マネジメントに関するフォーラム 2017年3月6日
ノードの並べ替え処理と重複削除処理の回避によるXQuery最適化

石原靖哲, 加藤弘之, Torsten Grust

電子情報通信学会ソフトウェアサイエンス研究会 2016年3月10日
制限されたDTDクラスのもとでのXQuery式の型推論

杉村憲司, 石原靖哲, 加藤弘之, 藤原融

電子情報通信学会ソフトウェアサイエンス研究会 2016年3月10日
A Parameterized Graph Transformation Calculus for Finite Graphs with Monadic Branches

浅田和之, 日高宗一郎, 加藤弘之, 胡振江, 中野圭介

日本ソフトウェア科学会第30回大会、東京大学本郷キャンパス 2013年9月
An Experimental Implementation of Self-adjusting Bidirectional Transformations

Vo Huu-Phuc, 加藤弘之, 日高宗一郎, 胡振江

日本ソフトウェア科学会第30回大会、東京大学本郷キャンパス 2013年9月
Query Reformulation in XML Data Integration Systems

加藤弘之

Asian Workshop on Advanced Software Engineering 2013年7月21日
Incremental Graph View Maintenance

Hiroyuki Kato

2nd NII-PKU International Joint Workshop on Advanced Software Engineering 2011年10月
Bidirectionalizing Graph Transformations (国外既発表カテゴリ)

Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano

第13回プログラミングおよびプログラミング言語ワークショップ（PPL2011） 2011年3月
Functional Graph Transformations with Structural Recursion

Hiroyuki Kato

The Fourth DIKU-IST Joint Workshop on Foundations of Software 2011年1月
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) 2010年11月
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) 2010年11月
Regular Path Compilation for Graph Updating

Hiroyuki Kato

1st PKU-NII International Joint Workshop on Advanced Software Engineering 2010年10月
GRoundTram: 構造的再帰関数に基づく双方向グラフ変換システム

日高宗一郎, 胡振江, 稲葉一浩, 加藤弘之, 松田一孝, 中野圭介

第12回プログラミングおよびプログラミング言語ワークショップ 2010年3月
Sound and Complete Validation of Graph Transformations

稲葉一浩, 日高宗一郎, 胡振江, 加藤弘之, 中野圭介

第12回プログラミングおよびプログラミング言語ワークショップ 2010年3月
Two Semantics of Updating Graphs in GroundTram

Hiroyuki Kato

4th International Workshop on Bidirectional Transformation in Architecture-Based Component Composition 2010年3月
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(APLAS 2009) (poster) 2009年12月

もっとみる

担当経験のある科目(授業)

2022年10月 - 現在

アルゴリズム入門 (東京大学)
2021年10月 - 現在

Database Theory (Department of Informatics, School of Multidisciplinary Sciences, The Graduate University for Advanced Studies)
2020年4月 - 現在

情報数理工学実験第一、コンピュータサイエンス実験第一 (電気通信大学)
2010年10月 - 現在

ソフトウェア科学概論II (総合研究大学院大学)
1999年9月 - 2005年9月

データベース論 (大阪電気通信大学)
XML Databases (Department of Informatics, School of Multidisciplinary Sciences, The Graduate University for Advanced Studies)

所属学協会

日本ソフトウェア科学会

Works(作品等)

GRoundTram Version 0.9.2

Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano

2011年3月コンピュータソフト
XFusion Version 0.5.0

Hiroyuki Kato, Soichiro Hidaka

2010年6月コンピュータソフト

共同研究・競争的資金等の研究課題

更新を対象としたデータ相互運用問題のソフトウェア基盤技術

日本学術振興会科学研究費助成事業基盤研究(B) 基盤研究(B) 2021年4月 - 2024年3月

加藤弘之
双方向変換の深化による自律分散ビッグデータの相互運用基盤に関する研究

日本学術振興会科学研究費助成事業基盤研究(S) 2017年5月 - 2022年3月

胡振江, 吉川正俊, 鬼塚真, 石原靖哲, 日高宗一郎, 加藤弘之
XQueryを用いたデータ相互運用問題におけるデータの信頼性の計算手法の確立

文部科学省科学研究費補助金(基盤研究(C)) 2018年4月 - 2021年3月

加藤弘之
データ相互運用問題解決のためのスキーママッピングを用いたXQueryの書換え手法

文部科学省科学研究費補助金(基盤研究(C)) 2014年4月 - 2018年3月

加藤弘之
大規模な実用に耐えうる双方向グラフ変換の統合的基盤技術の構築

日本学術振興会科学研究費助成事業基盤研究(A) 2013年4月 - 2017年3月

胡振江, 加藤弘之, 中野圭介, 日高宗一郎, 浅田和之, 江本健斗, 森畑明昌, 松田一孝
双方向モデル変換の言語的基盤技術に関する研究

日本学術振興会科学研究費助成事業基盤研究(B) 2010年4月 - 2014年3月

胡振江, 日高宗一郎, 加藤弘之, 稲葉一弘, 中野圭介, 篠埜功, 江本健斗, 松田一孝
グラフ構造を対象としたデータ統合問題解決のための文脈を保存する融合変換の開発

文部科学省科学研究費補助金(基盤研究(C)) 2011年4月 - 2014年3月

加藤弘之
モデルの型検査からモデル変換の型検査へ

日本学術振興会科学研究費助成事業挑戦的萌芽研究 2010年 - 2011年

胡振江, 稲葉一浩, 日高宗一郎, 加藤弘之
XMLデータ統合問題解決のためのXQueryの静的解析に基づく書き換え手法の開発

文部科学省科学研究費補助金(基盤研究(C)) 基盤研究(C) 2008年 - 2009年

加藤弘之
視覚情報とテキスト情報とを統合した映像検索のための映像シソーラスの構築

日本学術振興会科学研究費助成事業特定領域研究 2004年 - 2005年

佐藤真一, 井手一郎, 孟洋, 加藤弘之
カジュアルなデータベース問合せの最適化手法に関する研究

文部科学省科学研究費補助金(若手研究(B)) 若手研究(B) 2002年 - 2004年

加藤弘之
視覚情報とテキスト情報とを統合した映像検索のための映像シソーラスの構築

日本学術振興会科学研究費助成事業特定領域研究 2003年 - 2003年

佐藤真一, 井手一郎, 加藤弘之, 孟洋
開放型高機能XMLサーチエンジンに関する研究

日本学術振興会科学研究費助成事業基盤研究(C) 2000年 - 2002年

吉川正俊, 波多野賢治, 天笠俊之, 松原茂樹, 加藤弘之, 渡邉正裕
映像の知的構造化による大規模ニュース映像コーパスからの検索・情報発見に関する研究

日本学術振興会科学研究費助成事業特定領域研究(C) 2001年 - 2001年

佐藤真一, 加藤弘之, 孟洋, 井手一郎
XMLを用いたゲノム情報の体系化と高度データベースの構築

日本学術振興会科学研究費助成事業特定領域研究(C) 2001年 - 2001年

吉川正俊, 波多野賢治, 天笠俊之, 植村俊亮, 渡邉正裕, 加藤弘之
拡張可能データベース管理システムの問合せ最適化に関する研究

文部科学省科学研究費補助金(奨励研究(A)) 奨励研究(A) 2000年 - 2001年

加藤弘之
XMLによる遺伝子機能データの体系化と検索システムの開発

日本学術振興会科学研究費助成事業特定領域研究(C) 2000年 - 2000年

吉川正俊, 波多野賢治, 天笠俊之, 植村俊亮, 渡邊正裕, 加藤弘之

委員歴

2020年 - 2020年

4th International Workshop on Software Foundations for Data Interoperability (VLDB2020 Workshop), Co-Chair
2018年4月 - 2019年3月

情報処理学会会誌編集委員会, FWG主査
2017年4月 - 2018年3月

情報処理学会会誌編集委員会, FWG幹事
2015年4月 - 2017年3月

情報処理学会会誌編集委員会, FWG委員
2016年3月 - 2016年9月

VLDB Endowment, VLDB2016 PhD Workshop Program Committee

加藤弘之

基本情報

研究分野

論文

MISC

書籍等出版物

講演・口頭発表等

担当経験のある科目(授業)

所属学協会

Works(作品等)

共同研究・競争的資金等の研究課題

委員歴

メニュー

共著者の一覧