2023.08.20
https://gyazo.com/1067d7a169382f39c64eaf463777b78c
Typstに花文字typscr相当を追加しませんか?というIssueを出した
前:2023.08.19
後:2023.08.21
#日報
やった
Kreisel文を用いたLöbの定理の証明
思った
TypstのBibliographyは全く意味不明の挙動をして,正確にタイトルを出すことすら出来ないっぽいという謎すぎる挙動をするので,この一点のみで現状オフィシャルな場では使うことが出来ないと思う.
メモ
なぜコンピュータにおいて月は0始まりなのか
前書いたことについてメモしなおした