タグ

ブックマーク / earth2001y.hatenablog.com (1)

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

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

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