@prefix rdf:	<http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix foaf:	<http://xmlns.com/foaf/0.1/> .
<http://ja.dbpedia.org/data/Spec_Sharp.ntriples>	rdf:type	foaf:Document .
@prefix dbpedia-ja:	<http://ja.dbpedia.org/resource/> .
<http://ja.dbpedia.org/data/Spec_Sharp.ntriples>	foaf:primaryTopic	dbpedia-ja:Spec_Sharp .
@prefix dbo:	<http://dbpedia.org/ontology/> .
dbpedia-ja:Singularity	dbo:wikiPageWikiLink	dbpedia-ja:Spec_Sharp .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
dbpedia-ja:Spec_Sharp	rdf:type	owl:Thing .
@prefix schema:	<http://schema.org/> .
dbpedia-ja:Spec_Sharp	rdf:type	schema:Language ,
		dbo:ProgrammingLanguage .
@prefix wikidata:	<http://www.wikidata.org/entity/> .
dbpedia-ja:Spec_Sharp	rdf:type	wikidata:Q9143 ,
		wikidata:Q315 ,
		dbo:Language .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
dbpedia-ja:Spec_Sharp	rdfs:label	"Spec Sharp"@ja ;
	rdfs:comment	"Spec#\u3068\u306F\u3001C#\u306BEiffel\u98A8\u306E\u4ED5\u69D8\u8A18\u8FF0\u8A00\u8A9E\u7684\u8981\u7D20\u3092\u8FFD\u52A0\u3057\u305F\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0\u8A00\u8A9E\u3067\u3042\u308B\u3002Spec#\u3067\u306F\u30AA\u30D6\u30B8\u30A7\u30AF\u30C8\u4E0D\u5909\u6761\u4EF6\u30FB\u30FB\u306A\u3069\u306E\u5951\u7D04\u3092\u8A18\u8FF0\u3059\u308B\u305F\u3081\u306E\u69CB\u6587\u3092\u6301\u3064\u3002ESC/Java\u306E\u3088\u3046\u306B\u3001\u5B9A\u7406\u8A3C\u660E\u6A5F\u3092\u7528\u3044\u305F\u9759\u7684\u691C\u8A3C\u30C4\u30FC\u30EB\u3092\u6301\u3063\u3066\u304A\u308A\u3001\u4E0D\u5909\u6761\u4EF6\u306E\u591A\u304F\u3092\u9759\u7684\u306B\u691C\u8A3C\u3067\u304D\u308B\u3002 .NET Framework 4.0\u306B\u304A\u3051\u308B\u30B3\u30FC\u30C9\u30B3\u30F3\u30C8\u30E9\u30AF\u30C8API\u306FSpec#\u3068\u3068\u3082\u306B\u767A\u5C55\u3057\u3066\u304D\u305F\u3002Spec#\u306FSing#\u306E\u57FA\u790E\u306B\u3082\u306A\u3063\u3066\u3044\u308B\u3002"@ja .
@prefix dct:	<http://purl.org/dc/terms/> .
dbpedia-ja:Spec_Sharp	dct:subject	<http://ja.dbpedia.org/resource/Category:\u30DE\u30A4\u30AF\u30ED\u30BD\u30D5\u30C8\u306E\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0\u8A00\u8A9E> ,
		<http://ja.dbpedia.org/resource/Category:.NET_Framework> ,
		<http://ja.dbpedia.org/resource/Category:\u5F62\u5F0F\u624B\u6CD5\u30C4\u30FC\u30EB> .
