Publications of Kazuhiro Inaba

Books (Japanese)

• Google Maps API 徹底活用ガイド
• Boost C++ Libraries プログラミング

Papers (English)

• The Complexity of Tree Transducer Output Languages (with S.Maneth)
     [PDF] [bib]    To appear in proceedings of FSTTCS 2008    [-> long ver. (unpublished draft)] @INPROCEEDINGS{InabaManeth08, author = {Kazuhiro Inaba and Sebastian Maneth}, title = {The Complexity of Tree Transducer Output Languages}, booktitle = {Foundations of Software Technology and Theoretical Computer Science (FSTTCS)}, year = {2008} }
• Multi-Return Macro Tree Transducers (with H. Hosoya and S. Maneth)
     [PDF] [bib]    In proceedings of CIAA 2008, LNCS 5148 @INPROCEEDINGS{InabaHosoyaManeth08, author = {Kazuhiro Inaba and Haruo Hosoya and Sebastian Maneth}, title = {Multi-Return Macro Tree Transducers}, booktitle = {Conference on Implementation and Application of Automata (CIAA)}, year = {2008} }
• Multi-Return Macro Tree Transducers (with H. Hosoya)
     [PDF] [bib]    In proceedings of PLAN-X 2008 @INPROCEEDINGS{InabaHosoya08, author = {Kazuhiro Inaba and Haruo Hosoya}, title = {Multi-Return Macro Tree Transducers}, booktitle = {Programming Language Technologies for XML (PLAN-X)}, year = {2008} }
• XML Transformation Language Based on Monadic Second Order Logic (with H. Hosoya)
     [PDF] [bib]    In proceedings of PLAN-X 2007    [-> long ver. (unpublished draft)] @INPROCEEDINGS{InabaHosoya07, author = {Kazuhiro Inaba and Haruo Hosoya}, title = {{XML} Transformation Language Based on Monadic Second Order Logic}, booktitle = {Programming Language Technologies for XML (PLAN-X)}, year = {2007} }
• XML Transformation Language Based on Monadic Second Order Logic
     [PDF] [bib]    Master Thesis, 2006 @MASTERSTHESIS{Inaba06, author = {Kazuhiro Inaba}, title = {{XML} Transformation Language Based on Monadic Second Order Logic}, school = {The University of Tokyo}, year = {2006} }
• Purely Applicative XML Cursor
     [PDF] [bib] [prototype impl]    Senior Thesis, 2004 @MISC{Inaba04, author = {Kazuhiro Inaba}, title = {Purely Applicative {XML} Cursor}, howpublished = {Senior Thesis, The University of Tokyo}, year = {2004} }

Slides (Mostly Japanese)

手元に残ってた発表スライドを適当に。 内容には一切全くこれっぽっちも責任を持てません。

• [PPT] "Complexity and Expressiveness of Models of Tree Translations" at 博士論文審査中間発表, 2008/09
• [PPT] "Multi-Return Macro Tree Transducers" at CIAA 2008, 2008/07
• [PPT] "はじめての D" at D言語BOF, 2008/03
• [PPT] "Multi-Return Macro Tree Transducers" at PLAN-X 2008, 2008/01
• [PPT&PDF&Src] "PEG Example Generator 略して PEG" at PEG意見交換会, 2007/11
• [PPT] "Extensible Pattern Matching via a Lightweight Language Extension の Survey" at SIG-POPL @ yl, 2007/07
• [PPT] "ATTAPL輪講 9.3 Singletone Kinds" at SIG-POPL @ yl, 2007/06
• [PPT] "GPSのしくみと使い方" at 情報科学なんでもセミナー 第60回, 2007/04
• [PPT] "ACM/ICPC World Finals への道" at ACM/ICPC World Finals Tokyo, 2007/03
• [PPT] "XML Transformation Language Based on Monadic Second-order Logic" at PLAN-X 2007, 2007/01
• [PPT] [PDF] "Pythonとプログラミングコンテスト" at Python Workshop 04, 2006/12
• [PPT] "第10章 データ構造ブートストラップ" at Purely Functional Data Structures ゼミ, 2006/07
• [PPT] "ACM/ICPCとアルゴリズム" at 実践的プログラミング, 2006/06
• [PPT] "第7章 償却性の除去" at Purely Functional Data Structures ゼミ, 2006/06
• [PPT] "ATTAPL輪講 (第4回) 続Dependent Types" at SIG-POPL @ yl, 2006/06
• [PPT] "第1～3章 導入" at Purely Functional Data Structures ゼミ, 2006/05
• [PPT] "Macro Tree Transducer の型検査アルゴリズム" at SIG-POPL @ yl, 2006/05
• [PPT] "XJ: XML Enhancements to Java の紹介" at SIG-POPL @ yl, 2005/11
• [HTML] "OCamlの型推論 in 高橋メソッド", 2005/11
• [PPT] "The 5W1H of D Programming Language" at Google Tokyo, 2005/10
• [PPT] "Coqによる証明：まとめ" at 定理証明器ゼミ, 2005/08
• [PPT] "教科書に載らないニッポンのオンラインソフトの歴史" at 情報科学なんでもセミナー 第25回, 2005/07
• [PPT] "C++ Template : 2005" at 情報科学なんでもセミナー 第4回, 2005/01