2013年度前期・数理解析・計算機数学 II
[ ホーム | 講義 ] 2013年度前期・数理解析・計算機数学 II (同 概論II) レポート課題 レポート課題 提出期限 2013年8月2日(金) 講義予定 シラバス 第1回 4月12日 Coq で関数型プログラミング 講義メモ 資料 EmacsでCoqを使う 設定ファイル coq.emacs (.emacs にコピーす る) 第2回 4月19日 Coqの論理 講義メモ 第3回 4月26日 述語論理と帰納法 講義メモ 第4回 5月10日 帰納的な定義と多相性 講義メモ 第5回 5月17日 プログラムの証明1 講義メモ 第6回 5月24日 プログラムの証明1 5月25日 14時半〜17時半 多元307号室 (ご興味の方) Proof Cafe: 先輩達によるCoqの勉強会 第7回 5月31日 プログラムの証明2 講義メモ 6月7日 名大際のため休講 第8回 6月14日 数学的な証明 講
IIJ Research Laboratory
ネットワークの計測と解析 インターネットの使われ方やネットワークの挙動を把握する事は、ネットワークを運用し、その技術開発を行う ために欠かせません。しかし、観測で得られるデータ量は膨大ですがノイズが多く、また、観測できるのは極めて限られた部分でしかありません。そこで、膨大なデータから意味のある情報を抽出したり、部分的な観測からより一般的な傾向を推測する事が必要となります。... インターネット基盤技術 速くて、安全で、信頼性が高く、使いやすく、など、インターネットサービスへの要求はますます高まっています。これらの要求に応えるために、インターネットの 基盤技術も日々進歩しています。いまやインターネットはつながるだけのサービスではなく、高度で複雑な機能を備えた社会基盤となりました。IIJ技術研究所は、インターネットの基盤として実現が期待される機能を提供するために、さまざまな技術課題に取り組んで
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
