This HTML5 document contains 45 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/
schemahttp://schema.org/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n4https://code.google.com/archive/p/
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n14http://sourceforge.net/projects/shedskin/
n6http://ja.dbpedia.org/resource/Category:
n12http://ja.wikipedia.org/wiki/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbpedia-jahttp://ja.dbpedia.org/resource/
prop-enhttp://ja.dbpedia.org/property/

Statements

Subject Item
dbpedia-ja:Cython
dbo:wikiPageWikiLink
dbpedia-ja:Shed_Skin
Subject Item
dbpedia-ja:Psyco
dbo:wikiPageWikiLink
dbpedia-ja:Shed_Skin
Subject Item
dbpedia-ja:Shed_Skin
rdf:type
dbo:Software wikidata:Q386724 dbo:Work owl:Thing schema:CreativeWork wikidata:Q7397
rdfs:label
Shed Skin
rdfs:comment
Shed Skin は、暗黙的に静的に型付けされたPythonプログラムを最適化されたC++プログラムに変換する実験的なコンパイラである。型についての制約条件を満たすため、プログラムは多くの場合変更する必要があるが、変更した後でも、Python プログラムとしての正しさは保つことができる。Shed Skin は現在のところ Python の標準ライブラリをそれほど使用していない小さなプログラムに限定されている。現在までに変換できた最大のプログラムは 1,600 行である。 Shed Skin では、変数は単一の型のみ持つことができる。すなわち、たとえば a=1; a='1' といったコードは許容されない。単一の型であれば、抽象型や汎用型 (C++におけるテンプレート)でよく、クラス A とクラス B が共通の基底クラスをもてば a=A; a=B というコードは許容される。 Shed Skin によって生成されたコードは Python のランタイムにまったく依存しておらず、ハードウェアの制約がある組み込みシステムでも利用可能である。また Shed Skin はコードの難読化に用いることもできる。C++ コンパイラで生成した機械語はPython のバイトコードよりリバースエンジニアリングが難しいためである。
owl:sameAs
freebase:m.0gjbf5s
dct:subject
n6:Python
dbo:wikiPageID
1537935
dbo:wikiPageRevisionID
91184614
dbo:wikiPageWikiLink
dbpedia-ja:コンパイラ n6:Python dbpedia-ja:バイトコード dbpedia-ja:Psyco dbpedia-ja:C++ dbpedia-ja:難読化コード dbpedia-ja:型システム dbpedia-ja:クロスプラットフォーム dbpedia-ja:Python dbpedia-ja:Pyrex dbpedia-ja:抽象型 dbpedia-ja:PyPy dbpedia-ja:CPython dbpedia-ja:変数_(プログラミング)
dbo:wikiPageExternalLink
n14: n4:shedskin
foaf:name
Shed Skin
prop-en:wikiPageUsesTemplate
template-en:Infobox_Software
foaf:homepage
n4:shedskin
prop-en:class
stub
prop-en:genre
dbpedia-ja:Python
prop-en:license
GNU General Public License
prop-en:name
Shed Skin
prop-en:operatingSystem
dbpedia-ja:クロスプラットフォーム
prop-en:website
n4:shedskin
dbo:abstract
Shed Skin は、暗黙的に静的に型付けされたPythonプログラムを最適化されたC++プログラムに変換する実験的なコンパイラである。型についての制約条件を満たすため、プログラムは多くの場合変更する必要があるが、変更した後でも、Python プログラムとしての正しさは保つことができる。Shed Skin は現在のところ Python の標準ライブラリをそれほど使用していない小さなプログラムに限定されている。現在までに変換できた最大のプログラムは 1,600 行である。 Shed Skin では、変数は単一の型のみ持つことができる。すなわち、たとえば a=1; a='1' といったコードは許容されない。単一の型であれば、抽象型や汎用型 (C++におけるテンプレート)でよく、クラス A とクラス B が共通の基底クラスをもてば a=A; a=B というコードは許容される。 ShedSkin の開発者によって作成されたテストケースでは、Shed Skin は Psyco の psyco.full による方法を使って最適化した同一のコードに対して 2-40 倍高速に動作する。しかし、ShedSkin はコンパイル可能ないくつかのプログラムで、CPython よりも著しく低速に動作する(たとえば、CPython でよく最適化されている set や str 型に大きく依存したプログラム)。. Shed Skin によって生成されたコードは Python のランタイムにまったく依存しておらず、ハードウェアの制約がある組み込みシステムでも利用可能である。また Shed Skin はコードの難読化に用いることもできる。C++ コンパイラで生成した機械語はPython のバイトコードよりリバースエンジニアリングが難しいためである。 C++ の型宣言(たとえばintなど)を生成するための型を推測するため、Shed Skin は型推論の技法を用いている。Shed Skin の型推論は Ole Agesen の Cartesian Product Algorithm と John Plevyak の Iterative Class Splitting の技法を組み合わせて用いている。こうした技法はプログラムサイズの増加に対して、これまでのテストで見られた以上に対応することはできない可能性がある。 Shed Skin は Python の一部の機能のみをサポートした組み込みライブラリの C++ 実装を除くと 6,500 行のコードで記述されている。Shed Skin は Pyrex, Boo, RPython などのプロジェクトに類似した試みである。
dbo:wikiPageLength
2494
prov:wasDerivedFrom
n12:Shed_Skin?oldid=91184614&ns=0
foaf:isPrimaryTopicOf
n12:Shed_Skin
Subject Item
dbpedia-wikidata:Q4049383
owl:sameAs
dbpedia-ja:Shed_Skin
Subject Item
n12:Shed_Skin
foaf:primaryTopic
dbpedia-ja:Shed_Skin