|
サイズ: 1125
コメント:
|
サイズ: 1136
コメント:
|
| 削除された箇所はこのように表示されます。 | 追加された箇所はこのように表示されます。 |
| 行 8: | 行 8: |
| * 多分今のところMarkdown内のwikilinkがWikiのエンジンに対してawareじゃないのをどうにかする-- [[grafi]] <<DateTime(2013-04-15T13:28:00Z)>> | * <del>多分今のところMarkdown内のwikilinkがWikiのエンジンに対してawareじゃないのをどうにかする-- [[grafi]] <<DateTime(2013-04-15T13:28:00Z)>></del> |
やりたい事
上の代のWikiの、「タスク」と「イベント」のページを混ぜこぜにして、なんか思いついたことを気軽に書いていくイメージです。具体的な日程が決まったらカレンダーにも書いて下さい。
Wikiの改良
多分今のところMarkdown内のwikilinkがWikiのエンジンに対してawareじゃないのをどうにかする-- grafi 2013-04-15 22:28:00- テンプレートページをどうにかする-- grafi 2013-04-15 22:28:00
- ユーザーページの運用をどうするか-- grafi 2013-04-15 22:28:00
- というか頑張ってパーサーをMarkdownに入れ替える必要あるのかな…-- grafi 2013-04-15 22:28:00
勉強会とか
まあ課題が忙しいので中々できなさそうですが、いつかやりたい
候補
- Coq勉強会（Software Foundationで）
- 型システム入門（TAPL）読書会
- PRML読書会（計数の人とかもいるかも）
- その他なんでも