やりたい事
上の代の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読書会(計数の人とかもいるかも)
- その他なんでも