2024.06.14
https://www.youtube.com/watch?v=reKqgSYhS4A
前：2024.06.13
後：2024.06.15
#日報
メモ
https://drive.google.com/file/d/15YJTQUtfN2OP2GJA5WOr_IhfWiAY2zOg/view
Hybrid Logic
今日いいねしたツイート一覧
https://pbs.twimg.com/profile_images/1650448525032054784/da0vQ6k__normal.jpg ri-el(@ri_el_1)
🍩
https://pbs.twimg.com/media/GP7kQa9bgAAnHXe.jpg
https://twitter.com/ri_el_1/status/1801207901903569145
https://pbs.twimg.com/profile_images/513671537577033729/KmSO7XCb_normal.png USB^800(@usb_usb)
誰が言ったか忘れたけれど、集合論系は構造と呼べるものが全然無さ過ぎで、使える道具は基本的なlogicを除けば「鳩ノ巣論法」「超限帰納法」「対角線論法」とその延長しかない、と。
https://twitter.com/usb_usb/status/1799405230620336629
https://pbs.twimg.com/profile_images/1558318373699694594/aJuZTHnc_normal.jpg 荒た(@1010__ta)
鉄塔群
https://pbs.twimg.com/media/GQBf1r7aQAEKwF_.jpg
https://twitter.com/1010__ta/status/1801545340748972191
https://pbs.twimg.com/profile_images/1784716329133670400/WmjBimZi_normal.jpg 魚有猫(@koishi_kawaiine)
📞『おかけになった電話番号は現在使われておりません』
#6月14日は無意識の日
#東方project #古明地こいし https://t.co/AFYDxCns6w
https://pbs.twimg.com/media/GQAObgibEAEQvJM.jpg
https://twitter.com/koishi_kawaiine/status/1801455722045260090
https://pbs.twimg.com/profile_images/1785233750995128320/tnKMkld-_normal.jpg 映画『大室家』公式｜《dear friends》6/21劇場公開(@omrk_movie)
🎉#大室家 dear friends公開直前記念🎉
『大室家 dear sisters』冒頭映像を公開🌟
大室櫻子と古谷向日葵が下校する実写背景を使用したオープニング映像や、大室三姉妹の日常などが描かれています🏠
https://youtu.be/ctBG8Xa3Q_k
『大室家 dear friends』は6/21劇場公開！ https://t.co/HeIe22Icjo
https://pbs.twimg.com/media/GQBbln0aQAAxlI1.jpg
https://twitter.com/omrk_movie/status/1801540557870927979
https://pbs.twimg.com/profile_images/1801563057778491392/FCsWHZk6_normal.png under.(@py_n_)
現状
https://pbs.twimg.com/media/GQBbNWvbEAEUjYP.png
https://twitter.com/py_n_/status/1801540139921117622
https://pbs.twimg.com/profile_images/1543616600875880449/iLnTr-Da_normal.jpg ti(@am45687404)
https://t.co/Jovo6z1hDK
https://pbs.twimg.com/media/GP96mMKbIAAgmYl.jpg
https://twitter.com/am45687404/status/1801293284784161234
https://pbs.twimg.com/profile_images/1753437741432586240/q3WzzCAX_normal.jpg モロトミ(@708FNWP)
https://t.co/dZbvtqfwT1
https://pbs.twimg.com/media/GP9qbh_bwAAn1Py.jpg
https://twitter.com/708FNWP/status/1801275408723411324
https://pbs.twimg.com/profile_images/1281988686041751556/v46vSTFJ_normal.jpg Matth(@MatthAIDI)
All this time #ガルクラ #girlsbandcry
https://video.twimg.com/ext_tw_video/1801270010423455744/pu/vid/avc1/1052x720/FanmAtAH9su5kyej.mp4
https://twitter.com/MatthAIDI/status/1801270028429627801
https://pbs.twimg.com/profile_images/1789667748202917888/7AWmGAlG_normal.jpg 素直(@_simpli_city)
みなさんが地獄に落ちることは確定しているが、寂しいならまぁついて行ってやらんこともない
https://twitter.com/_simpli_city/status/1801272749886714284
https://pbs.twimg.com/profile_images/1729084750537932800/7AFmobsd_normal.jpg 片銀(@henguinnn)
https://t.co/61dWos54TT
https://pbs.twimg.com/media/GJb1Zq9acAAbo4K.jpg
https://twitter.com/henguinnn/status/1771873343475470625
https://pbs.twimg.com/profile_images/1645015629676830721/JBZnHm-v_normal.jpg tellur(@te1111ur)
とらドラ! 第24話を視聴しました！#dアニメストア https://animestore.docomo.ne.jp/animestore/cd?partId=10005024&ref=twtr
https://twitter.com/te1111ur/status/1801197589888717060
https://pbs.twimg.com/profile_images/1039588512016687105/iFOBW42V_normal.jpg かもリバー(@xcloche)
すみません　SNSのいいねという機能といいねという感情は切り離したほうがいいですよ
https://twitter.com/xcloche/status/1801227612263714821
https://pbs.twimg.com/profile_images/1743135428663025664/6qARTn6O_normal.jpg palalansoukî(@_ni_nn_i_)
blueprintがあまりに書きづらい（私はプレビューがないとTeXを書けない）ので第二不完全性定理に関してもこちらで書いていくことにする https://iehality.github.io/lean4-logic/book/first_order/goedel2.html
https://twitter.com/_ni_nn_i_/status/1801224413666500924
https://pbs.twimg.com/profile_images/1776617927615344640/h448iYD6_normal.jpg p-hone(@p__hone)
今日もこっそり木陰に隠れて霊夢の様子をストーキング！（ストーキング！
https://twitter.com/p__hone/status/1801517504814268744