中田育男(Ikuo NAKATA)

〒184-8584 東京都小金井市梶野町3-7-2
法政大学 情報科学研究科　客員教授（２００８年３月３１日まで）

著書

• 中田育男:
  　　「コンパイラの構成と最適化」第２版
  　　朝倉書店，東京, 2009.
  
• 中田育男，渡辺坦，佐々政孝，滝本宗宏:
  　　「コンパイラの基盤技術と実践」
  ーコンパイラ・インフラストラクチャCOINSを用いてー
  　　朝倉書店，東京, 2008.
  　　本文中のいくつか例題と正誤表はウェブページ にあります．
  
• 中田育男:
  　　「コンパイラの構成と最適化」
  　　朝倉書店，東京, 1999（現在第7刷）.
  　　　　2000年度大川出版賞受賞
  　　
• 中田育男:
  　　「コンパイラ」
  　　　　オーム社, 東京, 1995（2010年12月第17刷）.
  　　　　(PL/0'コンパイラのJava版、 JavaCC版、 yacc版もあります。また、COINS版は、
  　　　　COINSのホームページの「Coins を使って新たなコンパイラを作る」の項にあります。
  　　　　Ruby 版を追加しました．）
  
• 中田育男:
  　　「基礎FORTRAN」
  　　　　岩波書店, 東京, 1991.
  
• 中田育男:
  　　「コンパイラ」
  　　　　産業図書, 東京, 1981（現在第27刷）.
  

解説

• 中田育男, 森公一郎:
  リターゲッタブルコード生成
  コンピュータソフトウェア， Vol.25, No.1, pp.47-64 (2008)
• 情報処理学会誌連載「21世紀のコンパイラ道しるべ ‥ COINSをベースにして」
  
  • 中田育男、渡辺坦：
    概要
    情報処理, Vol.47, No.4, pp.425-436 (2006)
  • 中田育男、渡辺坦：
    HIRの説明と簡単な言語のフロントエンド
    情報処理, Vol.47, No.5, pp.526-540 (2006)
  • 森公一郎、阿部正佳、中田育男:
    LIRの説明とバックエンドの概要説明
    情報処理, Vol.47, No.6, pp.662-669 (2006)
  • 森公一郎、阿部正佳、中田育男、鈴木貢：
    TMDによるコード生成-SPARC0を例題として
    情報処理, Vol.47, No.7, pp.776-785 (2006)
• 中田育男:
  初期のコンパイラの開発と最適化，
  夏のプログラミングシンポジウム「コンピュ−ティングの歴史」報告集，
  55-62頁，1996年．
  （情報処理学会のコンピュータ博物館にpdfファイルがあります。
  http://museum.ipsj.or.jp/library/ronbun.html）
• 中田育男, 山下義行, 小柳義夫:
  超並列計算機CP-PACSのソフトウェア,
  情報処理, 37巻1号, 29-37頁, 1996年1月. （pdf）
  

近況

最近の論文

• 中田育男，渡辺坦，佐々政孝，森公一郎，阿部正佳：
  COINSコンパイラ・インフラストラクチャの開発，
  コンピュータソフトウェア， Vol.25, No.1, pp.2-18 (2008)
  日本ソフトウェア科学会ソフトウェア論文賞受賞（2010年6月）
• Watanabe, T., Fujise, T., Mori, K., Iwasawa, K., and Nakata, I.:
  Design assists for embedded systems in the COINS Compiler Infrastructure,
  10th International Workshop on Innovative Architecture for Future Generation High-Performance Processors and Systems (IWIA2007) (Jan. 2007).
• 中田育男:
  ソフトウェア・パイプライニングの一実現法,
  情報処理学会論文誌：プログラミング, Vol.47, No.SIG 16 (PRO 31)， pp.44-51， 2006年10月.
• Abe, S., Hagiya, M. and Nakata, I.:
  A Retargetable Code Generator for the Generic Intermediate Language in COINS,
  情報処理学会論文誌：プログラミング, Vol. 46, No. SIG 14 (PRO 27), pp. 12-29, 2005.
  
• Suzuki, M., Fujinami, N., Fukuoka, T., Watanabe, T., and Nakata, I.:
  SIMD Optimization in COINS Compiler Infrastructure,
  Proc. Innovative Architecture for Future Generation High-Performance Processors and Systems, IWIA 2005, January 2005.
  
• 鈴木貢, 藤波順久, 福岡岳穂, 渡邊坦, 中田育男:
  マルチメディアSIMD命令活用のためのデータサイズ推論,
  情報処理学会論文誌：プログラミング, 45巻SIG5号（PRO 21），1-11頁，2004年5月.
  
• Sassa, M., Nakaya, T., Kohama, M., Fukuoka, T., Takahashi, M. and Nakata, I.:
  Static Single Assignment Form in the COINS Compiler Infrastructure - Current Status and Background -,
  SPA2003, March 2003.
  
• 糸賀裕弥，秡川友宏，山下義行，中田育男:
  条件分岐を考慮したソフトウェアパイプラインにおけるレジスタ割付け,
  電子情報通信学会論文誌D-I, Vol. J85-D-I, No.1, pp. 31-39, 2002年1月.
  Itoga, H., Haraikawa, T., Yamashita, Y., and Nakata, I.:
  Register Allocation Methods of Improved Software Pipelining for Loops with Condditional Branches,
  Electronics and Communications in Japan, Part 3, Vol.89, No.12, 2006.
  
• Guo, M., Nakata, I.:
  A Framework for Efficient Data Redistribution on Distributed Memory Multicomputers,
  The Journal of Supercomputing, vol.20, no.3, pp.243-265, Nov., 2001. （pdf）
  
• Guo, M., Nakata, I., Yamashita, Y.:
  Contention-free communication scheduling for array redisribution,
  Parallel Computing, vol.26, pp.1325-1343, 2000.
  
• Nakazawa, K., Nakamura, H., Boku, T., Nakata, I., Yamashita, Y.:
  CP-PACS: A massively parallel processor at the University of Tsukuba,
  Parallel Computing, vol.25, no.13-14, pp.1635-1661, 1999.
  
• 秡川友宏，添野元秀，山下義行，中田育男:
  スライドレジスタ割付問題の厳密解法,
  情報処理学会論文誌, 40巻9号，3524-3536頁，1999年9月. （pdf）
  
• 中田育男，田村祐子，中井央:
  字句解析器生成系での最短一致法の提案,
  情報処理学会論文誌, 40巻9号，3616-3619頁，1999年9月. （pdf）
  
• Guo, M., Nakata, I., Yamashita, Y.:
  Contention-Free Communication Scheduling for Array Redistribution,
  Proc. 1998 International Conference on Parallel and Distributed Systems, ICPADS'98, Tainan, Taiwan, pp.658-667, December, 1998.
  
• Guo, M., Yamashita, Y., Nakata, I.:
  Efficient Implementation of Multi-Dimensional Array Redistribution,
  IEICE Transactions on Information and Systems, Vol.E81-D, No.11, pp.1195-1204, Nov. 1998.
  
• 秡川友宏，添野元秀，山下義行，中田育男:
  スライドウィンドウを考慮したレジスタ割付,
  情報処理学会論文誌, 39巻9号，2684-2694頁，1998年9月. （pdf）
  
• Guo, M., Yamashita, Y., Nakata, I.:
  An Efficient Data Distribution Technique for Distributed Memory Parallel Computers,
  情報処理学会論文誌, 39巻6号，1718-1728頁，1998年6月. （pdf）
  
• Guo, M., Yamashita, Y., Nakata, I.:
  Improving Performance of Multi-dimensional Array Redistribution on Distributed Memory Machines,
  Proc. Third International Workshop on High-Level Parallel Programming Models and Supportive Environments, Orlando, Florida, pp.82-91, March 30, 1998.
  
• Guo, M., Yamashita, Y., Nakata, I.:
  An Efficient Data Distribution Technique for Distributed Memory Parallel Computers,
  並列処理シンポジウムJSPP'97, 189-196頁, 1997年5月.
  
• 中井央，佐々政孝，山下義行，中田育男:
  LR属性文法に基づいたインクリメンタルな属性評価,
  情報処理学会論文誌, 37巻12号，2254-2265頁，1996年12月. （pdf）
  
• 中井央，山下義行，中田育男:
  インクリメンタルなLR構文解析の一方式の提案とその評価,
  情報処理学会論文誌, 37巻3号，371-383頁，1996年3月. （pdf）
  
• 中田育男, 山下義行:
  正規右辺属性文法の一提案,
  情報処理学会論文誌, 36巻6号，1415-1421頁，1995年6月. （pdf）
  
• 山下義行, 中田育男:
  ソフトウェア・パイプライニングにおける多重ループの最適化,
  並列処理シンポジウムJSPP'95, 185-192頁, 1995年5月.
  
• 中川裕之，金谷英信，星野秀之，中田育男，山下義行:
  拡張1パス型属性文法によるコンパイラ生成系の実現,
  情報処理学会論文誌, 36巻4号，902-912頁, 1995年4月. （pdf）
  
• Sassa, M., Ishizuka, H. and Nakata, I.:
  Rie, a Compiler Generator Based on a One-pass-type Attribute Grammar,
  Software-Practice and Experience, Vol.25(3), pp.229-250, March 1995.
  
• 山下義行，中田育男:
  時相属性文法によるグラフィカル・ユーザインターフェースの記述,
  コンピュータソフトウェア, 12巻2号, 76-93頁, 1995年3月.
  
• 山下義行, 中田育男:
  ループ中に条件分岐を含む場合の最適なソフトウェア・パイプライニング,
  並列処理シンポジウムJSPP'94, 17-24頁, 1994年5月.
  
• Nakamura,H., Nakazawa,K., Li,H., Imori,H., Boku,T., Nakata,I. and Yamashita,Y.:
  Evaluation of Pseudo Vector Processor based on Slide-Windowed Registers,
  Proc. Hawaii International Conference on System Sciences 27, IEEE/ACM, pp.368-377, Jan. 1994.
  
• Nakamura,H., Imori,H., Nakazawa,K., Boku,T., Nakata,I., Yamashita,Y., Wada,H., and Inagami,Y.:
  A Scalar Architecture for Pseudo Vector Processing based on Slide-Windowed Registers,
  Proc. Int'l Conf. on Supercomputing'93, pp.298-307, July 1993.
  
• 佐々政孝，石塚治志，中田育男:
  1パス型属性文法に基づくコンパイラ生成系Rie,
  コンピュータソフトウェア, 10巻3号, 20-36頁, 1993年5月.
  
• 中田育男，山下義行:
  再帰的下向き構文解析における演算子順位構文解析,
  情報処理学会論文誌, 34巻2号, 239-245頁, 1993年2月. （pdf）
  
• 中田育男:
  拡張正規表現によるパターンマッチングアルゴリズムの生成,
  コンピュータソフトウェア, 10巻1号, 63-67頁, 1993年1月.
  Nakata, I.:
  Generation of Pattern-Matching Algorithms by Extended Regular Expressions （psファイル） ,
  Advances in Software Science and Technology, Vol.5, pp.1-9, Dec. 1993.
  
• Zhang, Y. and Nakata, I.:
  Generation of Path Directed LALR(k) Parsers for Regular Right Part Grammars,
  Journal of Information Processing, Vol.14, No.3, pp.325-334, 1991.
  
• Nakata, I. and Sassa, M.:
  Programming with Streams in a Pascal-Like Language,
  IEEE Transactions on Software Engineering, Vol.17, No.1, pp.1-9, Jan. 1991.
  
• 久世和資、佐々政孝、中田育男:
  ストリームによるプログラミングのための言語とその実行方式,
  情報処理（３０周年記念論文特集）, 31巻5号, 673-685頁, 1990年5月. （pdf）