IIJ Research Laboratory
ネットワークの計測と解析 インターネットの使われ方やネットワークの挙動を把握する事は、ネットワークを運用し、その技術開発を行う ために欠かせません。しかし、観測で得られるデータ量は膨大ですがノイズが多く、また、観測できるのは極めて限られた部分でしかありません。そこで、膨大なデータから意味のある情報を抽出したり、部分的な観測からより一般的な傾向を推測する事が必要となります。... インターネット基盤技術 速くて、安全で、信頼性が高く、使いやすく、など、インターネットサービスへの要求はますます高まっています。これらの要求に応えるために、インターネットの 基盤技術も日々進歩しています。いまやインターネットはつながるだけのサービスではなく、高度で複雑な機能を備えた社会基盤となりました。IIJ技術研究所は、インターネットの基盤として実現が期待される機能を提供するために、さまざまな技術課題に取り組んで
ホーム - Coq演習2014(仮)
Coq演習2014 について 世の中には締め切りがないとなかなか勉強できないという人がいます。そこで、Coqの証明課題に締め切りつきで取り組める企画というのがあれば、今まで興味があるが手を出せなかった人もCoqをはじめることができるのではないかと考えました。それがこの「Coq演習2014」です。 あと、まとまった資料を作ろうとするとだいたい先にやる気が切れてしまうので、資料は最低限のものだけに留めようと思います。できるだけ省パワーでやります。必要な情報は自力で収集しましょうというスタンスです。もちろん、質問には答えます。 この企画は担当のやる気がなくなったら終了(お流れ)になります。ごめんなさい。 形式 2学期制の大学の1学期分と考えて、1週間に1回の演習を13-15回程度行う形式でいこうかなと考えています。 これは単なる自主企画なので、実際の単位にはなりませんが、雰囲気を出すために評定を
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
