文献

J-GLOBAL ID：202102277842043119   整理番号：21A0448635

証明アシスタントにおける再帰関数の条件付き特性の発見【JST・京大機械翻訳】

Discovering conditional properties of recursive functions in a proof assistant

著者 (2件)： Sato Haruhiko (Hokkai-Gakuen University,Department of Electronics and Information Engineering,Sapporo,Hokkaido) ,  Ishii Natsuo (Hokkai-Gakuen University,Department of Electronics and Information Engineering,Sapporo,Hokkaido)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2020  号： SCIS&ISIS  ページ： 1-4  発行年： 2020年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 理論探査は,与えられた数学的理論における定理の収集を自動的に発見するためのボトムアップアプローチである。正しさ特性が誘導によってしばしば証明されるので,プログラムの検証のために特に重要であり,そのような帰納的証明は本質的に多くの補助定理を必要とする。理論探査において,構文的に複雑な特性を見つけるのは難しい。特に,条件付き特性の探査に関して,あまり研究されていない。本論文では,一般化に基づくトップダウンアプローチが,例を通して複雑な条件付き特性を見つけるために,理論探査においてどのように使用できるかを研究した。Copyright 2021 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *帰納的関数

分類 (3件)： 医用画像処理  (JE04020T) ,  NMR一般  (BM07041R) ,  図形・画像処理一般  (JE04010I)

タイトルに関連する用語 (3件)： 証明 ,  再帰関数 ,  発見