研究者
J-GLOBAL ID:201101066343464379   更新日: 2024年09月24日

胡 振江

Hu Zhenjiang
所属機関・部署:
職名: 教授
ホームページURL (1件): http://research.nii.ac.jp/~hu/
研究分野 (1件): ソフトウェア
研究キーワード (6件): プログラム変換 ,  双方向変換 ,  プログラム運算 ,  プログラミングの代数 ,  関数プログラミング ,  プログラミング言語
競争的資金等の研究課題 (22件):
  • 2017 - 2022 双方向の深化による自律分散ビッグデータの相互運用基盤に関する研究
  • 2017 - 2022 しなやかなシステムを実現するマルチビュー実行時モデルフレームワーク
  • 2014 - 2018 大規模グラフ並列処理のための代数的構造に基づく理論基盤とプログラム開発基盤の構築
  • 2015 - 2017 Structural Recursion on Bulk Synchronous Parallelism for Efficient Large-Graph Querying
  • 2013 - 2017 大規模な実用に耐えうる双方向グラフ変換の統合的基盤技術の構築
全件表示
論文 (349件):
  • Xing Zhang, Guanchen Guo, Xiao He, Zhenjiang Hu. Bidirectional Objected-Oriented Programming: Towards Programmatic and Direct Manipulation of Objects. ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2023), Cascais, Portuga, October 22-27, 2023. 2023
  • Ruyi Ji, Chaozhe Kong, Yingfei Xiong, Zhenjiang Hu. Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection. ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2023), Cascais, Portuga, October 22-27, 2023. 2023
  • Tao Zan, Zhenjiang Hu. VoiceJava: A Syntax-Directed Voice Programming Language for Java. 2023
  • 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
もっと見る
MISC (96件):
  • Van-Dang Tran, 加藤弘之, 胡振江. A Declarative Framework for Updatable Views in Relational Databases. WebDBフォーラム. 2019
  • Yijun Yu, Arosha Bandara, Shinichi Honiden, Zhenjiang Hu, Tetsuo Tamai, Hausi Muller, John Mylopoulos, Bashar Nuseibeh. Engineering adaptive software systems: Communications of NII shonan meetings. Engineering adaptive software systems: Communications of NII shonan meetings. 2019. 1-169
  • Chunmiao Li, Yang Cao 0011, Zhenjiang Hu, Masatoshi Yoshikawa. Blockchain-based Bidirectional Updates on Fine-grained Medical Data. CoRR. 2019. abs/1904.10606
  • 森畑 明昌, 江本 健斗, 松崎 公紀, 胡 振江, 岩崎 英哉. 頂点主体並列グラフ処理の制約解消器による効率化. 日本ソフトウェア科学会大会論文集. 2017. 34. 415-429
  • 松崎 公紀, 岩崎 英哉, 江本 健斗, 胡 振江, 森畑 明昌. 複数の頂点主体グラフ計算フレームワーク向けの中間表現とコード生成器. 日本ソフトウェア科学会大会論文集. 2017. 34. 493-502
もっと見る
講演・口頭発表等 (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の登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る