3と5のリビジョン間の差分 (その間の編集: 2回)
⇤ ← 2013-04-25 05:53:04時点のリビジョン3 →
サイズ: 1136
編集者: grafi
コメント:
← 2013-04-27 16:15:16時点のリビジョン5 → ⇥
サイズ: 1000
編集者: grafi
コメント:
削除された箇所はこのように表示されます。 追加された箇所はこのように表示されます。
行 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読書会（計数の人とかもいるかも）
  • その他なんでも

飲み会とか

やりたい人がいれば書いてください

やりたい事 (最終更新日時 2014-08-21 11:36:10 更新者 nemunemu)