d.y.d.おもしろいみろん
13:33 08/06/29 RSS of kmonos/wlog moved! http://www.kmonos.net/wlog/index.rdf いや、移動したのは15ヶ月前なので、すでにご存じの方は華麗にスルーしてください。 「ここのRSSが文字化けしてるよー」という方だけ、↑に登録変更していただけると、 直るかと思います。お手数おかけしてスミマセン。定期的に「文字化けってる」という 指摘を見かけるので再度ブロードキャストです。こう、辛辣な評議会とかで怒られそうですけど、 諸般の事情により古い方からリダイレクトかけるの難しいらしいのだよね… それはそうと、昨日の記事に追記しました。 10:26 08/06/28 Logic ∩ CS 検索してたらたまたまヒットした "On the Unusual Effectiveness of Logic in Computer Scienc
「パッチから攻撃プログラムを自動生成」、米研究者が実験に成功
米研究者らによる論文「Automatic Patch-Based Exploit Generation is Possible: セキュリティ組織の米サンズ・インスティチュートは2008年4月18日、米大学の研究者らが、修正パッチ（セキュリティ更新プログラム）から攻撃プログラム（エクスプロイト）を自動的に生成する手法を発表したと伝えた。同手法を用いれば、パッチの入手から数分で攻撃プログラムを生成できるという。 ソフトメーカーが公開した修正パッチを解析（リバースエンジニアリング）して、そのパッチで修正される脆弱（ぜいじゃく）性を突くプログラムを作成するのは、攻撃者の常とう手段。最近では、パッチ公開から数日で攻撃プログラムが公開されるケースが増えている。 現在は、攻撃者が人手でパッチの解析や攻撃プログラムの作成をしているものの、これらが自動化されれば、もっと短期間に攻撃プログラムが出現し、より
d.y.d. memo: POPL 2
17:17 08/01/30 ところで C++ か JavaScript か PHP が批判されてるのを見ると思わず何か言いたくなってしまうのだけど、 考えてみるに、他の言語だと割とどうでもいい。そういう意味では、今の自分が好きなプログラミング言語は この３つということになるのかなあ……などと徒然なるままに思いました。 単純に、つきあいが長い方から３つというだけかもしれない。 いやしかし、PHPに対する批判の多くはその通りであるとは思うのですが。 Attacking PHP で触れられてる「リストであり辞書でもある」 array ってあれは普通に便利じゃないです？ 結構他の言語でも欲しくなるのですが。 17:08 08/01/29 PHP で Yコンビネータ PHP じゃ Y コンビネータつくれない と聞いて。 <?php // PHPでは関数呼び出しは 関数名(...) か 変数(...
The Programmer Dress Code - Simple Thread
Worried you’ll miss us? Subscribe to get our articles and updates in your inbox. The second part of this post is up, so after you finish reading, check it out! I really want to know what it is about programming, or computers in general, that makes people want to grow a beard, have long hair, and dress like a slob. I can say these things without guilt because while I do not have long hair, I do hav
C++ Templates are Turing Complete Todd L. Veldhuizen tveldhui@acm.org Indiana University Computer Science Abstract We sketch a proof of a well-known folk theorem that C++ templates are Turing complete. The absence of a formal semantics for C++ template i
C++ Templates are Turing Complete Todd L. Veldhuizen tveldhui@acm.org Indiana University Computer Science Abstract We sketch a proof of a well-known folk theorem that C++ templates are Turing complete. The absence of a formal semantics for C++ template instantiation makes a rigorous proof unlikely. 1 Introduction It has been known for some time that C++ templates permit complicated computations t
Memory and Cache Paper
Well, it's finally done. I've uploaded the PDF of the memory and cache paper to my home page. You can download it but do not re-publish it or make it available in any form to others. I do not want multiple copies flying around, at least not while I'm still intending to maintain the document. With Jonathan Corbet's help the text should actually be readable. I had to change some of the text in the e
【レポート】Black Hat USA 2007 - つくられたデジタル画像の秘密を暴く | エンタープライズ | マイコミジャーナル
2003年にLos Angeles Times誌に、英国軍の軍人がイラク市民に対して避難を促すようなジェスチャーをしている写真が掲載された。「市民を守る英国軍人」というイメージがよく現れていたが、後に写真が合成だったことが明らかになり、作成したカメラマンが解雇された。一見しただけでは合成とは分からない出来映えで、しかも説得力があっただけに、読者から強く批判される出来事となった。 百聞は一見にしかずで、ニュースやブログなどの読者は写真がより真実を伝えると信じている。だが実際には、簡単に修正や複製を行えるデジタル画像には多くの秘密が隠されている──それがHacker Factor SolutionsのNeal Krawetz氏の講演のテーマだ。同氏は昨年のBlack Hat Briefingsで、悪意のあるプログラムに使われている言葉や文字の選び方から作者を分析した。他のスピーカーとは全く異な
ホワット・ア・ワンダフル・ワールド 人間が情報を与えるか，機械が推論して情報を増やすかという違い
型宣言と型推論とか，手動メモリ管理と GC とか，要するに全部，人間が手で情報を与えるか，機械が推論するかということに一般化できると思う． んでまぁ，一般にうれしいのは，最初のプロトタイプは人間が不必要なことまで考えなくても動いてくれて，後々必要になってきたらボトルネック部分に情報を追加してあげると，さらに最適なコードが出る，ということをインクリメンタルにやっていけるようなモデルだと思う． その点，手続き型言語ってのは，細かいところまでを最初からいきなり全部指定しないといけないから，人間の脳に対する負荷がデカいし，柔軟性も失われてしまうし，機械がプログラムの意味を変えないで最適化できる余地も無くなってしまう．というようなことは，これまでにも散々書いてきたことなので，まぁ良いとして． いろいろ気になった記事があったので，単なるメモ． lethevert is a programmer のコメ
A Very Brief Introduction to the Pi-Calculus (in Japanese)
π-calculus 超入門 π-calculus は、80 年代の終わりごろに Milner らによって提案された並行計算のモデルの一つです。そこでは、プロセスと呼ばれる複数の独立した主体が、通信チャネルと呼ばれるデータの通り道を介して値をやりとりしながら、計算を行っていきます。π-calculus にはいろいろな変種があるのですが、ここではとりあえず次のような構成要素からなるものを考えましょう。 new x . P 新しいチャネル x を作ってから、プロセス P を実行する (channel creation) x![v1, ..., vn] チャネル x に値 v1, ..., vn を送る (asynchronous output) x?[v1, ..., vn] . P チャネル x から値 v1, ..., vn を受け取って、P を実行する (input guard) P |
Index of Compiler Resume
コンパイラ演習レジュメ '98年度情報科学実験IIコンパイラ演習のレジュメです。1から8までは田浦さん、9は遠藤さんによるものです。 ただし、ここにはレジュメの約半分、課題までの部分は載せてありますが、課題の答えは載っていません。(^^) 課題説明 仕様説明 CPSの定義 最適化(1) Closure変換 Register割り当て + 抽象機械コード生成 実マシンコード生成 Garbage Collection 一般教養としてのGarbage Collection 〔トップページへ〕 〔「ソフトウェアの作成」のindexページへ〕 <vu@is.s.u-tokyo.ac.jp> Last updated on 16 May, 1999
関数型言語が自然であり当然である世界
手続き型言語が全盛で、関数型言語が、開発効率を変える新しいパラダイムのように言われている……と今更のように言うとずいぶん認識が古いと笑われてしまいそうですが。 関数型言語が後から出てきたのは事実なわけで。えーと、えーと、少なくとも型付きの関数型言語で手続き型同様のパフォーマンスを叩き出せるようになったのってML以降ですよね、ね。LISPコンパイラの中には物凄い最適化を行うものがあるらしいなんて話は忘れてっ。その結果、関数型言語には、refやらIOやら*Worldやら手続き型へのマッピングを行うためのなにかがあるわけです。 じゃあ、関数型言語が先に出来ていたら使われるようになっていたら、どのような世界になっていたのか……。 余談ですが、YTがこのようなことを突然考え出すのは、何かをさぼりながらであることは言うまでもありません。閑話休題。 まず、今の手続き型言語はどのように生まれたか。これは勿
データ圧縮の昔話
1988年 1989年 1990年 1991年 1992年 1993年 1999-10-11: David Huffman 没 2000-04-14: Phil Katz 没 (享年37才) 2001-02-26: Claude Shannon 没 当時の畏友［これもずっと前の情報です。間違っていたら教えてください］ 吉崎栄泰さんは帯広協会病院の忙しいお医者さんです。 三木和彦（まむし）さんは株式会社情報管理の代表取締役をしておられます。 MASSAN（massangeana，益山健）さんについてはここをご覧ください。 ＲＯＭ男さんについてはここをご覧ください。 岡本継男さんはここでUNIX版LHAをメンテしてくださっています。 大久保謙二郎先生は どうしておられるでしょうか お元気で活躍されておられます。 奥村晴彦 Last modified: 2008-03-20 07:30:19
ACM Sigplan Notices 29, 4 (Apr 1994), 5863.
原文: Thermodynamics and Garbage Collection. ACM Sigplan Notices 29, 4 (Apr 1994), 58–63. Henry G. Baker Nimble Computer Corporation 16231 Meadow Ridge Way, Encino, CA 91436 (818) 986–1436 (818) 986–1360 (FAX) Copyright (c) 1993 by Nimble Computer Corporation 日本語訳: 酒井 政裕 私たちは統計力学の原理とそのストレージ管理の問題への適用について議論します。 また、私たちは 情報, 状態, 可逆, 保守的 といった用語の不正確な用法による問題について指摘します。 A. はじめに 計算機科学者は抽象統計熱力学についての知識を持っている
Microsoft，ハングアップしたソフトを自動停止する技術を研究中
米Microsoftの研究部門Microsoft Researchは，ハングアップしたソフトウエアを自動的に停止する技術「TERMINATOR」の研究を進めている。同社のRob Knies氏が米国時間8月16日に，Microsoft ResearchのWebサイトで紹介したもの。 TERMINATORは，Microsoft Researchの研究者であるByron Cooks氏を中心とする研究プロジェクト。最終目標は，ハングアップしないソフトウエアを実現するために必要な，自動化手法と各種ツールの開発である。 Cooks氏らは数学的な証明方法を用い，ソフトウエアが設計通りに作動しているかどうかを確認できる自動分析ソフトウエアを開発している。同ソフトウエアの初版「TERMINATOR v0.1」は，ネスト化したループや再帰関数などに対応したソフトウエア自動停止機能を持つという。 「（コンピュー
ICFPC ― 今年のベスト言語コンテスト -- think physically about computation. think computationally about physics. - 火曜日
一年に一度、国際関数型プログラミング学会ことICFPがあるプログラミングコンテストを主催する。 http://www.icfpcontest.org/ これこそ、世界同時・3日間ぶっつづけで行われ、優勝者には「その使用した言語がthe programming language of choice for discriminating hackers と呼ばれるという栄誉」が与えられるという、いわば年に一度のプログラミング言語頂上決戦なのだ。 となれば、参加するよりあるまい。 というか、去年とおととしも参加してるわけだが→ http://d.hatena.ne.jp/nushio/searchdiary?word=ICFP さて、今年のテーマはこれである。 http://www.icfpcontest.org/task.shtml 西暦1967年、工事現場から発掘された未知の言語による巻物か
LispMe Document: chapter6 The SECD virtual machine （日本語訳）
6 The SECD virtual machine 6.1 The original SECD machine SECDはVMの4つの主なレジスタからその名前がきている。 S スタック - 評価中に中間の値を保持する E 環境 - 評価中に変数の値を保持する C コード - 実行中の機械語プログラムを保持する D ダンプ - 関数呼び出し中の他のレジスタを保持するスタック 理論上、SとDはひとつのレジスタに結びつけられる。 しかし、VM命令の状態遷移を複雑にする。 各レジスタはS式(へのポインタ)を保持する。 VM命令の影響を示すため、状態遷移が用いられ、 VMステップの前と後での各レジスタの内容を示す。 s e c d → s' e' c' d' 例えば、スタックのトップに定数をロードするVM命令のLCDの状態遷移は s e (LCD x.c) d → (x.s) e c d これは
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
はてなブログ | 無料ブログを作成しよう
ホワット・ア・ワンダフル・ワールド 実行系の自動合成
日経SYSTEMS：お役立ちWebサイト101
https://cs.indiana.edu/~dyb/pubs/LaSC-5-4-pp295-326.pdf