やりたい事
上の代のWikiの、「タスク」と「イベント」のページを混ぜこぜにして、なんか思いついたことを気軽に書いていくイメージです。具体的な日程が決まったらカレンダーにも書いて下さい。
Wikiの改良
- MoinMoin2.0にする
- 割りとモダンになってるぽい。
- 標準でMarkdownに対応してる。ソース見たところ結構強引なやり方だったし、ドキュメントは存在しないんだけど。
- HTML5出してくれる。いや1.9でもテンプレート設定すれば可能だとは思うんだけど。
- 独自のDOMを一旦作るようになってる。それはPandocのようなソフトウェアがやるべきことで、Wikiでやることなのか、という気もする。
- table of contentsの表示方法の検討、個別のセクションへのリンク方法の検討-- grafi 2013-04-27 16:15:16
- 今のところページのキャッシュが無効っぽいけど、負荷大きいかも-- grafi 2013-04-27 16:15:16
勉強会とか
まあ課題が忙しいので中々できなさそうですが、いつかやりたい
候補
- Coq勉強会（Software Foundationで）
- 型システム入門（TAPL）読書会
- PRML読書会（計数の人とかもいるかも）
- その他なんでも
飲み会とか
やりたい人がいれば書いてください