タグ

関連タグで絞り込む (0)

  • 関連タグはありません

タグの絞り込みを解除

Coqに関するt-wadaのブックマーク (2)

  • IIJ Research Laboratory

    ネットワークの計測と解析 インターネットの使われ方やネットワークの挙動を把握する事は、ネットワークを運用し、その技術開発を行う ために欠かせません。しかし、観測で得られるデータ量は膨大ですがノイズが多く、また、観測できるのは極めて限られた部分でしかありません。そこで、膨大なデータから意味のある情報を抽出したり、部分的な観測からより一般的な傾向を推測する事が必要となります。... インターネット基盤技術 速くて、安全で、信頼性が高く、使いやすく、など、インターネットサービスへの要求はますます高まっています。これらの要求に応えるために、インターネットの 基盤技術も日々進歩しています。いまやインターネットはつながるだけのサービスではなく、高度で複雑な機能を備えた社会基盤となりました。IIJ技術研究所は、インターネットの基盤として実現が期待される機能を提供するために、さまざまな技術課題に取り組んで

    t-wada
    t-wada 2011/04/05
    うおおキタコレ! しかも書いているのは噂の女子大生の方か。続きが楽しみすぎます。
  • 証明駆動開発のたのしみ@名古屋reject会議

    FOSDEM2015: Live migration for containers is around the cornerAndrey Vagin

    証明駆動開発のたのしみ@名古屋reject会議
    t-wada
    t-wada 2011/02/28
    なんかもういろいろと凄い
  • 1