@prefix ns9:	<http://ja.dbpedia.org/resource/Category:> .
dbpedia-ja:Spec_Sharp	dct:subject	ns9:C_Sharp ,
		<http://ja.dbpedia.org/resource/Category:\u5F62\u5F0F\u4ED5\u69D8\u8A18\u8FF0\u8A00\u8A9E> ;
	dbo:wikiPageID	3787001 ;
	dbo:wikiPageRevisionID	92266773 ;
	dbo:wikiPageWikiLink	<http://ja.dbpedia.org/resource/\u30B7\u30E5\u30D7\u30EA\u30F3\u30AC\u30FC\u30FB\u30B5\u30A4\u30A8\u30F3\u30B9\u30FB\u30A2\u30F3\u30C9\u30FB\u30D3\u30B8\u30CD\u30B9\u30FB\u30E1\u30C7\u30A3\u30A2> ,
		<http://ja.dbpedia.org/resource/\u30DE\u30EB\u30C1\u30D1\u30E9\u30C0\u30A4\u30E0\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0\u8A00\u8A9E> ,
		<http://ja.dbpedia.org/resource/\u4E0D\u5909\u6761\u4EF6> ,
		<http://ja.dbpedia.org/resource/\u578B\u30B7\u30B9\u30C6\u30E0> ,
		ns9:C_Sharp ,
		<http://ja.dbpedia.org/resource/Category:\u30DE\u30A4\u30AF\u30ED\u30BD\u30D5\u30C8\u306E\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0\u8A00\u8A9E> ,
		dbpedia-ja:C_Sharp ,
		<http://ja.dbpedia.org/resource/.NET_Framework> ,
		dbpedia-ja:Sing_sharp ,
		<http://ja.dbpedia.org/resource/\u4E8B\u5F8C\u6761\u4EF6> ,
		dbpedia-ja:CodePlex ,
		<http://ja.dbpedia.org/resource/\u69CB\u9020\u5316\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0> ,
		<http://ja.dbpedia.org/resource/\u95A2\u6570\u578B\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0> ,
		<http://ja.dbpedia.org/resource/\u30B5\u30D6\u30BF\u30A4\u30D4\u30F3\u30B0_(\u8A08\u7B97\u6A5F\u79D1\u5B66)> ,
		dbpedia-ja:Eiffel ,
		<http://ja.dbpedia.org/resource/\u81EA\u52D5\u5B9A\u7406\u8A3C\u660E> ,
		dbpedia-ja:Microsoft_Research ,
		<http://ja.dbpedia.org/resource/\u30AA\u30D6\u30B8\u30A7\u30AF\u30C8\u6307\u5411\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0> ,
		<http://ja.dbpedia.org/resource/Category:.NET_Framework> ,
		<http://ja.dbpedia.org/resource/\u4E8B\u524D\u6761\u4EF6> ,
		dbpedia-ja:Singularity ,
		<http://ja.dbpedia.org/resource/\u9759\u7684\u578B\u4ED8\u3051> ,
		<http://ja.dbpedia.org/resource/\u547D\u4EE4\u578B\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0> ,
		<http://ja.dbpedia.org/resource/\u9759\u7684\u30B3\u30FC\u30C9\u89E3\u6790> ,
		<http://ja.dbpedia.org/resource/Category:\u5F62\u5F0F\u624B\u6CD5\u30C4\u30FC\u30EB> ,
		<http://ja.dbpedia.org/resource/Category:\u5F62\u5F0F\u4ED5\u69D8\u8A18\u8FF0\u8A00\u8A9E> ,
		<http://ja.dbpedia.org/resource/\u4ED5\u69D8\u8A18\u8FF0\u8A00\u8A9E> ,
		<http://ja.dbpedia.org/resource/\u30DE\u30A4\u30AF\u30ED\u30BD\u30D5\u30C8\u30EA\u30B5\u30FC\u30C1> ,
		dbpedia-ja:C_sharp ,
		<http://ja.dbpedia.org/resource/\u5951\u7D04\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0> ,
		<http://ja.dbpedia.org/resource/\u30A4\u30D9\u30F3\u30C8\u99C6\u52D5\u578B\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0> ,
		<http://ja.dbpedia.org/resource/\u5951\u7D04> ,
		<http://ja.dbpedia.org/resource/\u691C\u67FB\u4F8B\u5916> ;
	dbo:wikiPageExternalLink	<http://rise4fun.com/specsharp/> ,
		<http://research.microsoft.com/specsharp/> ,
		<http://specsharp.codeplex.com/> ;
	foaf:name	"Spec#"@ja .
