出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2024/11/03 15:15 UTC 版)
|
この存命人物の記事には検証可能な出典が不足しています。 (2012年1月)
|
ジャン＝イヴ・ジラール（Jean-Yves Girard、1947年 - ）は証明論の研究を行なっているフランスの論理学者。System Fの強正規化性の証明や、線形論理、相互作用の幾何、ludicsの発見などの功績がある。
 |
この項目は、学者に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（PJ:人物伝/P:教育）。 |
 |
 |
この項目は、まだ閲覧者の調べものの参照としては役立たない、人物に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（P:人物伝/PJ:人物伝）。 |
| ジャン＝イヴ・ジラールのお隣キーワード |
ジャン＝イヴ・ジラールのページの著作権
Weblio 辞書
情報提供元は
参加元一覧
にて確認できます。
|
All text is available under the terms of the GNU Free Documentation License. この記事は、ウィキペディアのジャン＝イヴ・ジラール (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。 |
ビジネス｜業界用語｜コンピュータ｜電車｜自動車・バイク｜船｜工学｜建築・不動産｜学問
文化｜生活｜ヘルスケア｜趣味｜スポーツ｜生物｜食品｜人名｜方言｜辞書・百科事典
|
ご利用にあたって
|
便利な機能
|
お問合せ・ご要望
|
会社概要
|
ウェブリオのサービス
|
©2025 GRAS Group, Inc.RSS
