@prefix owl:	<http://www.w3.org/2002/07/owl#> .
@prefix dbpedia-wikidata:	<http://wikidata.dbpedia.org/resource/> .
@prefix dbpedia-ja:	<http://ja.dbpedia.org/resource/> .
dbpedia-wikidata:Q2552799	owl:sameAs	dbpedia-ja:System_F .
@prefix dbo:	<http://dbpedia.org/ontology/> .
dbpedia-ja:C_Sharp	dbo:wikiPageWikiLink	dbpedia-ja:System_F .
dbpedia-ja:F_Sharp	dbo:wikiPageWikiLink	dbpedia-ja:System_F .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
dbpedia-ja:System_F	rdfs:label	"System F"@ja ;
	rdfs:comment	"System F\uFF08\u30B7\u30B9\u30C6\u30E0\u30FB\u30A8\u30D5\uFF09\u306F\u3001\u578B\u4ED8\u304D\u30E9\u30E0\u30C0\u8A08\u7B97\u306E\u4E00\u4F53\u7CFB\u3067\u3042\u308A\u3001\u5358\u7D14\u578B\u4ED8\u304D\u30E9\u30E0\u30C0\u8A08\u7B97\u306B\u3001\u578B\u306B\u3064\u3044\u3066\u306E\u5168\u79F0\u91CF\u5316\u3092\u53D6\u308A\u5165\u308C\u305F\u8A08\u7B97\u6A5F\u69CB\u3067\u3042\u308B\u3002\u4E8C\u968E\u30E9\u30E0\u30C0\u8A08\u7B97\u3001\u30DD\u30EA\u30E2\u30FC\u30D5\u30A3\u30C3\u30AF\u30E9\u30E0\u30C0\u8A08\u7B97\u3068\u3082\u8A00\u308F\u308C\u308B\u3002\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0\u8A00\u8A9E\u3067\u306E\u3092\u5F62\u5F0F\u5316\u3059\u308B\u3082\u306E\u3067\u3001\u95A2\u6570\u578B\u8A00\u8A9E\u306EML\u3084Haskell\u306A\u3069\u306E\u578B\u30B7\u30B9\u30C6\u30E0\u306E\u30D9\u30FC\u30B9\u7406\u8AD6\u306B\u3055\u308C\u3066\u3044\u308B\u3002System F\u306F\u3001\u8AD6\u7406\u5B66\u8005\u306E\u30B8\u30E3\u30F3\uFF1D\u30A4\u30F4\u30FB\u30B8\u30E9\u30FC\u30EB\u3068\u8A08\u7B97\u6A5F\u79D1\u5B66\u8005\u306E\u306E\u4E21\u8005\u304C\u5225\u500B\u306B\u767A\u898B\u3057\u3066\u3044\u308B\u3002\u30B8\u30E9\u30FC\u30EB\u306B\u3088\u308B\u3068System F\u306E\u8A9E\u6E90\u306F\u3001\u305F\u307E\u305F\u307E\u305D\u3046\u540D\u4ED8\u3051\u305F\u3060\u3051\u3068\u8A00\u3046\u3002 \u5358\u7D14\u578B\u4ED8\u304D\u30E9\u30E0\u30C0\u8A08\u7B97\u3067\u306F\u3001\u95A2\u6570\u306B\u3064\u3044\u3066\u306E\u5909\u6570\u3068\u305D\u306E\u675F\u7E1B\u304C\u5B58\u5728\u3059\u308B\u304C\u3001System F\u3067\u306F\u578B\u306B\u3064\u3044\u3066\u306E\u5909\u6570\u3068\u305D\u306E\u675F\u7E1B\u304C\u8FFD\u52A0\u3055\u308C\u3066\u3044\u308B\u3002\u4F8B\u3048\u3070\u6052\u7B49\u95A2\u6570\u306F\u4EFB\u610F\u306E\u578B\u306B\u3064\u3044\u3066\u306E\u5F62\u306E\u578B\u3092\u6301\u3061\u3046\u308B\u304C\u3001System F\u3067\u306F\u3053\u306E\u3053\u3068\u304C\u6B21\u306E\u5224\u65AD\u304C\u6210\u308A\u7ACB\u3064\u3053\u3068\u306B\u3088\u3063\u3066\u8868\u3055\u308C\u3066\u3044\u308B\u3002 . \u3053\u3053\u3067\u3001\u306F\u3067\u3042\u308B\u3002\u307E\u305F\u3001\u5C0F\u6587\u5B57\u306E\u304C\u901A\u5E38\u306E\u5024\u30EC\u30D9\u30EB\u306E\u62BD\u8C61\u3092\u8868\u3057\u3066\u3044\u308B\u306E\u306B\u5BFE\u3057\u3066\u3001\u5927\u6587\u5B57\u306E\u3092\u578B\u30EC\u30D9\u30EB\u306E\u62BD\u8C61\u3092\u8868\u3059\u305F\u3081\u306B\u4F7F\u7528\u3057\u3066\u3044\u308B\u3002"@ja ;
	owl:sameAs	<http://rdf.freebase.com/ns/m.039vd_> .
