@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
@prefix dbpedia-ja:	<http://ja.dbpedia.org/resource/> .
dbpedia-ja:QuickCheck	rdfs:label	"QuickCheck"@ja ;
	rdfs:comment	"QuickCheck\uFF08\u30AF\u30A4\u30C3\u30AF\u30C1\u30A7\u30C3\u30AF\uFF09\u306F\u3001\u30C6\u30B9\u30C8\u30B9\u30A4\u30FC\u30C8\u7528\u306E\u30C6\u30B9\u30C8\u30B1\u30FC\u30B9\u3092\u751F\u6210\u3057\u3066\u30BD\u30D5\u30C8\u30A6\u30A7\u30A2\u30C6\u30B9\u30C8\u3092\u884C\u3046\u305F\u3081\u306E\u3001Haskell\u3067\u66F8\u304B\u308C\u305F\u3067\u3042\u308B\u3002GHC\u30B3\u30F3\u30D1\u30A4\u30E9\u3068\u30A4\u30F3\u30BF\u30D7\u30EA\u30BF\u306B\u5BFE\u5FDC\u3057\u3066\u3044\u308B\u3002 QuickCheck\u3067\u306F\u30D7\u30ED\u30B0\u30E9\u30DE\u306F\u95A2\u6570\u304C\u6E80\u305F\u3059\u3079\u304D\u8AD6\u7406\u7684\u6027\u8CEA\u3092\u30A2\u30B5\u30FC\u30B7\u30E7\u30F3\u3068\u3057\u3066\u66F8\u304F\u3002\u30C6\u30B9\u30C8\u306F\u95A2\u6570\u306E\u5F15\u6570\u306E\u578B\u304C\u53D6\u308A\u5F97\u308B\u5024\u3092\u30E9\u30F3\u30C0\u30E0\u306B\u95A2\u6570\u306B\u4E0E\u3048\u308B\u3053\u3068\u3067\u3001\u30A2\u30B5\u30FC\u30B7\u30E7\u30F3\u304C\u5931\u6557\u3059\u308B\u6761\u4EF6\u3092\u63A2\u305D\u3046\u3068\u8A66\u307F\u308B\u3002\u30D7\u30ED\u30B8\u30A7\u30AF\u30C8\u306F2000\u5E74\u306B\u59CB\u307E\u3063\u305F\u3002QuickCheck\u306F\u901A\u5E38\u306E\u30D7\u30ED\u30B0\u30E9\u30E0\u306E\u30C6\u30B9\u30C8\u306B\u52A0\u3048\u3001\u95A2\u6570\u4ED5\u69D8\u306E\u7B56\u5B9A\u3001\u95A2\u6570\u304C\u3059\u308B\u3079\u304D\u6319\u52D5\u3092\u30C9\u30AD\u30E5\u30E1\u30F3\u30C8\u3068\u3057\u3066\u793A\u3059\u3001\u30B3\u30F3\u30D1\u30A4\u30E9\u306E\u5B9F\u88C5\u3092\u30C6\u30B9\u30C8\u3059\u308B\u3001\u3068\u3044\u3063\u305F\u3053\u3068\u306B\u3082\u6709\u7528\u3067\u3042\u308B\u3002 QuickCheck\u306E\u5B9F\u88C5\u306FHaskell\u4EE5\u5916\u306B\u3082\u591A\u6570\u306E\u8A00\u8A9E\u306B\u79FB\u690D\u3055\u308C\u3066\u3044\u308B\uFF08C, C++, Chicken Scheme, Clojure, Common Lisp, D, Erlang, F#, Factor, Io, Java, JavaScript, Node.js, Objective C, OCaml, Perl, Python, Ruby, Scala, Scheme, Smalltalk, Standard ML\uFF09\u3002"@ja .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
