From niwa.niwa @ nifty.ne.jp Sun Feb 1 11:18:39 2009 From: niwa.niwa @ nifty.ne.jp (niwa.niwa @ nifty.ne.jp) Date: Sun, 01 Feb 2009 11:18:39 +0900 Subject: [Descartes-developer] =?iso-2022-jp?b?GyRCT0BNfSVXJW0lMCVpGyhC?= =?iso-2022-jp?b?GyRCJV8lcyUwOEA4bBsoQjobJEIlRyUrJWslSBsoQmRlY2FydGVzLTAu?= =?iso-2022-jp?b?NC4wGyRCJHIlaiVqITwlORsoQg==?= Message-ID: <20090201111646.A08D.89C4F5CD@nifty.ne.jp> 論理プログラミング言語:デカルトdecartes-0.4.0をリリースします。 今回のリリースで、大きな変更点は、ワイルドカード述語の見直し、浮動小数 点数の精度をlong doubleに変更したこと、および、いくつかの述語の追加です。 変更点の詳細は添付のドキュメントを参照してください。 このリリースによる強化によって、人工知能向けのプログラムなどが便利に書け るようになりました。 旧リリースをご利用ならば、ぜひ本リリースにアップグレードしてください。 使用方法については、添付のドキュメントや以下のサイトを参照してください。  http://sourceforge.jp/projects/descartes/wiki/FrontPage  http://sourceforge.jp/projects/descartes/docman/ 今後はデータ解析や人工知能(AI)風のプログラム例を増やしていきます。 ● ソースパッケージ descartes-src-0.4.0.tgz  Linux上でコンパイルしてください。 Windows上では、cygwinやmingwを使ってコンパイルすることができます。 ● Windows用バイナリパッケージ  descartes-win-0.4.0.zip デカルト言語は、論理推論をベースとしたロジック言語です。 Prolog 言語のように論理的な関係を記述し、それを基に結果を推論することに よってプログラムを実行します。 それに加えて、プログラミングの表現力を向上させるために、関数型および手続 き的なプログラミングパラダイムを導入しました。また、BNF 記法に準拠した構 文解析機能を文法の基本的な要素として導入しています。 決定的なルーチン処理は関数型や手続き型のプロシージャとして記述し、知識集 約的な推論が必要な処理には論理型として記述します。 さらに、デカルト言語は、オブジェクト指向の機構を持ちます。このオブジェクト 指向機構は、論理的な関係の構造を柔軟に表現し、また、共通に使用するモジュー ルをライブラリ化するのにも利用しています。 From hniwa @ users.sourceforge.jp Sun Feb 8 20:53:59 2009 From: hniwa @ users.sourceforge.jp (hniwa @ users.sourceforge.jp) Date: Sun, 08 Feb 2009 20:53:59 +0900 Subject: [Descartes-developer] =?iso-2022-jp?b?GyRCT0BNfSVXJW0lMCVpGyhC?= =?iso-2022-jp?b?GyRCJV8lcyUwOEA4bBsoQjobJEIlRyUrJWslSBsoQmRlY2FydGVzLTAu?= =?iso-2022-jp?b?NS4wGyRCJHIlaiVqITwlOSQ3JF4kOSEjGyhC?= Message-ID: <20090208205226.9D31.C606296C@users.sourceforge.jp> 論理プログラミング言語:デカルトdecartes-0.5.0をリリースします。 今回のリリースで、大きな変更点は、動的なオブジェクト志向の機構の追加を行ったことです。 変更点の詳細は添付のドキュメントを参照してください。 このリリースによる強化によって、プログラムの実行時に動的にオブジェクトを生成して、 メソッドや変数の操作を行えるようになりました。 使用方法については、添付のドキュメントや以下のサイトを参照してください。  http://sourceforge.jp/projects/descartes/wiki/FrontPage  http://sourceforge.jp/projects/descartes/docman/ 今後はオブジェクト指向、データ解析および人工知能(AI)風のプログラム例を増やしていきます。 ● ソースパッケージ descartes-src-0.5.0.tgz  Linux上でコンパイルしてください。 Windows上では、cygwinやmingwを使ってコンパイルすることができます。 ● Windows用バイナリパッケージ  descartes-win-0.5.0.zip デカルト言語は、論理推論をベースとしたロジック言語です。 Prolog 言語のように論理的な関係を記述し、それを基に結果を推論することによってプログラムを実行します。 それに加えて、プログラミングの表現力を向上させるために、関数型および手続き的なプログラミングパラダイムを導入しました。また、BNF 記法に準拠した構文解析機能を文法の基本的な要素として導入しています。 決定的なルーチン処理は関数型や手続き型のプロシージャとして記述し、知識集約的な推論が必要な処理には論理型として記述します。 さらに、デカルト言語は、オブジェクト指向の機構を持ちます。このオブジェクト指向機構は、論理的な関係の構造を柔軟に表現し、また、共通に使用するモジュールをライブラリ化するのにも利用しています。 From hniwa @ users.sourceforge.jp Sun Feb 15 21:16:05 2009 From: hniwa @ users.sourceforge.jp (hniwa @ users.sourceforge.jp) Date: Sun, 15 Feb 2009 21:16:05 +0900 Subject: [Descartes-developer] =?iso-2022-jp?b?GyRCT0BNfSVXJW0lMCVpGyhC?= =?iso-2022-jp?b?GyRCJV8lcyUwOEA4bBsoQjobJEIlRyUrJWslSBsoQmRlY2FydGVzLTAu?= =?iso-2022-jp?b?Ni4wGyRCJHIlaiVqITwlORsoQg==?= Message-ID: <20090215211419.ACAC.C606296C@users.sourceforge.jp> 論理プログラミング言語:デカルトdecartes-0.6.0をリリースします。 今回のリリースで、大きな変更点は、オブジェクト指向の機構の見直しとprintf述語の 追加を行ったことです。 変更点の詳細は添付のドキュメントを参照してください。 このリリースによる強化によって、オブジェクト指向と論理推論を組み合わせたプログラム が実装できるようになりました。 また、printf述語を使用することにより、表示の際の細かなフォーマットの指定を行うことが できます。 使用方法については、添付のドキュメントや以下のサイトを参照してください。  http://sourceforge.jp/projects/descartes/wiki/FrontPage  http://sourceforge.jp/projects/descartes/docman/ 今後はオブジェクト指向、データ解析および人工知能(AI)風のプログラム例を増や していきます。 ● ソースパッケージ descartes-src-0.6.0.tgz  Linux上でコンパイルしてください。 Windows上では、cygwinやmingwを使ってコンパイルすることができます。 ● Windows用バイナリパッケージ  descartes-win-0.6.0.zip デカルト言語は、論理推論をベースとしたロジック言語です。 Prolog 言語のように論理的な関係を記述し、それを基に結果を推論することに よってプログラムを実行します。 それに加えて、プログラミングの表現力を向上させるために、関数型および手続き的 なプログラミングパラダイムを導入しました。また、BNF 記法に準拠した構文解 析機能を文法の基本的な要素として導入しています。 決定的なルーチン処理は関数型や手続き型のプロシージャとして記述し、知識集約 的な推論が必要な処理には論理型として記述します。 さらに、デカルト言語は、オブジェクト指向の機構を持ちます。このオブジェクト 指向機構は、論理的な関係の構造を柔軟に表現し、また、共通に使用するモジュー ルをライブラリ化するのにも利用しています。 From hniwa @ users.sourceforge.jp Tue Feb 24 22:14:22 2009 From: hniwa @ users.sourceforge.jp (hniwa @ users.sourceforge.jp) Date: Tue, 24 Feb 2009 22:14:22 +0900 Subject: [Descartes-developer] =?iso-2022-jp?b?GyRCT0BNfSVXJW0lMCVpGyhC?= =?iso-2022-jp?b?GyRCJV8lcyUwOEA4bBsoQjobJEIlRyUrJWslSBsoQmRlY2FydGVzLTAu?= =?iso-2022-jp?b?Ny4w?= Message-ID: <20090224221247.1392.C606296C@users.sourceforge.jp> 論理プログラミング言語:デカルトdecartes-0.7.0をリリースします。 今回のリリースで、大きな変更点は、複素数のサポートを行ったことです。 関連する3角関数や対数関数でも複素数が使えます。 - 複素数のサポートとletc、rpnc述語の追加 - 三角関数と対数関数の複素数サポート - 複素数操作のreal, image, arg, norm, conj, polar述語の追加 - 数学定数のPI, e述語の追加 - 合計値を計算するsum, sumf述語の追加 - 平均値を計算するavg, avgf述語の追加 - 浮動小数点数のisNan, inInf, Finite述語の追加 - 2と10の累乗を求めるext2, ext10述語の追加 - パターンマッチでSJISの2バイト目とアスキーコードが重複しても処理できるように修正 - 構文解析のSKIP, SKIPCR述語の追加 - ファイル名のサフィックスを変更するsuffix述語の追加 - リストのn番目の要素を取り出すnth述語の追加 - 文字列操作のleftstr, rightstr, substr, insertstr述語の追加 使用方法については、添付のドキュメントや以下のサイトを参照してください。  http://sourceforge.jp/projects/descartes/wiki/FrontPage  http://sourceforge.jp/projects/descartes/docman/ 今後はオブジェクト指向、データ解析および人工知能(AI)風のプログラム例を増やしていきます。 ● ソースパッケージ descartes-src-0.7.0.tgz  Linux上でコンパイルしてください。 Windows上では、cygwinやmingwを使ってコンパイルすることができます。 ● Windows用バイナリパッケージ  descartes-win-0.7.0.zip デカルト言語は、論理推論をベースとしたロジック言語です。 Prolog 言語のように論理的な関係を記述し、それを基に結果を推論することによってプログラムを実行します。 それに加えて、プログラミングの表現力を向上させるために、関数型および手続き的なプログラミングパラダイムを導入しました。また、BNF 記法に準拠した構文解析機能を文法の基本的な要素として導入しています。 決定的なルーチン処理は関数型や手続き型のプロシージャとして記述し、知識集約的な推論が必要な処理には論理型として記述します。 さらに、デカルト言語は、オブジェクト指向の機構を持ちます。このオブジェクト指向機構は、論理的な関係の構造を柔軟に表現し、また、共通に使用するモジュールをライブラリ化するのにも利用しています。