@prefix dct:	<http://purl.org/dc/terms/> .
dbpedia-ja:System_F	dct:subject	<http://ja.dbpedia.org/resource/Category:\u30DD\u30EA\u30E2\u30FC\u30D5\u30A3\u30BA\u30E0_(\u8A08\u7B97\u6A5F\u79D1\u5B66)> ,
		<http://ja.dbpedia.org/resource/Category:\u578B\u7406\u8AD6> ;
	dbo:wikiPageID	1788847 ;
	dbo:wikiPageRevisionID	87155117 ;
	dbo:wikiPageWikiLink	<http://ja.dbpedia.org/resource/\u578B\u5909\u6570> ,
		<http://ja.dbpedia.org/resource/\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0\u8A00\u8A9E> ,
		<http://ja.dbpedia.org/resource/\u8AD6\u7406\u5B66\u8005> ,
		<http://ja.dbpedia.org/resource/\u30D1\u30E9\u30E1\u30C8\u30EA\u30C3\u30AF\u591A\u76F8> ,
		<http://ja.dbpedia.org/resource/\u578B\u7406\u8AD6> ,
		<http://ja.dbpedia.org/resource/\u30E9\u30E0\u30C0\u30FB\u30AD\u30E5\u30FC\u30D6> ,
		<http://ja.dbpedia.org/resource/Category:\u578B\u7406\u8AD6> ,
		<http://ja.dbpedia.org/resource/\u5358\u7D14\u578B\u4ED8\u304D\u30E9\u30E0\u30C0\u8A08\u7B97> ,
		<http://ja.dbpedia.org/resource/\u8A08\u7B97\u6A5F\u79D1\u5B66\u8005> ,
		<http://ja.dbpedia.org/resource/\u578B\u63A8\u8AD6> ,
		<http://ja.dbpedia.org/resource/\u9805\u66F8\u63DB\u3048\u7CFB> ,
		<http://ja.dbpedia.org/resource/\u5F37\u6B63\u898F\u5316\u6027> ,
		<http://ja.dbpedia.org/resource/\u30AB\u30EA\u30FC\uFF1D\u30CF\u30EF\u30FC\u30C9\u540C\u578B> ,
		<http://ja.dbpedia.org/resource/\u4F9D\u5B58\u578B> ,
		<http://ja.dbpedia.org/resource/ML_(\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0\u8A00\u8A9E)> ,
		dbpedia-ja:F_Sharp ,
		<http://ja.dbpedia.org/resource/\u76F4\u89B3\u4E3B\u7FA9\u8AD6\u7406> ,
		<http://ja.dbpedia.org/resource/\u30B8\u30E7\u30F3\u30FBC\u30FB\u30EC\u30A4\u30CE\u30EB\u30BA> ,
		dbpedia-ja:Haskell ,
		<http://ja.dbpedia.org/resource/Category:\u30DD\u30EA\u30E2\u30FC\u30D5\u30A3\u30BA\u30E0_(\u8A08\u7B97\u6A5F\u79D1\u5B66)> ,
		<http://ja.dbpedia.org/resource/\u95A2\u6570\u578B\u8A00\u8A9E> ,
		<http://ja.dbpedia.org/resource/\u578B\u30B7\u30B9\u30C6\u30E0> ,
		<http://ja.dbpedia.org/resource/\u30B8\u30E3\u30F3\uFF1D\u30A4\u30F4\u30FB\u30B8\u30E9\u30FC\u30EB> ,
		<http://ja.dbpedia.org/resource/\u578B\u4ED8\u304D\u30E9\u30E0\u30C0\u8A08\u7B97> ,
		<http://ja.dbpedia.org/resource/\u5168\u79F0\u91CF\u5316> ,
		<http://ja.dbpedia.org/resource/\u6C7A\u5B9A\u53EF\u80FD\u6027> ;
	dbo:wikiPageExternalLink	<http://www.PaulTaylor.EU/stable/Proofs%2BTypes.html> ,
		<http://www.macs.hw.ac.uk/~jbw/papers/Wells:Typability-and-Type-Checking-in-the-Second-Order-Lambda-Calculus-Are-Equivalent-and-Undecidable:LICS-1994.ps.gz> .
