• 小
  • 中
  • 大
ENGLISH 使い方
文献、特許、研究者などの科学技術情報サイト
詳細検索
すべて

同義語を見る(0)

専門用語を詳しく探す

シソーラスmap クリップ

ー



MyJ-GLOBALにログインしてご利用ください。
はじめての方はアカウント登録をお願いします。
MyJ-GLOBAL とは？
ログイン 新規登録
クリップ数の上限を超えました (最大クリップ数: 600)
閉じる
リセット
「検索方法」ページへ
詳細検索：
を探す
　詳細検索を行う基本情報を選んでください
フリーワード
～
構造検索
構造検索の利用方法
NEW R FG i
C N O S F Cl Br I P X
JSME Molecular Editor by Peter Ertl and Bruno Bienfait
drag out MOL or RXN file
構造ファイル取込

MOLfileがご利用頂けます。 (V3000形式はご利用頂けません）

              
詳細情報
関連リンク
探す

共著の研究者

共同発明の研究者

この研究者の研究内容に近い研究者

この研究者の研究内容に近い文献

この研究者の研究内容に近い特許

この研究者の研究内容に近い研究課題

この研究者が著者と推定される文献

この研究者が発明者と推定される特許

研究者
J-GLOBAL ID：200901098816150289   更新日: 2024年10月31日

Affeldt Reynald

アフェルト レナルド | Affeldt Reynald
クリップ
所属機関・部署：
独立行政法人産業技術総合研究所 デジタルアーキテクチャ研究センター

独立行政法人産業技術総合研究所 デジタルアーキテクチャ研究センター について


職名： 上級主任研究員
ホームページURL (1件)： https://staff.aist.go.jp/reynald.affeldt/
研究分野 (1件)： ソフトウェア
競争的資金等の研究課題 (8件)：
  • 2022 - 2026 物理的・確率的システムの検証を支える形式的基盤の構築
  • 2022 - 2025 論理体系への翻訳によるプログラミング言語の型健全性の保証
  • 2018 - 2021 確率的グラフィカルモデルの形式検証とその人工知能への応用
  • 2015 - 2018 ビッグデータ処理の形式検証に向けて
  • 2015 - 2018 安全な協調ロボット制御ソフトウェア開発方法の研究
全件表示
論文 (49件)：
  • Yoshihiro ISHIGURO, Reynald AFFELDT. The Radon-Nikodým Theorem and the Lebesgue-Stieltjes Measure in Coq. Computer Software. 2024. 41. 2. 41-59
  • Reynald Affeldt. Taming Differentiable Logics with Coq Formalisation. ArXiv. 2024
  • Reynald Affeldt. A Comprehensive Overview of the Lebesgue Differentiation Theorem in Coq. ArXiv. 2024
  • Reynald Affeldt. Measure Construction by Extension in Dependent Type Theory with Application to Integration. ArXiv. 2023. 67. 3. 28:1-28:27
  • Reynald Affeldt, Cyril Cohen, Ayumu Saito. Semantics of Probabilistic Programs using s-Finite Kernels in Coq. Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs. 2023. 3-16
もっと見る
MISC (1件)：
  • AFFELDT Reynald. ふご[ζ×]う : 符号理論∈数学∩工学(第10回)形式的な符号理論に向けて. 数学セミナー. 2013. 52. 4. 74-79
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM