About: SATySFi

SATySFi (/ˈsætɪsfaɪ/、サティスファイ、Static Analysis-based TYpesetting System for Functional Implementation) は、クロスプラットフォームの組版処理システムである。開発者は。 IPAの2017年度の未踏IT人材発掘・育成事業として採択され、支援の下に開発された。

Property	Value
dbo:abstract	SATySFi (/ˈsætɪsfaɪ/、サティスファイ、Static Analysis-based TYpesetting System for Functional Implementation) は、クロスプラットフォームの組版処理システムである。開発者は。 IPAの2017年度の未踏IT人材発掘・育成事業として採択され、支援の下に開発された。 (ja) SATySFi (/ˈsætɪsfaɪ/、サティスファイ、Static Analysis-based TYpesetting System for Functional Implementation) は、クロスプラットフォームの組版処理システムである。開発者は。 IPAの2017年度の未踏IT人材発掘・育成事業として採択され、支援の下に開発された。 (ja)
dbo:latestPreviewVersion	0.0.6
dbo:thumbnail	wiki-commons:Special:FilePath/SATySFi_logo.svg?width=300
dbo:wikiPageExternalLink	https://github.com/gfngfn/SATySFi https://github.com/gfngfn/SATySFi/wiki
dbo:wikiPageID	3877978 (xsd:integer)
dbo:wikiPageLength	2704 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	86474287 (xsd:integer)
dbo:wikiPageWikiLink	dbpedia-ja:Category:オープンソースソフトウェア dbpedia-ja:Category:マークアップ言語 dbpedia-ja:Category:関数型言語 dbpedia-ja:F_Sharp dbpedia-ja:GNU_Lesser_General_Public_License dbpedia-ja:LaTeX dbpedia-ja:OCaml dbpedia-ja:クロスプラットフォーム dbpedia-ja:プリミティブ型 dbpedia-ja:可読性 dbpedia-ja:情報処理推進機構 dbpedia-ja:組版 dbpedia-ja:静的型付け dbpedia-ja:関数型言語 dbpedia-ja:諏訪敬之 dbpedia-ja:PDF dbpedia-ja:HTML dbpedia-ja:ファイル:SATySFi_logo.svg
prop-ja:author	dbpedia-ja:諏訪敬之
prop-ja:genre	dbpedia-ja:組版
prop-ja:latestPreviewVersion	0 (xsd:integer)
prop-ja:license	dbpedia-ja:GNU_Lesser_General_Public_License
prop-ja:logo	250 (xsd:integer)
prop-ja:name	SATySFi (ja) SATySFi (ja)
prop-ja:operatingSystem	dbpedia-ja:クロスプラットフォーム
prop-ja:programmingLanguage	dbpedia-ja:OCaml
prop-ja:status	開発中 (ja) 開発中 (ja)
prop-ja:website	https://github.com/gfngfn/SATySFi
prop-ja:wikiPageUsesTemplate	template-ja:GitHub template-ja:IPA template-ja:Infobox_Software template-ja:LaTeX template-ja:Portal template-ja:Reflist template-ja:Software-stub template-ja:Start_date_and_age template-ja:マークアップ言語一覧
dct:subject	dbpedia-ja:Category:オープンソースソフトウェア dbpedia-ja:Category:マークアップ言語 dbpedia-ja:Category:関数型言語
rdf:type	owl:Thing dbo:Software dbo:Work schema:CreativeWork wikidata:Q386724 wikidata:Q7397
rdfs:comment	SATySFi (/ˈsætɪsfaɪ/、サティスファイ、Static Analysis-based TYpesetting System for Functional Implementation) は、クロスプラットフォームの組版処理システムである。開発者は。 IPAの2017年度の未踏IT人材発掘・育成事業として採択され、支援の下に開発された。 (ja) SATySFi (/ˈsætɪsfaɪ/、サティスファイ、Static Analysis-based TYpesetting System for Functional Implementation) は、クロスプラットフォームの組版処理システムである。開発者は。 IPAの2017年度の未踏IT人材発掘・育成事業として採択され、支援の下に開発された。 (ja)
rdfs:label	SATySFi (ja) SATySFi (ja)
prov:wasDerivedFrom	wikipedia-ja:SATySFi?oldid=86474287&ns=0
foaf:depiction	wiki-commons:Special:FilePath/SATySFi_logo.svg
foaf:homepage	https://github.com/gfngfn/SATySFi
foaf:isPrimaryTopicOf	wikipedia-ja:SATySFi
foaf:name	SATySFi (ja) SATySFi (ja)
is owl:sameAs of	dbpedia-wikidata:SATySFi
is foaf:primaryTopic of	wikipedia-ja:SATySFi