やりたい事

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

Wikiの改良

• MoinMoin2.0にする-- grafi 2013-05-02 16:42:46
  • 割りとモダンになってるぽい。
  • 標準でMarkdownに対応してる。ソース見たところ結構強引なやり方だったし、ドキュメントは存在しないんだけど。
  • HTML5出してくれる。いや1.9でもテンプレート設定すれば可能だとは思うんだけど。
  • 独自のDOMを一旦作るようになってる。それはPandocのようなソフトウェアがやるべきことで、Wikiでやることなのか、という気もする。
    • Gititも良さそうなんだけどACL追加しづらい設計の気がする。
• table of contentsの表示方法の検討、個別のセクションへのリンク方法の検討-- grafi 2013-04-27 16:15:16
• 今のところページのキャッシュが無効っぽいけど、負荷大きいかも-- grafi 2013-04-27 16:15:16

勉強会とか

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

候補

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

飲み会とか

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

地下の掃除

事務から聞いたら13erと14erのガイダンスが同日で、ガイダンスも30分程度で終わるらしいので、 ガイダンス後に掃除と席の移動(-> 座席)を行いましょう。

やること - 地下に落ちているゴミを掃除する - 机の上の荷物を動かす - 席替えをする - 14erへのおもてなしをする