参加者
C++のtemplate強すぎﾜﾛﾀ
もうしばらくみんなと顔合わせられないんだなぁ……寂しい、まあ、東京で頑張る
- やること宣言
- ドワンゴC++勉強会の発表資料のためのネタライブラリ作ってた、C++で依存型みたいなことやってみるってテーマ
- 依存型というのは値を型として扱ったり型を値として扱ったりするための機能のことです、CoqとかAgdaとかIdrisとかの定理証明系にあるのだけれど、C++のtemplateで部分的にエミュレートが可能
- みんなとお別れ会を我馬でした。また明日！
進捗ダメです
進捗ダメです。
GitHub の説明をしたりしました。
見当違いなことしている気もしているが、これ以上推敲しそうにもないのでとりあえず上げる（汗
進捗どうですか？っていわれたので
今週は進捗なしです。
金・土・日は福岡行ってコレ参加してきました。
詳細はこっちです。