From d962d14204ac9d15dbc4cb9b2b65055bcee8c5b2 Mon Sep 17 00:00:00 2001 From: nsfisis Date: Wed, 29 Oct 2025 03:07:59 +0900 Subject: update --- plugins/tokenize-ja/src/tokenize.rs | 2 +- setoka.typ | 1 + slides.pdf | Bin 76973 -> 80441 bytes slides.typ | 31 ++++++++++++++++++++++++++++--- 4 files changed, 30 insertions(+), 4 deletions(-) diff --git a/plugins/tokenize-ja/src/tokenize.rs b/plugins/tokenize-ja/src/tokenize.rs index f7e0643..b5c13db 100644 --- a/plugins/tokenize-ja/src/tokenize.rs +++ b/plugins/tokenize-ja/src/tokenize.rs @@ -10,7 +10,7 @@ static TOKENIZER: OnceLock = OnceLock::new(); pub fn init() -> Result<(), anyhow::Error> { let dictionary = load_dictionary("embedded://ipadic").context("failed to load dictionary")?; - let segmenter = Segmenter::new(Mode::Normal, dictionary, None); + let segmenter = Segmenter::new(Mode::Normal, dictionary, None).keep_whitespace(true); let tokenizer = Tokenizer::new(segmenter); TOKENIZER .set(tokenizer) diff --git a/setoka.typ b/setoka.typ index 7a30752..5132387 100644 --- a/setoka.typ +++ b/setoka.typ @@ -111,6 +111,7 @@ body, ) = { set text(size: 48pt) + show link: underline show: touying-slides.with( config-page( diff --git a/slides.pdf b/slides.pdf index 846df98..6ecb6a5 100644 Binary files a/slides.pdf and b/slides.pdf differ 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