英語フランス語スペイン語

Ad


OnWorksファビコン

Combinatory Reduction Systems Windows 用の拡張ダウンロード

オンラインで実行する Combinatory Reduction Systems Extended Windows アプリを無料でダウンロードして、Ubuntu オンライン、Fedora オンライン、または Debian オンラインで Wine を獲得します

これは Combinatory Reduction Systems Extended という名前の Windows アプリで、最新リリースは crsx401.zip としてダウンロードできます。 ワークステーション用の無料ホスティング プロバイダー OnWorks でオンラインで実行できます。

Combinatory Reduction Systems Extended with OnWorks という名前のこのアプリをオンラインで無料でダウンロードして実行します。

このアプリを実行するには、次の手順に従ってください。

-1。このアプリケーションをPCにダウンロードしました。

--2。ファイルマネージャーhttps://www.onworks.net/myfiles.php?username=XXXXXに必要なユーザー名を入力します。

-3。このアプリケーションをそのようなファイルマネージャにアップロードします。

-4。このWebサイトからOSOnWorksオンラインエミュレーターを起動しますが、Windowsオンラインエミュレーターの方が優れています。

-5。起動したばかりのOnWorksWindows OSから、必要なユーザー名でファイルマネージャーhttps://www.onworks.net/myfiles.php?username=XXXXXにアクセスします。

-6。アプリケーションをダウンロードしてインストールします。

-7.LinuxディストリビューションソフトウェアリポジトリからWineをダウンロードします。 インストールしたら、アプリをダブルクリックして、Wineで実行できます。 また、人気のあるWindowsプログラムやゲームのインストールに役立つWine上の豪華なインターフェイスであるPlayOnLinuxを試すこともできます。

WineはLinux上でWindowsソフトウェアを実行する方法ですが、Windowsは必要ありません。 Wineは、任意のLinuxデスクトップでWindowsプログラムを直接実行できるオープンソースのWindows互換性レイヤーです。 基本的に、Wineは、実際にWindowsを必要とせずに、これらすべてのWindowsアプリケーションを実行できるように、十分な数のWindowsを最初から再実装しようとしています。

拡張された組み合わせ還元システム


Ad


DESCRIPTION

Java での実験的拡張機能を備えた Combinatory Reduction Systems (CRS) の実装。 CRS は、1980 年に JWKlop によって発明された高次の書き換えのための形式主義です。詳細については、プロジェクト/Web サイトを参照してください。



特徴

  • 用語の書き換え
  • 正式な仕様からコンパイラを生成する
  • 高次の書き換え
  • ラムダ計算


Audience

上級エンドユーザー、科学/研究


ユーザーインターフェース

コマンドライン、Eclipse


プログラミング言語

C、Java



これは、https://sourceforge.net/projects/crsx/ から取得できるアプリケーションです。 無料のオペレーティング システムの XNUMX つから最も簡単な方法でオンラインで実行できるように、OnWorks でホストされています。


無料のサーバーとワークステーション

Windows と Linux のアプリをダウンロード

Linuxコマンド

Ad