upload papers

Yosuke-Ito-345 · Jul 8, 2022 · 0deb3b8 · 0deb3b8
1 parent 674a1bd
commit 0deb3b8
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/doc/README.md b/doc/README.md
@@ -2,8 +2,9 @@
 
 - Formalizing_Actuarial_Mathematics_ver.1.1.pdf  
 presentation slide used in The 17th Theorem Proving and Provers meeting (TPP 2021) on November 21, 2021, at Kitami, Japan.
-- 定理証明支援系Coqを用いたアクチュアリー数学の形式化_ver.2.0.pdf  
-2021年度日本アクチュアリー会年次大会発表論文(プレプリント), 2021年12月16日.
+- 定理証明支援系Coqを用いたアクチュアリー数学の形式化_ver.3.2.pdf  
+日本アクチュアリー会会報2022年10月下旬掲載予定(2021年度日本アクチュアリー会年次大会発表論文).
+- 定理証明支援系Coqを用いたアクチュアリー数学の形式化_英文サマリー_ver.1.0.pdf  
+English summary of "定理証明支援系Coqを用いたアクチュアリー数学の形式化_ver.3.2.pdf".
 - 定理証明支援系Coqを用いたアクチュアリー数学の形式化_配布資料_ver.1.1.pdf  
 2021年度日本アクチュアリー会年次大会論文発表配布資料, 2021年11月5日.
-