ジャン＝イヴ・ジラール
| 読み | ジャンイヴジラール |
|---|---|
| 生年月日 | 1947年01月01日生 |
| 年齢 | 満77歳10ヶ月 |
| 星座 | 山羊座(やぎ座, Capricorn, The Goat) |
| 干支 | 亥年(いのしし・い年) |
| 運命星 | 金星人(－)[運命数17, 星数17] |
ジャン＝イヴ・ジラール(Jean-Yves Girard、1947年 - )は証明論の研究を行なっているフランスの論理学者。System Fの強正規化性の証明や、線形論理、相互作用の幾何、ludicsの発見などの功績がある。
[ ウィキペディアで続きを見る... ]
[ ウィキペディアで続きを見る... ]
◆「ジャン＝イヴ・ジラール」と同じカテゴリ
◆「ジャン＝イヴ・ジラール」の外部リンク