翻訳と辞書
Words near each other
・ ジャン=アントワーヌ=ニコラ・ド・カリター、マルキー・ド・コンドルセ
・ ジャン=アンドシュ・ジュノー
・ ジャン=アンドレ・フィエシ
・ ジャン=アンドレ・フィエスキ
・ ジャン=アンリ・ダングルベール
・ ジャン=アンリ・ラヴィーナ
・ ジャン=アンリ・ロジェ
・ ジャン=イシドール・アリスプ
・ ジャン=イブ・クーンデ
・ ジャン=イヴ・エスコフィエ
ジャン=イヴ・ジラール
・ ジャン=イヴ・ダニエル=ルシュール
・ ジャン=イヴ・ティボーデ
・ ジャン=イヴ・ベジオ
・ ジャン=イヴ・ボッスール
・ ジャン=イヴ・ル・ドリアン
・ ジャン=ウード・モーリス
・ ジャン=エティエンヌ・ゲタール
・ ジャン=エマニュエル・エッファ・オウォナ
・ ジャン=エメ・ド・シャヴィニー


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

ジャン=イヴ・ジラール : ミニ英和和英辞書
ジャン=イヴ・ジラール[ちょうおん]
=====================================
〔語彙分解〕的な部分一致の検索結果は以下の通りです。

: [ちょうおん]
 (n) long vowel mark (usually only used in katakana)

ジャン=イヴ・ジラール : ウィキペディア日本語版
ジャン=イヴ・ジラール[ちょうおん]

ジャン=イヴ・ジラール(''Jean-Yves Girard'', 1947年–)は証明論の研究を行なっているフランスの論理学者System F強正規化性の証明や、線形論理相互作用の幾何ludicsの発見などの功績がある。
==外部リンク==

*Présentation de JYG
 



抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「ジャン=イヴ・ジラール」の詳細全文を読む




スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.