IIJ Research Laboratory

暮らしカテゴリーの変更を依頼記事元:

www.iij-ii.co.jp

96 usersがブックマークコメント

IIJ Research Laboratory

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

SWIMATH2 “数理論理学における命題はプログラミングにおける型と一対一対応があり、証明はプログラムと一対一対応があります”

2017/06/22 リンク

airj12 「産業技術研究所と株式会社レピダムは共同で暗号通信 SSL/TLS の一実装の安全性を Coq (正確には Coq の弟分であるSSReflect)で確かめる作業を進めています。」で http://lepidum.co.jp/blog/2014-06-05/CCS-Injection/ に繋がったと

2014/06/06 リンク