1と5のリビジョン間の差分 (その間の編集: 4回)

やりたい事

上の代のWikiの、「タスク」と「イベント」のページを混ぜこぜにして、なんか思いついたことを気軽に書いていくイメージです。具体的な日程が決まったらカレンダーにも書いて下さい。

Wikiの改良

まあ課題が忙しいので中々できなさそうですが、いつかやりたい

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

-  ⇤ ← 2013-04-15 22:19:24時点のリビジョン1 → 
  サイズ: 294
  編集者: grafi
  コメント:
+   ← 2013-04-27 16:15:16時点のリビジョン5 → ⇥
  サイズ: 1000
  編集者: grafi
  コメント:
-削除された箇所はこのように表示されます。
+追加された箇所はこのように表示されます。
 行 1:
-* やりたい事
+#format md
#acl +All:read

# やりたい事
-行 4:
+行 7:
-** Wikiの改良
+## Wikiの改良
-   table of contentsの表示方法の検討、個別のセクションへのリンク方法の検討-- [[grafi]] <<DateTime(2013-04-27T16:15:16+0900)>>
-   今のところページのキャッシュが無効っぽいけど、負荷大きいかも-- [[grafi]] <<DateTime(2013-04-27T16:15:16+0900)>>

## 勉強会とか
まあ課題が忙しいので中々できなさそうですが、いつかやりたい

### 候補
-   Coq勉強会（Software Foundationで）
-   型システム入門（TAPL）読書会
-   PRML読書会（計数の人とかもいるかも）
-   その他なんでも

## 飲み会とか
やりたい人がいれば書いてください