世の中には締め切りがないとなかなか勉強できないという人がいます。そこで、Coqの証明課題に締め切りつきで取り組める企画というのがあれば、今まで興味があるが手を出せなかった人もCoqをはじめることができるのではないかと考えました。それがこの「Coq演習2014」です。
あと、まとまった資料を作ろうとするとだいたい先にやる気が切れてしまうので、資料は最低限のものだけに留めようと思います。できるだけ省パワーでやります。必要な情報は自力で収集しましょうというスタンスです。もちろん、質問には答えます。
この企画は担当のやる気がなくなったら終了(お流れ)になります。ごめんなさい。
2学期制の大学の1学期分と考えて、1週間に1回の演習を13-15回程度行う形式でいこうかなと考えています。
これは単なる自主企画なので、実際の単位にはなりませんが、雰囲気を出すために評定を算出してみようかなとか考えています。ここら辺は未定です。
次の目次は思いつきで書いたもので、変更されるかもしれません。というよりも、何か提案があったらぜひ教えてください。(思いつきで書いたものなので、内容にムラがある可能性が高いです。)
参加者と講師を募集しようと思います。参加もしたいし講師もしたいという人もOKです。なんか適当に連絡してください。
提出一覧はGoogle Docsで管理しています。