Re: News/weekly/2006/28/index.wml [part 3]

[Seiji Kaneko <skaneko@xxxxxxxxxxxx>]

かねこです。

Nobuhiro IMAI wrote:
> <p><strong>Dependency Resolution.</strong> Andreas Barth <a
> href="http://lists.debian.org/debian-qa/2006/07/msg00014.html";>reported</a>
> about a meeting with researchers from the Rencontres Mondiales du Logiciel
> Libre (<a href="http://www.rmll.info/";>RMLL</a>) in which many ideas about
> dependencies in Debian were exchanged.  The dependency web of Debian 
> packages
> has been converted into the Boolean <a
> href="http://en.wikipedia.org/wiki/Satisfiability";>satisfiability</a> 
> problem
> (SAT) so that a normal resolvers could find a solution. 
> 
> <p><strong>依存関係の解決。</strong>
> Andreas Barth さんは、Debian
> における依存関係についての様々なアイデアが交換された、Rencontres 
> Mondiales du Logiciel
> Libre (<a href="http://www.rmll.info/";>RMLL</a>) の研究者たちとのミー 
> ティングについて<a
> href="http://lists.debian.org/debian-qa/2006/07/msg00014.html";>報告しま 
> した</a>。Debian
> パッケージの依存関係のつながりは、Boolean <a
> href="http://en.wikipedia.org/wiki/Satisfiability";>satisfiability</a>
> problem (SAT、<a
> href="http://ja.wikipedia.org/wiki/%E5%85%85%E8%B6%B3%E5%8F%AF%E8%83%BD%E6%80%A7%E5%95%8F%E9%A1%8C";>\ 
> 
> 充足可能性問題</a>) に置き換えられるので、通常の解決法で解決方法を発見で 
> きるはずです。

resolver って、ここは恐らくプログラムのことです。どっちにせよ人ではない。
ここが完了形になっているのも日本語訳に出ていない、というかどっちにせよ現
在形ではないです。

「に置き換えられており、普通の解決プログラムで解を発見できるはずです」

-- 
Seiji Kaneko                         skaneko@xxxxxxxxxxxx
---------------------------------------------------------