diff options
| -rw-r--r-- | plugins/tokenize-ja/src/tokenize.rs | 2 | ||||
| -rw-r--r-- | setoka.typ | 1 | ||||
| -rw-r--r-- | slides.pdf | bin | 76973 -> 80441 bytes | |||
| -rw-r--r-- | 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<Tokenizer> = 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) @@ -111,6 +111,7 @@ body, ) = { set text(size: 48pt) + show link: underline show: touying-slides.with( config-page( Binary files differ@@ -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] --- |