dbpedia-ja:QuickCheck	owl:sameAs	<http://rdf.freebase.com/ns/m.027_qsl> .
@prefix dct:	<http://purl.org/dc/terms/> .
dbpedia-ja:QuickCheck	dct:subject	<http://ja.dbpedia.org/resource/Category:\u30BD\u30D5\u30C8\u30A6\u30A7\u30A2\u30C6\u30B9\u30C6\u30A3\u30F3\u30B0> .
@prefix dbo:	<http://dbpedia.org/ontology/> .
dbpedia-ja:QuickCheck	dbo:wikiPageID	2577299 ;
	dbo:wikiPageRevisionID	72064262 ;
	dbo:wikiPageWikiLink	<http://ja.dbpedia.org/resource/\u30BD\u30D5\u30C8\u30A6\u30A7\u30A2\u30C6\u30B9\u30C8> ,
		dbpedia-ja:Erlang ,
		dbpedia-ja:Standard_ML ,
		<http://ja.dbpedia.org/resource/Category:\u30BD\u30D5\u30C8\u30A6\u30A7\u30A2\u30C6\u30B9\u30C6\u30A3\u30F3\u30B0> ,
		dbpedia-ja:JavaScript ,
		dbpedia-ja:D ,
		<http://ja.dbpedia.org/resource/\u30A4\u30F3\u30BF\u30D7\u30EA\u30BF> ,
		dbpedia-ja:Hugs ,
		dbpedia-ja:GHC ,
		dbpedia-ja:Java ,
		<http://ja.dbpedia.org/resource/C\u8A00\u8A9E> ,
		<http://ja.dbpedia.org/resource/\u30B5\u30D6\u30EB\u30FC\u30C1\u30F3> ,
		dbpedia-ja:Lisp ,
		<http://ja.dbpedia.org/resource/Io_(\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0\u8A00\u8A9E)> ,
		dbpedia-ja:Smalltalk ,
		dbpedia-ja:Python ,
		dbpedia-ja:Scala ,
		<http://ja.dbpedia.org/resource/\u30B3\u30F3\u30D3\u30CD\u30FC\u30BF\u30E9\u30A4\u30D6\u30E9\u30EA> ,
		dbpedia-ja:Clojure ,
		dbpedia-ja:Ruby ,
		dbpedia-ja:Perl ,
		<http://ja.dbpedia.org/resource/Node.js> ,
		dbpedia-ja:OCaml ,
		<http://ja.dbpedia.org/resource/2000\u5E74> ,
		dbpedia-ja:Haskell ,
		dbpedia-ja:Objective_C ,
		<http://ja.dbpedia.org/resource/\u30B3\u30F3\u30D1\u30A4\u30E9> ,
		dbpedia-ja:Scheme ,
		dbpedia-ja:Factor .