@prefix prop-ja:	<http://ja.dbpedia.org/property/> .
@prefix template-ja:	<http://ja.dbpedia.org/resource/Template:> .
dbpedia-ja:System_F	prop-ja:wikiPageUsesTemplate	template-ja:For ,
		template-ja:Cite_conference ,
		template-ja:Cite_book ;
	dbo:abstract	"System F\uFF08\u30B7\u30B9\u30C6\u30E0\u30FB\u30A8\u30D5\uFF09\u306F\u3001\u578B\u4ED8\u304D\u30E9\u30E0\u30C0\u8A08\u7B97\u306E\u4E00\u4F53\u7CFB\u3067\u3042\u308A\u3001\u5358\u7D14\u578B\u4ED8\u304D\u30E9\u30E0\u30C0\u8A08\u7B97\u306B\u3001\u578B\u306B\u3064\u3044\u3066\u306E\u5168\u79F0\u91CF\u5316\u3092\u53D6\u308A\u5165\u308C\u305F\u8A08\u7B97\u6A5F\u69CB\u3067\u3042\u308B\u3002\u4E8C\u968E\u30E9\u30E0\u30C0\u8A08\u7B97\u3001\u30DD\u30EA\u30E2\u30FC\u30D5\u30A3\u30C3\u30AF\u30E9\u30E0\u30C0\u8A08\u7B97\u3068\u3082\u8A00\u308F\u308C\u308B\u3002\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0\u8A00\u8A9E\u3067\u306E\u3092\u5F62\u5F0F\u5316\u3059\u308B\u3082\u306E\u3067\u3001\u95A2\u6570\u578B\u8A00\u8A9E\u306EML\u3084Haskell\u306A\u3069\u306E\u578B\u30B7\u30B9\u30C6\u30E0\u306E\u30D9\u30FC\u30B9\u7406\u8AD6\u306B\u3055\u308C\u3066\u3044\u308B\u3002System F\u306F\u3001\u8AD6\u7406\u5B66\u8005\u306E\u30B8\u30E3\u30F3\uFF1D\u30A4\u30F4\u30FB\u30B8\u30E9\u30FC\u30EB\u3068\u8A08\u7B97\u6A5F\u79D1\u5B66\u8005\u306E\u306E\u4E21\u8005\u304C\u5225\u500B\u306B\u767A\u898B\u3057\u3066\u3044\u308B\u3002\u30B8\u30E9\u30FC\u30EB\u306B\u3088\u308B\u3068System F\u306E\u8A9E\u6E90\u306F\u3001\u305F\u307E\u305F\u307E\u305D\u3046\u540D\u4ED8\u3051\u305F\u3060\u3051\u3068\u8A00\u3046\u3002 \u5358\u7D14\u578B\u4ED8\u304D\u30E9\u30E0\u30C0\u8A08\u7B97\u3067\u306F\u3001\u95A2\u6570\u306B\u3064\u3044\u3066\u306E\u5909\u6570\u3068\u305D\u306E\u675F\u7E1B\u304C\u5B58\u5728\u3059\u308B\u304C\u3001System F\u3067\u306F\u578B\u306B\u3064\u3044\u3066\u306E\u5909\u6570\u3068\u305D\u306E\u675F\u7E1B\u304C\u8FFD\u52A0\u3055\u308C\u3066\u3044\u308B\u3002\u4F8B\u3048\u3070\u6052\u7B49\u95A2\u6570\u306F\u4EFB\u610F\u306E\u578B\u306B\u3064\u3044\u3066\u306E\u5F62\u306E\u578B\u3092\u6301\u3061\u3046\u308B\u304C\u3001System F\u3067\u306F\u3053\u306E\u3053\u3068\u304C\u6B21\u306E\u5224\u65AD\u304C\u6210\u308A\u7ACB\u3064\u3053\u3068\u306B\u3088\u3063\u3066\u8868\u3055\u308C\u3066\u3044\u308B\u3002 . \u3053\u3053\u3067\u3001\u306F\u3067\u3042\u308B\u3002\u307E\u305F\u3001\u5C0F\u6587\u5B57\u306E\u304C\u901A\u5E38\u306E\u5024\u30EC\u30D9\u30EB\u306E\u62BD\u8C61\u3092\u8868\u3057\u3066\u3044\u308B\u306E\u306B\u5BFE\u3057\u3066\u3001\u5927\u6587\u5B57\u306E\u3092\u578B\u30EC\u30D9\u30EB\u306E\u62BD\u8C61\u3092\u8868\u3059\u305F\u3081\u306B\u4F7F\u7528\u3057\u3066\u3044\u308B\u3002 \u9805\u66F8\u63DB\u3048\u7CFB\u3068\u3057\u3066\u898B\u308B\u3068\u3001System F\u306F\u3092\u6301\u3064\u3002\u3057\u304B\u3057\u306A\u304C\u3089System F\u306B\u304A\u3051\u308B\u578B\u63A8\u8AD6\u306F\u6C7A\u5B9A\u4E0D\u80FD\u3067\u3042\u308B\u3002\u307E\u305FSystem F\u306F\u30AB\u30EA\u30FC\uFF1D\u30CF\u30EF\u30FC\u30C9\u540C\u578B\u306E\u4E0B\u3067\u3001\u5168\u79F0\u91CF\u5316\u306E\u307F\u3092\u7528\u3044\u308B\u4E8C\u968E\u76F4\u89B3\u4E3B\u7FA9\u8AD6\u7406\u306E\u65AD\u7247\u306B\u5BFE\u5FDC\u3059\u308B\u3002System F\u306F\u3001\u4F9D\u5B58\u578B\u306A\u3069\u3092\u542B\u3093\u3060\u3088\u308A\u5F37\u529B\u306A\u30E9\u30E0\u30C0\u8A08\u7B97\u3068\u3068\u3082\u306B\u3001\u30E9\u30E0\u30C0\u30FB\u30AD\u30E5\u30FC\u30D6\u306E\u4E00\u89D2\u3067\u3042\u308B\u3068\u307F\u306A\u3059\u3053\u3068\u3082\u3067\u304D\u308B\u3002"@ja .
