IIJ Research Laboratory

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

www.iij-ii.co.jp

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

コメント

83

記事へのコメント83件

注目コメント
新着コメント

pi8027 読みましょう読みましょう

coq

2011/04/05 リンク

t-wada うおおキタコレ! しかも書いているのは噂の女子大生の方か。続きが楽しみすぎます。

Coq

2011/04/05 リンク

sirocco 「私はこの春から女子大生になります」って、凄い！理解しているだけでなく、この説明の能力は・・・どんな人なんだろう。一つ目の証明までは写経しながら読んだ。次二つ目の証明。#coqt

Coq

2011/04/06 リンク

antipop リアル数学ガ〜ルさんですか！

2011/04/06 リンク

areph 認証駆動開発に興味があるので。

2011/04/19 リンク

tyoro1210 女子大生と聞いて

Coq
program

2011/04/07 リンク

syque 証明駆動開発やら P 言語 Coq やら。

2011/04/06 リンク

TRON こういう新機軸がドンドン出てくるから技術者はやめらんねぇなｗ

2011/04/06 リンク

risouf 僕の周囲にも、こういうものがあるんだよってのが広まるといいなあ。 / ここで言う「絶対にバグのない」の意味を正しく理解できない人には（Coqを使いこなすことは）難しい。

2011/04/06 リンク

注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

規約違反を報告

アプリのスクリーンショット

いまの話題をアプリでチェック！

バナー広告なし
ミュート機能あり
ダークモード搭載

アプリをダウンロード

関連記事

{{ total_bookmarks_with_user_postfix }}{{ root_title }}

IIJ Research Laboratory

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

ブックマークしたユーザー

jdg2017/11/13
serihiro2017/09/21
aoksh2017/07/25
pandaman642017/07/24
agw2017/07/23
shigiryou2017/07/23
peccu2017/07/23
SWIMATH22017/06/22
kadoppe2017/04/24
kjirouu2017/04/07
ttrr2017/01/22
ishiy19932017/01/15
itouhiro2016/09/22
rkchif2016/05/05
tanishiking242016/04/25
takuma5102016/03/20
notae2016/02/19
y0t42016/02/17

同じサイトの新着

同じサイトの新着をもっと読む

いま人気の記事

いま人気の記事をもっと読む

いま人気の記事 - 暮らし

いま人気の記事 - 暮らしをもっと読む

新着記事 - 暮らし

新着記事 - 暮らしをもっと読む

設定を変更しましたx