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