13.11 Perform I/O Operations in Parallel The POSIX.1b standard defines a new set of I/O operations which can significantly reduce the time an application spends waiting for I/O. The new functions allow a program to initiate one or more I/O operations and then immediately resume normal work while the I/O operations are executed in parallel. This functionality is available if the unistd.h file defin
現地21日、ニューヨーク・ヤンキースのイチロー外野手が、本拠地ヤンキー・スタジアムで行われたトロント・ブルージェイズ戦で日米通算4000本安打を達成した。以下、質疑応答の一問一答。 ■一問一答 ─率直な感想からお願いします 「こういうきりのいい数字というのは千回に一回しか来ないので、これを4回重ねられたと言う事はとてもじゃないですよね、ま、それなりかなという風に思いますけど。4000と言う数字よりも、あんな風にチームメイトやファンの人達が祝福してくれるとは、全く想像していなかったので、その事ですね。それが深く刻まれましたし、結局、4000という数字が特別なものをつくるのではなくて、記録が特別な瞬間を作るのではなくて、自分以外の人たちが特別な瞬間を作ってくれるものだというふうに強く思いました」 ─みんながダグアウトから出てきた時、驚いていた 「ちょっと、やめて欲しいと思いましたね。
Menu Menu Agda で証明しながら圏論を学ぶという予定です。あまり入門ではないかも。 Higher-Order Categorical Logic の 0章に相等する内容です。 BitBucket category-exercise-in-agda source code Agda の入門の要約 Agda の入門 Agda の集合の Level Agda の record Agda のReasoning Caategory module と圏の入門 自然変換 IdentityFunctor と Hom Reasoning Monad の結合則 Sets と Monoid を使った Monad の例 Kleisli 圏の構成 ここまでが Monad を理解するための部分。以下は、Adjoint 関連です。 Adjoint から Monad を導く Kleisli 圏による Mona
/etc/hosts にホスト名を書いて配るというのは、数台のマシンを管理する状況では誰しもやったことがあると思います。DNSクエリが発生しないのでとても早く、また単一障害点が発生しないメリットがあります。その反面、台数が増えてくると全部を更新するのがとても大変になるだけでなく、致命的な速度低下をもたらします。 テスト環境は OS: CentOS 6.4 64bit, Linux 3.10.2 CPU: Intel Core i7-2600 @ 3.4GHz です。 テストにはひたすら getaddrinfo(3) し続けるプログラムを作成し、名前を解決しました。 /etc/hosts には 10.234.130.1 host1301 10.234.130.2 host1302 10.234.130.3 host1303 のように適当なアドレスとホスト名を並べたものを作り、利用しました。な
F5 Sites DevCentral Connect & learn in our hosted community F5 Labs The latest threat intel and research to help protect your apps MyF5 Your key to everything F5, including support, registration keys, and subscriptions Partner Central Research and support for partners LearnF5 Guidance, insights, and how to use F5 products Contact F5 Contact F5 Sales Talk to an F5 sales representative Contact F5 Su
・curry :: ((a, b) -> c) -> a -> b -> c という関数について、 ((a, b) -> c)をa -> b -> cとするのはカリー化といえるか? ということの考察。 Haskellで言うカリー化と言われているのは、 (\x y = x + y) => (\x -> (\y -> x + y)) という変換であり、 Haskellのcurry関数は、 (\(x,y) -> x + y) => (\x -> (\y -> x + y)) という変換をしているのであり、curry関数は「Haskellのカリー化」と言えない。 しかし、直積の集合を取る関数 f:(A x B)->Cを、g:A->(B->C)と捉えるならば、タプルを取る関数は直積集合を取る関数と捉えられ、先のcurry関数の変換ほうがむしろカリー化として妥当じゃないではないか?ということ。 はなだ
Perlを使うようになってからはコード書きにVimを使うようになったのだが、Eclipseと違ってコードを追いかけるのが大変。 そこでctagsを使ってタグファイルを生成してそれを読み込ませるようにしてみたところ、シンボル上でCtrl-]を押して定義にジャンプしたりCtrl-tを使って戻ったりできるようになり若干楽になったのだが、なぜか Hoe::Fuga::hehe(0); のようなパッケージ名つき関数呼び出しなどではタグジャンプしてくれない。 生成されたタグファイルの中身を見てみるとそもそも「Hoe::Fuga::hehe」のエントリがないので、ctagsに素敵なオプションをつけることで生成してくれたりしないかななどとネットで情報を探してみたのだが、なぜか対策が見つからなかった。 これは個人的にはイタいのだが、みんな困ってないのかな?…それはさておき、次のようなスクリプトを書いて「Ho
Pythonの勉強に,とMercurialのコードをよんでたら,base85なるものを発見.base64は,以下の64文字ですべてを表現しちゃいましょってアルゴリズム. // base64 chars static const char base64chars[] = "ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789+/"; そこで,もっと文字増やして,転送効率あげようや,ってのがbase85. 以下がbase85. static const char base85chars[] = "0123456789ABCDEFGHIJKLMNOPQRSTUVWXYZ" "abcdefghijklmnopqrstuvwxyz!#$%&()*+-;<=>?@^_`{|}~"; まぁどっちがいいかってのはbase85のほうが1
昨秋よりWebPayに関わっている。 クラウド系かなーとfluxflexに行った初日に「決済に本腰入れ始める」と聞いた時に呆然としたところから、予想したよりも続いているし予想したよりも面白いものを見つけたと思えるようになっている。 最近の悩みはクレジットカードの更新時に再審査してもらったものの限度額が10万円だったこと。 WebPayの検証用にもDiners Clubのカードが欲しいのだけれど、誰一人持てないのではないか。Dinersホルダーのエンジニアの入社が待たれる。 WEB+DB PRESS Vol.76 特集2 Web決済入門 春先に「決済やってるんですよ」と@inaoさんに挨拶をしたところから、@keikubo, @sowawaと3人で寄稿させて頂くこととなった。 WEB+DB PRESS Vol.76 作者: 五十嵐啓人,伊野亘輝,近藤宇智朗,渡邊恵太,須藤耕平,中島聡,A-L
RSコンポーネンツから42.00米ドルで買えるLinuxパソコンと言いながら、その実ARM CPUを搭載したマイコンボード……にしては豪華すぎる仕様のRaspberry Piが届いたので使ってみました。 (続きは[Read More]から) マイコンボードとして清貧に使うRaspberry PiにはHDMIポートが付いていますが、うちにはHDMIポート付きのモニタが一台も無いし、元よりRaspberry Piをパソコン的な用途として使う気は全く無いので、モニタ無し、母艦Macな環境で、高機能なマイコンボードとして使うべく、Lチカをやったところまでのメモです。 HDMIポートが無くても、以下のような変換ケーブル、変換アダプタを使うと、DVI-Dでも使えるということです。VGAに変換するのはコストが嵩むので現実的ではないでしょう。 電源はmicroUSBから供給します。5V/700mAだという
1年ちょっとほど前に購入したCorei7-960マシンは、CentOSを入れて家内サーバーとして使っているのですが、連休が終わって電源を入れてから、ガーガーとファンから音がするようになっていました。まあ多少はうるさいかな、とそのまま2、3日放っておいたのですがなにやらコンソールへ CPU0: Temperature above threshold, cpu clock throttled とメッセージを出すようになりました。CPUの温度が上がりすぎているようです。 そこでケースを開けて中を確認してみるとファンは問題なく動いているものの、CPUクーラーにびっしりホコリが詰まった状態になっています。これでCPUクーラーに空気が流れていないような感じ。CPUクーラーを取り外し、掃除して、グリスを塗り直してからCPUクーラーを装着してメッセージは出なくなりました。BIOSで確認したところCPU温度
« Plaggerで「Shibuya.pm」のタグが付いている「はてなブックマーク」からオートディスカバリでフィードを取得してOPMLを作る | Main | Web::Scraper 0.15で何が変わったのか...とおまけ » ctags 5.7 improves Perl support Added support for 'package' keyword Added support for multi-line subroutine, package, and constant definitions Added support for optional subroutine declarations Added support for formats Ignore comments mixed into definitions and declarations Fixed de
あまり参考にならないと思いますが、私がどのようにして C 言語や Windows プログラミングを習得したのかを書いていこうと思います。 C 言語を勉強しなければならないと思ったのは、中学 1 年生の 4 月でした。多くの中学校、高校にもあると思いますが、私が入学した「高槻中学校・高等学校」にもパソコン部のようなものがあり、そこでは C 言語が流行していました。 C 言語が流行していたといっても、「C 言語が良いらしいぞ」という言葉が流行していたという程度であり、誰か C 言語によるプログラミングがものすごくできて人に教える能力がある程度の生徒や教員がクラブにいた訳ではありません。当時、クラブでは PC で動作するフリーウェアのゲームが多数流行っており、放課後や昼休みなどに皆で必死にゲームをして遊んでいました。そのときに流行っていたゲームの 1 つに、以下の「Flying Jump」という
2002 年 8 月 (高校 3 年生の夏休み) に、筑波大学情報学類の AC 入試を受験するために執筆した「自己推薦書」が出てきました。 一部、秘密の部分 (パスワードなど) が書かれている所を消しましたが、ほとんどそのまま PDF に変換してアップロードしました。 PDF: http://uploader.dnobori.jp/ac/ac.pdf もしこれから筑波大学の AC 入試を受験したいけれども、どのようにすれば合格になるだろうか、とか、「自己推薦書」というものにはどのようなことを書けばよいのだろうか、ということを知りたい方は参考にしていただけれれば幸いです。 なお、これはだいたい 1997 年 (中学 1 年) から 2001 年 (高校 2 年) の 5 年間にやったことを詳しく記述したものであり、ものすごく知識や経験が少なかったころのものですので、今見るといろいろ間違ってい
行政が提供するサービスのうち、何が一番好きかというと、個人的には、「警察サービス」が一番好きである。警察機能が行政の提供する役務のうち最も重要なものの 1 つであることに疑いはない。その他に、国が提供する重要な機能には、裁判所機能、(自衛的) 軍隊機能がある。これらが欠けると、物理的な安全が維持できなくなる。国が提供するその他の機能 (福祉、経済介入など) と比べて、警察、裁判所、軍隊の機能の重要性は計り知れないほど大きいと思う。 さて、昔、警察官の方に、警察では、市民に対して、免許の更新などのサービスの他にも、「職務質問」というサービスを提供しており、希望する市民は職務質問を受けることができるらしい、という話を聞いた。 そして、昨年の夏、インターネット上で目的もなく色々 Web サイトを見ていると、「俺は職務質問を受けたぞ」といった自慢のような記事や YouTube の体験ビデオなどを見
こんにちは! 今日は PacketiX VPN のプログラミングを気合いを入れて進めるために、手元の Intel Core i7-2600K (3.4GHZ) のコンピュータを再インストールしてみました。 大学の連中が言うには、Windows Vista や Windows 7 よりも Windows 95 のほうが軽く高速に動作するので、大変良いそうです。そこで、Windows 95 の CD-ROM を発掘してきました。 この Windows 95 は Windows 3.1 からのアップグレード版ですので、まずは、MS-DOS 6.2V と Windows 3.1 をインストールしました。MSCDEX の組込に手間取りました。 いよいよ Windows 3.1 の「ファイル マネージャ」から MSCDEX と OAKCDROM.SYS でかろうじて認識されている Windows 9
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く