最近ローソンでお菓子をたくさん買った田中です。 近頃読んで面白かった論文を紹介したいと思います。 A Play on Regular Expression 今年のICFPでFunctional Pearlとして発表されたものです。ICFP（International Conference on Functional Programming）というのは、関数プログラミングに関する国際学会で、Functional Pearlというのは、エレガントでためになる、関数プログラミングのテクニック集です。 この論文ではまず、正規表現マッチャを関数型言語(Haskell)でいかにエレガントに記述できるかが示されます。それから、エレガントさを保ったままの線形時間実装へ改良し、その実装がC++によるプロフェッショナルな実装(具体的にはGoogle re2)に匹敵するパフォーマンスを示すことが示されます。さら
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
[給油時/店内表示] ．．．(小銭入金の出来る)〔現金フリー〕の価格【R158-P168-D131-k(灯油)102】です。Selfixサインポール下の電光表示【159-169-132-103】は〔一般クレジットカード...
The CompCert project investigates the formal verification of realistic compilers usable for critical embedded software. Such verified compilers come with a mathematical, machine-checked proof that the generated executable code behaves exactly as prescribed by the semantics of the source program. By ruling out the possibility of compiler-introduced bugs, verified compilers strengthen the guarantees
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
We have permission to import material from the Haskell arrows page. See the talk page for details. Arrows, like monads, express computations that happen within a context. However, they are a more general abstraction than monads, and thus allow for contexts beyond what the Monad class makes possible. The essential difference between the abstractions can be summed up thus: Just as we think of a mona
Video Decode and Presentation API for Unix (VDPAU) is a royalty-free application programming interface (API) as well as its implementation as free and open-source library (libvdpau) distributed under the MIT License.[1] VDPAU is also supported by Nvidia.[3] The VDPAU interface is to be implemented by device drivers, such as Nvidia GeForce driver, nouveau, amdgpu, to offer end-user software, such a
radikoの仕様変更, ffmpegとlibrtmp (rtmpdumpのライブラリ)の更新に追従。librtmp付きのffplayを使う方法に変更。ffmpegはr22813、librtmpはr421で確認。 ffplay "rtmpe://radiko.smartstream.ne.jp:1935/TBS/_defInst_/simul-stream swfUrl=http://radiko.jp/player/player_0.0.9.swf pageUrl=http://radiko.jp/player/player.html#TBS live=1" 録音はこんな感じ。 ffmpeg -t 秒数 -i "rtmpe://radiko.smartstream.ne.jp:1935/TBS/_defInst_/simul-stream swfUrl=http://radiko.jp/
A full-featured and high-performance (see benchmark) event loop that is loosely modelled after libevent, but without its limitations and bugs. It is used in GNU Virtual Private Ethernet, rxvt-unicode, auditd, the Deliantra MORPG Server and Client, and many other programs. Blurb Features include child/pid watchers, periodic timers based on wallclock (absolute) time (in addition to timers using rela
The newest version of this document is also available as an html-formatted web page you might find easier to navigate when reading it for the first time: http://pod.tst.eu/http://cvs.schmorp.de/libeio/eio.pod. Note that this library is a by-product of the IO::AIO perl module, and many of the subtler points regarding requests lifetime and so on are only documented in its documentation at the moment
SSDによるコンテンツキャッシュ(ソフト編)
日本最強の看板を下ろしたミラーサーバftp.jaist.ac.jpの管理者の一人が、 このサーバにまつわるよしなしごとを語ります。 English versions of some posts on another blog. ZFSにはSSDをキャッシュに使ってランダムリードの性能を稼ぐL2ARCという仕掛けがあります。L2ARCはOpenSolarisでは使えるのですが、Solaris 10ではまだ使えません。10u6 (10/08)で使えるようになると言われていたのが延期されて、今年の10u7 (5/09)で使えるだろうと思っていたのが、また延期されてしまいました。実は10u7に合わせてSSDを購入したのですが、当てが外れてしまいました。 仕方ないのでバージョン2.2から実用可能になったApacheのmod_disk_cacheを使おうかと思ったのですが、これがうまくありませんでした
export方法のバリエーション org-export-as-html5presentation ファイルに出力 org-export-as-html5presentation-and-open exportして，そのあとorg-open-fileで開く(Safariとかで) org-export-as-html5presentation-to-buffer ファイルを作らずに新しいバッファにexportする org-export-as-html5presentation-batch 端末とかシェルから呼び出してバッチモードで使う． emacs --batch --load=$HOME/lib/emacs/org.el --eval "(setq org-export-headline-levels 2)" --visit=MyFile --funcall org-export-as-ht
こんにちは岡野原です。もう年末になりましたが、私の今年はこれからです。 wat-arrayというC++ライブラリを公開しました。 google code:wat-array wat-arrayはフリーソフトウェアであり、修正BSDライセンスに基づいて利用できます． wat-arrayはwavelet木と呼ばれるデータ構造を利用することにより、配列上の様々な処理を効率的に行うことができるC++ライブラリです。 例えば、 – 任意の連続した範囲内にある最大値 /最小値 / k番目に大きい値, またそれらの出現位置、頻度 – 任意の連続した範囲内にある指定した文字cの出現回数、c未満/より大きい文字の出現回数 – 任意の文字のi番目の出現位置 といったものを求めることが全て範囲長、入力長に対して定数時間で行うことができます。 例えば長さ10億、値の範囲が0から1000万であるような配列A中のA[
最終修正2005/07/22 講義資料ページへ 上へ ソフトウェア工学2005 ノート 1.アルゴリズム入門 (ppt) 補講.漸近的解析(O記法) (ppt) 2.アルゴリズムの高速化と正当性 (ppt) 3.多項式計算のアルゴリズム (ppt) 4.簡単なソート (ppt) 5.分割統治法に基づくソート (ppt) 6.データ構造に基づくソート (ppt) 7.比較に基づかないソート (ppt) 8.探索(サーチ) (ppt) 9.データ構造入門 (ppt) 10.木構造 (ppt) 11.高度なデータ構造(平衡木) (ppt) 12.任意のデータ構造(グラフ) (ppt) 補助資料 なお、課題やレポート課題等は、 補助資料中に示されるので注意すること。 また、補助資料は随時更新されるので注意すること。 試験 本試験 本試験解答例 再試験 再試験解答例
Java Advent Calendar -ja 2010 : ATND 11日目。昨日は、id:daisuke-m でした。 完全に Eclipse のこと書けとふられてる感じがしたので Eclipse について書く。 Eclipse の何について書こうかと考えたんだけど、先日、社会人になってからプログラム書き始めた弊社の若い子が、「デバッガ」の存在を知らなかったのでデバッガの基本的な使い方などについて書く。 PHPというちょっとしたWebページをさらっと書くには素晴らしい言語だけしか知らないみたいだから、あんまりデバッガ使う文化が無かった模様です。 var_dumpデバッグェ…。 今回は初心者向け記事なので、基本Java使い倒してる皆様は読まなくてよろしいが、Break Point Properties の Condition とかDrop To FrameとかExpressionの機
近頃は100円ショップでも販売されており、簡単に手に入れることができる「土鍋」。鍋料理で重宝する存在ですが、実はそれ以外の料理においても活躍する優れものなんです。そこで今日は、これからの季節にぴったりな土鍋を使ったレシピをご紹介します。 ■土鍋で作る、ほかほかご飯 ▽ 少量なら100円土鍋で炊飯！ [100円ショップの活用術] All About 土鍋を使った基本的なご飯の炊き方を確認してみましょう。少量のご飯を炊く場合は、炊飯器よりもガスを使ったほうが経済的なのだそう。土鍋で炊いたご飯はふっくらと美味しく炊きあがるそうです。一人暮らしの人や一食分のご飯を炊く場合にいいですね。 ▽ メッチャ美味しい！！土鍋de本格鯛めし by ちいたん♪ 【クックパッド】 簡単おいしいみんなのレシピが320万品 ▽ 土鍋で炊く☆さんまご飯 by さるちゃん 【クックパッド】 簡単おいしいみんなのレシピが3
バンク・オブ・アメリカはリスクマネジメントとして自銀の幹部や役員などの重役を誹謗中傷するようなフレーズのドメインを何百と取得しているそうだ(finextra、本家/.)。 これは将来的にWikiLeaksなどの内部告発サイトにおいてインサイダー情報が漏洩した場合に備えた措置とのこと。Domain Name Wireによると、例えば「幹部名＋sucks (～は最低だ)」といったドメインが数多く登録されているとのことだ。 WikiLeaksは米大手銀行に関する資料を公開する計画があることを明らかにしており、バンク・オブ・アメリカの措置は漏洩される情報がかなり深刻な内容であることを示唆しているのかもしれない。 しかし本家コメント通り「+sucks」を取得しても「+reallysucks」といったドメイン名を際限なく作ることができるため、無駄な抵抗のような気もする。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
