2025.11.10
https://gyazo.com/4306db65679668ccf37e978d50c113e8
前:2025.11.09
後:2025.11.11
#日報
思った
https://github.com/SnO2WMaN/niconico_liked
おれのニコニコ動画の1600件のいいねを大公開
https://qa.nicovideo.jp/faq/show/16362?site_domain=default
「いいね!」履歴ページには、今まで「いいね!」した動画が一覧で表示されます。
履歴の表示件数は、一般会員は50件、プレミアム会員は1,600件まで確認できます。
ニコニコ動画のいいね数上限は1600件
メモ
$ \mathbf{ILW^*} \vdash \mathsf{W}などVisser; "An overview of Interpretability Logic"に書いてある構文論的事実などをひたすら
面倒すぎる!!!
思った
0が数学・算術的なデバイスとしてとても有用だったということは一旦認めるにして、「【1個のパン】などを素朴に考えると1はあるが、しかし【0個のパン】はこの世界のどこにもないから0の存在は疑わしい」みたいな動機で算術の言語を0ではなく1から始めて算術を構成するとメタ数学的にどうなるのか
Arithmetic without Zero
メモ
LeanのFin 16のパターンマッチ