Proof Market
This is a proof market for Coq. The list of all problems Create a new problem Recent answers How to get proofs done for bitcoins Create a new problem wait for somebody to solve the problem on recent entries pay bitcoins see the proof How to get bitcoins for proving find a problem on the list of all problems (optional) contact possible payers solve the problem post your solution with a price and yo
声に出して読みたい日本語 - 進捗
最近の若者は語彙が少ないと言われる。確かに、若者が使う語彙は少なくなったかもしれない、しかし逆に若者によって創造されていく言葉もある。それらは過去に使われていた意味を離れ、再度現実に使用されやすいように変更されていく。ここでは最近集めた若者に使われている便利ワード情報を記録していきたい。 寿司 狭義の寿司はすし飯の上に生魚の切り身をのせたものだが、最近の若者言葉では意味が拡張され、寿司という言葉はほぼ「ご飯」と同義であると言ってよい。つまり、「寿司が食べたい」というのは「ご飯を食べたい」という意味になる。「寿司」という言葉が狭義の寿司なのか広義の寿司なのかは文脈に依存する。 最高・便利・いい話 とりあえず反応に困ったときに使われる言葉。旧世代における「なるほどですねー」と同義。 おじさん 老害のエイリアス。最近は老害よりもこちらのほうがよく使われる。 2048・Threes そういうゲーム
IIJ Research Laboratory
ネットワークの計測と解析 インターネットの使われ方やネットワークの挙動を把握する事は、ネットワークを運用し、その技術開発を行う ために欠かせません。しかし、観測で得られるデータ量は膨大ですがノイズが多く、また、観測できるのは極めて限られた部分でしかありません。そこで、膨大なデータから意味のある情報を抽出したり、部分的な観測からより一般的な傾向を推測する事が必要となります。... インターネット基盤技術 速くて、安全で、信頼性が高く、使いやすく、など、インターネットサービスへの要求はますます高まっています。これらの要求に応えるために、インターネットの 基盤技術も日々進歩しています。いまやインターネットはつながるだけのサービスではなく、高度で複雑な機能を備えた社会基盤となりました。IIJ技術研究所は、インターネットの基盤として実現が期待される機能を提供するために、さまざまな技術課題に取り組んで
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
