サイズ: 1136
コメント:
|
サイズ: 1000
コメント:
|
削除された箇所はこのように表示されます。 | 追加された箇所はこのように表示されます。 |
行 8: | 行 8: |
* <del>多分今のところMarkdown内のwikilinkがWikiのエンジンに対してawareじゃないのをどうにかする-- [[grafi]] <<DateTime(2013-04-15T13:28:00Z)>></del> * テンプレートページをどうにかする-- [[grafi]] <<DateTime(2013-04-15T13:28:00Z)>> * ユーザーページの運用をどうするか-- [[grafi]] <<DateTime(2013-04-15T13:28:00Z)>> * というか頑張ってパーサーをMarkdownに入れ替える必要あるのかな…-- [[grafi]] <<DateTime(2013-04-15T13:28:00Z)>> |
- table of contentsの表示方法の検討、個別のセクションへのリンク方法の検討-- [[grafi]] <<DateTime(2013-04-27T16:15:16+0900)>> - 今のところページのキャッシュが無効っぽいけど、負荷大きいかも-- [[grafi]] <<DateTime(2013-04-27T16:15:16+0900)>> |
行 17: | 行 15: |
* Coq勉強会(Software Foundationで) * 型システム入門(TAPL)読書会 * PRML読書会(計数の人とかもいるかも) * その他なんでも |
- Coq勉強会(Software Foundationで) - 型システム入門(TAPL)読書会 - PRML読書会(計数の人とかもいるかも) - その他なんでも ## 飲み会とか やりたい人がいれば書いてください |
やりたい事
上の代のWikiの、「タスク」と「イベント」のページを混ぜこぜにして、なんか思いついたことを気軽に書いていくイメージです。具体的な日程が決まったらカレンダーにも書いて下さい。
Wikiの改良
- table of contentsの表示方法の検討、個別のセクションへのリンク方法の検討-- grafi 2013-04-27 16:15:16
- 今のところページのキャッシュが無効っぽいけど、負荷大きいかも-- grafi 2013-04-27 16:15:16
勉強会とか
まあ課題が忙しいので中々できなさそうですが、いつかやりたい
候補
- Coq勉強会(Software Foundationで)
- 型システム入門(TAPL)読書会
- PRML読書会(計数の人とかもいるかも)
- その他なんでも
飲み会とか
やりたい人がいれば書いてください