型レベルプログラミングの会 - おびなたん☆

型レベルプログラミングの会 ATND 東京駅から丸の内線に乗ったが、溜池山王駅が屈指の地下ダンジョンであることをすっかり忘れていて、丸ノ内線国会議事堂前駅の最後尾車両を降りてから、ATTの最寄り出口まで20分も歩く羽目になってしまった。しかも途中で２回引き返しをしている。ふんがー。 C++ テンプレートでカレンダー で、このさいなので一昨年の夏プロシンのショートセッションでしゃべったネタを再版。論文にはなっていないので、一般には初公開？ セッションは好きなプログラミング言語でカレンダーを実装する、というお題で、おいらはC++テンプレートを使った。 他に、竹内先生がLispで宇宙カレンダーを作ったり（ref:竹内郁雄＠Lispハッカーは、日本のゲルトミューラーだ／Tech総研）、ささださんがRubyVMにカレンダー命令を組み込んだり、にしおくんがpythonワンライナーっぽい正方形プログラム

[sett-4]

C++テンプレートはチューリング完全なコンパイルタイムの計算モデルなので、テンプレートを使ったプログラムが有限時間内にコンパイル可能かどうかを判定することは一般的にはできない。チューリング機械の停止問題に

[h-hirai]

わ、わかんねー