.NOQ ファイル拡張子
Noqソースコード
| 開発元 | Tsoding |
| 人気度 |
1.0 | 1 票 |
NOQファイルとは？
NOQファイルには、Noqプログラミング言語で記述されたソースコードが含まれています。このファイルは、ファイル内で定義されたルールを使用して、代数式を変換するために使われます。
詳細情報
Coq証明管理システムに触発され、開発者でTwitchストリーマーのTsodingが、Noq（Not Coq）プログラミング言語と式変換プログラムを作成しました。Noq言語を使うと、開発者は代数式を変換するルールを記述し、順番に適用できます。これらのルールと適用する順序は、NOQファイルに保存されます。
開発者が式変換プログラムのNoqを使ってNOQファイルを実行すると、プログラムはファイルに含まれる変換ルールを、ファイルに記載された順序で、ファイルに含まれる式に適用します。これにより、変換後の式が生成されます。
NOQファイルの開き方
NOQファイルは、Microsoft Visual Studio Code（マルチプラットフォーム）、GNU Emacs（マルチプラットフォーム）、GitHub Atom（マルチプラットフォーム）などのテキストエディターまたはソースコードエディターで開いて編集できます。
NOQファイルに含まれるプログラムは、Noq（マルチプラットフォーム）を使って実行できます。
NOQファイルを開くプログラム
Windows
Mac
Linux