2024.06.12
https://www.youtube.com/watch?v=rFZ7me9AT6E
これ映像かっこいいなー見に行こうかな
メモ
実際にそのようなものが取れることを後は示せば良い
系は以下を指す.
$ T \vdash \mathrm{Con}_T \to \lnot\mathrm{Pr}_T(\ulcorner G \urcorner)
$ T \nvdash \mathrm{Con}_T \to \lnot\mathrm{Pr}_T(\ulcorner \lnot G \urcorner)
$ T \nvdash \mathrm{Con}_T \to \lnot \mathrm{Pr}_T(\ulcorner \lnot \mathrm{Con}_T \urcorner)
メモ
【お知らせ】
【要望】
皆さんもそうしてほしい。
思った
論理学の定理証明支援系の関連資料や論文を調べると普通に科研費を貰ってやっているっぽいのになぜ我々は無給でこんなことをしているのか
メモ
思った
https://pbs.twimg.com/profile_images/1799083793082621952/UffX23Bo_normal.jpg 戸々部(@super_obebe555) すばるちゃんが好きです
https://pbs.twimg.com/media/GP1AQNJbAAA72u7.jpg
https://pbs.twimg.com/profile_images/1765222345495773184/qR4FTkTE_normal.jpg 🍲(@5n2ti8) https://pbs.twimg.com/media/GP1zNpsaYAADiSp.jpg
https://pbs.twimg.com/profile_images/704344561850540032/oRF4gPlq_normal.jpg 惑星ソラリスのラストの、びしょびしょの実家でびしょびしょの父親と抱き合うびしょびしょの主人公(@c0de4) レジ応援、お願いします
↑頑張れ!!!!
https://pbs.twimg.com/profile_images/1456254746499887104/_yUR1jH2_normal.jpg 壺(@nanashi4488) https://pbs.twimg.com/media/GP0xBXSXsAEJNIn.jpg
https://pbs.twimg.com/profile_images/1720450456852529152/cw2pJgLk_normal.jpg ガザシィ(@dai_gazacy) 廣井きくり
https://pbs.twimg.com/media/GEx2fllagAANfow.jpg
https://pbs.twimg.com/profile_images/1787823050240774144/W0IkGiMg_normal.jpg 푸딩먹고싶다(@Puddingjoa_) 음...드랍
https://pbs.twimg.com/media/GPybvViawAAmO54.jpg
https://pbs.twimg.com/profile_images/678582761595080704/zPJp15an_normal.png 何もしてない(@xl1blue) あなた (you) とみなさん (you) を区別できない言語
https://pbs.twimg.com/profile_images/1781320390666563584/zN1wTPdZ_normal.jpg seventbs(@seventbs) https://pbs.twimg.com/media/GP0Z0zHWYAAtYrA.jpg
https://pbs.twimg.com/profile_images/1753437741432586240/q3WzzCAX_normal.jpg モロトミ(@708FNWP) https://pbs.twimg.com/media/GPzhWNMbkAAz3bI.jpg
https://pbs.twimg.com/profile_images/1794220895055265792/OZbosnoG_normal.png 藤秋すばる(@f_subal) 私のいいねに対するスタンスはこの通りです
https://pbs.twimg.com/profile_images/1728825225931071488/4xgfMquz_normal.jpg かにパルサー(@E_foon2) だから見せてね。ぼっちちゃんの積立NISA、ぼっち・ざ・ニーサを
https://pbs.twimg.com/profile_images/1776617927615344640/h448iYD6_normal.jpg p-hone(@p__hone) 漏れもいいねしたツイートを全部個人サイトとかで公開しようと思ったけど
いいねしたツイートを取得するAPIすら有料って………
https://pbs.twimg.com/profile_images/1411963683672977410/P5NqrY6W_normal.jpg 豪烈・弥太郎(@hellfire00001) https://pbs.twimg.com/media/GP2O2rWbsAApavM.jpg
https://pbs.twimg.com/profile_images/436194626446192640/WKJlVl5v_normal.png あにもに(@animmony) 『チェンソーマン』のような毎話主題歌を変える方式は「作中で一度しか流れないから記憶に残らず一瞬で消費される」という批判をたまに見るけれど、あの『恋愛サーキュレーション』なんかもテレビ放送時に使われたのは『化物語』第10話の一度きりだし、楽曲と映像自体の強度さえあれば全然良いと思う! https://pbs.twimg.com/profile_images/1563823251293229056/CHZ_lqn3_normal.jpg xilmo@夕末(@xilmo1) https://pbs.twimg.com/media/GNBd8CiaIAAERQX.jpg
https://pbs.twimg.com/profile_images/1529284060618829824/QkXEEYMB_normal.jpg イマソリドンダイ🔞C104 2日目東テ26b(@asuzemusex) 今のうちに他人のいいね欄を見てヤバそうないいねを掘り返せ!
https://pbs.twimg.com/profile_images/1603042200790736896/0i6_Dm5l_normal.jpg 水(@1gho) 「この言葉が出てきたらこの人の話はあまり真面目に聞かなくていいです」ワード、「(特定の信条などを)自由に表現できない息苦しさ」、「どっちもどっち」などがあるけど、昨今「チェーホフの銃」も仲間入りしつつあるな……。
https://pbs.twimg.com/profile_images/1647521912992694272/SjQHeg51_normal.jpg 農園爆破(@A310U) 禁断の二回いいね
https://pbs.twimg.com/profile_images/1039588512016687105/iFOBW42V_normal.jpg かもリバー(@xcloche) 厳選した40人のいいね欄をもってタイムラインとしていたフォロワーさん……
https://pbs.twimg.com/profile_images/1721829784056217600/bLXPeAyH_normal.jpg ああもんど(@aamond777) 【お知らせ】
玄光社様より初の画集『ANIMAtronic』の発売が決定しました!!
こちらの販売ページより予約受付しております。
https://pbs.twimg.com/media/GP3IisOakAAmvUo.jpg
https://pbs.twimg.com/profile_images/1568128304758288384/BBmBay54_normal.jpg Retr0(@re_tro__) フォロワーのいいね欄ってツイッターのメインコンテンツじゃなかったのか
https://pbs.twimg.com/profile_images/1039588512016687105/iFOBW42V_normal.jpg かもリバー(@xcloche) いいね(20240612)というタイトルの、その日のいいねをまとめたはてなブログ記事
https://pbs.twimg.com/profile_images/1748553560600813568/0FxpVcbG_normal.jpg 街山あかね(@AkaneMachiyama) 5/17
https://pbs.twimg.com/media/GP2umPja0AAA1WL.jpg