これは、最新リリースを kure2-2.2.tar.gz としてダウンロードできる Linux オンラインで実行する Kiel University Relation パッケージという名前の Linux アプリです。 これは、ワークステーション用の無料のホスティング プロバイダーである OnWorks でオンラインで実行できます。
Kiel University Relation パッケージという名前のこのアプリをオンラインでダウンロードして実行し、OnWorks を使用してオンラインで Linux で無料で実行します。
このアプリを実行するには、次の手順に従ってください。
-1。このアプリケーションをPCにダウンロードしました。
--2。ファイルマネージャーhttps://www.onworks.net/myfiles.php?username=XXXXXに必要なユーザー名を入力します。
-3。このアプリケーションをそのようなファイルマネージャにアップロードします。
-4。このWebサイトからOnWorksLinuxオンラインまたはWindowsオンラインエミュレーターまたはMACOSオンラインエミュレーターを起動します。
-5。起動したばかりのOnWorksLinux OSから、必要なユーザー名でファイルマネージャーhttps://www.onworks.net/myfiles.php?username=XXXXXにアクセスします。
-6。アプリケーションをダウンロードし、インストールして実行します。
Linuxオンラインで実行するキール大学関係パッケージ
Ad
DESCRIPTION
Kure は、二分決定図を使用した高速実装を使用して、関係の操作と関係代数の演算を提供する C ライブラリです。 これは、リレーションを簡単に操作および操作するための、Lua ベースのドメイン固有の組み込みプログラミング言語を提供します。 たとえば、関係 R、S が与えられた場合、それらのタプルは [R,S] を使用して計算でき、R*S を使用して構成できます。オプション
- 任意の大きな関係 (2^100 x 2^100 など) の表現と操作。
- 関係定数: All、null、identity。
- 特殊な関係: メンバーシップ、部分関数および全体関数、後続関数、ドメイン。
- 基本機能：結合、結合、合成、補完、転置。
- リレーションの比較とカーディナリティによるリレーションの比較。
- 再帰的、対称的、推移的なクロージャ。
- 左右の剰余と対称商。
- 直接和、タプル、積順序、和順序。
- 射影関数を含む、バイナリ直積および直和のドメイン。
- Lua を使用して完全にスクリプト化および拡張可能です。
- 高レベルのスクリプトを作成するためのドメイン固有の組み込みプログラミング言語。
- POSIX を使用して C で書かれています。
Audience
科学/研究、開発者
プログラミング言語
C、ルア、ヤック
これは https://sourceforge.net/projects/kure/ から取得できるアプリケーションです。 無料のオペレーティング システムの XNUMX つから最も簡単な方法でオンラインで実行できるように、OnWorks でホストされています。
