This HTML5 document contains 75 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
template-jahttp://ja.dbpedia.org/resource/Template:
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-wikidatahttp://wikidata.dbpedia.org/resource/
n6http://ja.dbpedia.org/resource/Risa/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n11http://
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n10http://ja.dbpedia.org/resource/Category:
wikipedia-jahttp://ja.wikipedia.org/wiki/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbpedia-jahttp://ja.dbpedia.org/resource/
prop-jahttp://ja.dbpedia.org/property/

Statements

Subject Item
dbpedia-ja:MathJax
dbo:wikiPageWikiLink
dbpedia-ja:数学ソフトウェア
prop-ja:genre
dbpedia-ja:数学ソフトウェア
Subject Item
n6:Asir
dbo:wikiPageWikiLink
dbpedia-ja:数学ソフトウェア
Subject Item
dbpedia-ja:デュ・バル特異点
dbo:wikiPageWikiLink
dbpedia-ja:数学ソフトウェア
Subject Item
dbpedia-ja:実験数学
dbo:wikiPageWikiLink
dbpedia-ja:数学ソフトウェア
Subject Item
dbpedia-ja:数学ソフトウェア
rdfs:label
数学ソフトウェア
rdfs:comment
数学ソフトウェア（すうがくソフトウェア）は、モデル、数値的あるいは記号的な解析あるいは計算、または幾何学データに用いられるソフトウェアである。数学ソフトウェアは端的に言ってしまうと、数学の問題を解いたり、研究したりするのに用いる専用のソフトウェアである。数学とは何かについて様々な見解があるのに応じて、それに用いる数学ソフトウェアの範囲にも広義と狭義にわたる見解がある。実際、数学ソフトウェアのあるもの（）は他のの一部に組み込まれて利用されたりもする。極めてプライマリーなもの（たとえば初等関数を浮動小数点演算をして計算する）のも数学ソフトウェアの範疇に入るかもしれない。これらは普通ミドルウェアとして一般のシステムに組み込まれていたりする。いわば数学ソフトウェアはアプリケーションソフトではあるが他の科学ソフトウェアの基本となっているという意味でそれが特徴の一つともなっている。数学ソフトウェアは教育目的などでユーザーインターフェイスが良くなっているものも多いが（を見よ）、その問題を解く核となっている部分は直接に数学上の知見に依存したアルゴリズムによっており、問題が少なくとも（ハードウェアに物理的な限界がある）に解けなければ処理できなくなっているのは当たり前だろう。これが他のアプリケーションソフトとの大きな違いだろう。なかでも、数学ソフトウェアを使う際に次のような場合があることに気を付けなくてはいけないことはほとんど常識だろう。
dct:subject
n10:ソフトウェアの一覧 n10:数学に関する記事 n10:数学ソフトウェア
dbo:wikiPageID
3557748
dbo:wikiPageRevisionID
88715075
dbo:wikiPageWikiLink
dbpedia-ja:数学的に構成的 dbpedia-ja:数学の問題 dbpedia-ja:ソフトウェア dbpedia-ja:計算複雑性理論 dbpedia-ja:MathML dbpedia-ja:コンピューター dbpedia-ja:数学ライブラリー dbpedia-ja:発明 dbpedia-ja:Fortran dbpedia-ja:科学ソフトウェア dbpedia-ja:IMSL dbpedia-ja:数式処理システム dbpedia-ja:多項式時間 dbpedia-ja:初等関数 dbpedia-ja:数学 n10:数学に関する記事 dbpedia-ja:アプリケーションソフト dbpedia-ja:暗号ソフトウェア dbpedia-ja:プラットフォーム dbpedia-ja:任意精度演算 dbpedia-ja:ルール・ベース言語 dbpedia-ja:ハードウェア dbpedia-ja:浮動小数点演算 dbpedia-ja:ユーザーインターフェイス dbpedia-ja:環境 dbpedia-ja:GNU_Scientific_Library dbpedia-ja:数値解析 dbpedia-ja:電子計算機 dbpedia-ja:データ同化 dbpedia-ja:アルゴリズム dbpedia-ja:応用数学 dbpedia-ja:GNU_Multi-Precision_Library n10:数学ソフトウェア dbpedia-ja:数式処理 dbpedia-ja:NAG数値計算ライブラリ dbpedia-ja:ゲーデルの不完全性定理 dbpedia-ja:数理科学 dbpedia-ja:フリー dbpedia-ja:C言語 dbpedia-ja:Netlib dbpedia-ja:統計学 dbpedia-ja:ミドルウェア dbpedia-ja:ムーアの法則 dbpedia-ja:数理モデル dbpedia-ja:TeX dbpedia-ja:C++ n10:ソフトウェアの一覧 dbpedia-ja:数学教育用ソフトウェア
dbo:wikiPageExternalLink
n11:www.swmath.org
prop-ja:wikiPageUsesTemplate
template-ja:See_also template-ja:Main template-ja:仮リンク template-ja:Applied-math-stub template-ja:Reflist
foaf:isPrimaryTopicOf
wikipedia-ja:数学ソフトウェア
dbo:abstract
数学ソフトウェア（すうがくソフトウェア）は、モデル、数値的あるいは記号的な解析あるいは計算、または幾何学データに用いられるソフトウェアである。数学ソフトウェアは端的に言ってしまうと、数学の問題を解いたり、研究したりするのに用いる専用のソフトウェアである。数学とは何かについて様々な見解があるのに応じて、それに用いる数学ソフトウェアの範囲にも広義と狭義にわたる見解がある。実際、数学ソフトウェアのあるもの（）は他のの一部に組み込まれて利用されたりもする。極めてプライマリーなもの（たとえば初等関数を浮動小数点演算をして計算する）のも数学ソフトウェアの範疇に入るかもしれない。これらは普通ミドルウェアとして一般のシステムに組み込まれていたりする。いわば数学ソフトウェアはアプリケーションソフトではあるが他の科学ソフトウェアの基本となっているという意味でそれが特徴の一つともなっている。数学ソフトウェアは教育目的などでユーザーインターフェイスが良くなっているものも多いが（を見よ）、その問題を解く核となっている部分は直接に数学上の知見に依存したアルゴリズムによっており、問題が少なくとも（ハードウェアに物理的な限界がある）に解けなければ処理できなくなっているのは当たり前だろう。これが他のアプリケーションソフトとの大きな違いだろう。なかでも、数学ソフトウェアを使う際に次のような場合があることに気を付けなくてはいけないことはほとんど常識だろう。 1. * 問題が解けることが必ずしも保証されていない。詳細は「ゲーデルの不完全性定理」を参照 2. * 問題が原理的に解けるかもしれないが、具体的に計算機で求めようとすると、多項式時間で解けず極めて難しい。詳細は「計算複雑性理論」を参照 2.の場合を逆に利用したのが暗号ソフトウェアである。
dbo:wikiPageLength
4453
prov:wasDerivedFrom
wikipedia-ja:数学ソフトウェア?oldid=88715075&ns=0
Subject Item
dbpedia-ja:階乗
dbo:wikiPageWikiLink
dbpedia-ja:数学ソフトウェア
Subject Item
dbpedia-wikidata:Q1639024
owl:sameAs
dbpedia-ja:数学ソフトウェア
Subject Item
dbpedia-ja:数学ソフト
dbo:wikiPageWikiLink
dbpedia-ja:数学ソフトウェア
dbo:wikiPageRedirects
dbpedia-ja:数学ソフトウェア
Subject Item
wikipedia-ja:数学ソフトウェア
foaf:primaryTopic
dbpedia-ja:数学ソフトウェア