@prefix xsd:	<http://www.w3.org/2001/XMLSchema#> .
dbpedia-ja:System_F	dbo:wikiPageLength	"2612"^^xsd:nonNegativeInteger .
@prefix prov:	<http://www.w3.org/ns/prov#> .
dbpedia-ja:System_F	prov:wasDerivedFrom	<http://ja.wikipedia.org/wiki/System_F?oldid=87155117&ns=0> .
@prefix foaf:	<http://xmlns.com/foaf/0.1/> .
@prefix wikipedia-ja:	<http://ja.wikipedia.org/wiki/> .
dbpedia-ja:System_F	foaf:isPrimaryTopicOf	wikipedia-ja:System_F .
<http://ja.dbpedia.org/resource/\u30AB\u30EA\u30FC\uFF1D\u30CF\u30EF\u30FC\u30C9\u540C\u578B\u5BFE\u5FDC>	dbo:wikiPageWikiLink	dbpedia-ja:System_F .
<http://ja.dbpedia.org/resource/\u30B8\u30E3\u30F3\uFF1D\u30A4\u30F4\u30FB\u30B8\u30E9\u30FC\u30EB>	dbo:wikiPageWikiLink	dbpedia-ja:System_F .
<http://ja.dbpedia.org/resource/\u30DD\u30EA\u30E2\u30FC\u30D5\u30A3\u30BA\u30E0>	dbo:wikiPageWikiLink	dbpedia-ja:System_F .
<http://ja.dbpedia.org/resource/\u30E9\u30E0\u30C0\u30FB\u30AD\u30E5\u30FC\u30D6>	dbo:wikiPageWikiLink	dbpedia-ja:System_F .
<http://ja.dbpedia.org/resource/\u30E9\u30E0\u30C0\u8A08\u7B97>	dbo:wikiPageWikiLink	dbpedia-ja:System_F .
<http://ja.dbpedia.org/resource/\u4F4F\u6027_(\u578B\u7406\u8AD6)>	dbo:wikiPageWikiLink	dbpedia-ja:System_F .
<http://ja.dbpedia.org/resource/\u4F9D\u5B58\u578B>	dbo:wikiPageWikiLink	dbpedia-ja:System_F .
<http://ja.dbpedia.org/resource/\u578B\u30B7\u30B9\u30C6\u30E0>	dbo:wikiPageWikiLink	dbpedia-ja:System_F .
<http://ja.dbpedia.org/resource/\u578B\u4ED8\u304D\u30E9\u30E0\u30C0\u8A08\u7B97>	dbo:wikiPageWikiLink	dbpedia-ja:System_F .
<http://ja.dbpedia.org/resource/\u30B7\u30B9\u30C6\u30E0F>	dbo:wikiPageWikiLink	dbpedia-ja:System_F ;
	dbo:wikiPageRedirects	dbpedia-ja:System_F .
wikipedia-ja:System_F	foaf:primaryTopic	dbpedia-ja:System_F .
@prefix rdf:	<http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
<http://ja.dbpedia.org/data/System_F.ntriples>	rdf:type	foaf:Document ;
	foaf:primaryTopic	dbpedia-ja:System_F .