|
|
 | E. Wada, K. Kakehi and M. Takeichi. An Analysis of Program Making. Conf. on Proc. IFIP Programming Teaching Techniques, pp.127-136, North-Holland, 1972.
|
|
|
|
| M. Takeichi. Name Identification for Languages with Explicit Scope Control. Journal of Information Processing 5(1), pp.45-49, 1982.
|
|
|
|
| M. Takeichi. Consistent Annotations for Scope Rules. Journal of Information Processing 5(2), pp.106-112, 1982.
|
|
|
|
| M. Takeichi. An Alternative Scheme for Evaluating Combinator Expressions. Journal of Information Processing 7(4), pp.246-253, 1985.
|
|
|
|
| M. Takeichi. Inserting Injection Operations to Denotational Specifications. New Generation Computing 4(4), pp.365-381, 1986.
|
|
|
|
| M. Takeichi. Partial Parametrization Eliminates Multiple Traversals of Data Structures. Acta Informatica 24(1), pp.57-77, 1987.
|
|
|
|
| M. Takeichi. Lambda-Hoisting - A Transformation Technique for Fully Lazy Evaluation of Functional Programs. New Generation Computing 5(4), pp.377-391, 1988.
|
|
|
|
| M. Takeichi and Y. Akama. Deriving a Functional Knuth-Morris-Pratt Algorithm by Transformation. Journal of Information Processing 13(4), pp.522-528, 1990.
|
|
|
|
| L. Husheng and M. Takeichi. Preliminary Arrangements of Arguments in Lazy Evaluation. New Generation Computing 9(2), pp.135-147, 1991.
|
|
|
|
| K. Kaneko and M. Takeichi. Relationship between Lambda Hoisting and Fully Lazy Lambda Lifting. Journal of Information Processing 15(4), pp.564-569,1992.
|
|
|
|
| K. Kaneko and M. Takeichi. Derivation of a Knuth-Morris-Pratt Algorithm by Fully Lazy Partial Computation. Advances in Software Science and Technology 5, pp.11-24, 1993.
|
|
|
|
| 金子敬一,尾上能之,武市正人. 完全遅延評価に適した関数プログラムの共有解析. 情報処理学会論文誌35, pp.391-403, 1994.
|
|
|
|
| L. Xu, H. Iwasaki and M. Takeichi. Derivation of Algorithms by Introduction of Generation Functions. New Generation Computing 13(1), pp.75-98, 1994.
|
|
|
|
| K. Kaneko and M. Takeichi. Derivation of Efficient Pattern Matching Algorithms by Fully Lazy Evaluation with Lazy Memo-ization. Transaction of Information Processing Society of Japan 35(11), pp.2347-2354,1994.
|
|
|
|
| Z. Hu, H. Iwasaki and M. Takeichi. Deriving Structural Hylomorphisms from Recursive Definitions. ACM International Conference on Functional Programming (ICFP’96), pp.73-82, Philadelphia, May 1996. ACM Press.
|
|
|
|
| Z. Hu, H. Iwasaki and M. Takeichi. Formal Derivation of Parallel Program for 2-dimensional Maximum Segment Sum Problem. Annual European Conference in Parallel Processing (Euro-Par’96), Springer LNCS 1123, pp.553-562, ENS Lyon, France, August 1996.
|
|
|
|
| Z. Hu, H. Iwasaki and M. Takeichi. Construction of List Homomorphisms via Tupling and Fusion. 21st International Symposium on Mathematical Foundation of Computer Science (MFCS ‘96), Springer LNCS 1113, pp.407-418, Cracow, September 1996.
|
|
|
|
| 神門有史,田中哲朗,武市正人. 関数型言語処理系におけるデータ構成子のunbox化. 日本ソフトウェア科学会論文誌「コンピュータソフトウェア」14, pp.70-75, 1997.
|
|
|
|
| Z. Hu, H. Iwasaki and M. Takeichi. Cheap Tupling in Calculational Form. 8th International Symposium on Programming Languages, Implementations, Logics, and Programs, Springer LNCS 1140, pp.471-472, September 1996.
|
|
|
|
| Z. Hu, H. Iwasaki and M. Takeichi. An Extension of the Acid Rain Theorem. Proc. The Second Fuji International Workshop on Functional and Logic Programming, pp.91-105, World Scientific, November 1996.
|
|
|
|
| Y. Onoue, Z. Hu, H. Iwasaki and M. Takeichi. A Calculational Fusion System HYLO. Proc. IFIP TC 2 Working Conference on Algorithmic Languages and Calculi. Le Bischenberg, France. February 1997, pp.76-106. Chapman&Hall.
|
|
|
|
| Z. Hu, H. Iwasaki, M. Takeichi and A. Takano. Tupling Calculation Eliminates Multiple Data Traversals. 2nd ACM SIGPLAN International Conference on Functional Programming (ICFP’97), pp.164-175, Amsterdam, The Netherlands, June 1997. ACM Press. [Acceptance Rate 25/78=32%]
|
|
|
|
| Z. Hu, H. Iwasaki and M. Takeichi. Formal Derivation of Efficient Parallel Programs by Construction of List Homomorphisms. ACM Transactions on Programming Languages and Systems 19(3), pp.444-461, 1997.
|
|
|
|
| L. Xu, M. Takeichi and H. Iwasaki. Relational Semantics for Locally Nondeterministic Programs. New Generation Computing 15, pp.339-362, 1997.
|
|
|
|
| Z. Hu and M. Takeichi. A Calculational Framework for Parallelization of Sequential Programs. Proc. IPSJ International Symposium on Information Systems and Technologies for Network Society, Fukuoka, Japan, September 1997, pp. 102-109. World Scientific.
|
|
|
|
| Z. Hu, M. Takeichi and W-N.Chin. Parallelization in Calculational Forms. Proc. 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL98), San Diego, California, USA, January 1998, pp. 316-328. ACM Press. [Acceptance Rate 28/177=16%]
|
|
|
|
| H. Iwasaki, Z. Hu and M. Takeichi. Towards Manipulation of Mutually Recursive Functions. The third Fuji International Symposium on Functional and Logic Programming, Kyoto, Japan, April 1998, pp. 61-79. World Scientific.
|
|
|
|
| 徐良為, 武市正人, 岩崎英哉. 関係代数による UNITY ループの意味づけ, 情報処理学会論文誌, Vol.39, No.3, pp.646-655 ,1998.
|
|
|
|
| A. Takano, Z. Hu and M. Takeichi. Program Transformation in Calculational Form. ACM Computing Surveys 30(3). A special issue for 1998 Symposium on Partial Evaluation (SOPE’98).
|
|
|
|
| 尾上能之,胡振江,武市正人. HYLOシステムによるプログラム融合変換の実現. 日本ソフトウェア科学会論文誌「コンピュータソフトウェア」15(6), 52-56, 1998.
|
|
|
|
| 片山晋, 武市正人, 小林重信. 満足化原理に基づく強化学習のための確率的探査戦略. 人工知能学会誌, 13(6), 971-980, 1998.
|
|
|
|
| Z. Hu, M. Takeichi and H. Iwasaki. Diffusion: Calculating Efficient Parallel Programs. Proc. 1999 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM’99), pp. 85-94. San Antonio, Texas, January 22-23, 1999.
|
|
|
|
| Z. Hu and M. Takeichi. Calculating an Optimal Homomorphic Algorithm for Bracket Matching. Parallel Processing Letters 9(3), pp.335-345, 1999.
|
|
|
|
| Z. Hu, H. Iwasaki and M. Takeichi. Calculating Accumulations. New Generation Computing 17(2), pp.153-173, 1999.
|
|
|
|
| T. Hayashi, S. Yamasaki, N. Morita, H. Aida, M. Takeichi, N. Doi. Effects of IP packet loss and picture frame reduction on MPEG1 subjective quality. IEEE-MMSP’99.
|
|
|
|
| Z. Hu, W.N. Chin, M. 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.
|
|
|
|
| 篠埜功,胡振江,武市正人. グラフの探索関数の再帰的定義と変換. 日本ソフトウェア科学会論文誌「コンピュータソフトウェア」17(3), 194-211, 2000.
|
|
|
|
| 尾上能之,胡振江,岩崎英哉,武市正人. プログラム融合変換の実用的有効性の検証. 日本ソフトウェア科学会論文誌「コンピュータソフトウェア」17(3), 81-85, 2000.
|
|
|
|
| 岩崎英哉, 胡振江, 武市正人. 漸次的組化と融合による関数プログラムの最適化, コンピュータソフトウェア, Vol.18, No.0, 46-59, 2000.
|
|
|
|
| W.N.Chin, S.C.Khoo, Z. Hu, M. Takeichi. Deriving Parallel Codes via Invariants. International Static Analysis Symposium 2000 (SAS2000), University of California, June 2000, LNCS 1824, Springer Verlag, pp.75-94, 2000.
|
|
|
|
| I.Sasano, Z. Hu, M. Takeichi, M.Ogawa. Make it Practical: A Generic Linear-Time Algorithm for Solving Maximum-Weightsum Problems. The 2000 ACM SIGPLAN International Conf. on Functional Programming (ICFP’00), Montreal, Canada, September 2000. ACM Press, pp.137-149, 2000.[Acceptance Rate 24/110=22%]
|
|
|
|
| M.Takeichi and Z.Hu. Calculation Carrying Programs: How to code Program Transformation. (Invited Talk). International Symposium on Principles of Software Evolution (ISPSE 2000), Kanazawa, November 1-2, 2000. IEEE Computer Society, pp.250-259.
|
|
|
|
| K. Tanaka-Ishii and Y.Inutsuka and M.Takeichi. Japanese Text Input System With Digits --Can Japanese text be estimated only from consonants?- . Proceedings of Human Language Technology Conference 2001(HLT 2001), pp.211-218, 2001.
|
|
|
|
| 篠埜功,胡振江,武市正人,小川瑞史.ナップサック問題およびその発展問題の統一的解法. 日本ソフトウェア科学会論文誌「コンピュータソフトウェア」18(2), 301-305, 2001.
|
|
|
|
| 林孝典, 山崎真一郎, 森田直人, 相田仁, 武市正人, 土居範久. インターネットを用いた複数経路データ伝送方式の性能評価, 信学論B, Vol.J84-B, No.3, 514-522, 2001.
|
|
|
|
| 篠埜功,胡振江,武市正人,小川瑞史.最大重み和問題の線形時間アルゴリズムの導出. 日本ソフトウェア科学会論文誌「コンピュータソフトウェア」18(5), 483-498, 2001.
|
|
|
|
| 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.
|
|
|
|
| Z. Hu, W-N. Chin and M. Takeichi. Calculating a New Data Mining Algorithm for Market Basket Analysis, Journal of Functional and Logic Programming, No.8, October, 2001. (Revised version of the paper presented at PADL’00.)
|
|
|
|
| Yusuke Inutsuka, Kumiko Tanaka-Ishii, Masato Takeichi. Thai Input System with Digits, NLPRS, pp.579-584, November 2001.
|
|
|
|
| Kumiko Tanaka-Ishii, Yusuke Inutsuka, Masato Takeichi. Personalization of Text Entry Systems for Mobile Phones, NLPRS, pp.177-184, November 2001.
|
|
|
|
| Haiyan Zhao, Zhenjiang Hu, Masato Takeichi, Multidimensional Searching Trees with Minimum Attribute, Computer Software JSSST, Vol.19, No.1, 2002. pp.22-28.
|
|
|
|
| 横山 哲郎, 篠埜 功, 胡 振江, 武市 正人, 変換戦略の記述に基づくプログラムの自動生成システムの実装, 情報処理学会論文誌, Vol. 43, No. SIG 3(PRO 14), pp. 62-77, March 2002.
|
|
|
|
| Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, An Accumulative Parallel Skeleton for All, Proc. European Symposium on Programming ( ESOP 2002), Grenoble, France, April 6 - 14, 2002. Lecture Notes in Computer Science 2305, Springer Verlag, pp.83-97, 2002.
|
|
|
|
| Kumiko Tanaka-Ishii, Yusuke Inutsuka, Masato Takeichi. Entering Text using A Four Button Device. COLING 2002, pp.988-994.
|
|
|
|
| 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.
|
|
|
|
| 伊藤隆,田中哲朗,胡振江,武市正人. しりとりゲームの数理的解析. 情報処理学会論文誌, Vol.43, No.10 (2002), pp.3012-3020.
|
|
|
|
| 田中久美子,犬塚祐介,武市正人. 携帯電話の10keyを用いた日本語入力 --子音だけで日本語が入力できるか--. 情報処理学会論文誌. Vol.43, No.10 (2002), pp.3087-3096.
|
|
|
|
| Isao Sasano, Zhenjiang Hu, Masato Takeichi, Mizuhito Ogawa, Derivation of Linear Algorithm for Mining Optimized Gain Association Rules, Computer Software JSSST, Vol.19, No.4 (2002). pp.39-44.
|
|
|
|
| Haiyan Zhao, Zhenjiang Hu, Masato Takeichi, A Compositional Framework for Mining Longest Ranges, The 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.
|
|
|
|
| Kumiko Tanaka-Ishii , Yusuke Inutsuka, Masato Takeichi. Entering Text using A Four Button Device, The 19th International Conference on Computational Linguistics. pp.988-994, 2002.
|
|
|
|
| 田中久美子,犬塚祐介,武市正人. 少数キーを用いた日本語入力. 情報処理学会論文誌. Vol.44, No.2. 2003.
|
|
|
|
| 山岡裕司, 胡 振江, 武市 正人, 小川瑞史, モデル検査技術を利用したプログラム解析の生成ツール, 情報処理学会論文誌, Vol.44 SIG13(PRO18), pp.25-37, 2003.
|
|
|
|
| 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.
|
|
|
|
| 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.
|
|
|
|
| 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.
|
|
|
|
| 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.
|
|
|
|
| Kumiko Tanaka-Ishii, Daichi Hayakawa, and Masato Takeichi. Acquiring vocabulary for predictive text entry through dynamic reuse of a small user corpus. Proceedings of the 41st Annual Meeting for Association of Computational Linguistics, 2003. 407-414.
|
|
|
|
| Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi, Deterministic Second-order Patterns, Information Processing Letters, Vol. 89, Issue 6, pp.309-314. 2004.
|
|
|
|
 | 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
