研究者
J-GLOBAL ID:201101066343464379   更新日: 2022年03月23日

胡 振江

Hu Zhenjiang
所属機関・部署:
職名: 教授
ホームページURL (1件): http://research.nii.ac.jp/~hu/
研究分野 (1件): ソフトウェア
研究キーワード (6件): プログラム変換 ,  双方向変換 ,  プログラム運算 ,  プログラミングの代数 ,  関数プログラミング ,  プログラミング言語
競争的資金等の研究課題 (21件):
  • 2017 - 2022 双方向の深化による自律分散ビッグデータの相互運用基盤に関する研究
  • 2017 - 2022 しなやかなシステムを実現するマルチビュー実行時モデルフレームワーク
  • 2014 - 2018 大規模グラフ並列処理のための代数的構造に基づく理論基盤とプログラム開発基盤の構築
  • 2015 - 2017 Structural Recursion on Bulk Synchronous Parallelism for Efficient Large-Graph Querying
  • 2013 - 2017 大規模な実用に耐えうる双方向グラフ変換の統合的基盤技術の構築
全件表示
論文 (323件):
  • Xing Zhang, Zhenjiang Hu. Towards Bidirectional Live Programming for Incomplete Programs. 44th International Conference on Software Engineering (ICSE 2022). 2022
  • Ziyi Yang, Yushuo Xiao, Zhichao Guan, Zhenjiang Hu. A Lazy Desugaring System for Evaluating Programs with Sugars. 16th International Symposium on Functional and Logic Programming (FLOPS 2022). 2022
  • Ruifeng Xie, Zhenjiang Hu. Generic Recursive Lens Combinators and Their Calculation Laws. Theoretical Computer Science. 2022
  • Ruyi Ji, Jingtao Xia, Yingfei Xiong, Zhenjiang Hu. Generalizable synthesis through unification. Proceedings of the ACM on Programming Languages. 2021. 5. OOPSLA. 1-28
  • Yasuhito Asano, Yang Cao, Soichiro Hidaka, Zhenjiang Hu, Yasunori Ishihara, Hiroyuki Kato, Keisuke Nakano, Makoto Onizuka, Yuya Sasaki, Toshiyuki Shimizu, et al. Bidirectional Collaborative Frameworks for Decentralized Data Management. Bidirectional Collaborative Frameworks for Decentralized Data Management (invited paper). 2021
もっと見る
MISC (86件):
  • Van-Dang Tran, 加藤弘之, 胡振江. A Declarative Framework for Updatable Views in Relational Databases. WebDBフォーラム. 2019
  • 森畑 明昌, 江本 健斗, 松崎 公紀, 胡 振江, 岩崎 英哉. 頂点主体並列グラフ処理の制約解消器による効率化. 日本ソフトウェア科学会大会論文集. 2017. 34. 415-429
  • 松崎 公紀, 岩崎 英哉, 江本 健斗, 胡 振江, 森畑 明昌. 複数の頂点主体グラフ計算フレームワーク向けの中間表現とコード生成器. 日本ソフトウェア科学会大会論文集. 2017. 34. 493-502
  • 江本 健斗, 松崎 公紀, 胡 振江, 森畑 明昌, 岩崎 英哉. 大規模グラフ並列処理のための関数型領域特化言語Fregelとその評価. 日本ソフトウェア科学会大会論文集. 2016. 33. 227-242
  • Yongzhe Zhang, Hsiang-Shang Ko, Zhenjiang Hu. Describing Pregel Algorithms with Non-adjacent Data Communication. 2016
もっと見る
講演・口頭発表等 (131件):
  • Constructive Bidirectional Programming
    (22nd International Symposium on Trends in Functional Programming (TFP) 2021)
  • Dependable Bidirectional Programming
    (The 27th Asia-Pacific Software Engineering Conference (APSEC 2020))
  • Dependable View Update Strategies on Relations
    (The 4th Working Formal Methods Symposium (FROM 2020) 2020)
  • On Verification of Bidirectional Transformations
    (20th International Conference on Formal Engineering Methods 2018)
  • Verification of Roundtrip Property in Bidirectional Programming
    (3rd National Symposium on Formal Method 2018)
もっと見る
学位 (1件):
  • 博士(工学)
経歴 (8件):
  • 2019/04 - 現在 Peking University Department of Computer Science and Technology Chair and Professor
  • 2019/04 - 現在 Sokendai Department of Informatics Visiting Professor
  • 2019/04 - 現在 National Institute of Informatics Information Systems Architecture Science Research Division Professor by special appointment
  • 2018/04 - 2019/03 University of Tokyo Graduation School of Information Science and Technology Professor
  • 2008/04 - 2019/03 National Institute of Informatics Information Systems Architecture Science Research Division Professor
全件表示
委員歴 (44件):
  • 2017 - 現在 SCIENCE CHINA Information Sciences (Springer) Editorial Board Member
  • 2014 - 現在 IEEE Conference Advisory Committee Member
  • 2013 - 現在 Science of Computer Programing (Elsevier) Editorial Board Member
  • 2013 - 現在 IFIP TC2 (Software: Theory and Practice) Japan Representative
  • 2013 - 現在 National Science Review (NSR, Oxford Journals) Editorial Board Member
全件表示
受賞 (7件):
  • 2016/06 - 日本ソフトウェア科学会 2015年度基礎研究賞
  • 2015/10 - 8th International Conference on Software Language Engineering Distinguished Reviewer Award
  • 2012/02 - ACM Recognition of Service Award
  • 2009/05 - 日本ソフトウェア科学会 高橋奨励賞
  • 2008/03 - JSSSTプログラミング論研究会 PPL 2008 最優秀論文賞
全件表示
所属学会 (4件):
IEEE ,  情報処理学会 ,  日本ソフトウエア科学会 ,  ACM
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る