ラムダ計算 λ...
► 2022 (2) ► 10月 (1) ► 2月 (1) ► 2021 (51) ► 11月 (2) ► 10月 (2) ► 9月 (4) ► 8月 (4) ► 7月 (4) ► 6月 (4) ► 5月 (3) ► 4月 (10) ► 3月 (7) ► 2月 (4) ► 1月 (7) ► 2020 (155) ► 12月 (7) ► 11月 (10) ► 10月 (8) ► 9月 (8) ► 8月 (11) ► 7月 (21) ► 6月 (19) ► 5月 (14) ► 4月 (20) ► 3月 (13) ► 2月 (10) ► 1月 (14) ► 2019 (293) ► 12月 (11) ► 11月 (12) ► 10月 (24) ► 9月 (29) ► 8月 (27) ► 7月 (36) ► 6月 (40) ► 5月 (24) ► 4月 (35) ► 3月 (42) ► 2月 (6
6.5Gビット/秒の超高速Webアクセス、東大平木教授らが小型パソコンでデモ
写真1●発表会でのデモに使ったシステム 東京と米国オレゴン州のポートランド間のネットワークと同様の往復遅延時間（136ミリ秒）を再現するため、ネットワーク遅延発生装置（左の装置）を用いた。右側がクライアント・パソコン。 東京大学の平木 敬教授らの研究グループは2009年11月27日、家庭用サイズのパソコンと改造したWebブラウザ（Firefoxを改造した「UsadaFox」）を使い、日米間で最大6.5Gビット/秒のデータ転送を実現したと発表した。この記録は2009年11月14日～20日まで米国オレゴン州ポートランドで開催されたスーパーコンピュータ関連の国際会議である「Supercomputing 2009（SC09）」のバンド幅チャレンジで披露したもの。httpを用いて158Gバイトのファイルを6.5Gビット/秒の速度で東京大学からSC09会場に送信した。使用した日米間のネットワークの往復
Coqとは コンピュータの人気・最新記事を集めました - はてな
あけましておめでとうございます。今年もよろしくお願いします。 Coqのモジュール関連の機能について和訳したので基本的な機能を紹介します。 リファレンスの文中で「対話的」モジュールとされているのは Vernacular を使って定義するからで、実体は Structure です*1 。 Coqのモジュールは(S)MLのモジュールに近い機能で、型とその実装をひとまとめにして名前を付けることができます。 実はリファレンスを読んだだけではどんな機能か分からなかったので分かったことをこの記事にまとめます(多分構文はOCamlに近いけどワタシ用のメモなので随所でSMLと比較しています)。 基本 SMLで言う…
前期実験g1g2g3 : PC返却の手続き
4年生全員に貸し出しているPCの回収を行いますので， これを読んだらすぐに，研究室の代表者が一人，必ず確認のメールを return-pc-10@logos.t.u-tokyo.ac.jp あてに出してください． メールのフォーマット・その他の注意事項については下記を参照してください． 返却を忘れて卒業してしまうようなことがあると， 関係者や後輩に多大な迷惑をかけてしまうことになりますので十分に気をつけてください． 日時と場所 日時：2011年3月1日（火） 10:00-12:00 どうしても上記時間に来れないという場合には，2011年3月22日（火）10:00-12:00 場所：近山・田浦研究室 9F 92D3 注意事項 手続きをスムースに行うため，返却は研究室ごとにまとめて行います． 返却時に必ずしも全員が来なくても良い（代表がまとめて返しに来るのでも良い）ですが， とにかくその研究室分
頓智ドット株式会社 に行ってきた！ - 941::blog
ポック、ポック、ポック、ポック、 チーン！ やぁ、くしいです。皆さん閃いてますかー？ロマサガ２ばりですかー？そうですかー。 今日はセカイカメラでiPhone界隈を騒然とさせている、頓智ドット株式会社さんに行ってきたよ。 略すときは『頓智・』って書くらしい。覚えておくといいかもしんない。 もう日本じゃなくて世界戦に目を向けてひたすら鍛え上げてるカンジでイカす雰囲気だった。 ベンチャー、あると思います！ オフィスは新宿三丁目とか新宿御苑のあたりにある。 緑多くてよいですなー。 ==== どかーんと受付。 『 Look up ! not down. 』 と書いてる。これは、「パソコンやケータイの小さなスクリーンから 時には目の前のセカイに目線を上げよう！」という、頓智・のメッセージだそう。 受付に電話は無く、iPadが置いてある。 ※公開から3ヶ月以上経過した特定の記事は有料となっている場合があ
被災地、ツツガムシ病に要注意＝患者多発の恐れも―感染研 （時事通信） - Yahoo!ニュース
東日本大震災の被災地で、ダニの一種ツツガムシによる感染症「ツツガムシ病」がこれまで発生していなかった地域でも多発する恐れがあるとして、国立感染症研究所は5日までに、注意を呼び掛けた。 ツツガムシ病は、農作業や土木作業、レジャーなどの際、リケッチアという病原体を持つツツガムシに刺された後、5〜14日たって発症する。発熱、発疹が主な症状で、適切な治療をしなければ重症化することもあるという。4類感染症として報告対象になっており、地域によって春先や秋に発生のピークがある。 同研究所によると、福島県の60代の男性が3月22日にツツガムシ病と診断された。刺されたのは2月末の草刈り時とみられる。同県は春と秋に発生のピークがあるが、従来晩秋に発生が多い地域だった。 同研究所は「東北地域の春のツツガムシ病シーズンが始まったことを意味し、臨床現場では注意が必要」と指摘。また、土砂災害によって有毒ツツガム
- このブログは非公開に設定されています。
ブログ このブログは非公開に設定されています。 (Access forbidden) 他のブログを探す ブログランキング（共通のジャンル） 1 裏ピク 2 放送事故★お宝エロ画像村まとめ 3 マブい女画像集 女優・モデル・アイドル 4 エロ画像まとめ えっちなお姉さん。 5 AV女優2chまとめ ヘルプ インフォメーション リクエスト 利用規約 障害情報 FC2ブログについて FC２の豊富な機能 スマホからもブログ投稿 有料プラン アルバム機能 おすすめブログ テンプレート一覧 マガブロ マガブロとは？ マガブロランキング マガブロの書き方 マガブロアフィリエイト サポート ヘルプ インフォメーション リクエスト 利用規約 障害情報 アプリでもブログ投稿 FC2トップ お問い合わせ 会社概要 プライバシーポリシー 著作権ガイドライン 広告掲載 Copyright(c)1999 FC2, I
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://hagi.is.s.u-tokyo.ac.jp/~yh/yoiko.html
地震前後ツイート