やりたい事
上の代のWikiの、「タスク」と「イベント」のページを混ぜこぜにして、なんか思いついたことを気軽に書いていくイメージです。具体的な日程が決まったらカレンダーにも書いて下さい。
CPU実験をかたる会
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へのおもてなしをする