From c139d347bfa02bd59847cb1dfec2d61d6e1b198e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=E6=9D=BE=E6=B5=A6=20=E7=9F=A5=E4=B9=9F=20Matsuura=20Tomoy?=
 =?UTF-8?q?a?= <me@matsuuratomoya.com>
Date: Thu, 10 Oct 2024 08:33:30 +0000
Subject: [PATCH] fixed grant number

---
 src/content.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/content.tex b/src/content.tex
index ba73ecc..eb401c4 100644
--- a/src/content.tex
+++ b/src/content.tex
@@ -425,4 +425,4 @@ This paper proposes \lambdammm, a call-by-value, simply typed lambda calculus-ba
     
     \section{Acknowledgments}
     
-    This study was supported by JSPS KAKENHI (Grant No. \\JP19K21615). I would also like to thank the many anonymous reviewers.    
\ No newline at end of file
+    This study was supported by JSPS KAKENHI (Grant No. \\23K12059). I would also like to thank the many anonymous reviewers.    
\ No newline at end of file