やりたい事
上の代のWikiの、「タスク」と「イベント」のページを混ぜこぜにして、なんか思いついたことを気軽に書いていくイメージです。具体的な日程が決まったらカレンダーにも書いて下さい。
Wikiの改良
- Wiki記法の解説を書く（まとまった日本語ドキュメントが無いし、wikilink周りは完全に独自になっている）
- テンプレートページをどうにかする-- grafi 2013-04-15 22:28:00
- ユーザーページの運用をどうするか-- grafi 2013-04-15 22:28:00
多分今のところMarkdown内のwikilinkがWikiのエンジンに対してawareじゃないのをどうにかする-- grafi 2013-04-15 22:28:00- がんばってみる
というか頑張ってパーサーをMarkdownに入れ替える必要あるのかな…-- grafi 2013-04-15 22:28:00
勉強会とか
まあ課題が忙しいので中々できなさそうですが、いつかやりたい
候補
- Coq勉強会（Software Foundationで）
- 型システム入門（TAPL）読書会
- PRML読書会（計数の人とかもいるかも）
- その他なんでも