|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ ー : [ちょうおん] (n) long vowel mark (usually only used in katakana)
ジャン=イヴ・ジラール(''Jean-Yves Girard'', 1947年–)は証明論の研究を行なっているフランスの論理学者。System Fの強正規化性の証明や、線形論理、相互作用の幾何、ludicsの発見などの功績がある。 ==外部リンク== *Présentation de JYG 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「ジャン=イヴ・ジラール」の詳細全文を読む スポンサード リンク
|