This HTML5 document contains 37 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-enhttp://ja.dbpedia.org/resource/Template:
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-wikidatahttp://wikidata.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n5http://ja.dbpedia.org/resource/Category:
n13http://ja.wikipedia.org/wiki/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbpedia-jahttp://ja.dbpedia.org/resource/
prop-enhttp://ja.dbpedia.org/property/

Statements

Subject Item
dbpedia-ja:F代数
dbo:wikiPageWikiLink
dbpedia-ja:最小不動点
Subject Item
dbpedia-ja:LFP
dbo:wikiPageWikiLink
dbpedia-ja:最小不動点
Subject Item
dbpedia-wikidata:Q6134913
owl:sameAs
dbpedia-ja:最小不動点
Subject Item
dbpedia-ja:クリーネの不動点定理
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
最小不動点（さいしょうふどうてん、英: Least fixed point, LFP）は、関数の不動点の中でも、何らかの半順序関係において最も小さい不動点をいう。 例えば、次の実関数 f(x) = x2 の最小不動点は、実数の一般的な順序関係において x = 0 である。様々な不動点定理から最小不動点を求めるアルゴリズムが生み出されている。最小不動点は一般の不動点にはない属性があることが多い。 数理論理学では、最小不動点は何らかの再帰的定義を構築することに関連している。そこから記述計算量の結果として、複雑性クラス P（多項式時間で計算可能な問題のクラス）は一階述語論理に最小不動点を追加したもので表される言語の集合と正確に一致する。
owl:sameAs
freebase:m.04hq0y
dct:subject
n5:順序構造 n5:数学に関する記事 n5:不動点
dbo:wikiPageID
1353207
dbo:wikiPageRevisionID
54035459
dbo:wikiPageWikiLink
dbpedia-ja:最大不動点 dbpedia-ja:再帰的定義 dbpedia-ja:クリーネ不動点定理 dbpedia-ja:P_(計算複雑性理論) dbpedia-ja:記述計算量 dbpedia-ja:複雑性クラス dbpedia-ja:順序集合 dbpedia-ja:不動点 dbpedia-ja:関数_(数学) n5:順序構造 dbpedia-ja:不動点定理 n5:不動点 dbpedia-ja:一階述語論理 n5:数学に関する記事
prop-en:wikiPageUsesTemplate
template-en:Lang-en-short
dbo:abstract
最小不動点（さいしょうふどうてん、英: Least fixed point, LFP）は、関数の不動点の中でも、何らかの半順序関係において最も小さい不動点をいう。 例えば、次の実関数 f(x) = x2 の最小不動点は、実数の一般的な順序関係において x = 0 である。様々な不動点定理から最小不動点を求めるアルゴリズムが生み出されている。最小不動点は一般の不動点にはない属性があることが多い。 数理論理学では、最小不動点は何らかの再帰的定義を構築することに関連している。そこから記述計算量の結果として、複雑性クラス P（多項式時間で計算可能な問題のクラス）は一階述語論理に最小不動点を追加したもので表される言語の集合と正確に一致する。
dbo:wikiPageLength
728
prov:wasDerivedFrom
n13:最小不動点?oldid=54035459&ns=0
foaf:isPrimaryTopicOf
n13:最小不動点
Subject Item
dbpedia-ja:有限モデル理論
dbo:wikiPageWikiLink
dbpedia-ja:最小不動点
Subject Item
dbpedia-ja:記述計算量
dbo:wikiPageWikiLink
dbpedia-ja:最小不動点
Subject Item
dbpedia-ja:領域理論
dbo:wikiPageWikiLink
dbpedia-ja:最小不動点
Subject Item
n13:最小不動点
foaf:primaryTopic
dbpedia-ja:最小不動点