@prefix prop-en:	<http://ja.dbpedia.org/property/> .
dbpedia-ja:QuickCheck	prop-en:wikiPageUsesTemplate	<http://ja.dbpedia.org/resource/Template:\u51FA\u5178\u306E\u660E\u8A18> ;
	dbo:abstract	"QuickCheck\uFF08\u30AF\u30A4\u30C3\u30AF\u30C1\u30A7\u30C3\u30AF\uFF09\u306F\u3001\u30C6\u30B9\u30C8\u30B9\u30A4\u30FC\u30C8\u7528\u306E\u30C6\u30B9\u30C8\u30B1\u30FC\u30B9\u3092\u751F\u6210\u3057\u3066\u30BD\u30D5\u30C8\u30A6\u30A7\u30A2\u30C6\u30B9\u30C8\u3092\u884C\u3046\u305F\u3081\u306E\u3001Haskell\u3067\u66F8\u304B\u308C\u305F\u3067\u3042\u308B\u3002GHC\u30B3\u30F3\u30D1\u30A4\u30E9\u3068\u30A4\u30F3\u30BF\u30D7\u30EA\u30BF\u306B\u5BFE\u5FDC\u3057\u3066\u3044\u308B\u3002 QuickCheck\u3067\u306F\u30D7\u30ED\u30B0\u30E9\u30DE\u306F\u95A2\u6570\u304C\u6E80\u305F\u3059\u3079\u304D\u8AD6\u7406\u7684\u6027\u8CEA\u3092\u30A2\u30B5\u30FC\u30B7\u30E7\u30F3\u3068\u3057\u3066\u66F8\u304F\u3002\u30C6\u30B9\u30C8\u306F\u95A2\u6570\u306E\u5F15\u6570\u306E\u578B\u304C\u53D6\u308A\u5F97\u308B\u5024\u3092\u30E9\u30F3\u30C0\u30E0\u306B\u95A2\u6570\u306B\u4E0E\u3048\u308B\u3053\u3068\u3067\u3001\u30A2\u30B5\u30FC\u30B7\u30E7\u30F3\u304C\u5931\u6557\u3059\u308B\u6761\u4EF6\u3092\u63A2\u305D\u3046\u3068\u8A66\u307F\u308B\u3002\u30D7\u30ED\u30B8\u30A7\u30AF\u30C8\u306F2000\u5E74\u306B\u59CB\u307E\u3063\u305F\u3002QuickCheck\u306F\u901A\u5E38\u306E\u30D7\u30ED\u30B0\u30E9\u30E0\u306E\u30C6\u30B9\u30C8\u306B\u52A0\u3048\u3001\u95A2\u6570\u4ED5\u69D8\u306E\u7B56\u5B9A\u3001\u95A2\u6570\u304C\u3059\u308B\u3079\u304D\u6319\u52D5\u3092\u30C9\u30AD\u30E5\u30E1\u30F3\u30C8\u3068\u3057\u3066\u793A\u3059\u3001\u30B3\u30F3\u30D1\u30A4\u30E9\u306E\u5B9F\u88C5\u3092\u30C6\u30B9\u30C8\u3059\u308B\u3001\u3068\u3044\u3063\u305F\u3053\u3068\u306B\u3082\u6709\u7528\u3067\u3042\u308B\u3002 QuickCheck\u306E\u5B9F\u88C5\u306FHaskell\u4EE5\u5916\u306B\u3082\u591A\u6570\u306E\u8A00\u8A9E\u306B\u79FB\u690D\u3055\u308C\u3066\u3044\u308B\uFF08C, C++, Chicken Scheme, Clojure, Common Lisp, D, Erlang, F#, Factor, Io, Java, JavaScript, Node.js, Objective C, OCaml, Perl, Python, Ruby, Scala, Scheme, Smalltalk, Standard ML\uFF09\u3002"@ja .
@prefix xsd:	<http://www.w3.org/2001/XMLSchema#> .
dbpedia-ja:QuickCheck	dbo:wikiPageLength	"757"^^xsd:nonNegativeInteger .
@prefix prov:	<http://www.w3.org/ns/prov#> .
dbpedia-ja:QuickCheck	prov:wasDerivedFrom	<http://ja.wikipedia.org/wiki/QuickCheck?oldid=72064262&ns=0> .
@prefix foaf:	<http://xmlns.com/foaf/0.1/> .
@prefix ns9:	<http://ja.wikipedia.org/wiki/> .
dbpedia-ja:QuickCheck	foaf:isPrimaryTopicOf	ns9:QuickCheck .
<http://ja.dbpedia.org/resource/\u30E6\u30CB\u30C3\u30C8\u30C6\u30B9\u30C8\u30FB\u30D5\u30EC\u30FC\u30E0\u30EF\u30FC\u30AF\u4E00\u89A7>	dbo:wikiPageWikiLink	dbpedia-ja:QuickCheck .
@prefix dbpedia-wikidata:	<http://wikidata.dbpedia.org/resource/> .
dbpedia-wikidata:Q2886113	owl:sameAs	dbpedia-ja:QuickCheck .
ns9:QuickCheck	foaf:primaryTopic	dbpedia-ja:QuickCheck .
@prefix rdf:	<http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
<http://ja.dbpedia.org/data/QuickCheck.ntriples>	rdf:type	foaf:Document ;
	foaf:primaryTopic	dbpedia-ja:QuickCheck .