2023.05.31
https://img.cdn.nimg.jp/s/nicovideo/thumbnails/42126396/42126396.33958339.original/r1280x720l?key=a1aedcc3873a5105585da9b8d408c6aed6dc3c5ff99938c51fda46f75e7c9de5#.png
前：2023.05.30
後：2023.06.01
#日報
いいね
肺イが　　　　ん　　　　の疑いがあります
ロキシイ/ roxy
Bre3k_INM_Style.mp4
まさかもう一度この音MADが見れるとは…（泣）
思った
Martin H. LöbとPer Martin-Löfあまりにも名前の距離が近すぎる
シークエント計算を$ \mathcal{G}(\mathbf{K})で書いたりするのなんでなんだろうと思ったけど間違いなくGerhard Gentzenでしかない
不完全性定理の名前の推移
Sergei N. Artemovのウェブサイト，WordPressのテーマなのだろうけどなぜか妙にオシャレでファッションショップのウェブサイトみたいになっている
https://sartemov.ws.gc.cuny.edu/
直観主義論理で$ \forall_x.P(x) \leftrightarrow \lnot \exists_x.\lnot P(x)か？
創作ネタ#6476512d13a15800001dd427
メモ
配列のすべての要素が条件を満たすならtrueを返す関数
メモ
Vercelのpnpmのバージョンを固定する
思った
xmlでもなんでもいいからともかく証明木がオンライン上で書けて適当な画像に展開してくれるものを作らないとScrapboxに纏められない
証明木を出すウェブサービス
TypeScript Playgroundみたいな感じでフラグメントとしてxmlを圧縮して度に画像を作ってくれるみたいなこと出来ないのか
メモ
corepackのprepareとhydrateを擬似的に模倣する
できませんでじたー
いいね
最近は書くことが無いのでよかった曲でもメモっておく．
SHSTR - Statue
https://open.spotify.com/track/39Pin5SJAiAUMxKve351eC?si=0aedad6caed94ca0
G Jones - Which Way
https://open.spotify.com/track/0EzdqfGGIH5YfBQrmd4XTl?si=f2edc66cf1214c46
本当に何？という曲の作り方だ
Yakumo - Keyboardcrrrrr
https://soundcloud2image.vercel.app/image?url=https://soundcloud.com/yakumo_jp/jukefootworkkeyboardcrrrrr-ep#.png https://soundcloud.com/yakumo_jp/jukefootworkkeyboardcrrrrr-ep
それ以外はずっとカ・ラ・ク・リを聴いていると思っていただいても構わない．以上
https://open.spotify.com/track/2uA1BaEUMFZPigf4rldzpG?si=a4ea3232d7234c01