Affeldt Reynald
アフェルト レナルド (Reynald Affeldt)
更新日: 2025/11/11
基本情報
- 所属
- 独立行政法人産業技術総合研究所 デジタルアーキテクチャ研究センター 上級主任研究員
- ORCID iD
https://orcid.org/0000-0002-2327-953X- J-GLOBAL ID
- 200901098816150289
- Researcher ID
- M-5552-2016
- researchmap会員ID
- 5000087059
- 外部リンク
研究キーワード
3研究分野
1経歴
3-
2016年4月 - 現在
-
2005年4月 - 現在
-
2004年10月 - 2005年3月
学歴
4-
2001年10月 - 2004年9月
-
1999年10月 - 2001年9月
-
1996年9月 - 2000年3月
-
1994年9月 - 1996年7月
論文
54-
Lecture Notes in Computer Science 16201 44-64 2025年10月31日 査読有り
-
ACM Transactions on Probabilistic Machine Learning 1(3) 1-34 2025年8月29日 査読有り
-
Lecture Notes in Computer Science 15732 182-192 2025年6月11日 査読有り
-
Journal of Functional Programming 2025年4月 査読有り
-
16th International Conference on Interactive Theorem Proving(ITP) 309 5:1-5:19 2025年 査読有り
-
Computer Software 41(2) 41-59 2024年4月23日 査読有り
-
15th International Conference on Interactive Theorem Proving(ITP) 39-8 2024年 査読有り
-
15th International Conference on Interactive Theorem Proving(ITP) 5-19 2024年 査読有り
-
15th International Conference on Interactive Theorem Proving(ITP) 4-19 2024年 査読有り
-
Journal of Automated Reasoning 67(3) 2023年9月 査読有り
-
Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs 3-16 2023年1月11日 査読有り
-
Programming Languages and Systems - 21st Asian Symposium(APLAS) 182-202 2023年 査読有り
-
Lecture Notes in Computer Science (14th International Conference on Mathematics of Program Construction (MPC 2022), Tbilisi, Georgia, September 26--28, 2022) 13544 151-177 2022年9月22日 査読有り
-
Journal of Functional Programming 31-17 2021年
-
Schloss Dagstuhl - Leibniz-Zentrum für Informatik 188 2:1-2:21 2021年 査読有り
-
Computer Software 37(3) 79-95 2020年8月 査読有り
-
Lecture Notes in Artificial Intelligence; 10th International Joint Conference on Automated Reasoning (IJCAR 2020), Paris, France, June 29--July 6, 2020 12167 3-20 2020年7月 査読有り
-
Journal of Automated Reasoning 64 1123-1164 2020年7月 査読有り
-
Intelligent Computer Mathematics - 13th International Conference(CICM) 23-38 2020年 査読有り
-
31st Journees Francophones des Langages Applicatifs (JFLA 2020), Gruissan, France, January 29--February 1 23-30 2020年1月 査読有り
MISC
3-
コンピュータソフトウェア 34 64-74 2017年4月
-
情報処理 55 482-491 2014年5月
-
数学セミナー 52(4) 74-79 2013年4月
書籍等出版物
2-
森北出版 2018年4月 (ISBN: 9784627062412)
-
日本評論社 2016年
共同研究・競争的資金等の研究課題
12-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2025年4月 - 2029年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(A) 2022年4月 - 2026年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2022年4月 - 2025年3月
-
独立行政法人日本学術振興会 二国間交流事業 共同研究 2020年4月 - 2023年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2018年4月 - 2021年3月
-
独立行政法人日本学術振興会 二国間交流事業 共同研究 2018年3月 - 2020年3月
-
日本学術振興会 科学研究費助成事業 挑戦的萌芽研究 2015年4月 - 2018年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2015年4月 - 2018年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2013年4月 - 2016年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2012年4月 - 2016年3月
-
日本学術振興会 科学研究費助成事業 挑戦的萌芽研究 2011年 - 2013年
-
日本学術振興会 科学研究費助成事業 若手研究(B) 2009年 - 2011年