現在2022年7月7日18時42分である。(この投稿は、ほぼ1887文字)
麻友「まだ、終わらないの?」
私「もう少し、頑張る」
の誤植と思われるもの。
151ページ
14行目と15行目、合わせて3箇所
◯
✕ 添え字の 0 がない。
152ページ
12行目
◯ (Nf-25)
✕ (Nf-29)
153ページ
10行目
◯
✕ 本文の1行上の Q と、書体が違う。
18行目
◯
✕ F が大文字でなければいけない。
下から3行目
◯
✕
154ページ
8行目
◯
✕ 閉じるカッコが、ひとつ少ない。
下から16行目
◯ 部分述語式
✕ 部分論理式
下から10行目
◯
✕ 閉じるカッコが、ひとつ少ない。
155ページ
6行目
◯ 基本述語式
✕ 基本述語論理式
9行目
◯
✕ 集合という述語の は、太字のはず。
12行目
◯
✕ ダッシュでなく、バッククオートのはず。
13行目
◯
✕ 同じく、ダッシュでなく、バッククオートのはず。
14行目
◯
✕ 同様。
29行目
◯
✕ 集合という述語の は、太字のはず。
私「今日は、ここまで」
麻友「あと、何ページあるの?」
私「258ページまで、あと103ページ」
若菜「ちょっとずつでも、いいですから、毎日やった方が、いいですね」
私「お前もそう思うか?」
結弦「誰だって、そう思うよ」
私「ちょっと、ペース上げてみる」
麻友「じゃ、おやすみ」
若菜・結弦「おやすみなさーい」
私「おやすみ」
現在2022年7月7日22時03分である。おしまい。