書いて実行する
構文ハイライト付きエディター、状態を保持するコンソール、実行できるサンプル、ローカルファイルの読み込みと書き出し。プログラムはブラウザー内で実行されます。
アーカイブから使えるツールへ
このプロジェクトは、ISETLのソース、実行ファイル、マニュアルを保存する場所として始まりました。ウェブ版では、古いOSやインストール、アカウントなしで言語を使い続けられます。オリジナルのCインタープリターがWebAssemblyを通じてローカルで動作します。
ISETL WebTypeScript · WebAssemblyISETLをウェブで使い続ける。
数学を探究するための対話型言語を、現代のブラウザーで。プログラムを書き、集合を調べ、オリジナルのインタープリターで図を描けます。
集合を目で見る
和集合、共通部分、差集合、対称差で変数を比較。図の中で要素を確認し、各領域を順番にたどれます。
言語で描く
元の描画コマンドとグラフ用ライブラリが、コードの横のキャンバスに描画します。
数学の議論を試す
カントールのサンプルでは、有限の写像に現れない部分集合を構成します。対角線論法を具体的に見るための例であり、形式的な証明検証器ではありません。
カントールの証明を読む
使い続けられるように
サンプル、バグ報告、アクセシビリティ改善、ドキュメント、ブラウザーのテストを歓迎します。TypeScriptランタイムは別のアプリでも独立して使えます。
新しいウェブコードはMITライセンスです。元のインタープリターとアーカイブ資料には元の表記が適用されます。元のマニュアルは、営利目的で販売しないことを条件にコピーを認めています。