The requested URL was rejected. Please consult with your administrator. Your support ID is: 9690375341464519040
The requested URL was rejected. Please consult with your administrator. Your support ID is: 9690375341464519040
Formal certification of a compiler back-end, or: programming a compiler with a proof assistant. Xavier Leroy. POPL 2006. http://pauillac.inria.fr/~xleroy/publi/compiler-certif.pdf ソースコードとか。 http://pauillac.inria.fr/~xleroy/compcert-backend/ 著者のXavier LeroyはOCamlの作者です。 (ネイティブコードを吐く)コンパイラを作ったことがある人なら、ごく稀にしか起きない、わけのわからないバグに悩まされたことがきっとあると思います。そういうバグがあると、コンパイラを作る人どころか、それを使うプログラマも悩まされます。これはMLのような型つき言語でコ
無圧縮GIFを作成する方法 2004年6月20日をもって、LZW圧縮技術に関するUNISYSの特許は日本国内で期限切れになりました。したがって以下で説明している小細工はもはや無意味ですが、何かの参考になる可能性もないとは言い切れないのでこのページは一応そのまま残しておきます。 [はじめに] [作成手順] [サンプル] [gzipで圧縮] [Content-Negotiation] [リンク] [更新履歴] はじめに GIF画像に使われているLZW圧縮という技術は、UNISYSが特許を取得しているため、GIF画像を扱うソフトウェアを公開するにはUNISYSとライセンス契約を結ぶ必要があります。逆にいえばLZW圧縮技術さえ使わなければ、UNISYSの特許には抵触しません。 デメリットは圧縮できないので、サイズが大きくなることです。インターネット上で配布する画像形式としては、これはかなり深刻な問
新着情報 ニュースリリースはこちら 2013年9月5日 Camellia暗号エンジン(C [mini]版)を追加しました。 詳しくはこちらをご覧ください 2013年3月26日 ニュースリリースを更新しました。詳しくはこちらをご覧ください。 2012年5月18日 Camelliaの概要説明資料を更新しました。詳しくはこちらをご覧ください。 参考文献リストを更新しました。詳しくはこちらをご覧ください。 2012年5月18日 技術情報(TLS ciphersuites)を更新しました。詳しくはこちらをご覧ください。 2012年5月18日 標準化情報を更新しました。詳しくはこちらをご覧ください。 2012年5月18日 製品情報・採用実績を更新しました。詳しくはこちらをご覧ください。 2012年5月18日 Camellia対応オープンソースとその他のオープンソースを更新しました。詳しくはこちらをご覧
いまやネットの世界を左右する強力な検索エンジンとなったGoogle。日本ではまだYahoo!の方がはるかに利用者が多いのでさほどではないですが、アルゴリズムの基本的な考えが似ているため、同じような結果が出てきます。つまり、既存の検索エンジンのその基礎となった一番最初のGoogleの検索アルゴリズムを理解すれば、検索エンジン対策にも役立つはず。 ということで、初代Googleのアルゴリズムをできるだけわかりやすく解説してみます。既存の他サイトの解説とは違い、きちんとした最初のGoogleの数式に基づいています。 詳細は以下から。The Anatomy of a Search Engine http://www-db.stanford.edu/~backrub/google.html Googleの画期的なランク付けの方法が数式による全自動のページランクというのは聞いたことがあると思いますが、
Perl による Suffix Array の実装 2006-04-10-2 [Programming][Algorithm] 昔作った「Perlによるsuffix arrayの実装」を発掘したので公開しておき ます。 ソースコードです。 #!/usr/bin/perl -w use strict; my $t = "mississippi"; # Text - 対象テキスト my @sa = (0..length($t)-1); # Suffix Array - 初期設定 ### Suffix Array の作成 @sa = sort {substr($t, $a) cmp substr($t, $b)} @sa; # テスト出力 for (0..$#sa) { print "$_ $sa[$_] ",substr($t, $sa[$_]),"\n"; } ### バイナリサーチ
2006年04月08日17:07 カテゴリArt書評/画評/品評 なんでもquine とっても自己言及したくなったのでTB. Gödel, Escher, Bach Douglas R. Hofstadter [邦訳: ゲーデル、エッシャー、バッハ] rubyco(るびこ)の日記 - 自己言及とても眠いので自己言及プログラムを書きました。以下の一行をPerl Scriptに入れると、どんなものでも自己言及プログラム = quineになります。 open ME, $0 and print <ME>; こうしてもOK. print <ME> if open ME, $0; さらに暗黒面に進みたい人は、これも。 open 0 and print <0>; これが気に入った人はAcme::Bleachも気に入ることでしょう。 もちろん、Rubyだって出来ます。 File.open($0).read
ED治療薬(勃起薬)は様々な違いがあります。持続時間、作用時間、効果の強さ、食事の影響などの比較をご紹介しています。 サイトマップ ED治療薬(勃起薬)の比較・違い ED治療薬(勃起薬)は、現在のところ4種類販売されています。それぞれの特徴の違いを比較します。EDに効果があるメカニズムはどれも同じですが、持続時間、即効性、食事やお酒の影響などで違いがあります。お薬は個人差もありますが、ご自分に合っているものを探すことも大切です。また、状況にわけて様々なED治療薬を使い分けている方もいらっしゃるようです。正しいお薬を選択する事で、より効果を得る事ができるでしょう。 ED治療薬の通販はコチラ 勃起力で選ぶならこのED治療薬! バイアグラ ED治療薬で最も有名なのはバイアグラではないでしょうか? バイアグラは勃起力が強くなる薬で、ED治療だけでなくナイトライフを楽しみたい方にもオススメなED治療
排他制御せずに i と i+1 という2つのノードを同時に連結リストから外す操作を行うと、結果として i+1 のノードが外れないという状態になりうる。 排他制御(はいたせいぎょ)とは、コンピュータ・プログラムの実行において、複数のプロセスが利用出来る共有資源に対し、複数のプロセスからの同時アクセスにより競合が発生する場合に、あるプロセスに資源を独占的に利用させている間は、他のプロセスが利用できないようにする事で整合性を保つ処理の事をいう。相互排除または相互排他(mutual exclusion)ともいう。最大k個のプロセスが共有資源にアクセスして良い場合を k-相互排除という。 換言すれば1つのクリティカルセクションに複数のプロセス(またはスレッド)が同時に入ることを防ぐことである。クリティカルセクションとは、プロセスが共有メモリなどの共有資源にアクセスしている期間を指す。排他制御の問題は
更新履歴 DNS拡張EDNS0の解析 Linuxカーネルをハッキングしてみよう Windowsシステムプログラミング Part 3 64ビット環境でのリバースエンジニアリング Windowsシステムプログラミング Part2 Windowsシステムプログラミング Part1 Contents インフォメーション 「TCP/IPの教科書」サポートページ 「アセンブリ言語の教科書」サポートページ 「ハッカー・プログラミング大全 攻撃編」サポートページ ブログ(はてな) BBS メール このサイトについて テキスト 暗号 詳解 RSA暗号化アルゴリズム 詳解 DES暗号化アルゴリズム crypt() アルゴリズム解析 MD5 メッセージダイジェストアルゴリズム crypt() アルゴリズム解析 (MD5バージョン) TCP/IP IP TCP UDP Header Format(IPv4) Ch
ある日突然、ボロノイ図を高速に描画するアルゴリズムを思いつきました。特にボロノイ図のことを考えていたわけではないのですが… ボロノイ図とは、任意の点がどの母点に一番近いのかによって分割された図形で、分割された各領域がその母点の勢力範囲を表しています。 郵便局や消防署、スーパーの出店計画等に利用すると便利な図です。 デモをダウンロード (D3DX9_29.DLLが無いと怒られた場合はこちらからインストールしてください) デモの内容は64個の母点が勝手に動き回って、それに伴いボロノイ図が変化するというものです。白い三角が母点を表しています。特にインタラクティブ性はありません。 正直、ボロノイ図には(私の興味がある範囲では)あまり面白い利用方法が思いつきません。ベクトル量子化に使えそうなくらいでしょうか。 図をそのまま表示して視覚的に利用するなら、サッカーのフォーメーションの分析に使ったら
このページの目的は、「独自のプログラミング言語を作る」ことです。 「プログラミング言語を作る」というのは、 やったことのない方からすれば、ずいぶん無謀な目標に見えるのかもしれません。 でも、いくつかの基礎知識さえ修得すれば、技術的には、 実はそんなに難しいものでもありません。 だったら、ひとつぐらい作ってみたいと思いませんか? なにしろプログラミング言語を作るなんて、 いかにもかっこ良さげじゃないですか。 私は作ってみたいと思いました。だから作ります。 プログラミング言語なんてもう山ほどあるのに、 今さら新しい言語なんて付け足して何をしたいんだよ! などというツッコミは入れてはいけません。 「なぜプログラミング言語なんか作るんですか?」 と聞かれたら、その答は そこにyaccがあるからだ。 で充分だろうと私は思います(yaccが何かは後述します)。 というわけで―― ただ私なんぞが新言語を
This application requires the Flash plugin. If the plugin is already installed, click here. Warning: include(../../includes/footer.php) [function.include]: failed to open stream: No such file or directory in /home/.sidestep/osteele/osteele.com/tools/reanimator/index.php on line 32 Warning: include() [function.include]: Failed opening '../../includes/footer.php' for inclusion (include_path='.:/usr
The Codehaus, the Drools projectは1日(カナダ時間)、Droolsの最新版であるDrools 2.5を公開した。Drools 2.5はJavaで開発されたビジネスルールエンジン。組織におけるビジネスルールを処理するためのルールエンジンであり、カーネギーメロン大学のCharles L. Forgy教授によって開発されたReteアルゴリズムをベースとしている。 Drools 2.5はThe BSD Licenseによくにたライセンスのもとで公開されているオープンソースソフトウェア。ライセンスの詳細は同梱されているライセンスファイルやライセンスを参照のこと。 Drools 2.5における主な変更点は次のとおり。 コンパイラインタフェースとしてApache JCIの採用 no-loop、xor-groupサポートの追加 コンパイル可能なルールセットとルールコンポーネ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く