From d962d14204ac9d15dbc4cb9b2b65055bcee8c5b2 Mon Sep 17 00:00:00 2001
From: nsfisis <nsfisis@gmail.com>
Date: Wed, 29 Oct 2025 03:07:59 +0900
Subject: update

---
 slides.typ | 31 ++++++++++++++++++++++++++++---
 1 file changed, 28 insertions(+), 3 deletions(-)

(limited to 'slides.typ')

diff --git a/slides.typ b/slides.typ
index d144b4d..dc93340 100644
--- a/slides.typ
+++ b/slides.typ
@@ -141,9 +141,19 @@ $(1+p)/2$ が入る
 
 ---
 
+[1, p) \
+間に 1 しか入らない範囲？
+
+都合の良い p は存在しない
+
+---
+
+[1, 1より少しだけ大きい値) \
+間に 1 しか入らない範囲
+
 実数では無理
 
-#pause
+---
 
 コンピュータ上の実数なら？
 
@@ -197,6 +207,18 @@ p = 1.0000000000000002
 
 ---
 
+p = 1.0000000000000002
+
+1 < x < p となるような \
+x は存在しない (表せない)
+
+---
+
+1 と p のバイナリ表現を \
+見てみる
+
+---
+
 #[
   #set text(size: 0.7em)
   1 = \
@@ -268,14 +290,17 @@ y = nextUp(x)
 
 ---
 
-PHP には \
+PHP には？
+
+#pause
+
 nextUp も nextDown も \
 無い！
 
 ---
 
 無いので作りました \
-#link("https://packagist.org/packages/nsfisis/next-after")[nsfisis/php-next-after]
+#link("https://packagist.org/packages/nsfisis/next-after")[nsfisis/next-after]
 
 ---
 
-- 
cgit v1.2.3-70-g09d2