「アプリケーション一覧/サイエンス」の版間の差分

提供: ArchWiki
ナビゲーションに移動 検索に移動
(Pkg/AUR テンプレートの更新)
(同期)
2行目: 2行目:
 
[[Category:計算と科学]]
 
[[Category:計算と科学]]
 
[[Category:アプリケーション]]
 
[[Category:アプリケーション]]
  +
[[Category:ソフトウェア一覧]]
 
[[en:List of applications/Science]]
 
[[en:List of applications/Science]]
[[es:List of applications/Science]]
+
[[es:List of applications (Español)/Science]]
 
[[it:List of applications/Science]]
 
[[it:List of applications/Science]]
 
[[ru:List of applications/Science]]
 
[[ru:List of applications/Science]]
[[uk:List of applications/Science]]
 
 
[[zh-hans:List of applications/Science]]
 
[[zh-hans:List of applications/Science]]
 
[[zh-hant:List of applications/Science]]
 
[[zh-hant:List of applications/Science]]
13行目: 13行目:
 
== サイエンス ==
 
== サイエンス ==
 
{{Note|1=最新の科学用アプリケーションについては [https://aur.archlinux.org/packages.php?O=0&do_Search=Go&detail=1&C=15&SeB=nd&SB=v&SO=d&PP=50 AUR の 'science' カテゴリ]をチェックしてください}}
 
{{Note|1=最新の科学用アプリケーションについては [https://aur.archlinux.org/packages.php?O=0&do_Search=Go&detail=1&C=15&SeB=nd&SB=v&SO=d&PP=50 AUR の 'science' カテゴリ]をチェックしてください}}
 
=== 科学論文 ===
 
{{Box||次の記事を参照してください: [[アプリケーション一覧/ドキュメント#科学論文]]|#E5E5FF|#FCFCFC}}
 
   
 
=== 数学 ===
 
=== 数学 ===
23行目: 20行目:
 
* {{App|[[Wikipedia:ja:bc (UNIX)|bc]]|任意精度計算言語。|https://www.gnu.org/software/bc/|{{Pkg|bc}}}}
 
* {{App|[[Wikipedia:ja:bc (UNIX)|bc]]|任意精度計算言語。|https://www.gnu.org/software/bc/|{{Pkg|bc}}}}
 
* {{App|calc|任意精度計算コンソール。|http://www.isthe.com/chongo/tech/comp/calc/|{{Pkg|calc}}}}
 
* {{App|calc|任意精度計算コンソール。|http://www.isthe.com/chongo/tech/comp/calc/|{{Pkg|calc}}}}
  +
* {{App|clac|後置記法のコマンドライン・スタックベース計算機。|https://github.com/soveran/clac|{{AUR|clac}}}}
  +
* {{App|Deepin Calculator|Deepin デスクトップの使いやすい電卓。|https://www.deepin.org/en/original/deepin-calculator/|{{Pkg|deepin-calculator}}}}
 
* {{App|Extcalc|Qt ベースの科学用グラフィカル計算器。|http://extcalc-linux.sourceforge.net/|{{AUR|extcalc}}}}
 
* {{App|Extcalc|Qt ベースの科学用グラフィカル計算器。|http://extcalc-linux.sourceforge.net/|{{AUR|extcalc}}}}
* {{App|galculator|GTK+ ベーの科学用電卓。|http://galculator.sourceforge.net/|GTK+ 3: {{Pkg|galculator}}, GTK+ 2: {{pkg|galculator-gtk2}}}}
+
* {{App|FOX Calculator|シンプルなデクトップ電卓。|http://fox-toolkit.org/|{{Pkg|fox}}}}
  +
* {{App|galculator|GTK+ ベースの科学用電卓。|http://galculator.mnim.org/|GTK 3: {{Pkg|galculator}}, GTK 2: {{pkg|galculator-gtk2}}}}
  +
* {{App|[[Wikipedia:Genius (mathematics software)|Genius]]|数学的なプログラミング言語を備えた先進的な計算機。|http://jirka.org/genius.html|{{Pkg|genius}}}}
 
* {{App|[[Wikipedia:ja:GNOME Calculator|GNOME Calculator]]|GNOME デスクトップの科学電卓 (GTK3 バージョン)。|http://www.gnome.org|{{Pkg|gnome-calculator}}}}
 
* {{App|[[Wikipedia:ja:GNOME Calculator|GNOME Calculator]]|GNOME デスクトップの科学電卓 (GTK3 バージョン)。|http://www.gnome.org|{{Pkg|gnome-calculator}}}}
* {{App|KAlgebra|KDE EDU に含まれる計算器と 3D プロッタ。|https://www.kde.org/applications/education/kalgebra/|{{Pkg|kalgebra}}}}
+
* {{App|[[Wikipedia:KAlgebra|KAlgebra]]|{{Grp|kdeedu}} に含まれる計算器と 3D プロッタ。|https://www.kde.org/applications/education/kalgebra/|{{Pkg|kalgebra}}}}
* {{App|[[Wikipedia:ja:KCalc|KCalc]]|KDE デスクトップの科学電卓。|http://kde.org/applications/utilities/kcalc/|{{Pkg|kcalc}}}}
+
* {{App|[[Wikipedia:ja:KCalc|KCalc]]|KDE デスクトップの科学電卓。|https://www.kde.org/applications/utilities/kcalc/|{{Pkg|kcalc}}}}
  +
* {{App|Liri Calculator|Liri の電卓。|https://github.com/lirios/calculator|{{Pkg|liri-calculator}}}}
 
* {{App|MATE Calc|MATE デスクトップ環境の計算機。|https://mate-desktop.org/|{{Pkg|mate-calc}}}}
 
* {{App|MATE Calc|MATE デスクトップ環境の計算機。|https://mate-desktop.org/|{{Pkg|mate-calc}}}}
* {{App|Qalculate|電卓・方程式ソルバ。フォールトトレラントなパース、定数認識とユニット。|http://qalculate.github.io/|{{Pkg|qalculate-gtk}}}}
+
* {{App|Qalculate!|電卓・方程式ソルバ。フォールトトレラントなパース、定数認識とユニット。|https://qalculate.github.io/|{{Pkg|qalculate-gtk}}}}
 
* {{App|SpeedCrunch|高速高精度でパワフルなクロスプラットフォームの計算器。|http://speedcrunch.org|{{Pkg|speedcrunch}}}}
 
* {{App|SpeedCrunch|高速高精度でパワフルなクロスプラットフォームの計算器。|http://speedcrunch.org|{{Pkg|speedcrunch}}}}
* {{App|[[Wikipedia:xcalc|xcalc]]|代数・逆ポーランド表記法モードを備えた X 用科学電卓。|http://xorg.freedesktop.org/|{{Pkg|xorg-xcalc}}}}
+
* {{App|[[Wikipedia:xcalc|xcalc]]|代数・逆ポーランド表記法モードを備えた X 用科学電卓。|https://www.x.org/|{{Pkg|xorg-xcalc}}}}
   
 
==== 数式処理システム ====
 
==== 数式処理システム ====
38行目: 40行目:
 
* {{App|[[Wikipedia:ja:Axiom (数式処理システム)|AXIOM]]|FriCAS: 強力な AXIOM-CAS の派生システム。|http://fricas.sourceforge.net|{{AUR|fricas}}}}
 
* {{App|[[Wikipedia:ja:Axiom (数式処理システム)|AXIOM]]|FriCAS: 強力な AXIOM-CAS の派生システム。|http://fricas.sourceforge.net|{{AUR|fricas}}}}
 
* {{App|[[Wikipedia:ja:GAP (数式処理システム)|GAP]]|群論計算に重点を置いた分散計算のための数式処理システム。|http://www.gap-system.org|{{Pkg|gap}}}}
 
* {{App|[[Wikipedia:ja:GAP (数式処理システム)|GAP]]|群論計算に重点を置いた分散計算のための数式処理システム。|http://www.gap-system.org|{{Pkg|gap}}}}
* {{App|[[Maple]]|有名な商用 CAS。主として教育で使われています。|http://www.maplesoft.com/products/maple/}}
+
* {{App|[[Maple]]|有名な商用 CAS。主として教育で使われています。|https://www.maplesoft.com/products/maple/}}
 
* {{App|Mathics|記号数学計算用のフリーな CAS。主要な言語として [[Python]] を使用。Mathematica 互換の構文と機能を備えることを目指しています。ほとんどの処理は Sympy を使っており、より高度な機能を Sage で補っています。|http://www.mathics.org/|{{AUR|mathics}}}}
 
* {{App|Mathics|記号数学計算用のフリーな CAS。主要な言語として [[Python]] を使用。Mathematica 互換の構文と機能を備えることを目指しています。ほとんどの処理は Sympy を使っており、より高度な機能を Sage で補っています。|http://www.mathics.org/|{{AUR|mathics}}}}
 
* {{App|[[Wikipedia:Mathomatic|Mathomatic]]|C で書かれた多目的の数式処理システム。|http://www.mathomatic.org/math/|{{Pkg|mathomatic}}}}
 
* {{App|[[Wikipedia:Mathomatic|Mathomatic]]|C で書かれた多目的の数式処理システム。|http://www.mathomatic.org/math/|{{Pkg|mathomatic}}}}
* {{App|[[Wikipedia:ja:Maxima|Maxima]]|wxWidgets ベースのフロントエンドを持った [[Maple]]/[[Mathematica]]-ライクなプログラム。|http://maxima.sourceforge.net/|{{Pkg|maxima}} {{Pkg|wxmaxima}}}}
+
* {{App|[[Wikipedia:ja:Maxima|Maxima]]|[[Maple]]/[[Mathematica]]-ライクなプログラム。|http://maxima.sourceforge.net/|{{Pkg|maxima}}}}
 
* {{App|[[Wikipedia:ja:PARI/GP|PARI/GP]]|整数論の高速計算のために作られた数式処理システム。|http://pari.math.u-bordeaux.fr/|{{Pkg|pari}}}}
 
* {{App|[[Wikipedia:ja:PARI/GP|PARI/GP]]|整数論の高速計算のために作られた数式処理システム。|http://pari.math.u-bordeaux.fr/|{{Pkg|pari}}}}
  +
* {{App|[[Wikipedia:Singular (software)|Singular]]|可換・非可換環論・代数幾何学・特異点論に特に注力されている多項式計算の数式処理システム。|https://www.singular.uni-kl.de/|{{Pkg|singular}}}}
  +
* {{App|wxMaxima|強力な数式処理システムである Maxima のグラフィカルユーザーインターフェイス。|http://andrejv.github.io/wxmaxima/|{{Pkg|wxmaxima}}}}
 
* {{App|[[Wikipedia:Xcas|Xcas]]|フリーの、基礎的な数式処理システムである、Giac のユーザーインターフェース。|http://www-fourier.ujf-grenoble.fr/~parisse/giac.html|{{Pkg|xcas}}}}
 
* {{App|[[Wikipedia:Xcas|Xcas]]|フリーの、基礎的な数式処理システムである、Giac のユーザーインターフェース。|http://www-fourier.ujf-grenoble.fr/~parisse/giac.html|{{Pkg|xcas}}}}
   
48行目: 52行目:
 
{{Wikipedia|Comparison of numerical analysis software}}
 
{{Wikipedia|Comparison of numerical analysis software}}
   
  +
* {{App|[[Wikipedia:Cantor (software)|Cantor]]|KDE に統合されたワークシートインターフェイスから好きな数学アプリケーションを使うことができるアプリケーション。{{Grp|kdeedu}} に含まれます。|https://www.kde.org/applications/education/cantor/|{{Pkg|cantor}}}}
 
* {{App|EngLab|C ライクな構文を持ったクロスコンパイル数学プラットフォーム。|http://englab.bugfest.net|{{AUR|englab}}}}
 
* {{App|EngLab|C ライクな構文を持ったクロスコンパイル数学プラットフォーム。|http://englab.bugfest.net|{{AUR|englab}}}}
  +
* {{App|[[Wikipedia:FFTW|FFTW]]|離散フーリエ変換を計算するための[[Wikipedia:ja:高速フーリエ変換|高速フーリエ変換]]ライブラリ。スペクトル法など幅広い数値計算に使われています。|https://www.fftw.org/ |{{Pkg|fftw}} {{AUR|fftw-mpi}} {{AUR|fftw-mpich}}}}
 
* {{App|[[Wikipedia:ja:FreeMat|FreeMat]]|Matlab-ライクなプログラム。(MPI による) 分散環境による並列計算の開発のサポート、C や C++、Fortran などのコードがいらないインターフェース、3D グラフィック機能など。|http://freemat.sourceforge.net/|{{AUR|freemat}}}}
 
* {{App|[[Wikipedia:ja:FreeMat|FreeMat]]|Matlab-ライクなプログラム。(MPI による) 分散環境による並列計算の開発のサポート、C や C++、Fortran などのコードがいらないインターフェース、3D グラフィック機能など。|http://freemat.sourceforge.net/|{{AUR|freemat}}}}
* {{App|[[GNU Radio]]|フトウェア無線実装するめの信号処理ブロックを提供するソフトウェア開発ツールキット。|http://gnuradio.org/redmine/projects/gnuradio/wiki |{{Pkg|gnuradio}}}}
+
* {{App|[[Wikipedia:GeoGebra|GeoGebra]]|インタラクティブなグラィック・数式・スプレッドシートを備え動的な数学ソフトウェア。|https://www.geogebra.org/|{{Pkg|geogebra}}}}
* {{App|[[Wikipedia:ja:matplotlib|matplotlib (PyLab)]]|科学計算 Python モジュール (pyplot や numpy ど) のコレクション。|http://www.scipy.org/|{{Pkg|python-matplotlib}}}}
+
* {{App|[[Wikipedia:ja:Julia (プログラミング言語)|Julia]]|技術計算のための高水準・高性能動的言語。|https://julialang.org/|{{Pkg|julia}}}}
  +
* {{App|[[Wikipedia:Kig (software)|Kig]]|インタラクティブ幾何学アプリケーション。{{Grp|kdeedu}} に含まれています。|https://www.kde.org/applications/education/kig/|{{Pkg|kig}}}}
  +
* {{App|[[Wikipedia:ja:matplotlib|matplotlib (PyLab)]]|科学計算用の Python モジュール (pyplot や numpy など) のコレクション。|https://www.scipy.org/|{{Pkg|python-matplotlib}}}}
 
* {{App|[[Octave]]|数値計算のための [[Matlab]]-ライクなプログラミング言語・インターフェース。|https://www.gnu.org/software/octave/ |{{Pkg|octave}}}}
 
* {{App|[[Octave]]|数値計算のための [[Matlab]]-ライクなプログラミング言語・インターフェース。|https://www.gnu.org/software/octave/ |{{Pkg|octave}}}}
* {{App|[[Sage-mathematics]]|Python で書かれた Maxima に似た数式処理システム。Magma, Maple, Mathematica, Matlab の代替。|http://www.sagemath.org|{{Pkg|sagemath}}}}
+
* {{App|[[SageMath]]|Python で書かれた Maxima に似た数式処理システム。Magma, Maple, Mathematica, Matlab の代替。|http://www.sagemath.org|{{Pkg|sagemath}}}}
* {{App|[[Wikipedia:ja:Scilab|Scilab]]|数値計算に使われる Matlab 代替、構文は Matlab とは異なりますが、簡単に変換できます。|http://www.scilab.org/|{{AUR|scilab}}}}
+
* {{App|[[Wikipedia:ja:Scilab|Scilab]]|数値計算に使われる Matlab 代替、構文は Matlab とは異なりますが、簡単に変換できます。|http://www.scilab.org/|{{AUR|scilab}}, {{AUR|scilab-bin}}, {{AUR|scilab-git}}}}
   
 
==== 統計学 ====
 
==== 統計学 ====
60行目: 68行目:
   
 
* {{App|[[Wikipedia:Just another Gibbs sampler|JAGS]] (Just another Gibbs sampler)|マルコフ連鎖モンテカルロ法 (MCMC) を使う階層ベイズモデルの分析のためのクロスプラットフォームプログラム。|http://mcmc-jags.sourceforge.net/|{{AUR|jags}}}}
 
* {{App|[[Wikipedia:Just another Gibbs sampler|JAGS]] (Just another Gibbs sampler)|マルコフ連鎖モンテカルロ法 (MCMC) を使う階層ベイズモデルの分析のためのクロスプラットフォームプログラム。|http://mcmc-jags.sourceforge.net/|{{AUR|jags}}}}
  +
* {{App|jamovi|SPSS のユーザーが簡単に使えるように作られた統計パッケージ。[[Electron]] プラットフォームベース。|https://www.jamovi.org/|{{AUR|jamovi-git}}}}
 
* {{App|[[Wikipedia:ja:PSPP|PSPP]]|フリーの SPSS 実装。|https://www.gnu.org/software/pspp/|{{AUR|pspp}}}}
 
* {{App|[[Wikipedia:ja:PSPP|PSPP]]|フリーの SPSS 実装。|https://www.gnu.org/software/pspp/|{{AUR|pspp}}}}
* {{App|[[R]]|統計計算とグラフのソフトウェア環境。|http://cran.r-project.org/|{{Pkg|r}}}}
+
* {{App|[[R]]|統計計算とグラフのソフトウェア環境。|https://cran.r-project.org/|{{Pkg|r}}}}
* {{App|[[Wikipedia:RKWard|RKWard]]|統計解析向けプログラミング言語 R のフロントエンド。|http://rkward.sourceforge.net/|{{AUR|rkward}}}}
+
* {{App|[[Wikipedia:RKWard|RKWard]]|統計解析向けプログラミング言語 R のフロントエンド。|https://rkward.kde.org/|{{AUR|rkward}}}}
* {{App|[[Wikipedia:ja:Pandas|Python Data Analysis Library (pandas)]]|Python プログラミング言語による、高性能かつ使いやすい、データ解析ツール。|http://pandas.pydata.org/|{{Pkg|python2-pandas}}{{Broken package link|{{aur-mirror|python2-pandas}}}} {{Pkg|python-pandas}}}}
+
* {{App|[[Wikipedia:ja:Pandas|Python Data Analysis Library (pandas)]]|Python プログラミング言語による、高性能かつ使いやすい、データ解析ツール。|http://pandas.pydata.org/|{{Pkg|python-pandas}}}}
* {{App|[[Wikipedia:RStudio|RStudio]]|Qt で書かれた R の強力で生産的な IDE。|http://www.rstudio.com/|{{AUR|rstudio-desktop-bin}}}}
+
* {{App|[[Wikipedia:RStudio|RStudio]]|Qt で書かれた R の強力で生産的な IDE。|https://www.rstudio.com/|{{AUR|rstudio-desktop-bin}}}}
   
==== データ評価 ====
+
==== データ評価とプロット ====
 
{{Wikipedia/ja|グラフ作成ソフト}}
 
{{Wikipedia/ja|グラフ作成ソフト}}
   
  +
* {{App|Engauge Digitizer|グラフの画像からデータを抽出。|https://markummitchell.github.io/engauge-digitizer/|{{AUR|engauge}}}}
 
* {{App|[[Wikipedia:Fityk|Fityk]]|曲線あてはめ・データ解析アプリケーション。釣鐘型関数を実験データに当てるのによく使われます。|http://fityk.nieto.pl/|{{AUR|fityk}}}}
 
* {{App|[[Wikipedia:Fityk|Fityk]]|曲線あてはめ・データ解析アプリケーション。釣鐘型関数を実験データに当てるのによく使われます。|http://fityk.nieto.pl/|{{AUR|fityk}}}}
 
* {{App|[[Wikipedia:ja:gnuplot|Gnuplot]]|関数・データの 2D / 3D プロットを生成するコマンドラインプログラム。|http://www.gnuplot.info/|{{Pkg|gnuplot}}}}
 
* {{App|[[Wikipedia:ja:gnuplot|Gnuplot]]|関数・データの 2D / 3D プロットを生成するコマンドラインプログラム。|http://www.gnuplot.info/|{{Pkg|gnuplot}}}}
 
* {{App|[[Wikipedia:Grace (plotting tool)|Grace]]|WYSIWYG 2D グラフプロットツール。|http://plasma-gate.weizmann.ac.il/Grace/|{{AUR|grace}} {{AUR|qtgrace}} {{AUR|gracegtk}}}}
 
* {{App|[[Wikipedia:Grace (plotting tool)|Grace]]|WYSIWYG 2D グラフプロットツール。|http://plasma-gate.weizmann.ac.il/Grace/|{{AUR|grace}} {{AUR|qtgrace}} {{AUR|gracegtk}}}}
* {{App|[[Wikipedia:LabPlot|LabPlot]]|SciDAVis に似たリーのデータ解析視覚化アリケーション。|https://labplot.kde.org/|{{AUR|labplot-kf5}}{{Broken package link|パッケージが存在しません}}}}
+
* {{App|[[Wikipedia:KmPlot|KmPlot]]|グラと積分導関数を描画するログラム。{{Grp|kdeedu}} に含まれます。|https://www.kde.org/applications/education/kmplot/|{{Pkg|kmplot}}}}
  +
* {{App|[[Wikipedia:LabPlot|LabPlot]]|SciDAVis に似たフリーのデータ解析・視覚化アプリケーション。|https://labplot.kde.org/|{{Pkg|labplot}}}}
 
* {{App|[[Wikipedia:QtiPlot|QtiPlot]]|プロプライエタリの [[Wikipedia:ja:Origin|Origin]] や [[Wikipedia:SigmaPlot|SigmaPlot]] に似ている、科学用グラフ作成・データ分析に使うプラットフォーム非依存のアプリケーション。|http://www.qtiplot.com/|{{Pkg|qtiplot}}{{Broken package link|パッケージが存在しません}}}}
 
* {{App|[[Wikipedia:QtiPlot|QtiPlot]]|プロプライエタリの [[Wikipedia:ja:Origin|Origin]] や [[Wikipedia:SigmaPlot|SigmaPlot]] に似ている、科学用グラフ作成・データ分析に使うプラットフォーム非依存のアプリケーション。|http://www.qtiplot.com/|{{Pkg|qtiplot}}{{Broken package link|パッケージが存在しません}}}}
  +
* {{App|Rocs|グラフアルゴリズムを設計・解析するのに興味がある全ての人 (教師・学生・研究者) のためのグラフ理論 IDE。{{Grp|kdeedu}} に含まれています。|https://www.kde.org/applications/education/rocs/|{{Pkg|rocs}}}}
* {{App|[[Wikipedia:ja:ROOT|ROOT]]|CERN によって開発されている(元は素粒子物理学用の)データ解析プログラム・ライブラリ。|http://root.cern.ch/drupal/|{{Pkg|root}}}}
 
  +
* {{App|[[Wikipedia:ja:ROOT|ROOT]]|CERN によって開発されている(元は素粒子物理学用の)データ解析プログラム・ライブラリ。|https://root.cern.ch/|{{Pkg|root}}}}
 
* {{App|[[Wikipedia:SciDAVis|SciDAVis]]|QtiPlot のフォーク。豊富なドキュメント・ユーザーフレンドリーを目指している。|http://scidavis.sourceforge.net/|{{AUR|scidavis}}}}
 
* {{App|[[Wikipedia:SciDAVis|SciDAVis]]|QtiPlot のフォーク。豊富なドキュメント・ユーザーフレンドリーを目指している。|http://scidavis.sourceforge.net/|{{AUR|scidavis}}}}
[[アプリケーション一覧#スプレッドシート]] も見てさい
+
[[アプリケーション一覧#スプレッドシート]]も見てください
   
=== 化学・生物学 ===
+
==== 証明支援システム ====
====計算生物学とバイオインフォマティクス====
 
{{Wikipedia|List of open source bioinformatics software}}
 
   
  +
[[Wikipedia:Proof assistant]] も参照。
* {{App|[[Wikipedia:BALL|BALL]] (Biochemical Algorithms Library)|分子力学法や高度な溶媒和メソッド、蛋白質構造の比較・分析のクラス、さらにデータ構造の広大なセットを提供する C++ のアプリケーションフレームワーク。ファイルのインポート・エクスポートやビジュアライゼーションも可能。|http://www.ball-project.org/|{{AUR|ball}}}}
 
  +
* {{App|[[Wikipedia:BioJava|BioJava]]|計算生物学や生物情報科学で使う Java ツールのセット。|http://biojava.org|{{AUR|biojava}}}}
 
  +
* {{App|[[Wikipedia:ja:Agda|Agda]]|依存型・関数型プログラミング言語・プルーフアシスタント。直感的に証明を書いてチェックできます。|http://wiki.portal.chalmers.se/agda/|{{Pkg|agda}}}}
* {{App|[[Wikipedia:Biopython|Biopython]]|計算生物学や生物情報科学で使う Python パッケージとツール。|http://biopython.org/wiki/Biopython|{{Pkg|python-biopython}} {{Pkg|python2-biopython}}}}
 
  +
* {{App|[[Wikipedia:ja:Coq|Coq]]|形式証明管理システム。数学主題と実行アルゴリズム、定理を記述するための形式言語を備えており、機械的に証明をチェックする半自動な開発環境を実現します。|https://coq.inria.fr/|CLI: {{Pkg|coq}}, GUI: {{Pkg|coqide}}}}
* {{App|[[Wikipedia:EMBOSS|EMBOSS]] (European Molecular Biology Open Software Suite)|分子生物学やバイオインフォマティクスのコミュニティのために開発されたオープンソースの分析ソフトウェアパッケージ。|http://emboss.sourceforge.net/|{{AUR|emboss}}}}
 
  +
* {{App|[[Wikipedia:Isabelle (proof assistant)|Isabelle]]|数学定理を形式言語で表現できる汎用の証明支援器。論理計算で定理を証明するためのツールを提供します。|https://www.cl.cam.ac.uk/research/hvg/Isabelle/|{{AUR|isabelle}}}}
* {{App|[[Wikipedia:MEGA, Molecular Evolutionary Genetics Analysis|MEGA]] (Molecular Evolutionary Genetics Analysis)|自動・手動の配列アライメントや系統樹の推論、ウェブデータベースの探索、分子進化の変異率の推定、祖先配列の推論、進化仮説のテストを処理するための統合ツール。|http://www.megasoftware.net/|{{AUR|mega}}{{Broken package link|{{aur-mirror|mega}}}}}}
 
  +
* {{App|[[Wikipedia:MUMmer|MUMmer]]|接尾辞木を使った配列アライメント用のバイオインフォマティクスソフトウェアシステム。|http://mummer.sourceforge.net/|{{AUR|mummer}}}}
 
  +
=== 物理学 ===
* {{App|[[Wikipedia:UGENE|UGENE]]|よく使われている生物学ツールやアルゴリズムを統合したアプリケーション。グラフィカルユーザーインターフェースとコマンドラインを提供。|http://ugene.unipro.ru/|{{AUR|ugene}}{{Broken package link|パッケージが存在しません}}}}
 
  +
  +
==== 物理シミュレーション ====
  +
* {{App|[[Wikipedia:Code_Aster|Code_Aster]]|土木工学や構造力学における有限要素解析や数値シミュレーションのためのソフトウェアパッケージ。|http://www.code-aster.org/V2/spip.php?rubrique2|{{AUR|aster}}}}
  +
* {{App|[[Wikipedia:ja:EPANET|EPANET]]|配水管網における水の移動と水質に関する長期シミュレーションを行います。|http://www.epa.gov/|{{AUR|epanet2-git}}}}
  +
* {{App|[[Wikipedia:Step (software)|Step]]|KDE デスクトップに KDE Edu の一部として含まれている二次元の物理シミュレーション。|http://edu.kde.org/step/|{{Pkg|step}}}}
  +
* {{App|[[Wikipedia:ja:SWMM|SWMM]]|動学的な降雨表面流出シミュレーションモデル。地表・地下の水文学的な量と質のシミュレーションに使われます。|http://www.epa.gov/|{{AUR|swmm5-git}}}}
  +
  +
==== 単位変換 ====
  +
* {{App|ConvertAll|意味がないものでも様々に単位を組み合わせられる (e.g. inches per decade) 単位変換アプリケーション。|http://convertall.bellz.org/|{{AUR|convertall}}}}
  +
* {{App|Gonvert|長さ、量、数など多くのカテゴリで CGS・帝国単位・古代単位など多くの単位系間で変換できる変換ユーティリティ。|http://www.unihedron.com/projects/gonvert/|{{AUR|gonvert}}}}
  +
* {{App|[[Wikipedia:GNU Units|Units]]|コマンドライン単位コンバーター・電卓。倍数的なスケール変化、ノンリニアな変換ができる。華氏を摂氏やゲージに変換する等。|https://www.gnu.org/s/units/|{{Pkg|units}}}}
  +
  +
=== 化学 ===
   
 
==== 分子構造 ====
 
==== 分子構造 ====
94行目: 117行目:
 
{{Wikipedia|List of molecular graphics systems}}
 
{{Wikipedia|List of molecular graphics systems}}
   
* {{App|[[Wikipedia:ja:Avogadro|Avogadro]]|3D 分子構造のエディタ・ビューア・シミュレータ ([[Wikipedia:ja:蛋白質構造データバンク|蛋白質構造データバンク]]からのファイルのダウンロードもサポート)。|http://avogadro.openmolecules.net/wiki/Main_Page|{{AUR|avogadro}}}}
+
* {{App|[[Wikipedia:ja:Avogadro|Avogadro]]|3D 分子構造のエディタ・ビューア・シミュレータ ([[Wikipedia:ja:蛋白質構造データバンク|蛋白質構造データバンク]]からのファイルのダウンロードもサポート)。|http://avogadro.cc/|{{AUR|avogadro}}}}
* {{App|BALLView|スタンドアローンの分子モデリング・視覚化アプリケーション。[[Wikipedia:BALL|BALL]] フレームワークの一部。|http://www.ballview.org/|{{AUR|ball}}}}
+
* {{App|BALLView|スタンドアローンの分子モデリング・視覚化アプリケーション。[[Wikipedia:BALL|BALL]] フレームワークの一部。|http://www.ball-project.org/|{{AUR|ball}}}}
 
* {{App|[[Wikipedia:Ghemical|Ghemical]]|分子構造を編集・回覧・シミュレートするために使われる計算化学ソフトウェアパッケージ。|http://bioinformatics.org/ghemical/ghemical/index.html|{{AUR|ghemical}}}}
 
* {{App|[[Wikipedia:Ghemical|Ghemical]]|分子構造を編集・回覧・シミュレートするために使われる計算化学ソフトウェアパッケージ。|http://bioinformatics.org/ghemical/ghemical/index.html|{{AUR|ghemical}}}}
* {{App|[[Wikipedia:ja:PyMOL|PyMOL]]|オープンソースの分子視覚化システム。小さな分子や、タンパク質などの生体高分子の高品質な 3D イメージを作成できます。|http://pymol.org/|{{Pkg|pymol}}}}
+
* {{App|[[Wikipedia:ja:PyMOL|PyMOL]]|オープンソースの分子視覚化システム。小さな分子や、タンパク質などの生体高分子の高品質な 3D イメージを作成できます。|https://pymol.org/|{{Pkg|pymol}}}}
  +
* {{App|VMD|3D グラフィックと内蔵のスクリプトを使って巨大な生体分子を表示・アニメーション・解析する分子視覚化プログラム。|http://www.ks.uiuc.edu/Research/vmd/|{{AUR|vmd}}}}
   
 
===== ドローイング =====
 
===== ドローイング =====
 
* {{App|[[Wikipedia:BKchem|BKChem]]|実践的な見かけの良い化学構造式の描写プログラム。|http://bkchem.zirael.org/|{{AUR|bkchem}}}}
 
* {{App|[[Wikipedia:BKchem|BKChem]]|実践的な見かけの良い化学構造式の描写プログラム。|http://bkchem.zirael.org/|{{AUR|bkchem}}}}
 
* {{App|[[Wikipedia:Chemtool|Chemtool]]|化学構造式を描写するための GTK+ プログラム。|http://ruby.chemie.uni-freiburg.de/~martin/chemtool/chemtool.html|{{Pkg|chemtool}}}}
 
* {{App|[[Wikipedia:Chemtool|Chemtool]]|化学構造式を描写するための GTK+ プログラム。|http://ruby.chemie.uni-freiburg.de/~martin/chemtool/chemtool.html|{{Pkg|chemtool}}}}
* {{App|EasyChem|プレス品質の画像を作成することにフォーカスをおいたシンプルな化学構造式描写プログラム。|http://easychem.sourceforge.net/|{{AUR|easychem}}{{Broken package link|{{aur-mirror|easychem}}}}}}
+
* {{App|EasyChem|プレス品質の画像を作成することにフォーカスをおいたシンプルな化学構造式描写プログラム。|http://easychem.sourceforge.net/}}
 
* {{App|[[Wikipedia:ja:Gabedit|Gabedit]]|[[Wikipedia:ja:GAMESS (US)|GAMESS]], [[Wikipedia:ja:GAUSSIAN|Gaussian]], [[Wikipedia:MOLCAS|MOLCAS]], [[Wikipedia:MOLPRO|MOLPRO]], [[Wikipedia:MPQC|MPQC]], [[Wikipedia:ja:MOPAC|OpenMopac]], [[Wikipedia:ja:Firefly (プログラム)|Firefly]] (旧名 PC GAMESS), [[Wikipedia:Q-Chem|Q-Chem]] などの計算化学パッケージのグラフィカルユーザーインターフェース。|http://gabedit.sourceforge.net/|{{AUR|gabedit}}}}
 
* {{App|[[Wikipedia:ja:Gabedit|Gabedit]]|[[Wikipedia:ja:GAMESS (US)|GAMESS]], [[Wikipedia:ja:GAUSSIAN|Gaussian]], [[Wikipedia:MOLCAS|MOLCAS]], [[Wikipedia:MOLPRO|MOLPRO]], [[Wikipedia:MPQC|MPQC]], [[Wikipedia:ja:MOPAC|OpenMopac]], [[Wikipedia:ja:Firefly (プログラム)|Firefly]] (旧名 PC GAMESS), [[Wikipedia:Q-Chem|Q-Chem]] などの計算化学パッケージのグラフィカルユーザーインターフェース。|http://gabedit.sourceforge.net/|{{AUR|gabedit}}}}
   
 
===== モデリング =====
 
===== モデリング =====
  +
* {{App|APBS|分子複合系の静電気・溶媒和の性質を解析。|http://www.poissonboltzmann.org/|{{AUR|apbs}}}}
* {{App|[[GROMACS]] (GROningen MAchine for Chemical Simulations)|分子動力学法を使うための多目的パッケージ。数百から数万原子(分子、粒子)の系の動きのニュートン方程式をシミュレートする。|http://www.gromacs.org|{{AUR|gromacs}}}}
 
  +
* {{App|CP2K|量子化学と固体物理学のソフトウェアパッケージ。|https://www.cp2k.org/|{{AUR|cp2k}}}}
* {{App|[[Wikipedia:Quantum ESPRESSO|Quantum ESPRESSO]]|電子状態計算とナノスケールの材料モデリングのアプリケーションの統合スイート。密度汎関数理論、平面波、擬ポテンシャル(ノルム保存とウルトラソフト)に基づく。|http://www.quantum-espresso.org/|{{AUR|quantum-espresso}}}}
 
  +
* {{App|Fpocket|ボロノイ分割に基づく非常に高速なオープンソースの蛋白質ポケット検知アルゴリズム。|https://github.com/Discngine/fpocket|{{AUR|fpocket-git}}}}
  +
* {{App|[[GROMACS]] (GROningen MAchine for Chemical Simulations)|分子動力学法を使うための多目的パッケージ。数百から数万原子(分子、粒子)の系の動きのニュートン方程式をシミュレートする。|http://www.gromacs.org|{{AUR|gromacs}}}}
  +
* {{App|AmberTools|独立して開発されている複数のパッケージと Amber18 から構成されたスイート。完全な分子動力学シミュレーションを実行することができます。顕在水分子あるいは一般化ボルン溶媒モデルを使用。|http://ambermd.org/AmberTools.php|{{AUR|ambertools}}}}
  +
* {{App|NAMD|巨大な生命分子系の高性能シミュレーションのために作られた並列分子動力学コード。|http://www.ks.uiuc.edu/Research/namd/|{{AUR|namd}}}}
  +
* {{App|ORCA|非経験的, DFT, 半経験的 SCF-MO パッケージ。|https://orcaforum.kofo.mpg.de/app.php/portal|{{AUR|orcaqm}}}}
  +
* {{App|PDB2PQR|分子複合系の静電気・溶媒和の性質を解析。|http://www.poissonboltzmann.org/|{{AUR|pdb2pqr}}}}
  +
* {{App|PMEMD|MBER ソフトウェアパッケージの PMEMD モジュール。|http://ambermd.org/AmberMD.php|{{AUR|pmemd}}, {{AUR|pmemd-cuda}}}}
  +
* {{App|[[Wikipedia:Quantum ESPRESSO|Quantum ESPRESSO]]|電子状態計算とナノスケールの材料モデリングのアプリケーションの統合スイート。密度汎関数理論、平面波、擬ポテンシャル(ノルム保存/ウルトラソフト)に基づく。|http://www.quantum-espresso.org/|{{AUR|quantum-espresso}}}}
  +
* {{App|smina|スコアリング・最小化が改善された Autodock Vina のフォーク。|https://sourceforge.net/projects/smina/|{{AUR|smina-bin}}}}
   
 
==== 周期表 ====
 
==== 周期表 ====
 
* {{App|eperiodique|EFL を使用するシンプルな周期表ビューア。|http://eperiodique.sourceforge.net/|{{AUR|eperiodique}}}}
 
* {{App|eperiodique|EFL を使用するシンプルな周期表ビューア。|http://eperiodique.sourceforge.net/|{{AUR|eperiodique}}}}
* {{App|gElemental|付加情報が含まれている元素周期表。|http://freshmeat.net/projects/gelemental|{{AUR|gelemental}}}}
+
* {{App|gElemental|付加情報が含まれている元素周期表。|http://freecode.com/projects/gelemental|{{AUR|gelemental}}}}
* {{App|[[Wikipedia:Kalzium|Kalzium]]|[[KDE]] デスクトップの、構造式エディタと方程式ソルバーの付いた元素周期表。|http://edu.kde.org/kalzium/|{{Pkg|kalzium}}}}
+
* {{App|Kalzium|[[KDE]] デスクトップの、構造式エディタと方程式ソルバーの付いた元素周期表。|https://www.kde.org/applications/education/kalzium/|{{Pkg|kalzium}}}}
   
==== 生化====
+
=== 地球科学 ===
* {{App|[[Wikipedia:Bioclipse|Bioclipse]]|Eclipse Rich Client Platform (RCP) を使っている Java ベースの生化学用ビジュアルプラットフォーム。|http://www.bioclipse.net/|{{AUR?|bioclipse}}}}
 
   
==== 画像処理 ====
+
==== ====
  +
* {{App|[[Wikipedia:ja:ImageJ|ImageJ]]|プラグインやマクロによる拡張ができる Java ベースのイメージプロセシング・分析プログラム。顕微鏡検査で広く使われています (例: 細胞を数える)。|http://rsb.info.nih.gov/ij|{{AUR|imagej}}}}
 
  +
* {{App|BT747|MTK GPS データロガーの万能ナイフ。|https://sourceforge.net/projects/bt747/|{{Pkg|bt747}}}}
* {{App|[[Wikipedia:FIJI_(software)|Fiji]]|多くのプラグインがまとめられた ImageJ ディストリビューション (と ImageJ2)。|http://fiji.sc|{{AUR|fiji-binary}}}}
 
  +
* {{App|FoxtrotGPS|軽量・高速なマッピングアプリケーション。|https://www.foxtrotgps.org/|{{AUR|foxtrotgps}}}}
  +
* {{App|Gebabbel|GPSBabel の代替 GUI。|http://gebabbel.sourceforge.net/|{{AUR|gebabbel}}}}
  +
* {{App|Geotag|写真の日付情報と GPS ユニットや地図の情報を一致させます。|http://geotag.sourceforge.net/|{{Pkg|geotag}}}}
  +
* {{App|GNOME Maps|GNOME のシンプルな地図クライアント。{{Grp|gnome-extra}} に含まれています。|https://wiki.gnome.org/Apps/Maps|{{Pkg|gnome-maps}}}}
  +
* {{App|GottenGeography|GNOME デスクトップの使いやすい写真ジオタグアプリケーション。|https://launchpad.net/gottengeography|{{Pkg|gottengeography}}}}
  +
* {{App|Gpredict|リアルタイムの人工衛星トラッキング・軌道予測アプリケーション。|http://gpredict.oz9aec.net/|{{AUR|gpredict}}}}
  +
* {{App|GPSBabel|GPS ウェイポイント・軌跡・ルートを様々なフォーマットで読み書き。|https://www.gpsbabel.org/|{{Pkg|gpsbabel}}}}
  +
* {{App|GPSCorrelate|GPX 形式の GPS データとデジタルカメラの写真を関連付け (ジオタグ)。|https://github.com/freefoote/gpscorrelate|{{Pkg|gpscorrelate}}}}
  +
* {{App|[[Wikipedia:gpsd|gpsd]]|シリアルまたは USB でホストコンピュータに接続された GPS や AIS 受信器を監視して、ホストコンピュータの TCP ポート 2947 からセンサーの位置・進路・速度データを利用できるようにするデーモン。|http://catb.org/gpsd/|{{Pkg|gpsd}}}}
  +
* {{App|GpsPrune|GPS システムの位置データを表示・編集・変換。|https://activityworkshop.net/software/gpsprune/|{{Pkg|gpsprune}}}}
  +
* {{App|GPXSee|GPS ログビューア・アナライザ。|http://www.gpxsee.org/|{{Pkg|gpxsee}}}}
  +
* {{App|GPX Viewer|gpx ファイルに保存された軌跡・ウェイポイントを視覚化するシンプルなツール。|https://blog.sarine.nl/tag/gpxviewer/|{{Pkg|gpx-viewer}}}}
  +
* {{App|[[Wikipedia:ja:GRASS GIS|GRASS GIS]]|地理空間データ管理と解析・画像処理・地図生成・空間モデリングと視覚化。|https://grass.osgeo.org/|{{AUR|grass}}}}
  +
* {{App|[[Wikipedia:gvSIG|gvSIG]]|あらゆる種類の地理情報を取得・保存・管理・解析・展開するためのデスクトップアプリケーションと地理情報システム (GIS)。|http://www.gvsig.com/en| {{AUR|gvsig-desktop-bin}}}}
  +
* {{App|JOSM|Java で書かれた OpenStreetMap エディタ。|http://josm.openstreetmap.de/|{{Pkg|josm}}}}
  +
* {{App|Mapton|Java で書かれた拡張性の高いデスクトップ地図・地球儀アプリケーション。|https://mapton.org/|{{AUR|mapton}}}}
  +
* {{App|Marble|地球について学習できる仮想地球・世界地図。{{Grp|kdeedu}} に含まれています。|https://marble.kde.org/|KDE: {{Pkg|marble}}, Qt: {{Pkg|marble-qt}}}}
  +
* {{App|Merkaartor|OpenStreetMap エディタ。|http://merkaartor.be/|{{Pkg|merkaartor}}}}
  +
* {{App|Navit|モジュール方式のターンバイターンカーナビゲーションシステム。|http://www.navit-project.org/|{{Pkg|navit}}}}
  +
* {{App|OffRoad|OsmAnd から移植されたオフラインベクター地図表示システム。|https://sourceforge.net/projects/offroadosm/|{{Pkg|offroad}}}}
  +
* {{App|OpenOrienteering Mapper|オリエンテーリング地図制作プログラム。|https://www.openorienteering.org/apps/mapper/|{{AUR|openorienteering-mapper}}}}
  +
* {{App|QMapShack|次回の野外旅行を計画しよう。|https://bitbucket.org/maproom/qmapshack|{{Pkg|qmapshack}}}}
  +
* {{App|QGIS|ベクター・ラスター・データベース形式をサポートする地理情報システム (GIS)。|https://qgis.org/|{{Pkg|qgis}}}}
  +
* {{App|[[Wikipedia:Subsurface (software)|Subsurface]]|ダイブスポット (GPS 座標に基づく) と使用したウエイト・スーツ、ダイブマスターとバディを記録するダイビングログブック。|https://subsurface-divelog.org/|{{Pkg|subsurface}}}}
  +
* {{App|Viking|GPS データを管理するための GTK+2 アプリケーション。|http://viking.sourceforge.net/|{{Pkg|viking}}}}
  +
  +
==== 気象学 ====
  +
  +
* {{App|Gis Weather|カスタマイズ可能な天気予報デスクトップウィジェット。|https://sourceforge.net/projects/gis-weather/|{{AUR|gis-weather}}}}
  +
* {{App|GNOME Weather|あなたの住んでいる都市の天気を表示したりインターネットサービスの天気予報にアクセスできる GNOME 用の小さなアプリケーション。|https://wiki.gnome.org/Apps/Weather|{{Pkg|gnome-weather}}}}
  +
* {{App|meteo-qt|天気情報を表示するシステムトレイアプリケーション。|https://github.com/dglent/meteo-qt|{{AUR|meteo-qt}}}}
  +
* {{App|wttr|http://wttr.in のデータを使って天気をチェックするシンプルなコンソールアプリケーション。|https://github.com/AmirrezaFiroozi/wttr|{{AUR|wttr}}}}
  +
* {{App|Xfce Weather Panel Plugin|Xfce4 パネルの天気予報プラグイン。|https://goodies.xfce.org/projects/panel-plugins/xfce4-weather-plugin|{{Pkg|xfce4-weather-plugin}}}}
   
 
=== 天文学 ===
 
=== 天文学 ===
   
* {{App|[[Wikipedia:ja:Celestia|Celestia]]|広大な宇宙を旅することができる 3D 天体シミュレーションプログラム。現実に即してモデリングされ、いかなる時間のいかなる場所も見ることができます。|http://www.shatters.net/celestia/|{{Pkg|celestia}}}}
+
* {{App|[[Wikipedia:ja:Celestia|Celestia]]|広大な宇宙を旅することができる 3D 天体シミュレーションプログラム。現実に即してモデリングされ、いかなる時間のいかなる場所も見ることができます。|https://celestiaproject.net/|{{Pkg|celestia}}}}
 
* {{App|GIMP Astronomy Plugins|天体画像作成用の GIMP プラグインのセット。|http://hennigbuam.de/georg/gimp.html|{{AUR|gimp-plugin-astronomy}}}}
 
* {{App|GIMP Astronomy Plugins|天体画像作成用の GIMP プラグインのセット。|http://hennigbuam.de/georg/gimp.html|{{AUR|gimp-plugin-astronomy}}}}
 
* {{App|GoQat|オートガイドやフォーカスヘルプなどの機能を持った、特に QSI カメラ用の、カメラキャプチャソフトウェア。|http://canburytech.net/GoQat/|{{AUR|goqat}}}}
 
* {{App|GoQat|オートガイドやフォーカスヘルプなどの機能を持った、特に QSI カメラ用の、カメラキャプチャソフトウェア。|http://canburytech.net/GoQat/|{{AUR|goqat}}}}
* {{App|[[Wikipedia:ja:KStars|KStars]]|地球上のどの場所でも、どの時刻でも、夜空の正確なグラフィカルシミュレーションができるプラネタリウムアプリケーション。KDE Edu に含まれています。|http://edu.kde.org/kstars/|{{Pkg|kstars}}}}
+
* {{App|[[Wikipedia:ja:KStars|KStars]]|地球上のどの場所でも、どの時刻でも、夜空の正確なグラフィカルシミュレーションができるプラネタリウムアプリケーション。KDE Edu に含まれています。|https://edu.kde.org/kstars/|{{Pkg|kstars}}}}
 
* {{App|Qastrocam-g2|天文学のためのウェブカメラキャプチャソフトウェア。|https://sourceforge.net/projects/qastrocam-g2/|{{AUR|qastrocam-g2}}}}
 
* {{App|Qastrocam-g2|天文学のためのウェブカメラキャプチャソフトウェア。|https://sourceforge.net/projects/qastrocam-g2/|{{AUR|qastrocam-g2}}}}
* {{App|[[Wikipedia:Cartes du Ciel|Skychart / Cartes du Ciel]]|星座・惑星などの望遠鏡で見れるほとんどの天体を図示・ラベリングするプラネタリウム。Digitized Sky Survey チャートやチャートのスーパーインポーズ画像のダウンロードもできます。|http://www.ap-i.net/skychart/start/|{{AUR|skychart}}}}
+
* {{App|[[Wikipedia:Cartes du Ciel|Skychart / Cartes du Ciel]]|星座・惑星などの望遠鏡で見れるほとんどの天体を図示・ラベリングするプラネタリウム。Digitized Sky Survey チャートやチャートのスーパーインポーズ画像のダウンロードもできます。|https://www.ap-i.net/skychart/|{{AUR|skychart}}}}
 
* {{App|StarPlot|三次元星座ビューア。|http://starplot.org/|{{AUR|starplot}}}}
 
* {{App|StarPlot|三次元星座ビューア。|http://starplot.org/|{{AUR|starplot}}}}
 
* {{App|[[Wikipedia:ja:Stellarium|Stellarium]]|リアルタイムのリアリスティックな空を描くことができる OpenGL を使っている美しい 3D プラネタリウム。|http://www.stellarium.org/|{{Pkg|stellarium}}}}
 
* {{App|[[Wikipedia:ja:Stellarium|Stellarium]]|リアルタイムのリアリスティックな空を描くことができる OpenGL を使っている美しい 3D プラネタリウム。|http://www.stellarium.org/|{{Pkg|stellarium}}}}
134行目: 199行目:
 
* {{App|[[Wikipedia:XEphem|XEphem]]|Motif-ベースの天体歴・プラネタリウムプログラム。|http://www.clearskyinstitute.com/xephem/xephem.html|{{AUR|xephem}}}}
 
* {{App|[[Wikipedia:XEphem|XEphem]]|Motif-ベースの天体歴・プラネタリウムプログラム。|http://www.clearskyinstitute.com/xephem/xephem.html|{{AUR|xephem}}}}
   
=== 物学 ===
+
=== 物学 ===
  +
  +
* {{App|[[Wikipedia:Gramps|Gramps]]|家系図を見ることができる家系プログラム。|https://gramps-project.org/|{{Pkg|gramps}}}}
  +
  +
====計算生物学とバイオインフォマティクス====
  +
{{Wikipedia|List of open source bioinformatics software}}
  +
  +
* {{App|[[Wikipedia:BALL|BALL]] (Biochemical Algorithms Library)|分子力学法や高度な溶媒和メソッド、蛋白質構造の比較・分析のクラス、さらにデータ構造の広大なセットを提供する C++ のアプリケーションフレームワーク。ファイルのインポート・エクスポートやビジュアライゼーションも可能。|http://www.ball-project.org/|{{AUR|ball}}}}
  +
* {{App|[[Wikipedia:BioJava|BioJava]]|計算生物学や生物情報科学で使う Java ツールのセット。|http://biojava.org|{{AUR|biojava}}}}
  +
* {{App|[[Wikipedia:Biopython|Biopython]]|計算生物学や生物情報科学で使う Python パッケージとツール。|http://biopython.org/wiki/Biopython|{{Pkg|python-biopython}} {{Pkg|python2-biopython}}}}
  +
* {{App|[[Wikipedia:EMBOSS|EMBOSS]] (European Molecular Biology Open Software Suite)|分子生物学やバイオインフォマティクスのコミュニティのために開発されたオープンソースの分析ソフトウェアパッケージ。|http://emboss.sourceforge.net/|{{AUR|emboss}}}}
  +
* {{App|[[Wikipedia:MEGA, Molecular Evolutionary Genetics Analysis|MEGA]] (Molecular Evolutionary Genetics Analysis)|自動・手動の配列アライメントや系統樹の推論、ウェブデータベースの探索、分子進化の変異率の推定、祖先配列の推論、進化仮説のテストを処理するための統合ツール。|http://www.megasoftware.net/}}
  +
* {{App|[[Wikipedia:MUMmer|MUMmer]]|接尾辞木を使った配列アライメント用のバイオインフォマティクスソフトウェアシステム。|http://mummer.sourceforge.net/|{{AUR|mummer}}}}
  +
* {{App|[[Wikipedia:Snapgene|Snapgene]]|クローズドソースの分子クローニングアプリケーション。素早く簡単に生体操作を計画・描画・文章化できます。フリー版では一般的な分子生物学のワークフローの視覚化ができます。|http://www.snapgene.com/|{{AUR|snapgene-viewer}}}}
  +
* {{App|[[Wikipedia:UGENE|UGENE]]|よく使われている生物学ツールやアルゴリズムを統合したアプリケーション。グラフィカルユーザーインターフェースとコマンドラインを提供。|http://ugene.net/|{{AUR|ugene-bin}}}}
  +
  +
==== 生化学 ====
  +
* {{App|[[Wikipedia:Bioclipse|Bioclipse]]|Eclipse Rich Client Platform (RCP) を使っている Java ベースの生化学用ビジュアルプラットフォーム。|http://www.bioclipse.net/}}
  +
  +
==== 画像処理 ====
  +
* {{App|[[Wikipedia:ja:ImageJ|ImageJ]]|プラグインやマクロによる拡張ができる Java ベースのイメージプロセシング・分析プログラム。顕微鏡検査で広く使われています (例: 細胞を数える)。|http://rsb.info.nih.gov/ij|{{AUR|imagej}}}}
  +
* {{App|[[Wikipedia:FIJI_(software)|Fiji]]|多くのプラグインがまとめられた ImageJ ディストリビューション (と ImageJ2)。|http://fiji.sc|{{AUR|fiji-binary}}}}
  +
  +
==== DICOM ビューアとボリュームレンダリング ====
  +
  +
* {{App|aeskulap|シンプルな DICOM データビューア。|http://www.nongnu.org/aeskulap/|{{AUR|aeskulap}}}}
  +
* {{App|weasis|モジュラー型の多目的 DICOM ビューア。|https://nroduit.github.io/en/|{{AUR|weasis-bin}}}}
  +
* {{App|aliza|DICOM, MetaIO, Nifti, Nrrd 形式などの 2D, 3D, 4D 画像と DICOM, VTK, STL, OBJ 形式のメッシュを開きます。|https://www.aliza-dicom-viewer.com/|{{AUR|aliza}}}}
  +
* {{App|[[Wikipedia:Ginkgo CADx|Ginkgo CADx]]|先進的な DICOM ビューア・ダイコマイザー。MetaEmotion によって開発されていたフリー版の後継。|https://github.com/gerddie/ginkgocadx|{{AUR|ginkgo-cadx}}}}
  +
* {{App|[[Wikipedia:3DSlicer|3DSlicer]]|包括的な [[Wikipedia:ja:核磁気共鳴画像法|MRI]], [[Wikipedia:ja:コンピュータ断層撮影|CT]], [[Wikipedia:ja:共焦点レーザー顕微鏡|LSCM 顕微鏡]]ボリューム処理・分割・3D 再構成。|https://www.slicer.org/|{{AUR|3dslicer}}}}
  +
  +
=== 工学 ===
  +
==== コンピュータ支援設計 ====
  +
  +
{{Wikipedia|List of computer-aided design editors}}
  +
* {{App|[[Wikipedia:BRL-CAD|BRL-CAD]]|Constructive Solid Geometry (CSG) ソリッドモデリングコンピュータ支援設計 (CAD) システム。インタラクティブなジオメトリーエディタ、グラフィックレンダリングやジオメトリック分析に使えるレイトレーシング、分散ネットワークコンピューティングフレームバッファ、スクリプト、イメージプロセッシング・シグナルプロセッシングツール。|http://brlcad.org/|{{AUR|brlcad}}}}
  +
* {{App|DraftSight|Dassault Systemes のフリーウェアの 2D CAD アプリケーション。DraftSight を使うことで、CAD ソフトウェアを使って作成された DWG/DXF ファイルにアクセスすることができます。|http://www.3ds.com/products-services/draftsight/overview/|{{AUR|draftsight}}}}
  +
* {{App|[[Wikipedia:ja:FreeCAD|FreeCAD]]|OpenCascade ベースの CAD/CAE プログラム。マクロ記録、ワークベンチ、サーバー機能などを備えています。Qt と Python で開発。|https://github.com/FreeCAD/FreeCAD|{{AUR|freecad}}}}
  +
* {{App|LeoCAD|バーチャル LEGO モデルを作成するための CAD プログラム。使用しやすいインターフェースを持っており、現在、LDraw コミュニティによって作成された6000以上の異なったピースを含んでいます。|http://leocad.org|{{AUR|leocad}}}}
  +
* {{App|[[Wikipedia:LibreCAD|LibreCAD]]|Qt を使ったパワフルな 2D CAD アプリケーション。QCad コミュニティエディションからフォークされて作られました。|http://www.librecad.org/|{{Pkg|librecad}}}}
  +
* {{App|[[Wikipedia:OpenSCAD|OpenSCAD]]|プログラマー流によるオープンソースの 2D/3D CAD。|http://www.openscad.org|{{Pkg|openscad}} {{AUR|openscad-git}}}}
  +
* {{App|[[Wikipedia:QCad|QCAD]]|1999年から開発されているパワフルな 2D CAD アプリケーション。QCaD には標準の DXF ファイルフォーマットが含まれており HPGL フォーマットをサポートしています。|http://www.qcad.org/|{{Pkg|qcad}}}}
  +
 
==== 電子工学 ====
 
==== 電子工学 ====
 
{{Wikipedia|Comparison of EDA software}}
 
{{Wikipedia|Comparison of EDA software}}
142行目: 249行目:
 
デジタル論理ソフトウェアは主として、論理回路を設計・シミュレートするためのシンプルな教育ツールとして使われます。
 
デジタル論理ソフトウェアは主として、論理回路を設計・シミュレートするためのシンプルな教育ツールとして使われます。
   
* {{App|glogic|教育用のグラフィカルな論理回路シミュレータ。|https://launchpad.net/glogic|{{AUR|glogic}}}}
+
* {{App|glogic|Python で書かれた教育用のグラフィカルな論理回路シミュレータ。|https://launchpad.net/glogic|{{AUR|glogic}}}}
  +
* {{App|GTKWave|フル機能の GTK ベース波形ビューア。LXT, LXT2, VZT, FST, GHW ファイルや標準的な Verilog VCD/EVCD ファイルを読み込むことができます。|http://gtkwave.sourceforge.net/|{{Pkg|gtkwave}}}}
 
* {{App|Logisim|教育用の電子回路設計・シミュレーションプログラム。Java で書かれています。開発は停止中。|https://sourceforge.net/projects/circuit/|{{AUR|logisim}}}}
 
* {{App|Logisim|教育用の電子回路設計・シミュレーションプログラム。Java で書かれています。開発は停止中。|https://sourceforge.net/projects/circuit/|{{AUR|logisim}}}}
 
* {{App|Logisim Evolution|オリジナルの Logisim に新しい機能を開発するプロジェクト。Java で書かれています。|https://github.com/reds-heig/logisim-evolution|{{AUR|logisim-evolution-git}}}}
 
* {{App|Logisim Evolution|オリジナルの Logisim に新しい機能を開発するプロジェクト。Java で書かれています。|https://github.com/reds-heig/logisim-evolution|{{AUR|logisim-evolution-git}}}}
  +
* {{App|PulseView|論理アナライザ・オシロスコープ・MSO GUI。|https://sigrok.org/wiki/PulseView|{{Pkg|pulseview}}}}
* {{App|SmartSim|シンプルで綺麗な電子論理回路設計・シミュレーションソフトウェア。教師と生徒を対象としており、軽量でクロスプラットフォーム、GPL でライセンスされています。Vala で書かれています。|http://smartsim.org.uk|{{AUR|smartsim-git}}}}
 
  +
* {{App|SmartSim|シンプルで綺麗な電子論理回路設計・シミュレーションソフトウェア。教師と生徒を対象としており、軽量でクロスプラットフォーム、GPL でライセンスされています。Vala で書かれています。|https://smartsim.org.uk|{{AUR|smartsim-git}}}}
   
 
===== HDL =====
 
===== HDL =====
   
* {{App|[[Altera Design Software]]|Quartus II と ModelSim-Altera を含む Altera の FPGA チップの設計ツール。|http://www.altera.com/products/software/sfw-index.jsp|[[Altera Design Software]] を参照}}
+
* {{App|[[Altera Design Software]]|Quartus II と ModelSim-Altera を含む Altera の FPGA チップの設計ツール。|https://www.altera.com/products/design-software/overview.html|[[Altera Design Software]] を参照}}
 
* {{App|[[Xilinx ISE WebPACK]]|FPGA プログラマブルロジックデザインスイート。|http://www.xilinx.com/products/design-tools/ise-design-suite/ise-webpack.html|[[Xilinx ISE WebPACK]] を参照}}
 
* {{App|[[Xilinx ISE WebPACK]]|FPGA プログラマブルロジックデザインスイート。|http://www.xilinx.com/products/design-tools/ise-design-suite/ise-webpack.html|[[Xilinx ISE WebPACK]] を参照}}
   
===== MCU IDE =====
+
===== MCU IDE とプログラマ =====
   
* {{App|[[Arduino]]|Arduino プロトタイピングプラットフォーム SDK。|http://arduino.cc/en/Main/Software|{{Pkg|arduino}}}}
+
* {{App|[[Arduino]]|Arduino プロトタイピングプラットフォーム SDK。|https://www.arduino.cc/en/Main/Software|{{Pkg|arduino}}}}
  +
* {{App|avrcalc|Atmel AVR の開発を加速する計算機。|https://sourceforge.net/projects/avrcalc|{{AUR|avrcalc}}}}
  +
* {{App|AVRDUDE|AVR マイクロコントローラの ROM や EEPROM の中身をダウンロード・アップデート・操作。|http://www.nongnu.org/avrdude/|{{Pkg|avrdude}}}}
  +
* {{App|SPIPGM|パラレルポートケーブルで PC に接続されたシリアル SPI フラッシュ ROM メモリをプログラミングするためのツール。|http://rayer.g6.cz/programm/programe.htm|{{AUR|spipgm-bin}}}}
   
 
===== 回路図エディタ =====
 
===== 回路図エディタ =====
   
  +
* {{App|freeroute|Alfons Wirtz によって書かれた KiCad の自動 PCB 配線ツール。|http://www.freerouting.net/|{{AUR|freeroute-bin}}}}
 
* {{App|[[gEDA]]|電子回路の設計や、回路図入力、シミュレーション、プロトタイピング、生産につかわれる電子設計自動化ツールのフルスイートとツールキット。|http://www.geda-project.org/|{{Pkg|geda-gaf}}}}
 
* {{App|[[gEDA]]|電子回路の設計や、回路図入力、シミュレーション、プロトタイピング、生産につかわれる電子設計自動化ツールのフルスイートとツールキット。|http://www.geda-project.org/|{{Pkg|geda-gaf}}}}
  +
* {{App|[[gEDA]] PCB|インタラクティブなプリント基板エディタ。|http://pcb.geda-project.org/|{{Pkg|pcb}}}}
 
* {{App|[[Wikipedia:ja:KiCAD|KiCAD]]|電子回路の結線図の設計やプリント基板 (PCB) への実装を容易にする電子設計自動化のソフトウェアスイート。|http://www.kicad-pcb.org/display/KICAD/KiCad+EDA+Software+Suite|{{Pkg|kicad}}}}
 
* {{App|[[Wikipedia:ja:KiCAD|KiCAD]]|電子回路の結線図の設計やプリント基板 (PCB) への実装を容易にする電子設計自動化のソフトウェアスイート。|http://www.kicad-pcb.org/display/KICAD/KiCad+EDA+Software+Suite|{{Pkg|kicad}}}}
 
* {{App|[[Wikipedia:Oregano (software)|Oregano]]|回路図入力や電子回路のシミュレーションに使うグラフィカルソフトウェアアプリケーション。シミュレーションは [[Wikipedia:Ngspice|ngspice]] か [[Wikipedia:GNU Circuit Analysis Package|Gnucap]] エンジンによって行われます。|https://github.com/marc-lorber/oregano|{{AUR|oregano}}}}
 
* {{App|[[Wikipedia:Oregano (software)|Oregano]]|回路図入力や電子回路のシミュレーションに使うグラフィカルソフトウェアアプリケーション。シミュレーションは [[Wikipedia:Ngspice|ngspice]] か [[Wikipedia:GNU Circuit Analysis Package|Gnucap]] エンジンによって行われます。|https://github.com/marc-lorber/oregano|{{AUR|oregano}}}}
* {{App|QElectroTech|高度な電子回路を設計するために使われるアプリケーション。|http://qelectrotech.org/|{{AUR|qelectrotech}}}}
+
* {{App|QElectroTech|高度な電子回路を設計するために使われるアプリケーション。|https://qelectrotech.org/|{{AUR|qelectrotech}}}}
 
* {{App|[[Wikipedia:Quite Universal Circuit Simulator|Qucs]]|電子回路シミュレーションアプリケーション。グラフィカルユーザーインターフェースによる回路の設計と、大信号・小信号・ノイズの挙動をシミュレートができます。|http://qucs.sourceforge.net/|{{AUR|qucs}}}}
 
* {{App|[[Wikipedia:Quite Universal Circuit Simulator|Qucs]]|電子回路シミュレーションアプリケーション。グラフィカルユーザーインターフェースによる回路の設計と、大信号・小信号・ノイズの挙動をシミュレートができます。|http://qucs.sourceforge.net/|{{AUR|qucs}}}}
  +
* {{App|[[Wikipedia:ngspice|ngspice]]|回路のシミュレートに使用するアプリケーション。[[Wikipedia:ja:SPICE (ソフトウェア)|spice3f5]] のオープンソース版後継。|http://ngspice.sourceforge.net/|{{Pkg|ngspice}}}}
   
  +
=== 遠距離通信 ===
==== 物理シミュレーション ====
 
* {{App|[[Wikipedia:Code_Aster|Code_Aster]]|土木工学や構造力学における有限要素解析や数値シミュレーションのためのソフトウェアパッケージ。|http://www.code-aster.org/V2/spip.php?rubrique2|{{AUR|aster}}}}
 
* {{App|[[Wikipedia:ja:EPANET|EPANET]]|配水管網における水の移動と水質に関する長期シミュレーションを行います。|http://www.epa.gov/|{{AUR|epanet2-git}}}}
 
* {{App|[[Wikipedia:Step (software)|Step]]|KDE デスクトップに KDE Edu の一部として含まれている二次元の物理シミュレーション。|http://edu.kde.org/step/|{{Pkg|step}}}}
 
* {{App|[[Wikipedia:ja:SWMM|SWMM]]|動学的な降雨表面流出シミュレーションモデル。地表・地下の水文学的な量と質のシミュレーションに使われます。|http://www.epa.gov/|{{AUR|swmm5-git}}}}
 
   
  +
* {{App|CupCarbon|スマートシティ & IoT ワイヤレスセンサーネットワークシミュレータ。|http://cupcarbon.com/}}
==== 単位変換 ====
 
  +
* {{App|[[GNU Radio]]|ソフトウェア無線を実装するための信号処理ブロックを提供するソフトウェア開発ツールキット。|https://www.gnuradio.org/|{{Pkg|gnuradio}}}}
* {{App|ConvertAll|意味がないものでも様々に単位を組み合わせられる (e.g. inches per decade) 単位変換アプリケーション。|http://convertall.bellz.org/|{{AUR|convertall}}}}
 
  +
* {{App|[[Gqrx]]|GNU Radio と Qt GUI ツールキットで実装されたソフトウェア無線レシーバ。|http://gqrx.dk/|{{Pkg|gqrx}}}}
* {{App|Gonvert|長さ、量、数など多くのカテゴリで CGS・帝国単位・古代単位など多くの単位系間で変換できる変換ユーティリティ。|http://www.unihedron.com/projects/gonvert/|{{AUR|gonvert}}}}
 
  +
* {{App|Pothos|相互接続された信号ブロックのトポロジーを作成するための完全なデータフローフレームワーク。|https://github.com/pothosware/PothosCore/wiki|{{AUR|pothos}}, {{AUR|pothos-git}}}}
* {{App|[[Wikipedia:GNU Units|Units]]|コマンドライン単位コンバーター・電卓。倍数的なスケール変化、ノンリニアな変換ができる。華氏を摂氏やゲージに変換する等。|https://www.gnu.org/s/units/|{{Pkg|units}}}}
 
  +
* {{App|SDR#|人気の SDR プログラム。|https://airspy.com/|{{AUR|sdrsharp}}}}
  +
* {{App|SigDigger|Qt ベースのデジタル信号アナライザ。Suscan コアと Sigutils DSP ライブラリを使用。|https://github.com/BatchDrake/SigDigger|{{AUR|sigdigger-git}}}}
   
=== 地理 ===
+
==== アマチュア無線 ====
   
  +
メインの記事を見てください: [[アマチュア無線#ソフトウェアリスト]]。
* {{App|GNOME Maps|GNOME のシンプルな地図クライアント。{{Grp|gnome-extra}} に含まれています。|https://wiki.gnome.org/Apps/Maps|{{Pkg|gnome-maps}}}}
 
  +
* {{App|JOSM|Java で書かれた OpenStreetMap エディタ。|http://josm.openstreetmap.de/|{{Pkg|josm}}}}
 
  +
[[Wikipedia:List of software-defined radios]] も参照。
* {{App|Marble|地球について学習できる仮想地球・世界地図。{{Grp|kdeedu}} に含まれています。|https://www.kde.org/applications/education/marble|{{Pkg|marble}}}}
 
  +
* {{App|Merkaartor|OpenStreetMap エディタ。|http://merkaartor.be/|{{Pkg|merkaartor}}}}
 
  +
=== シミュレーションモデリング ===
* {{App|Viking|GPS データを管理するための GTK+2 アプリケーション。|http://viking.sourceforge.net/|{{Pkg|viking}}}}
 
  +
  +
* {{App|[[Wikipedia:Gephi|gephi]]|Java で書かれたオープンソースのネットワーク解析・視覚化ソフトウェア。|http://gephi.org/|{{Pkg|gephi}}}}
  +
* {{App|golly|ライフゲーム (Conway's Game of Life) や他のセルオートマトンを探査するオープンソース・クロスプラットフォームアプリケーション。|http://golly.sourceforge.net/|{{AUR|golly}}}}
  +
* {{App|Netlogo|マルチエージェントのプログラマブルモデリング環境。|http://ccl.northwestern.edu/netlogo/|{{AUR|netlogo}}}}
  +
* {{App|[[Wikipedia:AnyLogic|AnyLogic]]|クロスプラットフォームのプロプライエタリマルチメソッドシミュレーションモデリングツール。個人利用も可能。|https://www.anylogic.com/|{{AUR|anylogic-ple}}, {{AUR|anylogic-university}}, {{AUR|anylogic-professional}}}}
  +
  +
=== 計算機科学 ===
  +
  +
==== 人工知能 ====
  +
  +
[[Wikipedia:Comparison of deep learning software]] も参照。
  +
  +
* {{App|[[Wikipedia:Fast Artificial Neural Network|Fast Artificial Neural Network]]|順伝播型ニューラルネットワークを開発するためのライブラリ。|http://leenissen.dk/fann/wp/|{{AUR|fann}}}}
  +
* {{App|[[Wikipedia:Mycroft (software)|Mycroft]]|音声認識を備えた知的パーソナルアシスタント・ナレッジナビゲータ。|https://mycroft.ai/|{{AUR|mycroft-core}}}}
  +
* {{App|[[Wikipedia:Orange (software)|Orange]]|ビジュアルプログラミングや Python で使えるデータ視覚化・機械学習・データマイニングツールキット。|https://orange.biolab.si/|{{AUR|python-orange}}}}
  +
* {{App|[[Wikipedia:Torch (machine learning)|Torch]]|機械学習ライブラリ・科学計算フレームワーク・LuaJIT ベースのスクリプト言語。|http://torch.ch/|{{AUR|torch7-git}}}}
  +
* {{App|[[Wikipedia:X Neural Switcher|X Neural Switcher]]|自動 (知的) でキーボードレイアウトを修正。|https://xneur.ru/|{{AUR|xneur}}, {{AUR|gxneur}}}}
  +
* {{App|[[Wikipedia:ja:TensorFlow|Tensorflow]]|エンドツーエンドのオープンソース機械学習プラットフォーム。|https://www.tensorflow.org/ |{{Pkg|python-tensorflow}}, {{Pkg|python-tensorflow-opt}} (x86-64 CPU の最適化), {{Pkg|python-tensorflow-cuda}} (CUDA), {{Pkg|python-tensorflow-opt-cuda}}}} (CUDA と x86-64 CPU の最適化)
  +
* {{App|[[Wikipedia:ja:PyTorch|PyTorch]]|研究時のプロトタイピングから本番環境への実装を加速するオープンソース機械学習フレームワーク。|https://pytorch.org/ |{{Pkg|python-pytorch}}, {{Pkg|python-pytorch-opt}} (x86-64 CPU の最適化), {{Pkg|python-pytorch-cuda}} (CUDA), {{Pkg|python-pytorch-opt-cuda}} (CUDA と x86-64 CPU の最適化)}}

2019年10月4日 (金) 22:05時点における版

サイエンス

ノート: 最新の科学用アプリケーションについては AUR の 'science' カテゴリをチェックしてください

数学

電卓

この項目について詳しくは Wikipedia の記事を見て下さい: Comparison of software calculators
  • bc — 任意精度計算言語。
https://www.gnu.org/software/bc/ || bc
  • calc — 任意精度計算コンソール。
http://www.isthe.com/chongo/tech/comp/calc/ || calc
  • clac — 後置記法のコマンドライン・スタックベース計算機。
https://github.com/soveran/clac || clacAUR
  • Deepin Calculator — Deepin デスクトップの使いやすい電卓。
https://www.deepin.org/en/original/deepin-calculator/ || deepin-calculator
  • Extcalc — Qt ベースの科学用グラフィカル計算器。
http://extcalc-linux.sourceforge.net/ || extcalcAUR
  • FOX Calculator — シンプルなデスクトップ電卓。
http://fox-toolkit.org/ || fox
  • galculator — GTK+ ベースの科学用電卓。
http://galculator.mnim.org/ || GTK 3: galculator, GTK 2: galculator-gtk2
  • Genius — 数学的なプログラミング言語を備えた先進的な計算機。
http://jirka.org/genius.html || genius
  • GNOME Calculator — GNOME デスクトップの科学電卓 (GTK3 バージョン)。
http://www.gnome.org || gnome-calculator
https://www.kde.org/applications/education/kalgebra/ || kalgebra
  • KCalc — KDE デスクトップの科学電卓。
https://www.kde.org/applications/utilities/kcalc/ || kcalc
  • Liri Calculator — Liri の電卓。
https://github.com/lirios/calculator || liri-calculator
  • MATE Calc — MATE デスクトップ環境の計算機。
https://mate-desktop.org/ || mate-calc
  • Qalculate! — 電卓・方程式ソルバ。フォールトトレラントなパース、定数認識とユニット。
https://qalculate.github.io/ || qalculate-gtk
  • SpeedCrunch — 高速高精度でパワフルなクロスプラットフォームの計算器。
http://speedcrunch.org || speedcrunch
  • xcalc — 代数・逆ポーランド表記法モードを備えた X 用科学電卓。
https://www.x.org/ || xorg-xcalc

数式処理システム

この項目について詳しくは Wikipedia の記事を見て下さい: 数式処理システムの一覧
  • AXIOM — FriCAS: 強力な AXIOM-CAS の派生システム。
http://fricas.sourceforge.net || fricasAUR
  • GAP — 群論計算に重点を置いた分散計算のための数式処理システム。
http://www.gap-system.org || gap
  • Maple — 有名な商用 CAS。主として教育で使われています。
https://www.maplesoft.com/products/maple/ || パッケージが存在しないか AUR で検索
  • Mathics — 記号数学計算用のフリーな CAS。主要な言語として Python を使用。Mathematica 互換の構文と機能を備えることを目指しています。ほとんどの処理は Sympy を使っており、より高度な機能を Sage で補っています。
http://www.mathics.org/ || mathicsAUR
  • Mathomatic — C で書かれた多目的の数式処理システム。
http://www.mathomatic.org/math/ || mathomatic
http://maxima.sourceforge.net/ || maxima
  • PARI/GP — 整数論の高速計算のために作られた数式処理システム。
http://pari.math.u-bordeaux.fr/ || pari
  • Singular — 可換・非可換環論・代数幾何学・特異点論に特に注力されている多項式計算の数式処理システム。
https://www.singular.uni-kl.de/ || singular
  • wxMaxima — 強力な数式処理システムである Maxima のグラフィカルユーザーインターフェイス。
http://andrejv.github.io/wxmaxima/ || wxmaxima
  • Xcas — フリーの、基礎的な数式処理システムである、Giac のユーザーインターフェース。
http://www-fourier.ujf-grenoble.fr/~parisse/giac.html || xcas

科学技術計算

この項目について詳しくは Wikipedia の記事を見て下さい: Comparison of numerical analysis software
  • Cantor — KDE に統合されたワークシートインターフェイスから好きな数学アプリケーションを使うことができるアプリケーション。kdeedu に含まれます。
https://www.kde.org/applications/education/cantor/ || cantor
  • EngLab — C ライクな構文を持ったクロスコンパイル数学プラットフォーム。
http://englab.bugfest.net || englabAUR
  • FFTW — 離散フーリエ変換を計算するための高速フーリエ変換ライブラリ。スペクトル法など幅広い数値計算に使われています。
https://www.fftw.org/ || fftw fftw-mpiAUR fftw-mpichAUR
  • FreeMat — Matlab-ライクなプログラム。(MPI による) 分散環境による並列計算の開発のサポート、C や C++、Fortran などのコードがいらないインターフェース、3D グラフィック機能など。
http://freemat.sourceforge.net/ || freematAUR
  • GeoGebra — インタラクティブなグラフィック・数式・スプレッドシートを備えた動的な数学ソフトウェア。
https://www.geogebra.org/ || geogebra
  • Julia — 技術計算のための高水準・高性能な動的言語。
https://julialang.org/ || julia
  • Kig — インタラクティブ幾何学アプリケーション。kdeedu に含まれています。
https://www.kde.org/applications/education/kig/ || kig
  • matplotlib (PyLab) — 科学計算用の Python モジュール (pyplot や numpy など) のコレクション。
https://www.scipy.org/ || python-matplotlib
  • Octave — 数値計算のための Matlab-ライクなプログラミング言語・インターフェース。
https://www.gnu.org/software/octave/ || octave
  • SageMath — Python で書かれた Maxima に似た数式処理システム。Magma, Maple, Mathematica, Matlab の代替。
http://www.sagemath.org || sagemath
  • Scilab — 数値計算に使われる Matlab 代替、構文は Matlab とは異なりますが、簡単に変換できます。
http://www.scilab.org/ || scilabAUR, scilab-binAUR, scilab-gitAUR

統計学

この項目について詳しくは Wikipedia の記事を見て下さい: Comparison of statistical packages
  • JAGS (Just another Gibbs sampler) — マルコフ連鎖モンテカルロ法 (MCMC) を使う階層ベイズモデルの分析のためのクロスプラットフォームプログラム。
http://mcmc-jags.sourceforge.net/ || jagsAUR
  • jamovi — SPSS のユーザーが簡単に使えるように作られた統計パッケージ。Electron プラットフォームベース。
https://www.jamovi.org/ || jamovi-gitAUR
  • PSPP — フリーの SPSS 実装。
https://www.gnu.org/software/pspp/ || psppAUR
  • R — 統計計算とグラフのソフトウェア環境。
https://cran.r-project.org/ || r
  • RKWard — 統計解析向けプログラミング言語 R のフロントエンド。
https://rkward.kde.org/ || rkwardAUR
http://pandas.pydata.org/ || python-pandas
  • RStudio — Qt で書かれた R の強力で生産的な IDE。
https://www.rstudio.com/ || rstudio-desktop-binAUR

データ評価とプロット

この項目について詳しくは Wikipedia の記事を見て下さい: グラフ作成ソフト
  • Engauge Digitizer — グラフの画像からデータを抽出。
https://markummitchell.github.io/engauge-digitizer/ || engaugeAUR
  • Fityk — 曲線あてはめ・データ解析アプリケーション。釣鐘型関数を実験データに当てるのによく使われます。
http://fityk.nieto.pl/ || fitykAUR
  • Gnuplot — 関数・データの 2D / 3D プロットを生成するコマンドラインプログラム。
http://www.gnuplot.info/ || gnuplot
  • Grace — WYSIWYG 2D グラフプロットツール。
http://plasma-gate.weizmann.ac.il/Grace/ || graceAUR qtgraceAUR gracegtkAUR
  • KmPlot — グラフと積分・導関数を描画するプログラム。kdeedu に含まれます。
https://www.kde.org/applications/education/kmplot/ || kmplot
  • LabPlot — SciDAVis に似たフリーのデータ解析・視覚化アプリケーション。
https://labplot.kde.org/ || labplot
  • QtiPlot — プロプライエタリの OriginSigmaPlot に似ている、科学用グラフ作成・データ分析に使うプラットフォーム非依存のアプリケーション。
http://www.qtiplot.com/ || qtiplot[リンク切れ: パッケージが存在しません]
  • Rocs — グラフアルゴリズムを設計・解析するのに興味がある全ての人 (教師・学生・研究者) のためのグラフ理論 IDE。kdeedu に含まれています。
https://www.kde.org/applications/education/rocs/ || rocs
  • ROOT — CERN によって開発されている(元は素粒子物理学用の)データ解析プログラム・ライブラリ。
https://root.cern.ch/ || root
  • SciDAVis — QtiPlot のフォーク。豊富なドキュメント・ユーザーフレンドリーを目指している。
http://scidavis.sourceforge.net/ || scidavisAUR

アプリケーション一覧#スプレッドシートも見てください

証明支援システム

Wikipedia:Proof assistant も参照。

  • Agda — 依存型・関数型プログラミング言語・プルーフアシスタント。直感的に証明を書いてチェックできます。
http://wiki.portal.chalmers.se/agda/ || agda
  • Coq — 形式証明管理システム。数学主題と実行アルゴリズム、定理を記述するための形式言語を備えており、機械的に証明をチェックする半自動な開発環境を実現します。
https://coq.inria.fr/ || CLI: coq, GUI: coqide
  • Isabelle — 数学定理を形式言語で表現できる汎用の証明支援器。論理計算で定理を証明するためのツールを提供します。
https://www.cl.cam.ac.uk/research/hvg/Isabelle/ || isabelleAUR

物理学

物理シミュレーション

  • Code_Aster — 土木工学や構造力学における有限要素解析や数値シミュレーションのためのソフトウェアパッケージ。
http://www.code-aster.org/V2/spip.php?rubrique2 || asterAUR
  • EPANET — 配水管網における水の移動と水質に関する長期シミュレーションを行います。
http://www.epa.gov/ || epanet2-gitAUR
  • Step — KDE デスクトップに KDE Edu の一部として含まれている二次元の物理シミュレーション。
http://edu.kde.org/step/ || step
  • SWMM — 動学的な降雨表面流出シミュレーションモデル。地表・地下の水文学的な量と質のシミュレーションに使われます。
http://www.epa.gov/ || swmm5-gitAUR

単位変換

  • ConvertAll — 意味がないものでも様々に単位を組み合わせられる (e.g. inches per decade) 単位変換アプリケーション。
http://convertall.bellz.org/ || convertallAUR
  • Gonvert — 長さ、量、数など多くのカテゴリで CGS・帝国単位・古代単位など多くの単位系間で変換できる変換ユーティリティ。
http://www.unihedron.com/projects/gonvert/ || gonvertAUR
  • Units — コマンドライン単位コンバーター・電卓。倍数的なスケール変化、ノンリニアな変換ができる。華氏を摂氏やゲージに変換する等。
https://www.gnu.org/s/units/ || units

化学

分子構造

ビューア
この項目について詳しくは Wikipedia の記事を見て下さい: List of molecular graphics systems
http://avogadro.cc/ || avogadroAUR
  • BALLView — スタンドアローンの分子モデリング・視覚化アプリケーション。BALL フレームワークの一部。
http://www.ball-project.org/ || ballAUR
  • Ghemical — 分子構造を編集・回覧・シミュレートするために使われる計算化学ソフトウェアパッケージ。
http://bioinformatics.org/ghemical/ghemical/index.html || ghemicalAUR
  • PyMOL — オープンソースの分子視覚化システム。小さな分子や、タンパク質などの生体高分子の高品質な 3D イメージを作成できます。
https://pymol.org/ || pymol
  • VMD — 3D グラフィックと内蔵のスクリプトを使って巨大な生体分子を表示・アニメーション・解析する分子視覚化プログラム。
http://www.ks.uiuc.edu/Research/vmd/ || vmdAUR
ドローイング
  • BKChem — 実践的な見かけの良い化学構造式の描写プログラム。
http://bkchem.zirael.org/ || bkchemAUR
  • Chemtool — 化学構造式を描写するための GTK+ プログラム。
http://ruby.chemie.uni-freiburg.de/~martin/chemtool/chemtool.html || chemtool
  • EasyChem — プレス品質の画像を作成することにフォーカスをおいたシンプルな化学構造式描写プログラム。
http://easychem.sourceforge.net/ || パッケージが存在しないか AUR で検索
http://gabedit.sourceforge.net/ || gabeditAUR
モデリング
  • APBS — 分子複合系の静電気・溶媒和の性質を解析。
http://www.poissonboltzmann.org/ || apbsAUR
  • CP2K — 量子化学と固体物理学のソフトウェアパッケージ。
https://www.cp2k.org/ || cp2kAUR
  • Fpocket — ボロノイ分割に基づく非常に高速なオープンソースの蛋白質ポケット検知アルゴリズム。
https://github.com/Discngine/fpocket || fpocket-gitAUR
  • GROMACS (GROningen MAchine for Chemical Simulations) — 分子動力学法を使うための多目的パッケージ。数百から数万原子(分子、粒子)の系の動きのニュートン方程式をシミュレートする。
http://www.gromacs.org || gromacsAUR
  • AmberTools — 独立して開発されている複数のパッケージと Amber18 から構成されたスイート。完全な分子動力学シミュレーションを実行することができます。顕在水分子あるいは一般化ボルン溶媒モデルを使用。
http://ambermd.org/AmberTools.php || ambertoolsAUR
  • NAMD — 巨大な生命分子系の高性能シミュレーションのために作られた並列分子動力学コード。
http://www.ks.uiuc.edu/Research/namd/ || namdAUR
  • ORCA — 非経験的, DFT, 半経験的 SCF-MO パッケージ。
https://orcaforum.kofo.mpg.de/app.php/portal || orcaqmAUR
  • PDB2PQR — 分子複合系の静電気・溶媒和の性質を解析。
http://www.poissonboltzmann.org/ || pdb2pqrAUR
  • PMEMD — MBER ソフトウェアパッケージの PMEMD モジュール。
http://ambermd.org/AmberMD.php || pmemdAUR, pmemd-cudaAUR
  • Quantum ESPRESSO — 電子状態計算とナノスケールの材料モデリングのアプリケーションの統合スイート。密度汎関数理論、平面波、擬ポテンシャル(ノルム保存/ウルトラソフト)に基づく。
http://www.quantum-espresso.org/ || quantum-espressoAUR
  • smina — スコアリング・最小化が改善された Autodock Vina のフォーク。
https://sourceforge.net/projects/smina/ || smina-binAUR

周期表

  • eperiodique — EFL を使用するシンプルな周期表ビューア。
http://eperiodique.sourceforge.net/ || eperiodiqueAUR
  • gElemental — 付加情報が含まれている元素周期表。
http://freecode.com/projects/gelemental || gelementalAUR
  • KalziumKDE デスクトップの、構造式エディタと方程式ソルバーの付いた元素周期表。
https://www.kde.org/applications/education/kalzium/ || kalzium

地球科学

地理学

  • BT747 — MTK GPS データロガーの万能ナイフ。
https://sourceforge.net/projects/bt747/ || bt747
  • FoxtrotGPS — 軽量・高速なマッピングアプリケーション。
https://www.foxtrotgps.org/ || foxtrotgpsAUR
  • Gebabbel — GPSBabel の代替 GUI。
http://gebabbel.sourceforge.net/ || gebabbelAUR
  • Geotag — 写真の日付情報と GPS ユニットや地図の情報を一致させます。
http://geotag.sourceforge.net/ || geotag
  • GNOME Maps — GNOME のシンプルな地図クライアント。gnome-extra に含まれています。
https://wiki.gnome.org/Apps/Maps || gnome-maps
  • GottenGeography — GNOME デスクトップの使いやすい写真ジオタグアプリケーション。
https://launchpad.net/gottengeography || gottengeography
  • Gpredict — リアルタイムの人工衛星トラッキング・軌道予測アプリケーション。
http://gpredict.oz9aec.net/ || gpredictAUR
  • GPSBabel — GPS ウェイポイント・軌跡・ルートを様々なフォーマットで読み書き。
https://www.gpsbabel.org/ || gpsbabel
  • GPSCorrelate — GPX 形式の GPS データとデジタルカメラの写真を関連付け (ジオタグ)。
https://github.com/freefoote/gpscorrelate || gpscorrelate
  • gpsd — シリアルまたは USB でホストコンピュータに接続された GPS や AIS 受信器を監視して、ホストコンピュータの TCP ポート 2947 からセンサーの位置・進路・速度データを利用できるようにするデーモン。
http://catb.org/gpsd/ || gpsd
  • GpsPrune — GPS システムの位置データを表示・編集・変換。
https://activityworkshop.net/software/gpsprune/ || gpsprune
  • GPXSee — GPS ログビューア・アナライザ。
http://www.gpxsee.org/ || gpxsee
  • GPX Viewer — gpx ファイルに保存された軌跡・ウェイポイントを視覚化するシンプルなツール。
https://blog.sarine.nl/tag/gpxviewer/ || gpx-viewer
  • GRASS GIS — 地理空間データ管理と解析・画像処理・地図生成・空間モデリングと視覚化。
https://grass.osgeo.org/ || grassAUR
  • gvSIG — あらゆる種類の地理情報を取得・保存・管理・解析・展開するためのデスクトップアプリケーションと地理情報システム (GIS)。
http://www.gvsig.com/en || gvsig-desktop-binAUR
  • JOSM — Java で書かれた OpenStreetMap エディタ。
http://josm.openstreetmap.de/ || josm
  • Mapton — Java で書かれた拡張性の高いデスクトップ地図・地球儀アプリケーション。
https://mapton.org/ || maptonAUR
  • Marble — 地球について学習できる仮想地球・世界地図。kdeedu に含まれています。
https://marble.kde.org/ || KDE: marble, Qt: marble-qt
  • Merkaartor — OpenStreetMap エディタ。
http://merkaartor.be/ || merkaartor
  • Navit — モジュール方式のターンバイターンカーナビゲーションシステム。
http://www.navit-project.org/ || navit
  • OffRoad — OsmAnd から移植されたオフラインベクター地図表示システム。
https://sourceforge.net/projects/offroadosm/ || offroad
  • OpenOrienteering Mapper — オリエンテーリング地図制作プログラム。
https://www.openorienteering.org/apps/mapper/ || openorienteering-mapperAUR
  • QMapShack — 次回の野外旅行を計画しよう。
https://bitbucket.org/maproom/qmapshack || qmapshack
  • QGIS — ベクター・ラスター・データベース形式をサポートする地理情報システム (GIS)。
https://qgis.org/ || qgis
  • Subsurface — ダイブスポット (GPS 座標に基づく) と使用したウエイト・スーツ、ダイブマスターとバディを記録するダイビングログブック。
https://subsurface-divelog.org/ || subsurface
  • Viking — GPS データを管理するための GTK+2 アプリケーション。
http://viking.sourceforge.net/ || viking

気象学

  • Gis Weather — カスタマイズ可能な天気予報デスクトップウィジェット。
https://sourceforge.net/projects/gis-weather/ || gis-weatherAUR
  • GNOME Weather — あなたの住んでいる都市の天気を表示したりインターネットサービスの天気予報にアクセスできる GNOME 用の小さなアプリケーション。
https://wiki.gnome.org/Apps/Weather || gnome-weather
  • meteo-qt — 天気情報を表示するシステムトレイアプリケーション。
https://github.com/dglent/meteo-qt || meteo-qtAUR
  • wttrhttp://wttr.in のデータを使って天気をチェックするシンプルなコンソールアプリケーション。
https://github.com/AmirrezaFiroozi/wttr || wttrAUR
  • Xfce Weather Panel Plugin — Xfce4 パネルの天気予報プラグイン。
https://goodies.xfce.org/projects/panel-plugins/xfce4-weather-plugin || xfce4-weather-plugin

天文学

  • Celestia — 広大な宇宙を旅することができる 3D 天体シミュレーションプログラム。現実に即してモデリングされ、いかなる時間のいかなる場所も見ることができます。
https://celestiaproject.net/ || celestia
  • GIMP Astronomy Plugins — 天体画像作成用の GIMP プラグインのセット。
http://hennigbuam.de/georg/gimp.html || gimp-plugin-astronomyAUR
  • GoQat — オートガイドやフォーカスヘルプなどの機能を持った、特に QSI カメラ用の、カメラキャプチャソフトウェア。
http://canburytech.net/GoQat/ || goqatAUR
  • KStars — 地球上のどの場所でも、どの時刻でも、夜空の正確なグラフィカルシミュレーションができるプラネタリウムアプリケーション。KDE Edu に含まれています。
https://edu.kde.org/kstars/ || kstars
  • Qastrocam-g2 — 天文学のためのウェブカメラキャプチャソフトウェア。
https://sourceforge.net/projects/qastrocam-g2/ || qastrocam-g2AUR
  • Skychart / Cartes du Ciel — 星座・惑星などの望遠鏡で見れるほとんどの天体を図示・ラベリングするプラネタリウム。Digitized Sky Survey チャートやチャートのスーパーインポーズ画像のダウンロードもできます。
https://www.ap-i.net/skychart/ || skychartAUR
  • StarPlot — 三次元星座ビューア。
http://starplot.org/ || starplotAUR
  • Stellarium — リアルタイムのリアリスティックな空を描くことができる OpenGL を使っている美しい 3D プラネタリウム。
http://www.stellarium.org/ || stellarium
  • Where Is M13 — 星団や星雲の位置や物理的な特性を確認できるアプリケーション。
http://www.thinkastronomy.com/M13/ || where-is-m13AUR
  • XEphem — Motif-ベースの天体歴・プラネタリウムプログラム。
http://www.clearskyinstitute.com/xephem/xephem.html || xephemAUR

生物学

  • Gramps — 家系図を見ることができる家系プログラム。
https://gramps-project.org/ || gramps

計算生物学とバイオインフォマティクス

この項目について詳しくは Wikipedia の記事を見て下さい: List of open source bioinformatics software
  • BALL (Biochemical Algorithms Library) — 分子力学法や高度な溶媒和メソッド、蛋白質構造の比較・分析のクラス、さらにデータ構造の広大なセットを提供する C++ のアプリケーションフレームワーク。ファイルのインポート・エクスポートやビジュアライゼーションも可能。
http://www.ball-project.org/ || ballAUR
  • BioJava — 計算生物学や生物情報科学で使う Java ツールのセット。
http://biojava.org || biojavaAUR
  • Biopython — 計算生物学や生物情報科学で使う Python パッケージとツール。
http://biopython.org/wiki/Biopython || python-biopython python2-biopython
  • EMBOSS (European Molecular Biology Open Software Suite) — 分子生物学やバイオインフォマティクスのコミュニティのために開発されたオープンソースの分析ソフトウェアパッケージ。
http://emboss.sourceforge.net/ || embossAUR
  • MEGA (Molecular Evolutionary Genetics Analysis) — 自動・手動の配列アライメントや系統樹の推論、ウェブデータベースの探索、分子進化の変異率の推定、祖先配列の推論、進化仮説のテストを処理するための統合ツール。
http://www.megasoftware.net/ || パッケージが存在しないか AUR で検索
  • MUMmer — 接尾辞木を使った配列アライメント用のバイオインフォマティクスソフトウェアシステム。
http://mummer.sourceforge.net/ || mummerAUR
  • Snapgene — クローズドソースの分子クローニングアプリケーション。素早く簡単に生体操作を計画・描画・文章化できます。フリー版では一般的な分子生物学のワークフローの視覚化ができます。
http://www.snapgene.com/ || snapgene-viewerAUR
  • UGENE — よく使われている生物学ツールやアルゴリズムを統合したアプリケーション。グラフィカルユーザーインターフェースとコマンドラインを提供。
http://ugene.net/ || ugene-binAUR

生化学

  • Bioclipse — Eclipse Rich Client Platform (RCP) を使っている Java ベースの生化学用ビジュアルプラットフォーム。
http://www.bioclipse.net/ || パッケージが存在しないか AUR で検索

画像処理

  • ImageJ — プラグインやマクロによる拡張ができる Java ベースのイメージプロセシング・分析プログラム。顕微鏡検査で広く使われています (例: 細胞を数える)。
http://rsb.info.nih.gov/ij || imagejAUR
  • Fiji — 多くのプラグインがまとめられた ImageJ ディストリビューション (と ImageJ2)。
http://fiji.sc || fiji-binaryAUR

DICOM ビューアとボリュームレンダリング

  • aeskulap — シンプルな DICOM データビューア。
http://www.nongnu.org/aeskulap/ || aeskulapAUR
  • weasis — モジュラー型の多目的 DICOM ビューア。
https://nroduit.github.io/en/ || weasis-binAUR
  • aliza — DICOM, MetaIO, Nifti, Nrrd 形式などの 2D, 3D, 4D 画像と DICOM, VTK, STL, OBJ 形式のメッシュを開きます。
https://www.aliza-dicom-viewer.com/ || alizaAUR
  • Ginkgo CADx — 先進的な DICOM ビューア・ダイコマイザー。MetaEmotion によって開発されていたフリー版の後継。
https://github.com/gerddie/ginkgocadx || ginkgo-cadxAUR
https://www.slicer.org/ || 3dslicerAUR

工学

コンピュータ支援設計

この項目について詳しくは Wikipedia の記事を見て下さい: List of computer-aided design editors
  • BRL-CAD — Constructive Solid Geometry (CSG) ソリッドモデリングコンピュータ支援設計 (CAD) システム。インタラクティブなジオメトリーエディタ、グラフィックレンダリングやジオメトリック分析に使えるレイトレーシング、分散ネットワークコンピューティングフレームバッファ、スクリプト、イメージプロセッシング・シグナルプロセッシングツール。
http://brlcad.org/ || brlcadAUR
  • DraftSight — Dassault Systemes のフリーウェアの 2D CAD アプリケーション。DraftSight を使うことで、CAD ソフトウェアを使って作成された DWG/DXF ファイルにアクセスすることができます。
http://www.3ds.com/products-services/draftsight/overview/ || draftsightAUR
  • FreeCAD — OpenCascade ベースの CAD/CAE プログラム。マクロ記録、ワークベンチ、サーバー機能などを備えています。Qt と Python で開発。
https://github.com/FreeCAD/FreeCAD || freecadAUR
  • LeoCAD — バーチャル LEGO モデルを作成するための CAD プログラム。使用しやすいインターフェースを持っており、現在、LDraw コミュニティによって作成された6000以上の異なったピースを含んでいます。
http://leocad.org || leocadAUR
  • LibreCAD — Qt を使ったパワフルな 2D CAD アプリケーション。QCad コミュニティエディションからフォークされて作られました。
http://www.librecad.org/ || librecad
  • OpenSCAD — プログラマー流によるオープンソースの 2D/3D CAD。
http://www.openscad.org || openscad openscad-gitAUR
  • QCAD — 1999年から開発されているパワフルな 2D CAD アプリケーション。QCaD には標準の DXF ファイルフォーマットが含まれており HPGL フォーマットをサポートしています。
http://www.qcad.org/ || qcad

電子工学

この項目について詳しくは Wikipedia の記事を見て下さい: Comparison of EDA software
デジタル論理

デジタル論理ソフトウェアは主として、論理回路を設計・シミュレートするためのシンプルな教育ツールとして使われます。

  • glogic — Python で書かれた教育用のグラフィカルな論理回路シミュレータ。
https://launchpad.net/glogic || glogicAUR
  • GTKWave — フル機能の GTK ベース波形ビューア。LXT, LXT2, VZT, FST, GHW ファイルや標準的な Verilog VCD/EVCD ファイルを読み込むことができます。
http://gtkwave.sourceforge.net/ || gtkwave
  • Logisim — 教育用の電子回路設計・シミュレーションプログラム。Java で書かれています。開発は停止中。
https://sourceforge.net/projects/circuit/ || logisimAUR
  • Logisim Evolution — オリジナルの Logisim に新しい機能を開発するプロジェクト。Java で書かれています。
https://github.com/reds-heig/logisim-evolution || logisim-evolution-gitAUR
  • PulseView — 論理アナライザ・オシロスコープ・MSO GUI。
https://sigrok.org/wiki/PulseView || pulseview
  • SmartSim — シンプルで綺麗な電子論理回路設計・シミュレーションソフトウェア。教師と生徒を対象としており、軽量でクロスプラットフォーム、GPL でライセンスされています。Vala で書かれています。
https://smartsim.org.uk || smartsim-gitAUR
HDL
  • Altera Design Software — Quartus II と ModelSim-Altera を含む Altera の FPGA チップの設計ツール。
https://www.altera.com/products/design-software/overview.html || Altera Design Software を参照
http://www.xilinx.com/products/design-tools/ise-design-suite/ise-webpack.html || Xilinx ISE WebPACK を参照
MCU IDE とプログラマ
  • Arduino — Arduino プロトタイピングプラットフォーム SDK。
https://www.arduino.cc/en/Main/Software || arduino
  • avrcalc — Atmel AVR の開発を加速する計算機。
https://sourceforge.net/projects/avrcalc || avrcalcAUR
  • AVRDUDE — AVR マイクロコントローラの ROM や EEPROM の中身をダウンロード・アップデート・操作。
http://www.nongnu.org/avrdude/ || avrdude
  • SPIPGM — パラレルポートケーブルで PC に接続されたシリアル SPI フラッシュ ROM メモリをプログラミングするためのツール。
http://rayer.g6.cz/programm/programe.htm || spipgm-binAUR
回路図エディタ
  • freeroute — Alfons Wirtz によって書かれた KiCad の自動 PCB 配線ツール。
http://www.freerouting.net/ || freeroute-binAUR
  • gEDA — 電子回路の設計や、回路図入力、シミュレーション、プロトタイピング、生産につかわれる電子設計自動化ツールのフルスイートとツールキット。
http://www.geda-project.org/ || geda-gaf
  • gEDA PCB — インタラクティブなプリント基板エディタ。
http://pcb.geda-project.org/ || pcb
  • KiCAD — 電子回路の結線図の設計やプリント基板 (PCB) への実装を容易にする電子設計自動化のソフトウェアスイート。
http://www.kicad-pcb.org/display/KICAD/KiCad+EDA+Software+Suite || kicad
  • Oregano — 回路図入力や電子回路のシミュレーションに使うグラフィカルソフトウェアアプリケーション。シミュレーションは ngspiceGnucap エンジンによって行われます。
https://github.com/marc-lorber/oregano || oreganoAUR
  • QElectroTech — 高度な電子回路を設計するために使われるアプリケーション。
https://qelectrotech.org/ || qelectrotechAUR
  • Qucs — 電子回路シミュレーションアプリケーション。グラフィカルユーザーインターフェースによる回路の設計と、大信号・小信号・ノイズの挙動をシミュレートができます。
http://qucs.sourceforge.net/ || qucsAUR
  • ngspice — 回路のシミュレートに使用するアプリケーション。spice3f5 のオープンソース版後継。
http://ngspice.sourceforge.net/ || ngspice

遠距離通信

  • CupCarbon — スマートシティ & IoT ワイヤレスセンサーネットワークシミュレータ。
http://cupcarbon.com/ || パッケージが存在しないか AUR で検索
  • GNU Radio — ソフトウェア無線を実装するための信号処理ブロックを提供するソフトウェア開発ツールキット。
https://www.gnuradio.org/ || gnuradio
  • Gqrx — GNU Radio と Qt GUI ツールキットで実装されたソフトウェア無線レシーバ。
http://gqrx.dk/ || gqrx
  • Pothos — 相互接続された信号ブロックのトポロジーを作成するための完全なデータフローフレームワーク。
https://github.com/pothosware/PothosCore/wiki || pothosAUR, pothos-gitAUR
  • SDR# — 人気の SDR プログラム。
https://airspy.com/ || sdrsharpAUR
  • SigDigger — Qt ベースのデジタル信号アナライザ。Suscan コアと Sigutils DSP ライブラリを使用。
https://github.com/BatchDrake/SigDigger || sigdigger-gitAUR

アマチュア無線

メインの記事を見てください: アマチュア無線#ソフトウェアリスト

Wikipedia:List of software-defined radios も参照。

シミュレーションモデリング

  • gephi — Java で書かれたオープンソースのネットワーク解析・視覚化ソフトウェア。
http://gephi.org/ || gephi
  • golly — ライフゲーム (Conway's Game of Life) や他のセルオートマトンを探査するオープンソース・クロスプラットフォームアプリケーション。
http://golly.sourceforge.net/ || gollyAUR
  • Netlogo — マルチエージェントのプログラマブルモデリング環境。
http://ccl.northwestern.edu/netlogo/ || netlogoAUR
  • AnyLogic — クロスプラットフォームのプロプライエタリマルチメソッドシミュレーションモデリングツール。個人利用も可能。
https://www.anylogic.com/ || anylogic-pleAUR, anylogic-universityAUR, anylogic-professionalAUR

計算機科学

人工知能

Wikipedia:Comparison of deep learning software も参照。

http://leenissen.dk/fann/wp/ || fannAUR
  • Mycroft — 音声認識を備えた知的パーソナルアシスタント・ナレッジナビゲータ。
https://mycroft.ai/ || mycroft-coreAUR
  • Orange — ビジュアルプログラミングや Python で使えるデータ視覚化・機械学習・データマイニングツールキット。
https://orange.biolab.si/ || python-orangeAUR
  • Torch — 機械学習ライブラリ・科学計算フレームワーク・LuaJIT ベースのスクリプト言語。
http://torch.ch/ || torch7-gitAUR
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 の最適化)