NSEG第13回勉強会での飛込みトークスライド 1時間くらいで作ったので、かなり荒削り。

1. はじまるよ
#nseg でつぶやいてみてね

2. 被災してきました

3. 結局、４日間
http://twitter.com/earth2001y/status/47301503299497984

4. 宣伝

5. EM高専カンファレンス
オンライン版公開しています
http://www.manaslink.com/em/emzero/em-kc/

6. みなさん、高専にどんなイメージ持ってますか？

7. みなさん、高専にどんなイメージ持ってますか？
http://www.nagano-nct.ac.jp/science/index.php

8. 本題

9. C++の黒魔術
Daichi OBINATA
NSEG #13
Mar 19, 2011

10. C++の黒魔術 ＝
テンプレートメタプログラミング

11. テンプレートとは？
プログラミングにおけるテンプレートは、静的型付
けのC++でデータ型にとらわれずにコードを書くこ
とを可能にする機能であり、C++においてはジェネ
リックプログラミングに用いられる。
C++においてテンプレートは多重継承や演算子多重
定義と並ぶ重要な機能となった。STL (Standard
Template Library)はテンプレートによって構築
されたフレームワークとなっている。
http://ja.wikipedia.org/wiki/テンプレート_(プログラミング)

12. template <typename T>
T max(T x, T y)
{
if (x < y)
return y;
else
return x;
}
cout << max(3, 7); //7が出力される

13. 詳しくはggrks

14. テンプレートは
・コンパイル時に処理されます
・チューリング完全です
・関数型言語です

15. テンプレートは
・コンパイル時に処理されます
・チューリング完全です
・関数型言語です
詳しくはggrks

16. テンプレートは
・コンパイル時に処理されます
・チューリング完全です
・関数型言語です

17. 「チューリング機械の停止判定問題」
がコンパイル時にも発生する

18. コンパイルが停止しない（終了
しない）プログラムが書ける！

19. デモ

20. まとめ
・C++でコンパイルが止まらな
いプログラムを書きました。

21. まとめ
・C++でコンパイルが止まらな
いプログラムを書きました。
・仕事では使えません！

22. 参考文献
・Todd L. Veldhuizen:
C++ Templates are Turing Complete
・おびなただいち: C++テンプレートでLisp
・大日向大地: C++テンプレートでカレンダー ,
情報処理学会 2007年夏プロシン
・おびなただいち: C++テンプレートでFizzBuzz ,
日本野望の会 2008年新年会

23. http://d.hatena.ne.jp/earth2001y/

24. おわり