Abstract interpretation 抽象解釈と訳されているようである。抽象実行とも訳されることがある。 定義としては、プログラムを全部計算することなく、そのプログラムの意味又は特性を画定することを目的とした部分実行ということになると思う。部分実行であるので、プログラムを全部実行してしまうわけではない。 これは、通常のプログラムの実行と比べると分かりやすい。通常のプログラム実行（通常のインタプリタ等の実行のこと）は、標準解釈(standard interpretation)と呼ばれるが、これとの対比で考えると、抽象解釈とは、コンパイル時に行われ、停止性を持つ、性質の調査には近似的であり、部分的なプログラムの実行であるということができる。それに対して、標準解釈は、実行時に行われ、必ずしも停止するわけではなく、しかし、特性の画定は決定的であり、全部を行うプログラムの実行ということ
先の記事でも書いたように、Mac OS X v10.5 “Leopard”の「辞書」アプリケーション（辞書.app / Dictionary.app）用の辞書はユーザーが追加できるようになっている。そこで、定番の英和辞書「英辞郎」を変換するツールを作ってみた。英辞郎は、現時点で最新のv108を使用している。 使い方は以下の通り。 ・OS Xのインストールディスクに含まれる開発ツールをインストールする（「Optional Installs」→「Xcode Tools」→「XcodeTools.mpkg」を実行） ・「/Developer/Exmaples/Dictionary Development Kit/project_templates」フォルダ（OS X 10.7以降は「/Developer/Extras/Dictionary Development Kit/project_temp
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く