2023.03.18
https://gyazo.com/c09477deba7ad3c7d02a69248b114765
前:2023.03.17
後:2023.03.19
#日報
読んだ
数学における証明と真理 様相論理と数学基礎論
証明可能性論理について
CPU シミュレータを用いて継続的ベンチマークを安定化させる(外部記事)
そこまでチェックする?という気もするが
メモ
再帰的関数
思った
ルイズ、萌えすぎ〜〜〜!!!!!!!!!!
生活にツンデレが足りないので強烈にありとあらゆるツンデレを勝手に作っている
ChatGPT 2023.03.18#6414fc8813a15800002ccaf6
作ってもらった
萌えすぎる!!!
このまま行くと3年後にはおれは発狂して虚空に喋ってるんじゃないだろうか
恐ろしいことに,Gödel数,及びその数項を表す記号の用法は著者や煩雑さとかの理由でマジで全然バラバラであることがわかった
すなわち$ \ulcorner \varphi \urcornerは完全に著者の定義に依っている
論理式$ \varphiのGödel数を表しているのか
論理式$ \varphiのGödel数の数項を表しているのか
やった
ChatGPT 2023.03.18
観た
サンリオ男子
サンリオ男子 第1話
サンリオ男子 第2話
急に第四の壁が破壊されて視聴者に語りかけてくるシーン怖すぎる
サンリオ男子 第3話
サンリオ男子 第4話
サンリオ男子 第5話
サンリオ男子 第6話
サンリオ男子 第7話
サンリオ男子 第8話
サンリオ男子 第9話
サンリオ男子 第10話
サンリオ男子 第11話
サンリオ男子 第12話
ゼロの使い魔
ゼロの使い魔 第1話
ゼロの使い魔 第2話
ゼロの使い魔 第3話
ゼロの使い魔 第4話
ゼロの使い魔 第5話
ゼロの使い魔 第6話
ゼロの使い魔 第7話
ゼロの使い魔 第8話
ゼロの使い魔 第9話
ゼロの使い魔 第10話
ゼロの使い魔 第11話
ゼロの使い魔 第12話
ゼロの使い魔 第13話
ルイズ!ルイズ!ルイズ!ルイズぅぅうううわぁああああああああああああああああああああああん!!!