アプリケーション一覧/サイエンス
ナビゲーションに移動
検索に移動
目次
サイエンス
数学
電卓
- bc — 任意精度計算言語。
- calc — 任意精度計算コンソール。
- clac — 後置記法のコマンドライン・スタックベース計算機。
- Deepin Calculator — Deepin デスクトップの使いやすい電卓。
- Extcalc — Qt ベースの科学用グラフィカル計算器。
- FOX Calculator — シンプルなデスクトップ電卓。
- galculator — GTK+ ベースの科学用電卓。
- http://galculator.mnim.org/ || GTK 3: galculator, GTK 2: galculator-gtk2
- Genius — 数学的なプログラミング言語を備えた先進的な計算機。
- GNOME Calculator — GNOME デスクトップの科学電卓 (GTK3 バージョン)。
- KCalc — KDE デスクトップの科学電卓。
- Liri Calculator — Liri の電卓。
- MATE Calc — MATE デスクトップ環境の計算機。
- Qalculate! — 電卓・方程式ソルバ。フォールトトレラントなパース、定数認識とユニット。
- SpeedCrunch — 高速高精度でパワフルなクロスプラットフォームの計算器。
- xcalc — 代数・逆ポーランド表記法モードを備えた X 用科学電卓。
数式処理システム
- AXIOM — FriCAS: 強力な AXIOM-CAS の派生システム。
- GAP — 群論計算に重点を置いた分散計算のための数式処理システム。
- Maple — 有名な商用 CAS。主として教育で使われています。
- https://www.maplesoft.com/products/maple/ || パッケージが存在しないか AUR で検索
- Mathics — 記号数学計算用のフリーな CAS。主要な言語として Python を使用。Mathematica 互換の構文と機能を備えることを目指しています。ほとんどの処理は Sympy を使っており、より高度な機能を Sage で補っています。
- Mathomatic — C で書かれた多目的の数式処理システム。
- Maxima — Maple/Mathematica-ライクなプログラム。
- PARI/GP — 整数論の高速計算のために作られた数式処理システム。
- Singular — 可換・非可換環論・代数幾何学・特異点論に特に注力されている多項式計算の数式処理システム。
- wxMaxima — 強力な数式処理システムである Maxima のグラフィカルユーザーインターフェイス。
- Xcas — フリーの、基礎的な数式処理システムである、Giac のユーザーインターフェース。
科学技術計算
- EngLab — C ライクな構文を持ったクロスコンパイル数学プラットフォーム。
- https://www.fftw.org/ || fftw fftw-mpiAUR fftw-mpichAUR
- FreeMat — Matlab-ライクなプログラム。(MPI による) 分散環境による並列計算の開発のサポート、C や C++、Fortran などのコードがいらないインターフェース、3D グラフィック機能など。
- GeoGebra — インタラクティブなグラフィック・数式・スプレッドシートを備えた動的な数学ソフトウェア。
- Julia — 技術計算のための高水準・高性能な動的言語。
- matplotlib (PyLab) — 科学計算用の Python モジュール (pyplot や numpy など) のコレクション。
- SageMath — Python で書かれた Maxima に似た数式処理システム。Magma, Maple, Mathematica, Matlab の代替。
- Scilab — 数値計算に使われる Matlab 代替、構文は Matlab とは異なりますが、簡単に変換できます。
- http://www.scilab.org/ || scilabAUR, scilab-binAUR, scilab-gitAUR
統計学
- JAGS (Just another Gibbs sampler) — マルコフ連鎖モンテカルロ法 (MCMC) を使う階層ベイズモデルの分析のためのクロスプラットフォームプログラム。
- jamovi — SPSS のユーザーが簡単に使えるように作られた統計パッケージ。Electron プラットフォームベース。
- PSPP — フリーの SPSS 実装。
- R — 統計計算とグラフのソフトウェア環境。
- RKWard — 統計解析向けプログラミング言語 R のフロントエンド。
- Python Data Analysis Library (pandas) — Python プログラミング言語による、高性能かつ使いやすい、データ解析ツール。
- RStudio — Qt で書かれた R の強力で生産的な IDE。
データ評価とプロット
- Engauge Digitizer — グラフの画像からデータを抽出。
- Fityk — 曲線あてはめ・データ解析アプリケーション。釣鐘型関数を実験データに当てるのによく使われます。
- http://fityk.nieto.pl/ || fitykAUR
- Gnuplot — 関数・データの 2D / 3D プロットを生成するコマンドラインプログラム。
- Grace — WYSIWYG 2D グラフプロットツール。
- http://plasma-gate.weizmann.ac.il/Grace/ || graceAUR qtgraceAUR gracegtkAUR
- LabPlot — SciDAVis に似たフリーのデータ解析・視覚化アプリケーション。
- http://www.qtiplot.com/ || qtiplot[リンク切れ: パッケージが存在しません]
- Rocs — グラフアルゴリズムを設計・解析するのに興味がある全ての人 (教師・学生・研究者) のためのグラフ理論 IDE。kdeedu に含まれています。
- ROOT — CERN によって開発されている（元は素粒子物理学用の）データ解析プログラム・ライブラリ。
- SciDAVis — QtiPlot のフォーク。豊富なドキュメント・ユーザーフレンドリーを目指している。
アプリケーション一覧#スプレッドシートも見てください
証明支援システム
Wikipedia:Proof assistant も参照。
- Agda — 依存型・関数型プログラミング言語・プルーフアシスタント。直感的に証明を書いてチェックできます。
- Coq — 形式証明管理システム。数学主題と実行アルゴリズム、定理を記述するための形式言語を備えており、機械的に証明をチェックする半自動な開発環境を実現します。
- https://coq.inria.fr/ || CLI: coq, GUI: coqide
- Isabelle — 数学定理を形式言語で表現できる汎用の証明支援器。論理計算で定理を証明するためのツールを提供します。
物理学
物理シミュレーション
- Code_Aster — 土木工学や構造力学における有限要素解析や数値シミュレーションのためのソフトウェアパッケージ。
- EPANET — 配水管網における水の移動と水質に関する長期シミュレーションを行います。
- Step — KDE デスクトップに KDE Edu の一部として含まれている二次元の物理シミュレーション。
- SWMM — 動学的な降雨表面流出シミュレーションモデル。地表・地下の水文学的な量と質のシミュレーションに使われます。
- http://www.epa.gov/ || swmm5-gitAUR
単位変換
- ConvertAll — 意味がないものでも様々に単位を組み合わせられる (e.g. inches per decade) 単位変換アプリケーション。
- Gonvert — 長さ、量、数など多くのカテゴリで CGS・帝国単位・古代単位など多くの単位系間で変換できる変換ユーティリティ。
- Units — コマンドライン単位コンバーター・電卓。倍数的なスケール変化、ノンリニアな変換ができる。華氏を摂氏やゲージに変換する等。
化学
分子構造
ビューア
- Avogadro — 3D 分子構造のエディタ・ビューア・シミュレータ (蛋白質構造データバンクからのファイルのダウンロードもサポート)。
- http://avogadro.cc/ || avogadroAUR
- BALLView — スタンドアローンの分子モデリング・視覚化アプリケーション。BALL フレームワークの一部。
- Ghemical — 分子構造を編集・回覧・シミュレートするために使われる計算化学ソフトウェアパッケージ。
- PyMOL — オープンソースの分子視覚化システム。小さな分子や、タンパク質などの生体高分子の高品質な 3D イメージを作成できます。
- VMD — 3D グラフィックと内蔵のスクリプトを使って巨大な生体分子を表示・アニメーション・解析する分子視覚化プログラム。
ドローイング
- BKChem — 実践的な見かけの良い化学構造式の描写プログラム。
- Chemtool — 化学構造式を描写するための GTK+ プログラム。
- EasyChem — プレス品質の画像を作成することにフォーカスをおいたシンプルな化学構造式描写プログラム。
- http://easychem.sourceforge.net/ || パッケージが存在しないか AUR で検索
- Gabedit — GAMESS, Gaussian, MOLCAS, MOLPRO, MPQC, OpenMopac, Firefly (旧名 PC GAMESS), Q-Chem などの計算化学パッケージのグラフィカルユーザーインターフェース。
モデリング
- APBS — 分子複合系の静電気・溶媒和の性質を解析。
- CP2K — 量子化学と固体物理学のソフトウェアパッケージ。
- https://www.cp2k.org/ || cp2kAUR
- Fpocket — ボロノイ分割に基づく非常に高速なオープンソースの蛋白質ポケット検知アルゴリズム。
- GROMACS (GROningen MAchine for Chemical Simulations) — 分子動力学法を使うための多目的パッケージ。数百から数万原子（分子、粒子）の系の動きのニュートン方程式をシミュレートする。
- AmberTools — 独立して開発されている複数のパッケージと Amber18 から構成されたスイート。完全な分子動力学シミュレーションを実行することができます。顕在水分子あるいは一般化ボルン溶媒モデルを使用。
- NAMD — 巨大な生命分子系の高性能シミュレーションのために作られた並列分子動力学コード。
- ORCA — 非経験的, DFT, 半経験的 SCF-MO パッケージ。
- PDB2PQR — 分子複合系の静電気・溶媒和の性質を解析。
- PMEMD — MBER ソフトウェアパッケージの PMEMD モジュール。
- http://ambermd.org/AmberMD.php || pmemdAUR, pmemd-cudaAUR
- Quantum ESPRESSO — 電子状態計算とナノスケールの材料モデリングのアプリケーションの統合スイート。密度汎関数理論、平面波、擬ポテンシャル（ノルム保存/ウルトラソフト）に基づく。
- smina — スコアリング・最小化が改善された Autodock Vina のフォーク。
周期表
- eperiodique — EFL を使用するシンプルな周期表ビューア。
- gElemental — 付加情報が含まれている元素周期表。
- Kalzium — KDE デスクトップの、構造式エディタと方程式ソルバーの付いた元素周期表。
地球科学
地理学
- BT747 — MTK GPS データロガーの万能ナイフ。
- FoxtrotGPS — 軽量・高速なマッピングアプリケーション。
- Gebabbel — GPSBabel の代替 GUI。
- Geotag — 写真の日付情報と GPS ユニットや地図の情報を一致させます。
- GNOME Maps — GNOME のシンプルな地図クライアント。gnome-extra に含まれています。
- GottenGeography — GNOME デスクトップの使いやすい写真ジオタグアプリケーション。
- Gpredict — リアルタイムの人工衛星トラッキング・軌道予測アプリケーション。
- GPSBabel — GPS ウェイポイント・軌跡・ルートを様々なフォーマットで読み書き。
- GPSCorrelate — GPX 形式の GPS データとデジタルカメラの写真を関連付け (ジオタグ)。
- gpsd — シリアルまたは USB でホストコンピュータに接続された GPS や AIS 受信器を監視して、ホストコンピュータの TCP ポート 2947 からセンサーの位置・進路・速度データを利用できるようにするデーモン。
- GpsPrune — GPS システムの位置データを表示・編集・変換。
- GPXSee — GPS ログビューア・アナライザ。
- GPX Viewer — gpx ファイルに保存された軌跡・ウェイポイントを視覚化するシンプルなツール。
- GRASS GIS — 地理空間データ管理と解析・画像処理・地図生成・空間モデリングと視覚化。
- gvSIG — あらゆる種類の地理情報を取得・保存・管理・解析・展開するためのデスクトップアプリケーションと地理情報システム (GIS)。
- JOSM — Java で書かれた OpenStreetMap エディタ。
- Mapton — Java で書かれた拡張性の高いデスクトップ地図・地球儀アプリケーション。
- https://mapton.org/ || maptonAUR
- Marble — 地球について学習できる仮想地球・世界地図。kdeedu に含まれています。
- https://marble.kde.org/ || KDE: marble, Qt: marble-qt
- Merkaartor — OpenStreetMap エディタ。
- Navit — モジュール方式のターンバイターンカーナビゲーションシステム。
- OffRoad — OsmAnd から移植されたオフラインベクター地図表示システム。
- OpenOrienteering Mapper — オリエンテーリング地図制作プログラム。
- QMapShack — 次回の野外旅行を計画しよう。
- QGIS — ベクター・ラスター・データベース形式をサポートする地理情報システム (GIS)。
- Subsurface — ダイブスポット (GPS 座標に基づく) と使用したウエイト・スーツ、ダイブマスターとバディを記録するダイビングログブック。
- Viking — GPS データを管理するための GTK+2 アプリケーション。
気象学
- Gis Weather — カスタマイズ可能な天気予報デスクトップウィジェット。
- GNOME Weather — あなたの住んでいる都市の天気を表示したりインターネットサービスの天気予報にアクセスできる GNOME 用の小さなアプリケーション。
- meteo-qt — 天気情報を表示するシステムトレイアプリケーション。
- wttr — http://wttr.in のデータを使って天気をチェックするシンプルなコンソールアプリケーション。
- Xfce Weather Panel Plugin — Xfce4 パネルの天気予報プラグイン。
天文学
- Celestia — 広大な宇宙を旅することができる 3D 天体シミュレーションプログラム。現実に即してモデリングされ、いかなる時間のいかなる場所も見ることができます。
- GIMP Astronomy Plugins — 天体画像作成用の GIMP プラグインのセット。
- GoQat — オートガイドやフォーカスヘルプなどの機能を持った、特に QSI カメラ用の、カメラキャプチャソフトウェア。
- KStars — 地球上のどの場所でも、どの時刻でも、夜空の正確なグラフィカルシミュレーションができるプラネタリウムアプリケーション。KDE Edu に含まれています。
- Qastrocam-g2 — 天文学のためのウェブカメラキャプチャソフトウェア。
- Skychart / Cartes du Ciel — 星座・惑星などの望遠鏡で見れるほとんどの天体を図示・ラベリングするプラネタリウム。Digitized Sky Survey チャートやチャートのスーパーインポーズ画像のダウンロードもできます。
- StarPlot — 三次元星座ビューア。
- http://starplot.org/ || starplotAUR
- Stellarium — リアルタイムのリアリスティックな空を描くことができる OpenGL を使っている美しい 3D プラネタリウム。
- Where Is M13 — 星団や星雲の位置や物理的な特性を確認できるアプリケーション。
- XEphem — Motif-ベースの天体歴・プラネタリウムプログラム。
生物学
- Gramps — 家系図を見ることができる家系プログラム。
計算生物学とバイオインフォマティクス
- BALL (Biochemical Algorithms Library) — 分子力学法や高度な溶媒和メソッド、蛋白質構造の比較・分析のクラス、さらにデータ構造の広大なセットを提供する C++ のアプリケーションフレームワーク。ファイルのインポート・エクスポートやビジュアライゼーションも可能。
- BioJava — 計算生物学や生物情報科学で使う Java ツールのセット。
- http://biojava.org || biojavaAUR
- Biopython — 計算生物学や生物情報科学で使う Python パッケージとツール。
- EMBOSS (European Molecular Biology Open Software Suite) — 分子生物学やバイオインフォマティクスのコミュニティのために開発されたオープンソースの分析ソフトウェアパッケージ。
- MEGA (Molecular Evolutionary Genetics Analysis) — 自動・手動の配列アライメントや系統樹の推論、ウェブデータベースの探索、分子進化の変異率の推定、祖先配列の推論、進化仮説のテストを処理するための統合ツール。
- http://www.megasoftware.net/ || パッケージが存在しないか AUR で検索
- MUMmer — 接尾辞木を使った配列アライメント用のバイオインフォマティクスソフトウェアシステム。
- Snapgene — クローズドソースの分子クローニングアプリケーション。素早く簡単に生体操作を計画・描画・文章化できます。フリー版では一般的な分子生物学のワークフローの視覚化ができます。
- UGENE — よく使われている生物学ツールやアルゴリズムを統合したアプリケーション。グラフィカルユーザーインターフェースとコマンドラインを提供。
- http://ugene.net/ || ugene-binAUR
生化学
- Bioclipse — Eclipse Rich Client Platform (RCP) を使っている Java ベースの生化学用ビジュアルプラットフォーム。
- http://www.bioclipse.net/ || パッケージが存在しないか AUR で検索
画像処理
- ImageJ — プラグインやマクロによる拡張ができる Java ベースのイメージプロセシング・分析プログラム。顕微鏡検査で広く使われています (例: 細胞を数える)。
- Fiji — 多くのプラグインがまとめられた ImageJ ディストリビューション (と ImageJ2)。
- http://fiji.sc || fiji-binaryAUR
DICOM ビューアとボリュームレンダリング
- aeskulap — シンプルな DICOM データビューア。
- weasis — モジュラー型の多目的 DICOM ビューア。
- aliza — DICOM, MetaIO, Nifti, Nrrd 形式などの 2D, 3D, 4D 画像と DICOM, VTK, STL, OBJ 形式のメッシュを開きます。
- Ginkgo CADx — 先進的な DICOM ビューア・ダイコマイザー。MetaEmotion によって開発されていたフリー版の後継。
工学
コンピュータ支援設計
- BRL-CAD — Constructive Solid Geometry (CSG) ソリッドモデリングコンピュータ支援設計 (CAD) システム。インタラクティブなジオメトリーエディタ、グラフィックレンダリングやジオメトリック分析に使えるレイトレーシング、分散ネットワークコンピューティングフレームバッファ、スクリプト、イメージプロセッシング・シグナルプロセッシングツール。
- http://brlcad.org/ || brlcadAUR
- DraftSight — Dassault Systemes のフリーウェアの 2D CAD アプリケーション。DraftSight を使うことで、CAD ソフトウェアを使って作成された DWG/DXF ファイルにアクセスすることができます。
- FreeCAD — OpenCascade ベースの CAD/CAE プログラム。マクロ記録、ワークベンチ、サーバー機能などを備えています。Qt と Python で開発。
- LeoCAD — バーチャル LEGO モデルを作成するための CAD プログラム。使用しやすいインターフェースを持っており、現在、LDraw コミュニティによって作成された6000以上の異なったピースを含んでいます。
- http://leocad.org || leocadAUR
- LibreCAD — Qt を使ったパワフルな 2D CAD アプリケーション。QCad コミュニティエディションからフォークされて作られました。
- OpenSCAD — プログラマー流によるオープンソースの 2D/3D CAD。
- QCAD — 1999年から開発されているパワフルな 2D CAD アプリケーション。QCaD には標準の DXF ファイルフォーマットが含まれており HPGL フォーマットをサポートしています。
電子工学
デジタル論理
デジタル論理ソフトウェアは主として、論理回路を設計・シミュレートするためのシンプルな教育ツールとして使われます。
- glogic — Python で書かれた教育用のグラフィカルな論理回路シミュレータ。
- GTKWave — フル機能の GTK ベース波形ビューア。LXT, LXT2, VZT, FST, GHW ファイルや標準的な Verilog VCD/EVCD ファイルを読み込むことができます。
- Logisim — 教育用の電子回路設計・シミュレーションプログラム。Java で書かれています。開発は停止中。
- Logisim Evolution — オリジナルの Logisim に新しい機能を開発するプロジェクト。Java で書かれています。
- PulseView — 論理アナライザ・オシロスコープ・MSO GUI。
- SmartSim — シンプルで綺麗な電子論理回路設計・シミュレーションソフトウェア。教師と生徒を対象としており、軽量でクロスプラットフォーム、GPL でライセンスされています。Vala で書かれています。
HDL
- Altera Design Software — Quartus II と ModelSim-Altera を含む Altera の FPGA チップの設計ツール。
- Xilinx ISE WebPACK — FPGA プログラマブルロジックデザインスイート。
- http://www.xilinx.com/products/design-tools/ise-design-suite/ise-webpack.html || Xilinx ISE WebPACK を参照
MCU IDE とプログラマ
- Arduino — Arduino プロトタイピングプラットフォーム SDK。
- avrcalc — Atmel AVR の開発を加速する計算機。
- AVRDUDE — AVR マイクロコントローラの ROM や EEPROM の中身をダウンロード・アップデート・操作。
- SPIPGM — パラレルポートケーブルで PC に接続されたシリアル SPI フラッシュ ROM メモリをプログラミングするためのツール。
回路図エディタ
- freeroute — Alfons Wirtz によって書かれた KiCad の自動 PCB 配線ツール。
- gEDA — 電子回路の設計や、回路図入力、シミュレーション、プロトタイピング、生産につかわれる電子設計自動化ツールのフルスイートとツールキット。
- gEDA PCB — インタラクティブなプリント基板エディタ。
- KiCAD — 電子回路の結線図の設計やプリント基板 (PCB) への実装を容易にする電子設計自動化のソフトウェアスイート。
- QElectroTech — 高度な電子回路を設計するために使われるアプリケーション。
- Qucs — 電子回路シミュレーションアプリケーション。グラフィカルユーザーインターフェースによる回路の設計と、大信号・小信号・ノイズの挙動をシミュレートができます。
遠距離通信
- CupCarbon — スマートシティ & IoT ワイヤレスセンサーネットワークシミュレータ。
- http://cupcarbon.com/ || パッケージが存在しないか AUR で検索
- GNU Radio — ソフトウェア無線を実装するための信号処理ブロックを提供するソフトウェア開発ツールキット。
- Gqrx — GNU Radio と Qt GUI ツールキットで実装されたソフトウェア無線レシーバ。
- Pothos — 相互接続された信号ブロックのトポロジーを作成するための完全なデータフローフレームワーク。
- SDR# — 人気の SDR プログラム。
- https://airspy.com/ || sdrsharpAUR
- SigDigger — Qt ベースのデジタル信号アナライザ。Suscan コアと Sigutils DSP ライブラリを使用。
アマチュア無線
メインの記事を見てください: アマチュア無線#ソフトウェアリスト。
Wikipedia:List of software-defined radios も参照。
シミュレーションモデリング
- gephi — Java で書かれたオープンソースのネットワーク解析・視覚化ソフトウェア。
- golly — ライフゲーム (Conway's Game of Life) や他のセルオートマトンを探査するオープンソース・クロスプラットフォームアプリケーション。
- Netlogo — マルチエージェントのプログラマブルモデリング環境。
- AnyLogic — クロスプラットフォームのプロプライエタリマルチメソッドシミュレーションモデリングツール。個人利用も可能。
計算機科学
人工知能
Wikipedia:Comparison of deep learning software も参照。
- Fast Artificial Neural Network — 順伝播型ニューラルネットワークを開発するためのライブラリ。
- Mycroft — 音声認識を備えた知的パーソナルアシスタント・ナレッジナビゲータ。
- Orange — ビジュアルプログラミングや Python で使えるデータ視覚化・機械学習・データマイニングツールキット。
- Torch — 機械学習ライブラリ・科学計算フレームワーク・LuaJIT ベースのスクリプト言語。
- http://torch.ch/ || torch7-gitAUR
- X Neural Switcher — 自動 (知的) でキーボードレイアウトを修正。
- https://xneur.ru/ || xneurAUR, gxneurAUR
- Tensorflow — エンドツーエンドのオープンソース機械学習プラットフォーム。
- https://www.tensorflow.org/ || python-tensorflow, python-tensorflow-opt (x86-64 CPU の最適化), python-tensorflow-cuda (CUDA), python-tensorflow-opt-cuda (CUDA と x86-64 CPU の最適化)
- PyTorch — 研究時のプロトタイピングから本番環境への実装を加速するオープンソース機械学習フレームワーク。
- https://pytorch.org/ || python-pytorch, python-pytorch-opt (x86-64 CPU の最適化), python-pytorch-cuda (CUDA), python-pytorch-opt-cuda (CUDA と x86-64 CPU の最適化)