Toggle navigation
Faceted Browser
Sparql Endpoint
Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
LODmilla Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
CSV
JSON-LD
About:
ジャン=イヴ・ジラール
An Entity of Type :
Thing
, from Named Graph :
http://ja.dbpedia.org
, within Data Space :
ja.dbpedia.org
ジャン=イヴ・ジラール(Jean-Yves Girard、1947年 - )は証明論の研究を行なっているフランスの論理学者。System Fのの証明や、線形論理、、の発見などの功績がある。
Property
Value
dbo:
abstract
ジャン=イヴ・ジラール(Jean-Yves Girard、1947年 - )は証明論の研究を行なっているフランスの論理学者。System Fのの証明や、線形論理、、の発見などの功績がある。
(ja)
ジャン=イヴ・ジラール(Jean-Yves Girard、1947年 - )は証明論の研究を行なっているフランスの論理学者。System Fのの証明や、線形論理、、の発見などの功績がある。
(ja)
dbo:
wikiPageExternalLink
http://iml.univ-mrs.fr/~girard/
dbo:
wikiPageID
2508203
(xsd:integer)
dbo:
wikiPageLength
606
(xsd:nonNegativeInteger)
dbo:
wikiPageRevisionID
84818933
(xsd:integer)
dbo:
wikiPageWikiLink
dbpedia-ja
:Category:存命人物
dbpedia-ja
:Category:証明論研究者
dbpedia-ja
:System_F
dbpedia-ja
:1947年
dbpedia-ja
:Category:フランスの論理学者
dbpedia-ja
:Category:ヨーロッパ・アカデミー会員
dbpedia-ja
:線形論理
dbpedia-ja
:証明論
dbpedia-ja
:Category:1947年生
dbpedia-ja
:Category:20世紀の論理学者
dbpedia-ja
:Category:20世紀フランスの哲学者
dbpedia-ja
:Category:21世紀の論理学者
dbpedia-ja
:Category:21世紀フランスの哲学者
dbpedia-ja
:論理学者
dbpedia-ja
:強正規化性
dbpedia-ja
:Ludics
dbpedia-ja
:相互作用の幾何
prop-ja:
wikiPageUsesTemplate
template-ja
:Academic-bio-stub
template-ja
:People-substub
template-ja
:Normdaten
template-ja
:存命人物の出典明記
template-ja
:MathGenealogy
dct:
subject
dbpedia-ja
:Category:存命人物
dbpedia-ja
:Category:証明論研究者
dbpedia-ja
:Category:フランスの論理学者
dbpedia-ja
:Category:ヨーロッパ・アカデミー会員
dbpedia-ja
:Category:1947年生
dbpedia-ja
:Category:20世紀の論理学者
dbpedia-ja
:Category:20世紀フランスの哲学者
dbpedia-ja
:Category:21世紀の論理学者
dbpedia-ja
:Category:21世紀フランスの哲学者
rdfs:
comment
ジャン=イヴ・ジラール(Jean-Yves Girard、1947年 - )は証明論の研究を行なっているフランスの論理学者。System Fのの証明や、線形論理、、の発見などの功績がある。
(ja)
ジャン=イヴ・ジラール(Jean-Yves Girard、1947年 - )は証明論の研究を行なっているフランスの論理学者。System Fのの証明や、線形論理、、の発見などの功績がある。
(ja)
rdfs:
label
ジャン=イヴ・ジラール
(ja)
ジャン=イヴ・ジラール
(ja)
owl:
sameAs
freebase
:ジャン=イヴ・ジラール
prov:
wasDerivedFrom
wikipedia-ja
:ジャン=イヴ・ジラール?oldid=84818933&ns=0
foaf:
isPrimaryTopicOf
wikipedia-ja
:ジャン=イヴ・ジラール
is
dbo:
wikiPageWikiLink
of
dbpedia-ja
:System_F
dbpedia-ja
:カリー=ハワード同型対応
dbpedia-ja
:ペール・マルティン=レーフ
dbpedia-ja
:ポリモーフィズム
dbpedia-ja
:直観主義型理論
dbpedia-ja
:線形論理
dbpedia-ja
:ポンスレ賞
is
owl:
sameAs
of
dbpedia-wikidata
:ジャン=イヴ・ジラール
is
foaf:
primaryTopic
of
wikipedia-ja
:ジャン=イヴ・ジラール