You Can Kiss Your Web Browser Goodbye
Welcome to the radical future of push media, where information cascades to you—and doesn’t need your clicks. Remember the browser war between Netscape and Microsoft? Well forget it. The Web browser itself is about to croak. And good riddance. In its place … broader and deeper new interfaces for electronic media are being born. BackWeb and PointCast, propelled by hot young Silicon Valley startups.
underconstruction: 「テトぐるみ」の作り方
テトぐるみの想像以上の評判に、小林さん大山さん共々びっくりしてます。 まさか即時売り切れで再販、更に再々販までも売り切れとは！ありがとうございます、がんばります、というか業者さんががんばってくれます。 プロトタイプ第１号からまるっと1年、しみじみと感慨深いです。 わたしは素晴らしく有能なミシンを所有しているのでお針子担当となったわけなのですが、はてなのブックマークやお二人のブログに「手作りしたい」との意見をたくさん頂いていたので、苦節一年、適当に編み出した作り方情報をご紹介。 ＜材料＞ １．コンクリっぽい布（フェルトが無難、コート地でもよいです。アンゴラ入りとか柔らかいものはぶよっとするので不向き） ２．手芸用棉（わた） ３．型紙（↓拡大縮小自由です、好きなサイズで作ってみて下さい） ＜作り方＞ １．型紙を切って布に当て、チャコペン等で型どりして、その５mm〜10mm（縫い代ぶん）外側を
Coq in a Hurry
These notes provide a quick introduction to the Coq system and show how it can be used to define logical concepts and functions and reason about them. It is designed as a tutorial, so that readers can quickly start their own experiments, learning only a few of the capabilities of the system. A much more comprehensive study is provided in [1], which also provides an extensive collection of exercise
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Bridging and Redundancy
長文日記
