sharkdp/numbat

これは何？

主な機能

• 01LengthやTimeなどの物理次元を静的型として扱い、型推論にも対応します。
• 02単位はさまざまな形式で記述でき、->演算子で変換できます。
• 03数行のコードで新しい単位や関数を定義できます。
• 04標準ライブラリにはSI、ヤード・ポンド法、航海、天文などの単位系と定数が含まれています。
• 05履歴、検索、タブ補完に対応した対話型REPLを備えています。
• 06assert_eqにより、実行時に量の厳密な等価性または近似的な等価性を検証できます。

ユースケース

• 物理や工学の計算で単位の整合性を確認する。
• ヤード・ポンド法、メートル法などの単位系間で手早く単位変換する。
• 単位の誤りを早期に検出できる計算スクリプトを書く。
• 独自の分野固有単位を追加して単位系を拡張する。

クイックスタート

1. 1

   ネイティブCLIをインストールする（詳しくはインストールのドキュメントを参照）

2. 2

   ローカルのチェックアウトからCLIをインストールする

   cargo install -f --path numbat-cli
3. 3

   対話型REPLを起動する

   numbat

使う前に知っておきたいこと

• !Numbatは科学計算用の計算機であり、数式処理システムではありません。微分方程式を解いたり、積分を計算したりすることはできません。
• !グラフィカルユーザーインターフェースはありません。

トピック

よくある質問

numbat とは？

物理次元と単位を標準で扱える、科学計算向けの静的型付きプログラミング言語兼計算機。 Numbatは科学計算向けのプログラミング言語で、LengthやTimeなどの物理次元を型として扱います。型システムが計算時の量の組み合わせを検証し、型は明示的に宣言することも推論させることもできます。

numbat は無料で使えますか？ライセンスは？

numbat は Apache-2.0 ライセンスのオープンソースです。商用製品で使う前にライセンス条件を確認してください。

numbat は今もメンテナンスされていますか？

活発にメンテナンス中。numbat の最終コミットは 2026年10月11日 です。

numbat は何に使えますか？

物理や工学の計算で単位の整合性を確認する。 ヤード・ポンド法、メートル法などの単位系間で手早く単位変換する。 単位の誤りを早期に検出できる計算スクリプトを書く。 独自の分野固有単位を追加して単位系を拡張する。

numbat のインストール方法は？

ネイティブCLIをインストールする（詳しくはインストールのドキュメントを参照） ローカルのチェックアウトからCLIをインストールする: cargo install -f --path numbat-cli 対話型REPLを起動する: numbat

numbat はどこで入手できますか？

ソースコードとインストール手順は GitHub にあります：https://github.com/sharkdp/numbat