NCID | DA19042119 |
名称(HDNG) | Affeldt, Reynald, 1976- |
生没年(DATE) | 1976 |
から見よ(SF) | アフェルト, レナルド||アフェルト, レナルド 阿费尓特, 雷纳尓多||a fei er te, lei na er duo |
注記(NOTE) | 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年より国立研究開発法人産業技術総合研究所, 主任研究員. |