@prefix prop-en:	<http://ja.dbpedia.org/property/> .
@prefix template-en:	<http://ja.dbpedia.org/resource/Template:> .
dbpedia-ja:Spec_Sharp	prop-en:wikiPageUsesTemplate	template-en:URL ,
		<http://ja.dbpedia.org/resource/Template:\u8A18\u4E8B\u540D\u306E\u5236\u7D04> ,
		template-en:Start_date_and_age ,
		template-en:Code ,
		<http://ja.dbpedia.org/resource/Template:\u811A\u6CE8\u30D8\u30EB\u30D7> ,
		<http://ja.dbpedia.org/resource/Template:\u53C2\u7167\u65B9\u6CD5> ,
		<http://ja.dbpedia.org/resource/Template:Infobox_\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0\u8A00\u8A9E> ,
		template-en:Reflist ;
	prop-en:date	2018 ;
	prop-en:section	1 ;
	<http://ja.dbpedia.org/property/\u540D\u524D>	"Spec#"@ja ;
	<http://ja.dbpedia.org/property/\u8A2D\u8A08\u8005>	dbpedia-ja:Microsoft_Research ;
	<http://ja.dbpedia.org/property/\u30D1\u30E9\u30C0\u30A4\u30E0>	<http://ja.dbpedia.org/resource/\u69CB\u9020\u5316\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0> ,
		<http://ja.dbpedia.org/resource/\u30AA\u30D6\u30B8\u30A7\u30AF\u30C8\u6307\u5411\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0> ,
		<http://ja.dbpedia.org/resource/\u95A2\u6570\u578B\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0> ,
		<http://ja.dbpedia.org/resource/\u30DE\u30EB\u30C1\u30D1\u30E9\u30C0\u30A4\u30E0\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0\u8A00\u8A9E> ,
		<http://ja.dbpedia.org/resource/\u30A4\u30D9\u30F3\u30C8\u99C6\u52D5\u578B\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0> ,
		<http://ja.dbpedia.org/resource/\u547D\u4EE4\u578B\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0> ,
		<http://ja.dbpedia.org/resource/\u5951\u7D04\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0> ;
	<http://ja.dbpedia.org/property/\u578B\u4ED8\u3051>	<http://ja.dbpedia.org/resource/\u578B\u30B7\u30B9\u30C6\u30E0> ,
		<http://ja.dbpedia.org/resource/\u9759\u7684\u578B\u4ED8\u3051> ,
		<http://ja.dbpedia.org/resource/\u30B5\u30D6\u30BF\u30A4\u30D4\u30F3\u30B0_(\u8A08\u7B97\u6A5F\u79D1\u5B66)> ;
	<http://ja.dbpedia.org/property/\u5F71\u97FF\u3092\u4E0E\u3048\u305F\u8A00\u8A9E>	dbpedia-ja:Sing_sharp ;
	<http://ja.dbpedia.org/property/\u6700\u65B0\u30EA\u30EA\u30FC\u30B9>	"SpecSharp 2011-10-03"@ja ;
	<http://ja.dbpedia.org/property/\u958B\u767A\u8005>	dbpedia-ja:Microsoft_Research ;
	<http://ja.dbpedia.org/property/\u5F71\u97FF\u3092\u53D7\u3051\u305F\u8A00\u8A9E>	dbpedia-ja:Eiffel ,
		dbpedia-ja:C_Sharp ;
	dbo:abstract	"Spec#\u3068\u306F\u3001C#\u306BEiffel\u98A8\u306E\u4ED5\u69D8\u8A18\u8FF0\u8A00\u8A9E\u7684\u8981\u7D20\u3092\u8FFD\u52A0\u3057\u305F\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0\u8A00\u8A9E\u3067\u3042\u308B\u3002Spec#\u3067\u306F\u30AA\u30D6\u30B8\u30A7\u30AF\u30C8\u4E0D\u5909\u6761\u4EF6\u30FB\u30FB\u306A\u3069\u306E\u5951\u7D04\u3092\u8A18\u8FF0\u3059\u308B\u305F\u3081\u306E\u69CB\u6587\u3092\u6301\u3064\u3002ESC/Java\u306E\u3088\u3046\u306B\u3001\u5B9A\u7406\u8A3C\u660E\u6A5F\u3092\u7528\u3044\u305F\u9759\u7684\u691C\u8A3C\u30C4\u30FC\u30EB\u3092\u6301\u3063\u3066\u304A\u308A\u3001\u4E0D\u5909\u6761\u4EF6\u306E\u591A\u304F\u3092\u9759\u7684\u306B\u691C\u8A3C\u3067\u304D\u308B\u3002 .NET Framework 4.0\u306B\u304A\u3051\u308B\u30B3\u30FC\u30C9\u30B3\u30F3\u30C8\u30E9\u30AF\u30C8API\u306FSpec#\u3068\u3068\u3082\u306B\u767A\u5C55\u3057\u3066\u304D\u305F\u3002Spec#\u306FSing#\u306E\u57FA\u790E\u306B\u3082\u306A\u3063\u3066\u3044\u308B\u3002"@ja .
@prefix xsd:	<http://www.w3.org/2001/XMLSchema#> .
dbpedia-ja:Spec_Sharp	dbo:wikiPageLength	"2362"^^xsd:nonNegativeInteger .
@prefix prov:	<http://www.w3.org/ns/prov#> .
dbpedia-ja:Spec_Sharp	prov:wasDerivedFrom	<http://ja.wikipedia.org/wiki/Spec_Sharp?oldid=92266773&ns=0> .
@prefix ns14:	<http://ja.wikipedia.org/wiki/> .
dbpedia-ja:Spec_Sharp	foaf:isPrimaryTopicOf	ns14:Spec_Sharp .
<http://ja.dbpedia.org/resource/\u30DE\u30A4\u30AF\u30ED\u30BD\u30D5\u30C8\u30EA\u30B5\u30FC\u30C1>	dbo:wikiPageWikiLink	dbpedia-ja:Spec_Sharp .
<http://ja.dbpedia.org/resource/\u5951\u7D04\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0>	dbo:wikiPageWikiLink	dbpedia-ja:Spec_Sharp .
dbpedia-ja:Sing_Sharp	dbo:wikiPageWikiLink	dbpedia-ja:Spec_Sharp ;
	dbo:wikiPageRedirects	dbpedia-ja:Spec_Sharp .
@prefix dbpedia-wikidata:	<http://wikidata.dbpedia.org/resource/> .
dbpedia-wikidata:Q1717800	owl:sameAs	dbpedia-ja:Spec_Sharp .
ns14:Spec_Sharp	foaf:primaryTopic	dbpedia-ja:Spec_Sharp .