|
|
|
|
| Also published as:
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.
|
|
|
|
| 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.
|
|
|
|
 | 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.
|
|
|
|
| Zhenjiang Hu, Kento Emoto, Shin-Cheng Mu, Masato Takeichi, Bidirectionalizing Tree Transformations, International Workshop on New Approaches to Software Construction (WNASC 2004), The University of Tokyo, Komaba, Tokyo, Japan, September 13-14, 2004. pp.3-22.
|
|
|
|
| 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, Springer Verlag. pp.2-20.
|
|
|
|
| 横山哲郎,胡振江,武市正人.決定論的2階パターンとプログラム変換への応用. 日本ソフトウェア科学会論文誌「コンピュータソフトウェア」21(5), 403-408, 2004.
|
|
|
|
| Zhenjiang Hu, Tetsuo Yokoyama, Masato Takeichi, Lecture Notes on Program Optimization and Transformation in Calculational Form, Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE 2005), Braga, Portugal, 4-7 July, 2005.
|
|
|
|
| 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.
|
|
|
|
| 松田 一孝, 筧一彦, 胡 振江, 武市 正人, データマイニングのアルゴリズム記述を容易にする拡張行列演算の提案 , 情報処理学会論文誌 (トランザクション), Vol.46, プログラミング (PRO26), 2005. pp.1-15.
|
|
|
|
| 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. pp.7-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.
|
|
|
|
| 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.
|
|
|
|
| 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.
|
|
|
|
| 松田一孝，大川徳之，野村芳明，森田直幸，筧一彦，胡振江，武市正人， 木上の双方向変換を利用したファイルマネージャの実現 , 情報処理学会論文誌, Vol.47, No.SIG 2 (PRO28). 2006. pp.84-98.
|
|
|
|
| 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. LNCS4014, Springer, pp.379-396.
|
|
|
|
| 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. LNCS4128, Springer, pp.605-614.
|
|
|
|
| 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.LNCS 4143, 2006. Springer. pp.139-164.
|
|
|
|
| Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi, Parallel Skeletons for Manipulating General Trees, Parallel Computing, Vol.32, No.7-8, Elsevier, 2006. pp.590-603.
|
|
|
|
| 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.
|
|
|
|
| Dongxi Liu, Zhenjiang Hu, Masato Takeichi, Kazuhiko Kakehi, Hao Wang, A Java Library for Bidirectional XML Transformation, JSSST Computer Software, Vol.24, No.2, 2007. pp.164-177.
|
|
|
|
| Dongxi Liu, Zhenjiang Hu, Masato Takeichi, Bidirectional Interpretation of XQuery, ACM SIGPLAN 2007 Workshop on Partial Evaluation and Program Manipulation (PEPM 2007), Nice, France, January 15-16, 2007.
|
|
|
|
| Yasushi Hayashi, Dongxi Liu, Kento Emoto, Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi, A Web Service Architecture for Bidirectional XML Updating, Joint conference of the 9th Asia-Pacific Web Conference and the 8th International Conference on Web-Age Information Management (APWeb/WAIM 2007), Huangshan, China, June 16-18, 2007. pp.721-732.
|
|
|
|
| Kazutaka Morita, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi, Automatic Inversion Generates Divide-and-Conquer Parallel Programs, ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation (PLDI 2007), San Diego, CA, USA, June 10-13, 2007. pp.146-155.
|
|
|
|
| 野村芳明, 江本健斗, 松崎公紀, 胡振江, 武市正人, 木スケルトンによるXPathクエリの並列化とその評価 , コンピュータソフトウエア, 24(3):51-62, 2007.
|
|
|
|
| Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi, A Compositional Framework for Developing Parallel Programs on Two Dimensional Arrays, International Journal of Parallel Programming (IJPP), Volume 35, Number 6, Springer, 2007. pp. 615-658.
|
|
|
|
| Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi, Domain-Specific Optimization Strategy for Skeleton Programs, 13th International European Conference on Parallel and Distributed Computing (EuroPar 2007), IRISA, Rennes, France, August 28-31, 2007. pp.705-714.
|
|
|
|
| Kazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano, Makoto Hamana, Masato Takeichi, Bidirectionalization Transformation based on Automatic Derivation of View Complement Functions, 12th ACM SIGPLAN International Conference on Functional Programming (ICFP 2007), Freiburg, Germany, October 1-3, 2007. pp.47-58. [Acceptance Rate 26/103=25%]
|
|
|
|
| Yingfei Xiong, Dongxi Liu, Zhenjiang Hu, Haiyan Zhao, Masato Takeichi, Hong Mei, Towards Automatic Model Synchronization from Model Transformations, 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), Atlanta, Georgia, November 5-9, 2007. pp.164-173
|
|
|
|
| 松崎公紀，胡振江，武市正人， リスト上の最大マーク付け問題を解く並列プログラムの導出 , 情報処理学会論文誌, Vol.49, No.SIG3, PRO36. 2008. pp.16-27.
|
|
|
|
| Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi, A Programmable Editor for Developing Structured Documents based on Bidirectional Transformations, Higher-Order and Symbolic Computation (HOSC), Vol. 21, No. 1-2, Springer, June 2008. pp.89-118. (An extended version of the paper presented at ACM PEPM’04.)
|
|
|
|
| Akimasa Morihata, Kiminori Matsuzaki, Masato Takeichi, Write It Recursively: A Generic Framework for Optimal Path Queries. Proceedings of the 2008 ACM SIGPLAN International Conference on Functional Programming (ICFP08), Sept. 22-24, 2008, Victoria, BC, Canada, pp. 169-178, ACM. [Acceptance Rate 35/99=35%]
|
|
|
|
| Keisuke Nakano, Zhenjiang Hu, Masato Takeichi, Consistent Web Site Updating based on Bidirectional Transformation, 10th IEEE International Symposium on Web Site Evolution (WSE 2008), Beijing, China, October 3-4, 2008.
|
|
|
|
| Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi, Type-based Specialization of XML Transformations, ACM SIGPLAN 2009 Workshop on Partial Evaluation and Program Manipulation (PEPM 2009), Savannah, Georgia, USA, January 19-20, 2009. pp.61-72.
|
|
|
|
| Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi, The Third Homomorphism Theorem on Trees: Downward & Upward Lead to Divide-and-Conquer, The 36th Annual ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages (POPL 2009), Savannah, Georgia, USA, January 21-23, 2009. pp.177-185.
|
|
|
|
| 森畑 明昌, 松崎 公紀, 胡 振江, 武市 正人. 並列プログラムの候補生成と適合性検査による並列化. 情報処理学会論文誌：プログラミング, 2(2), 2009.
|
|
|
|
| 松田 一孝, 胡 振江, 中野 圭介, 浜名 誠, 武市 正人. 補関数の生成による複製機能付きプログラムの自動双方向化. コンピュータソフトウェア, 26 (2), pp.56-75, 2009.
|
|
|
|
| Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi, Supporting Parallel Updates with Bidirectional Model Transformations, International Conference on Model Transformation (ICMT 2009), ETH Zurich, Switzerland, June 29-July 3 2009. LNCS 5563, Springer.
|
|
|
|
| Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Hui Song, Masato Takeichi, Hong Mei, Supporting Automatic Model Inconsistency Fixing, The 7th joint meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE) (ESEC/FSE 2009), Amsterdam, The Netherlands, August 24-28 2009. pp.315-324.
|
|
|
|
| Masato Takeichi. Configuring Bidirectional Programs with Functions. International Symposium/Workshop on Implementation and Application of Functional Languages, South Orange, NJ, USA, September 23-25, 2009. (Preprint Version).
|
|
|
|
| Keisuke Nakano, Zhenjiang Hu, Masato Takeichi, Consistent Web Site Updating based on Bidirectional Transformation, International Journal on Software Tools for Technology Transfer (STTT), Vol.11, No.6, 2009. pp.453-468. (This is an extended version of the paper presented in 10th IEEE International Symposium on Web Site Evolution (WSE 2008), Beijing, China, October 3-4, 2008. )
|
|
|
|
| Kazutaka Matsuda, Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi, Grammar-based Approach to Invertible Programs, 19th European Symposium on Programming (ESOP 2010), Paphos, Cyprus, March 22-26, 2010. LNCS 6012, pp.448-467.
|
|
|
|
| Julien Tesson, Hideki Hashimoto, Zhenjiang Hu, Frederic Loulergue, Masato Takeichi, Prorgam Calculation in Coq, Thirteenth International Conference on Algebraic Methodology And Software Technology (AMAST 2010), Quebec City, Canada, 23-26 June 2010. Springer LNCS 6486, pp.163-179.
|
|
|
|
| Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Kiminori Matsuzaki, Masato Takeichi, Generators-of-generators Library with Optimization Capabilities in Fortress, 16th International European Conference on Parallel and Distributed Computing (EuroPar 2010), Ischia, Italy, August 31- September 3, 2010.
|
|
|
|
| 森畑明昌, 松崎公紀, 武市正人: 領域限定言語に基づく最適経路問合せ (Optimal Path Querying based on a Domain-Specific Language). 情報処理学会論文誌 プログラミング, Vol. 4, No. 2, pp. 1-18, 2011.
|
|
|
|
| Akimasa Morihata，Kazuhiko Kakehi，Zhenjiang Hu，Masato Takeichi．Manipulating Accumulative Functions by Swapping Call-time and Return-time Computations，Journal of Functional Programming, 22(3), pp.275-299, 2012.
|
|
|
|
| Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi, Synchronizing Concurrent Model Updates Based on Bidirectional Transformation. Software and Systems Modeling, Springer, Vol.12, No.1, 2013. pp.89-104.
|
|
|
|
| Dongxi Liu, Zhenjiang Hu, Masato Takeichi, An Expressive Bidirectional Transformation Language for XQuery View Update, Progress in Informatics, Vol.10, 2013. pp.89-130.
|
|
|
|
|
;){kind=small}
;){kind=small}
;){kind=small}
