#format md #acl +All:read # やりたい事 上の代のWikiの、「タスク」と「イベント」のページを混ぜこぜにして、なんか思いついたことを気軽に書いていくイメージです。具体的な日程が決まったらカレンダーにも書いて下さい。 ## CPU実験をかたる会 → [[CPU実験を語る会]] ## Wikiの改良 - MoinMoin2.0にする-- [[grafi]] <> - 割りとモダンになってるぽい。 - 標準でMarkdownに対応してる。ソース見たところ結構強引なやり方だったし、ドキュメントは存在しないんだけど。 - HTML5出してくれる。いや1.9でもテンプレート設定すれば可能だとは思うんだけど。 - 独自のDOMを一旦作るようになってる。それはPandocのようなソフトウェアがやるべきことで、Wikiでやることなのか、という気もする。 - Gititも良さそうなんだけどACL追加しづらい設計の気がする。 - table of contentsの表示方法の検討、個別のセクションへのリンク方法の検討-- [[grafi]] <> - 今のところページのキャッシュが無効っぽいけど、負荷大きいかも-- [[grafi]] <> ## 勉強会とか まあ課題が忙しいので中々できなさそうですが、いつかやりたい ### 候補 - Coq勉強会(Software Foundationで) - 型システム入門(TAPL)読書会 - PRML読書会(計数の人とかもいるかも) - その他なんでも ## 飲み会とか やりたい人がいれば書いてください ## 地下の掃除 事務から聞いたら13erと14erのガイダンスが同日で、ガイダンスも30分程度で終わるらしいので、 ガイダンス後に掃除と席の移動(-> [[座席]])を行いましょう。 #### やること - 地下に落ちているゴミを掃除する - 机の上の荷物を動かす - 席替えをする - 14erへのおもてなしをする