Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Publications of Zhenjiang Hu
[go: Go Back, main page]

発表論文:

英語版
The documents distributed here have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.
査読付き論文 - その他の論文

査読付き論文

    2006

  1. 野村芳明, 江本健斗, 松崎公紀, 胡振江, 武市正人, 木スケルトンによるXPathクエリの並列化とその評価 , コンピュータソフトウエア, 2006. to appear.

  2. Dongxi Liu, Zhenjiang Hu, Masato Takeichi, Kazuhiko Kakehi, Hao Wang, A Java Library for Bidirectional XML Transformation, JSSST Computer Software, 2006. to appear.

  3. Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi, Towards Automatic Parallelization of Tree Reductions in Dynamic Programming, 18th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2006), Cambridge, MA, USA, July 30 - August 2, 2006. pp.39-48.

  4. Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi, Parallel Skeletons for Manipulating General Trees, Parallel Computing, Elsevier, 2006. in press.

  5. Zhenjiang Hu, Tetsuo Yokoyama, Masato Takeichi, Program Optimizations and Transformations in Calculational Form, Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE 2005), Braga, Portugal, 4-7 July, 2005. (Slides), LNCS 4143, 2006. Springer. pp.139-164.

  6. Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi, Surrounding Theorem: Developing Parallel Programs for Matrix-Convolutions, European Conference on Parallel Computing (EuroPar 2006), Dresden, Germany, August 29 - September 2, 2006. LNCS 4128, Springer. pp.605-614.

  7. Akimasa Morihata Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi, Swapping Arguments and Results of Recursive Functions, 8th International Conference on Mathematics of Program Construction (MPC 2006), Kuressaare, Estonia, 3-5 July 2006. LNCS 4014, Springer. pp.379-396.

  8. Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi, Bidirectionalizing Tree Transformation Languages: A Case Study, JSSST Computer Software, Vol.23, No.2, 2006. pp.129-141.

  9. Kiminori Matsuzaki, Kento Emoto, Hideya Iwasaki, Zhenjiang Hu, A Library of Constructive Skeletons for Sequential Style of Parallel Programming (Invited Paper), First International Conference on Scalable Information Systems (InfoScale 2006), Hong Kong, May 29 - June 1, 2006.

  10. 松田一孝，大川徳之，野村芳明，森田直幸，筧一彦，胡振江，武市正人， 木上の双方向変換を利用したファイルマネージャの実現 , 情報処理学会論文誌, Vol.47, No.SIG 2 (PRO28). 2006. pp.84-98.

    2005

  11. Dongxi Liu, Zhenjiang Hu, Masato Takeichi, An Environment for Maintaining Computation Dependency in XML Documents, ACM Symposium on Document Engineering (DocEng 2005), Bristol, United Kingdom, 2-4 November 2005. pp.42-51.

  12. Isao Sasano, Mizuhito Ogawa, Zhenjiang Hu, Maximum Marking Problems with Accumulative Weight Functions, International Colloquium on Theoretical Aspects of Computing (ICTAC 2005), Hanoi, Vietnam, 17-21 October, 2005. LNCS 3722, Springer Verlag. pp.562-578.

  13. Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi, Calculation Rules for Warming-up in Fusion Transformation, Sixth Symposium on Trends in Functional Programming (TFP 2005), Tallinn, Estonia, September 23-24, 2005.

  14. Akimasa Morihara Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi, IO Swapping Leads You There and Back Again, 7th Generative Programming and Component Engineering (GPCE'05) Young Researchers Workshop (GPCE_YRW05), Tallinn, Estonia, September 27, 2005.

  15. Yasushi Hayashi, Zhenjiang Hu, Masato Takeichi, iDocument Builder: An Environment for Building XML-Based Interactive Teaching Materials, The 3nd International Conference on Education and Information Systems, Technologies and Applications (EISTA 2005), Orlando, Florida, 14-17 July, 2005. pp.423-428.

  16. 明石 良樹 松崎 公紀, 岩崎 英哉, 筧 一彦, 胡 振江, 最適化機構を持つ C++ 並列スケルトンライブラリ, コンピュータソフトウエア, Vol.22, No.3, 2005. pp.214-222.

  17. 松田 一孝, 筧一彦, 胡 振江, 武市 正人, データマイニングのアルゴリズム記述を容易にする拡張行列演算の提案 , 情報処理学会論文誌 (トランザクション), Vol.46, プログラミング (PRO26), 2005. pp.1-15.

  18. Kiminori Matsuzaki, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi, Systematic Derivation of Tree Contraction Algorithms, Parallel Processing Letters, Vol. 15, No. 3, 2005. pp.321-336.

    2004

  19. Zhenjiang Hu, Kento Emoto, Shin-Cheng Mu, Masato Takeichi, Bidirectionalizing Tree Transformations, Workshop on New Approaches to Software Construction (WNASC 2004), The University of Tokyo, Komaba, Tokyo, Japan, September 13-14, 2004. pp.3-22.

  20. Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi, An Algebraic Approach to Bidirectional Updating, Second ASIAN Symposium on Programming Languages and Systems (APLAS 2004), Taipei, Taiwan, November 4-6, 2004. LNCS 3302, Springer Verlag. pp.2-18.

  21. Dana Na Xu, Siau-Cheng Khoo, Zhenjiang Hu, PType System : A Featherweight Parallelizability Detector, Second ASIAN Symposium on Programming Languages and Systems (APLAS 2004), Taipei, Taiwan, November 4-6, 2004. LNCS 3302, Springer Verlag. pp.197-212.

  22. Kiminori Matsuzaki, Kazuhiko Kakehi, Hideya Iwasaki, Zhenjiang Hu, Yoshiki Akashi, A Fusion-Embedded Skeleton Library, International Conference on Parallel and Distributed Computing (EuroPar 2004), Pisa, Italy, 31st August - 3rd September, 2004. LNCS 3149, Spinger Verlag. pp.644-653 .

  23. Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi, A Programmable Editor for Developing Structured Documents based on Bidirectional Transformations, ACM SIGPLAN 2004 Symposium on Partial Evaluation and Program Manipulation (PEPM'04), Verona, Italy, August 24 - 25, 2004. ACM Press. pp.178-189.

  24. Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi, An Injective Language for Reversible Computation, Seventh International Conference on Mathematics of Program Construction (MPC 2004), Stirling, Scotland, UK, 12-14 July, 2004. LNCS 3125, Springer Verlag. pp. 289-313.

  25. Kiminori Matsuzaki, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi, Systematic Derivation of Tree Contraction Algorithms, 4th International Workshop on Constructive Methods for Parallel Programming (CMPP 2004), Stirling, Scotland, UK, 14 July, 2004. pp. 109-124.

  26. 横山 哲郎, 胡 振江, 武市 正人, 決定論的2階パターンとプログラム変換への応用, コンピュータソフトウエア, 21 (5): 71-76, 2004.

  27. Hideya Iwasaki, Zhenjiang Hu, A New Parallel Skeleton for General Accumulative Computations, International Journal of Parallel Programming, 32 (5): 389-414, October 2004.

  28. Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi, Deterministic Second-order Patterns, Information Processing Letters, Vol. 89, No.6, Elsevier, 2004. pp. 309-314.

    2003

  29. Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi, List Homomorphism with Accumulation, 4th International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD'03), Lubeck, Germany. October 16-18, 2003. pp. 250-259.

  30. Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano, Iterative-free Program Analysis, 8th ACM SIGPLAN International Conference on Functional Programming, (ICFP 2003), Uppsala, Sweden: 25-29 August 2003. ACM Press. pp.111-123.

  31. Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi, Deterministic Second-order Patterns and Its Application to Program Transformation, International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2003) Uppsala, Sweden: 25-27 August 2003. pp. 165-178. Revised version appears in LNCS 3018, 2004. Springer Verlag. pp. 128-142.

  32. Takuma Murakami, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi, An Efficient Staging Algorithm for Binding-Time Analysis, International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2003) Uppsala, Sweden: 25-27 August 2003. Revised version appears in LNCS 3018, 2004. Springer Verlag. pp. 106-107.

  33. Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi, Parallelization with Tree Skeletons, International Conference on Parallel and Distributed Computing (Euro-Par 2003), Klagenfurt, Austria, 26th - 29th August 2003. Lecture Notes in Computer Science 2790, Springer Verlag. pp.789-798. An extended version appears as Technical Report METR 2003-21, Department of Mathematical Informatics, University of Tokyo, 2003.

  34. 山岡裕司, 胡 振江, 武市 正人, 小川瑞史, モデル検査技術を利用したプログラム解析の生成ツール , 情報処理学会論文誌, Vol.44, No. SIG13 (PRO 18), 2003. pp. 25-37.

    2002

  35. Haiyan Zhao, Zhenjiang Hu, Masato Takeichi, A Compositional Framework for Mining Longest Ranges, 5th International Conference on Discovery Science (DS 2002), Lubeck, Germany, November 24-26, 2002. Lecture Notes in Computer Science 2534, Springer Verlag. pp.406-413.

  36. Zhenjiang Hu, Tomonari Takahashi, Hideya Iwasaki, Masato Takeichi, Segmented Diffusion Theorem (invited paper), 2002 IEEE International Conference on Systems, Man and Cybernetics (SMC 02), Hammamet, Tunisia, October 6-9, 2002. IEEE Press.

  37. Wei-Ngan Chin, Zhenjiang Hu, Towards a Modular Program Derivation via Fusion and Tupling, The First ACM SIGPLAN Conference on Generators and Components (GCSE/SAIG 2002), Pittsburgh, PA, USA, October 6-8, 2002. Affiliated with (PLI 2002). Lecture Notes in Computer Science 2487, Springer Verlag. pp.140-155.

  38. 伊藤隆, 田中哲朗, 胡 振江, 武市 正人, しりとりゲームの数理的解析, 情報処理学会論文誌, Vol. 43, No.10, October 2002. pp.3012-3020.

  39. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, An Accumulative Parallel Skeleton for All , 11th European Symposium on Programming ( ESOP 2002), Grenoble, France, April 8 - 10, 2002. Lecture Notes in Computer Science 2305, Springer Verlag. pp.83-97.

  40. Isao Sasano, Zhenjiang Hu, Masato Takeichi, Mizuhito Ogawa, Derivation of Linear Algorithm for Mining Optimized Gain Association Rules, コンピュータソフトウエア, Vol.19, No.4 (2002), pp.39-44.

  41. 横山 哲郎, 篠埜 功, 胡 振江, 武市 正人, 変換戦略の記述に基づくプログラムの自動生成システムの実装, 情報処理学会論文誌, Vol. 43, No. SIG 3(PRO 14), pp. 62-77, March 2002.

  42. Haiyan Zhao, Zhenjiang Hu, Masato Takeichi, Multidimensional Searching Trees with Minimum Attribute, コンピュータソフトウエア, Vol.19, No.1, 2002. pp.22-28.

    2001

  43. 篠埜 功, 胡 振江, 武市 正人, 小川瑞史, 最大重み和問題の線形時間アルゴリズムの導出, コンピュータソフトウエア, Vol. 18, No.5, 2001. pp.1-16.

  44. Isao Sasano, Zhenjiang Hu, Masato Takeichi, Generation of Efficient Programs for Maximum Multi-Marking Problems, ACM SIGPLAN Workshop on Semantics, Applications and Implementation of Program Generation ( SAIG'01), Firenze, Italy, September 6th, 2001. Lecture Notes in Computer Sciencce 2196, pp.72-91. Springer Verlag.

  45. Zhenjiang Hu, Wei-Ngan Chin, Masato Takeichi, Calculating a New Data Mining Algorithm for Market Basket Analysis, (Revised version of the paper presented at (PADL'00).) Journal of Functional and Logic Programming, October 2001.

  46. Raku Shirasawa, Zhenjiang Hu, Hideya Iwasaki, Diffusion after Fusion: Deriving Efficient Parallel Algorithms , The 2001 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 2001), Monte Carlo Resort, Las Vegas, June 25 - 28, 2001. CSREA Press.

  47. Tomorani Takahashi, Hideya Iwasaki, Zhenjiang Hu, Efficient Parallel Skeletons for Nested Data Structures , The 2001 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 2001), Monte Carlo Resort, Las Vegas, June 25 - 28, 2001. CSREA Press.

  48. 篠埜 功, 胡 振江, 武市 正人, 小川瑞史, ナップサック問題およびその発展問題の統一的解法, コンピュータソフトウエア, Vol. 18, No.2, 2001. pp.59-63.

  49. 岩崎 英哉, 胡 振江, 武市 正人, 漸次的組化と融合による関数プログラムの最適化, コンピュータソフトウエア, Vol.18, No.0, 2001. pp.46-59.

    2000

  50. Masato Takeichi, Zhenjiang Hu, Calculation Carrying Programs: How to Code Program Transformations (Invited Paper), International Sumposium on Principles of Software Evolution (ISPSE 2000), Kanazawa, Japan, 1-2 November 2000. IEEE Press.

  51. Isao Sasano, Zhenjiang Hu, Masato Takeichi, Mizuhito Ogawa, Make it Practical: A Generic Linear Time Algorithm for Solving Maximum Weightsum Problems , The 2000 ACM SIGPLAN International Conference on Functional Programming, (ICFP 2000), Montreal, Canada, 18-20 September 2000. ACM Press. pp.137-149.

  52. Litong Song, Yoshihiko Futamura, Robert Glueck, Zhenjiang Hu, Loop Quasi-Invariance Code Motion, IEICE Transactions on Information and Systems, Vol. E83-D, No. 10, October 2000. pp.1841-1850.

  53. Litong Song, Yoshihiko Futamura, Robert Glueck, Zhenjiang Hu, A Loop Optimization Technique Based on Quasi-Invariance, The 2000 International Conference on Software: Theory and Practice (IFIP World Computer Congress 2000), Beijing, August 21 - 24, 2000.

  54. Seichi Adachi, Hideya Iwasaki, Zhenjiang Hu, diff: A Powerful Parallel Skeleton, The 2000 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 2000), Monte Carlo Resort, Las Vegas, June 26 - 29, 2000. CSREA Press. pp.525--527.

  55. Wei-Ngan Chin, Siau-Cheng Khoo, Zhenjiang Hu, Masato Takeichi, Deriving Parallel Codes via Invariants, International Static Analysis Symposium (SAS2000), University of California, Santa Barbara, 29 June-1 July, 2000. LNCS 1824, Springer Verlag. pp. 75--94.

  56. Zhenjiang Hu, Wwi-Ngan Chin, Masato Takeichi, Calculating a New Data Mining Algorithm for Market Basket Analysis, Second International Workshop on Practical Aspects of Declarative Languages (PADL'00), Boston, Massachusetts, January 17-18, 2000. LNCS 1753, Springer Verlag. pp. 169-184.

  57. 篠埜 功, 胡 振江, 武市 正人, グラフの探索関数の再帰的定義と変換, コンピュータソフトウエア, Vol. 17, No.3, 2000. pp.2-19.

  58. 尾上 能之, 胡 振江, 岩崎 英哉, 武市 正人, プログラム融合変換の実用的有効性の検証, コンピュータソフトウエア, Vol. 17, No.3, 2000. pp.81-85.

  59. 胡 振江, プログラム運算による並列プログラミング, コンピュータソフトウエア, Vol. 17, No.1, January 2000. pp 21-23.

    1999

  60. Zhenjiang Hu, Masato Takeichi, Hideya Iwasaki, Diffusion: Calculating Efficient Parallel Programs, 1999 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'99). San Antonio, Texas, January 22-23, 1999, pp. 85-94.

  61. Zhenjiang Hu , Hideya Iwasaki , Masato Takeichi, Calculating Accumulations, New Generation Computing, Vol. 17, No. 2, 1999, pp.153--173.

  62. Zhenjiang Hu, Masato Takeichi, Calculating an Optimal Homomorphic Algorithm for Bracket Matching, Parallel Processing Letters. Vol. 9, No. 3, 1999. pp. 335-345.

    1998

  63. Akihiko Takano, Zhenjiang Hu, Masato Takeichi, Program Transformation in Calculational Form, ACM Computing Surveys, Vol. 30, No.3, 1998. A special issue for 1998 Symposium on Partial Evaluation (SOPE'98).

  64. 尾上能之, 胡振江 , 武市正人, HYLO システムによるプログラム融合変換の実現, コンピュータソフトウエア, Vol. 15, No.6, November 1998, pp. 52-56.

  65. Wei-Ngan Chin, Akihiko Takano, Zhenjiang Hu , Parallelization via Context Preservation , in IEEE Computer Society International Conference on Computer Languages (ICCL'98), Loyola University Chicago, Chicago, USA, May 1998. IEEE Press.

  66. 岩崎英哉, 胡振江 , 蓄積引数を持つ関数プログラムの融合変換, 情報処理学会論文誌, Vol. 39, No. 3, 1998, pp. 664-673.

  67. Hideya Iwasaki, Zhenjiang Hu , Masato Takeichi, Towards Manipulation of Mutually Recursive Functions , 3rd Fuji International Symposium on Functional and Logic Programming (FLOPS'98), Kyoto, Japan, April 1998, pp. 61-79. World Scientific.

  68. Zhenjiang Hu , Masato Takeichi, Wei-Ngan Chin, Parallelization in Calculational Forms , 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'98), San Diego, California, USA, January 1998, pp. 316-328. ACM Press.

    1997

  69. Zhenjiang Hu , Masato Takeichi, A Calculational Framework for Parallelization of Sequential Programs, IPSJ International Symposium on Information Systems and Technologies for Network Society, Fukuoka, Japan, September 1997, pp. 102-109. World Scientific.

  70. 胡振江, 武市正人, Synthesizing Calculational Laws for Parallelization. 第14回日本ソフトウエア科学会全国大会, JAIST, 1997, pp. 481-484. 高橋奨励賞 受賞．

  71. Zhenjiang Hu , Hideya Iwasaki, Masato Takeichi, A. Takano, Tupling Calculation Eliminates Multiple Data Traversals , 2nd ACM SIGPLAN International Conference on Functional Programming (ICFP'97), Amsterdam, The Netherlands, June 1997, pp.164-175. ACM Press.

  72. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Formal Derivation of Efficient Parallel Programs by Construction of List Homomorphisms, ACM Transactions on Programming Langauges and Systems, 19(3), May 1997, pp.444-461.

  73. Y. Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, A Calculational Fusion System HYLO , IFIP TC 2 Working Conference on Algorithmic Languages and Calculi. Le Bischenberg, France, February 1997, pp.76-106. Chapman&Hall.;

    1996

  74. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, An Extension of the Acid Rain Theorem, 2nd Fuji International Workshop on Functional and Logic Programming (Fuji'96). Shonan Village, Japan, November 1996, pp.91-105. World Scientific.

  75. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Cheap Tupling Transformation, Technical Report METR 96-08, University of Tokyo. October 1996.
    (Poster abstract appears in PLILP'96, LNCS 1140, pp.471-472, September 1996)

  76. Zhenjiang Hu, A Calculational Approach to Optimizing Functional Programs, Ph.D thesis, Department of Information Engineering, The University of Tokyo. September 1996.
    ( List of Contents) 第１４回井上研究奨励賞受賞．

  77. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Construction of List Homomorphisms by Tupling and Fusion, 21st International Symposium on Mathematical Foundations of Computer Science (MFCS '96), Cracow, September 1996, LNCS 1113, pp.407-418. Springer-Verlag.

  78. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Formal Derivation of Parallel Program for 2-Dimensional Maximum Segment Sum Problem, The Annual European conference on Parallel Processing (Euro-Par'96), LIP, ENS Lyon, France, August 1996, LNCS 1123, pp.553-562. Springer-Verlag.

  79. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Deriving Structural Hylomorphisms from Recursive Definitions, ACM SIGPLAN International Conference on Functional Programming (ICFP'96), Philadelphia, May 1996, pp.73-82. ACM Press.

    1995以前

  80. Zhenjiang Hu , Hideya Iwasaki, Promotional Transformation of Monadic Programs, Fuji International Workshop on Functional and Logic Programming, Susono, July 1995, pp.196-210. World Scientific.

  81. Zhenjiang Hu , Hideya Iwasaki , Masato Takeichi, Deriving Efficient Functional Programs by Constructing Medio-types, Proceedings of Workshop on Functional Programming JSSST'94, Kyoto, November, 1994, pp.17-32. Kindai Publisher.

  82. Yongqiang Sun, Zhenjiang Hu, X. Yuan, FP-VLSI -- An Automatic Synthesis System, Journal of Software, Vol.5, No.1, January 1994. (in Chinese)

  83. Zhenjiang Hu, Yongqiang Sun, FP Description of Parallel Algorithms and its Decidability of Implementation of Systolic Arrays, Journal of Software, Vol.3, No.3, pp.9-16, July, 1992. (in Chinese)

  84. Xinjie Xia, Yongqiang Sun, Zhenjiang Hu, Automatic Synthesis of Systolic Arrays -- FP Approach, Journal of Software, Vol.3, No.3, pp.1-8, July, 1992. (in Chinese)

  85. Yongqiang Sun, Zhenjiang Hu, Xin Yuan, Algebraic Transformation for the Synthesis of Systolic Arrays, Journal of Shanghai Jiaotong University, 26(6), pp. 10-18, 1992.

  86. Yongqiang Sun and Zhenjiang Hu, Algebraic Approach to the Synthesis of Systolic Arrays, Proceedings of 2nd German-Chinese Electronics Congress, Germany, October, 1991. VDE Verlag.

  87. Zhenjiang Hu and Yongqiang Sun, Functional Approach to the Synthesis of Systolic Arrays, Proceedings of 2nd Int'l Conf. for Young Computer Scientists, Beijing, China, July, 1991.

  88. Zhenjiang Hu and Yongqiang Sun, Functional Approach to the Synthesis of Logic, Proceedings of 4th Int'l Symp. on IC Design, Implementation and Application, Singapore, 1991.

  89. Zhenjiang Hu, Yongqiang Sun, Optimizing Digital System Through Program Transformation, Journal of Software, Vol.1, No.2, pp.1-8, April, 1990. (in Chinese)

  90. Zhenjiang Hu, Xinjie Xia, Yongqiang Sun, Description, Synthesis and Simulation of Digital System by Functional Programming Language, Journal of Computer, Vol.13, No.6, pp.1-8, June, 1990. (in Chinese)

  91. Yincai Bai, Zhenjiang Hu, Jun Yang, Implement FP on Transputers, Microcomputer Systems, No.10, pp.1-16, October, 1990. (in Chinese)

その他の論文(2001年より)

  1. 林 康史, 劉 東喜 江本 健斗, 松田 一孝, 胡 振江, 武市 正人, A Web Service Architecture for Bidirectional Updating , 日本ソフトウェア科学会第23回大会 , 東京大学, 2006年9月13日(水)〜15日(金).

  2. 中野 圭介, 森畑 明昌, 胡 振江, 武市 正人, 双方向変換に基づくウェブページ更新機構 , 日本ソフトウェア科学会第23回大会 , 東京大学, 2006年9月13日(水)〜15日(金).

  3. 森田 和孝, 森畑 明昌, 胡 振江, 武市 正人, 弱逆関数の自動導出によるプログラムの並列化 , 日本ソフトウェア科学会第23回大会 , 東京大学, 2006年9月13日(水)〜15日(金).

  4. Robert Glueck and Zhenjiang Hu, editors. Proceedings of the 2nd DIKU-IST Workshop on the Foundations of Software. Volume 06/07 of DIKU Report. Dept. of Computer Science, University of Copenhagen. 2006.

  5. Dongxi Liu, Zhenjiang Hu, Masato Takeichi, Bidirectionalizing XQuery -- Updating XML through Materialized XQuery View , Technical Report METR 2006-05, Department of Mathematical Informatics, University of Tokyo, April 2006.

  6. 胡振江， 岩崎英哉， スケルトン並列プログラミング ， 情報処理学会誌「情報処理」，Vol.46，No.10，2005年10月．pp.1158-1163.

  7. Robert Glueck and Zhenjiang Hu, editors. Proceedings of the 1st DIKU-IST Workshop on the Foundations of Software. Volume 05/07 of DIKU Report. Dept. of Computer Science, University of Copenhagen. 2005.

  8. 劉東喜， 筧一彦， 胡振江， 武市正人， 王浩， A Java Library for Bidirectional XML Transformation , 日本ソフトウェア科学会第22回大会 , 東北大学 青葉山キャンパス， 2005年9月13日(火)〜15日(木)．

  9. 穆信成， 胡振江， 武市正人， Bidirectional scripting for Structured Documents , 日本ソフトウェア科学会第22回大会 , 東北大学 青葉山キャンパス， 2005年9月13日(火)〜15日(木)．

  10. 筧一彦， 松崎公紀， 森畑明昌， 江本健斗， 胡振江， Parallel Dynamic Programming using Data-Parallel Skeletons , 日本ソフトウェア科学会第22回大会 , 東北大学 青葉山キャンパス， 2005年9月13日(火)〜15日(木)．

  11. 松崎公紀， 明石良樹， 江本健斗， 岩崎英哉， 胡振江， 助っ人：構成的な並列スケルトンによる並列プログラミングライブラリ , 日本ソフトウェア科学会第22回大会 , 東北大学 青葉山キャンパス， 2005年9月13日(火)〜15日(木)．

  12. 野村芳明， 江本健斗， 松崎公紀， 胡振江， 武市正人， 木スケルトンによるXPathクエリの並列化とその評価 , 日本ソフトウェア科学会第22回大会 , 東北大学 青葉山キャンパス， 2005年9月13日(火)〜15日(木)．

  13. 松田一孝，大川徳之，野村芳明，森田直幸，筧一彦，胡振江，武市正人， 木上の双方向変換を利用したファイルマネージャの実現 , 2005年並列／分散／協調処理に関する 『武雄』サマー・ワークショップ （SWoPP武雄2005）， 武雄市文化会館，2005年8月3日(水)〜8月5日(金)．

  14. 林 康史, 胡 振江, 武市 正人, 対話的学習教材の作成支援環境について , 情報処理学会・コンピュータと教育研究会 情報教育シンポジウム2005, ヤマハリゾートキロロ（北海道 後志支庁 余市郡 赤井川村）， 2005/08/21（日）〜23（火）．

  15. Akimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi, Reversing iterations: IO swapping leads you there and back again, Technical Report METR2005-11, Department of Mathematical Informatics, University of Tokyo, May 2005.

  16. Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi, A Compositional Framework for Developing Parallel Programs on Two Dimensional Arrays, Technical Report METR2005-09, Department of Mathematical Informatics, University of Tokyo, 2005.

  17. Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi, Warm Fusion in Yicho , 第7回プログラミングおよびプログラミング言語ワークショップ, 群馬県利根郡水上町, 2005年3月9日(水)〜3月11日(金) .

  18. 森畑明昌, 筧一彦, 胡振江, 武市正人, 効率的な累積なし表現 , 第7回プログラミングおよびプログラミング言語ワークショップ, 群馬県利根郡水上町, 2005年3月9日(水)〜3月11日(金) .

  19. 松田一孝， 筧一彦， 胡振江， 武市正人, 拡張行列演算に基づくデータマイニング環境の実現 , 情報処理学会 第52回プログラミング研究会, NTT 厚木研究開発センター, ２００５年１月２０日（木）〜２１日（金）.

  20. 胡振江, 書評 -- 20世紀の名著名論：Joseph E. Stoy: Denotational Semantics: The Scott-Strachey Approach to rogramming Language Theory , 情報処理, Vol.45, No.11, 2004.

  21. 横山哲郎, 胡振江, 武市正人, A Combinator Library for Specifying Program Transformation , 日本ソフトウェア科学会第21回大会 , 東京工業大学, 2004年9月15日〜17日.

  22. 西岡真吾， 中野圭介, 胡振江, 武市正人, 構造化文書の応需計算機構 , 日本ソフトウェア科学会第21回大会 , 東京工業大学, 2004年9月15日〜17日.

  23. 林康史， 胡振江， 武市正人， 和家伸明， 原雅文， 大島教雄, Pruning DOM Trees for Structured Document Processing , 日本ソフトウェア科学会第21回大会 , 東京工業大学, 2004年9月15日〜17日.

  24. 森畑明昌， 筧一彦， 胡振江， 武市正人， 属性文法上のShortcut Deforestation , 日本ソフトウェア科学会第21回大会 , 東京工業大学, 2004年9月15日〜17日.

  25. 江本健斗， 胡振江， 筧一彦， 武市正人， 二次元配列上の構成的並列スケルトンの実現 , 日本ソフトウェア科学会第21回大会 , 東京工業大学, 2004年9月15日〜17日.

  26. 筧一彦， 松崎公紀， 胡振江， 武市正人， A Uniform Approach toward Nested Parallelism , 日本ソフトウェア科学会第21回大会 , 東京工業大学, 2004年9月15日〜17日.

  27. 劉東喜， 林康史， 胡振江， 武市正人， Calculating Tree Nodes Instead of Table Cells , 日本ソフトウェア科学会第21回大会 , 東京工業大学, 2004年9月15日〜17日.

  28. 松田一孝， 西岡真吾, 胡振江， 武市正人， 階層的分割による並列連想計算 , 日本ソフトウェア科学会第21回大会 , 東京工業大学, 2004年9月15日〜17日.

  29. 明石良樹， 松崎公紀， 岩崎英哉， 筧一彦， 胡振江， 最適化機構を持つC++並列スケルトンライブラリ , 日本ソフトウェア科学会第21回大会 , 東京工業大学, 2004年9月15日〜17日.

  30. Takuma Murakami, Zhenjiang Hu, Shingo Nishioka, Akihiko Takano, Masato Takeichi, An Algebraic Interface for GETA Search Engine, 第6回プログラミングおよびプログラミング言語ワークショップ(PPL2004), ホテル竹島（愛知県蒲郡市), 2004年3月11日(木)〜3月13日(土).

  31. 番 伸宏, 胡 振江, 筧 一彦, 武市 正人, Javaプログラム最適化の宣言的記述とその効率的な実装, 第6回プログラミングおよびプログラミング言語ワークショップ(PPL2004), ホテル竹島（愛知県蒲郡市), 2004年3月11日(木)〜3月13日(土).

  32. 筧一彦, 胡振江, 武市正人, MMPP: Maximum Marking Problems in Parallel , 日本ソフトウェア科学会第20回記念大会 , 愛知県立大学, 2003年9月16日〜19日.

  33. 松崎公紀, 筧一彦, 胡振江, 武市正人, Parallelizing Polytypic Programs with Accumulations , 日本ソフトウェア科学会第20回記念大会 , 愛知県立大学, 2003年9月16日〜19日.

  34. 武市正人, 胡振江, 筧一彦, 林康史, 穆信成, 中野圭介, TreeCalc : Towards Programmable Structured Documents , 日本ソフトウェア科学会第20回記念大会 , 愛知県立大学, 2003年9月16日〜19日.

  35. 横山哲郎, 胡振江, 武市正人, 決定論的2階パターンとプログラム変換への応用 , 日本ソフトウェア科学会第20回記念大会 , 愛知県立大学, 2003年9月16日〜19日.

  36. 村上拓真, 西岡真吾, 胡振江, 高野明彦 Scripting GETA Searching Engine in Haskell , 日本ソフトウェア科学会第20回記念大会 , 愛知県立大学, 2003年9月16日〜19日.

  37. 山岡裕司, 胡振江, 武市正人, 小川瑞史, モデル検査技術を利用したプログラム解析の自動生成 , IPSJ 第４２回プログラミング研究会 , 名古屋大学 ベンチャービジネスラボラトリ, 2003年1月23日,24日.

  38. Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano, Masato Takeichi, Algebraic construction of graphs with bounded tree width and its applications - Catamorphic Approach to Program Analyses - , 3rd Aisan Workshop on Programming Languages and Systems , Shanghai, China, November 29 - December 1, 2002. (in English)

  39. Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi, Function Fusion with Types and Patterns of Regular Expressions , 3rd Aisan Workshop on Programming Languages and Systems , Shanghai, China, November 29 - December 1, 2002. (in English)

  40. Dana N. Xu, Siau-Cheng Khoo, Wei-Ngan Chin, Zhenjiang Hu, A Type-Directed Approach to Parallelization (Preliminary Report) , 3rd Aisan Workshop on Programming Languages and Systems , Shanghai, China, November 29 - December 1, 2002. (in English)

  41. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Flattening Transformation for Efficient Segmented Computation , 3rd Aisan Workshop on Programming Languages and Systems , Shanghai, China, November 29 - December 1, 2002. (in English)

  42. Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi, Implementation of Parallel Tree Skeletons on Distributed Systems , 3rd Aisan Workshop on Programming Languages and Systems , Shanghai, China, November 29 - December 1, 2002. (in English)

  43. Takuma Murakami, Zhenjiang Hu, Masato Takeichi, An Optimal Staging Algorithm , 3rd Aisan Workshop on Programming Languages and Systems , Shanghai, China, November 29 - December 1, 2002. (in English)

  44. 筧 一彦, 胡 振江, 武市 正人, Fusion Transformation on Functional Programs with Regular Patterns, 日本ソフトウェア科学会第19回大会論文集, 産業技術総合研究所臨海副都心センター ・日本科学未来館, 2002年9月11日(水)〜13日(金). (in English)

  45. 松崎 公紀, 胡 振江, 武市 正人, 分散メモリ型並列計算機上での木に対する並列スケルトンの実現, 日本ソフトウェア科学会第19回大会論文集, 産業技術総合研究所臨海副都心センター ・日本科学未来館, 2002年9月11日(水)〜13日(金).

  46. Zhenjiang Hu, Optimization of Skeletal Parallel Programs (Invited Talk, OHP Slides) 3rd International Workshop on Constructive Methods for Parallel Programming ( CMPP 2002), Schloss Dagstuhl, Germany, 10. July 2002.

  47. Haiyna Zhao, Zhenjiang Hu, Masato Takeichi, A Compositional Framework for Mining Longest Ranges, Technical Report METR 2002-05, Dept. of Mathematical Informatics, University of Tokyo, 2002年.

  48. 胡振江, データマイニングにおける最適区間相関ルールの 効率的発見を支援するシステムの開発, 情報処理振興事業協会 平成13年度成果報告集, 2002年.

  49. 白沢楽, 胡振江, 岩崎英哉, C言語上のスケルトン並列プログラミングシステム, 第5回プログラミングおよび応用のシステムに関するワークショップ, 別府 杉乃井ホテル, 2002年3月4日〜3月6日.

  50. 高橋知成, 胡振江, 岩崎英哉, 不均等データ上における汎用的並列スケルトン "s-diff" の提案, 第４回プログラミングおよびプログラミング言語ワークショップ, 別府 杉乃井ホテル, 2002年3月5日〜3月7日.

  51. Haiyan Zhao, Zhenjiang Hu, Masato Takeichi, Mining Opitimized Ranges, Second Asian Workshop on Programming Languages and Systems, KAIST, Korea, Singapore, December 17-18, 2001.

  52. 伊藤隆, 田中哲朗, 胡 振江, 武市 正人, しりとりゲームの数理的解析, 第6回ゲームプログラミングワークショップ 2001 (GPW-01), 神奈川県箱根セミナーハウス, 2001年10月26-28日.

  53. 横山 哲郎, 篠埜 功, 胡 振江, 武市 正人, 最大マーク付け問題の効率的プログラムの自動生成, 情報処理学会第36回プログラミング研究会, 高知工科大学, 2001年10月22日〜23日.

  54. Isao Sasano, Zhenjiang Hu, Masato Takeichi, Mizuhito Ogawa, Derivation of Linear Algorithm for Mining Optimized Gain Association Rules, 日本ソフトウェア科学会第18回大会論文集(CD-ROMのみ), はこだて未来大学, 2001年9月18日〜20日. (in English)

  55. Haiyan Zhao, Zhenjiang Hu, Masato Takeichi, Multidimensional Searching Trees with Minimum Attribut, 日本ソフトウェア科学会第18回大会論文集(CD-ROMのみ), はこだて未来大学, 2001年9月18日〜20日. (in English)

  56. 胡振江, 武市正人, プログラム運算の数理, 数学セミナー, 40(7), pp.47-53, 2001.

  57. 小川瑞史, 胡振江, ACM PLI 2000 会議報告, コンピュータソフトウエア, 18(3), pp.49-54. 2001.

  58. Haiyan Zhao, Zhenjiang Hu, Masato Takeichi, Mining Opitimized Ranges: A functional Approach, 第3回プログラミングおよびプログラミング言語ワークショップ(JSSST PPL 2001), 亀岡、2001年3月21日ー23日. pp.61-19.

Back to Hu's Home Page

Last modified: July 2002