タグ

linksに関するchess-newsのブックマーク (1)

  • フリーの解析ツール

    フリーの解析ツール 概要 ある命題を論理的に明らかにするために、観測した物事の分析が必要です。数値に対する分析では、値の変化を関数で表し、命題の前提条件を既に知られている命題に帰着させることで真偽の証明を行います。特に微積分や統計に基づく解析は、膨大な量の複雑な数式を扱うため、解析経過に誤りのないように、解析ツールを用います。 解析ツールの多くは有料ですが、いくつかの優秀な解析ツールも存在します。解析することは証明において普遍的なことであり、こうしたツールが無料で提供されていることは非常に心強いものです。ここでは、フリーウェアとして入手できる解析ソフトについて一覧します。 R オープンソースの統計解析システムおよびそのプログラミング言語。プログラミング言語はS言語に準拠しています。標準状態でも統計・検定・解析向けの強力な関数を備えており、便利な入出力機能およびグラフ作成機能までをサポートし

  • 1