Sounio

不確かさを見失わない科学計算。

Sounio はセルフホスト型コンパイラを持つシステム言語で、不確かさ、物理単位、宣言されたエフェクト、代数構造を探究します。実際のプログラムから始め、必要な機能のソースと根拠を確認してください。

研究用ソフトウェアです。機能はコンパイラ、ターゲット、操作によって異なり、科学的応用には個別の検証が必要です。

言語への明確な道筋。

次のステップを選んでください。各ガイドは実際のファイル、前提条件、既知の制約につながっています。

Quantities carry dimensions and measurements carry error. The guide to units and uncertainty shows how the language checks both.

Begin with a scientific question.English

You bring the research question. An AI collaborator prepares the Sounio program, checks it and explains the evidence. You do not need to write code to prepare this request.

最初のプログラムを書く

プラットフォームとコンパイラを確認し、完全な例をチェックしてから実行し、実際の結果を記録します。

科学的応用を探る

ソースモジュールを通じて化学、AI、薬理学、代数を学べます。研究例は、独立した検証を受けた応用ではありません。

何を実行するのかを知る。

Linux x86-64:リポジトリにはコミット済みのビルド済み Madaros コンパイラがあります。使用前にインストールガイドで実体を確認してください。

macOS ARM64:別のネイティブなソースビルド手順と前提条件が必要です。Linux 実行ファイルは macOS 向け配布物ではありません。

Sounio を始める

リポジトリから始める

git clone https://github.com/Sounio-lang/sounio.git
cd sounio
git rev-parse HEAD

コンパイラを呼び出す前に、プラットフォーム別のインストールガイドに従ってください。

約束ではなく、根拠を読む。

言語仕様、実装、コンパイラのチェック、実行記録、科学的検証は、それぞれ役割が異なります。この区別もプロジェクトの一部です。

英語の仕様が正式版です。入門ガイドの翻訳は、すべての技術ページの翻訳とレビューが完了したことを意味しません。