diff options
| author | nsfisis <nsfisis@gmail.com> | 2025-10-29 03:07:59 +0900 |
|---|---|---|
| committer | nsfisis <nsfisis@gmail.com> | 2025-10-29 03:07:59 +0900 |
| commit | d962d14204ac9d15dbc4cb9b2b65055bcee8c5b2 (patch) | |
| tree | d0a97f8f2b93f3548245bebcf4cfeebf4b46e5c4 | |
| parent | 5c19575fb057db54d804abc2b3f8cf11bfbaf5d0 (diff) | |
| download | phpstudy-180-slides-d962d14204ac9d15dbc4cb9b2b65055bcee8c5b2.tar.gz phpstudy-180-slides-d962d14204ac9d15dbc4cb9b2b65055bcee8c5b2.tar.zst phpstudy-180-slides-d962d14204ac9d15dbc4cb9b2b65055bcee8c5b2.zip | |
| -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] --- |