やりたい事
上の代のWikiの、「タスク」と「イベント」のページを混ぜこぜにして、なんか思いついたことを気軽に書いていくイメージです。具体的な日程が決まったらカレンダーにも書いて下さい。
Wikiの改良
- table of contentsの表示方法の検討、個別のセクションへのリンク方法の検討-- grafi 2013-04-27 16:15:16
- 今のところページのキャッシュが無効っぽいけど、負荷大きいかも-- grafi 2013-04-27 16:15:16
勉強会とか
まあ課題が忙しいので中々できなさそうですが、いつかやりたい
候補
- Coq勉強会（Software Foundationで）
- 型システム入門（TAPL）読書会
- PRML読書会（計数の人とかもいるかも）
- その他なんでも
飲み会とか
やりたい人がいれば書いてください