Affeldt, Reynald, 1976-
著者名典拠詳細を表示
著者の属性 | 個人 |
---|---|
場所 | Lens (France) |
一般注記 | Reynald Affeldt's Homepage (https://staff.aist.go.jp/reynald.affeldt/) viewed May 25, 2018: ( ... 阿费尓特 雷纳尓多, I am a senior research scientist (主任研究員) at AIST (National Institute of Advanced Industrial Science and Technology) (overview of AIST in 2017). I work in the Information Technology Research Institute. ... ) SRC:Coq/ssreflect/mathcompによる定理証明 : フリーソフトではじめる数学の形式化 / 萩原学, アフェルト・レナルド共著(森北出版, 2018.4): 奥付ページ (アフェルト・レナルド(Reynald Affeldt) 1976年, パ=ド=カレー県ランス市(フランス)生まれ. ... 2005年より国立研究開発法人産業技術総合研究所, 主任研究員. |
生没年等 | 1976 |
から見よ参照 | アフェルト, レナルド<アフェルト, レナルド> 阿费尓特, 雷纳尓多<a fei er te, lei na er duo> |
コード類 | 典拠ID=AU20044409 NCID=DA19042119 |
1 | Coq/Ssreflect/Mathcompによる定理証明 : フリーソフトではじめる数学の形式化 / 萩原学, アフェルト・レナルド共著 東京 : 森北出版 , 2018.4 |