2024.06.20
https://gyazo.com/f81e213fcf8f0beff95c87c7478dd45d
前：2024.06.19
後：2024.06.21
#日報
思った
東京都だけくじ引き選挙制にして全ての都民に「突然都政の全責任が全部おっ被されるチャンスが1/10000000で存在する」にすれば適度に生活に緊張感が生まれて東京一極集中も解消されていくと思うから早く採用されてほしい
#くじ引き民主主義
https://x.com/SnO2WMaN/status/1803771992526803454
メモ
A. Chagrov, M. Zakharyaschev; "Modal Logic"
Hintikka system
意味論的に考えると，古典論理は単点のKripkeフレームを考えていたことになるからタブロー計算が簡単に済んでいる
しかし，直観主義論理のKripkeフレームはそのようにはならず，タブロー計算も複雑化する．
タブローの集合$ Tと$ T上の適当な2項関係$ Sの組$ \mathcal{H} =\lang T,S \rangを考える．
これをHintikka systemという．
なんとこの$ \mathcal{H}及び適当な付値による組$ \lang \mathcal{H},V \rangがそのままKripkeフレーム/Kripkeモデルとなることがある．
更に$ tに含まれる論理式の部分論理式全体の個数個で$ Tが抑えられるから，結果として直観主義命題論理は決定的に計算可能である．
思った
制御工学って本当にありえなくてワロタ
何だよこれ
今日いいねしたツイート一覧
https://pbs.twimg.com/profile_images/1728825225931071488/4xgfMquz_normal.jpg かにパルサー(@E_foon2)
みなさんが夜な夜な公園に集まっていいね欄を見せ合っているのを見ました　本官は見ました
https://twitter.com/E_foon2/status/1803780094932267450
https://pbs.twimg.com/profile_images/1558433076908544000/yl27vhWh_normal.jpg 全部入りHTML太郎(@_yuheiy)
Storybookを使うと、ワンソースでいろいろできるようでいて、実際にいろいろやらせようとすると器用貧乏で半端な感じになって運用的に困る
https://twitter.com/_yuheiy/status/1803535803735482857
https://pbs.twimg.com/profile_images/1785233750995128320/tnKMkld-_normal.jpg 映画『大室家』公式｜《dear friends》6/21劇場公開(@omrk_movie)
／
#大室家 dear friends公開記念🎉
原作者・なもり先生描き下ろしイラスト到着🌟
＼
『大室家』を応援してくださるファンの皆さまに向けた、メインキャラクターが大集合したイラストです🏠
『大室家 dear friends』はいよいよ、明日公開🎬
映画公式サイト
https://ohmuroke.com/ https://t.co/4iXN0LBJm4
https://pbs.twimg.com/media/GQg99BHb0AAZkJu.jpg
https://twitter.com/omrk_movie/status/1803759773231509799
https://pbs.twimg.com/profile_images/1744258018076733440/Qw2Htan4_normal.jpg 芒🏳️‍🌈结京爱(@Mirabilite0318)
#ゆるゆり活動日記
結京💤 https://t.co/VzyevDT3Zu
https://pbs.twimg.com/media/GQg72TnaEAAKV4J.jpg
https://twitter.com/Mirabilite0318/status/1803757472730984868
https://pbs.twimg.com/profile_images/1762823397195853824/9haZ3Lao_normal.jpg 坂月(@slope_moon)
https://t.co/X4zrKMpvtM
https://pbs.twimg.com/media/GQgyuilb0AEzCCB.png
https://twitter.com/slope_moon/status/1803747460495655289
https://pbs.twimg.com/profile_images/1731100158526685184/lRiN-vtv_normal.jpg 造花(@Z0hka)
スタスタ......
https://pbs.twimg.com/media/GQgsBtqbgAAl73g.jpg
https://twitter.com/Z0hka/status/1803740062796206149
https://pbs.twimg.com/profile_images/1798383803687419904/nrxCtBnY_normal.jpg 架空の希望を満たして(@upgllg4)
https://t.co/PLGyeA2nlU
https://pbs.twimg.com/media/GQbUIa0b0AAzn5g.jpg
https://twitter.com/upgllg4/status/1803361944528888039
https://pbs.twimg.com/profile_images/1620978543315529728/iVv87SAl_normal.jpg fjsmu(@fjsmu)
雨間の網戸
https://pbs.twimg.com/media/GQggWyBbEAAWUf9.jpg
https://twitter.com/fjsmu/status/1803727408811692363
https://pbs.twimg.com/profile_images/1799125961537122304/5jwaH5Pw_normal.jpg しめの(@shimeji_no)
せるふちゃん
#diyアニメ https://t.co/eEUdr7PZKi
https://pbs.twimg.com/media/GQcgCi9aIAAJ6nR.jpg
https://twitter.com/shimeji_no/status/1803445407894380609
https://pbs.twimg.com/profile_images/1687952544046419968/HZq2gEVM_normal.jpg いちのみやけ〜さん(@onepalacekey)
初めて徹夜をしたときに感じた、夜と朝が本当は連続なんだという確かさをもう忘れてしまった
https://twitter.com/onepalacekey/status/1803553328401613247
https://pbs.twimg.com/profile_images/1766157733458579456/ASyzUV0n_normal.jpg 三条 しぐれ(@490_sh1gr4)
Daydream cafe、大昔にニコニコで見た「一生奈良☆素敵大」とかいう空耳コメントが脳内にこびりついたまま10年が経過してしまったらしい
https://twitter.com/490_sh1gr4/status/1803511974732636367
https://pbs.twimg.com/profile_images/790070791/anime_icon_normal.gif 加藤オズワルド(@ozoztv)
幽かな者
https://pbs.twimg.com/media/GQa_2KNbsAAm07O.jpg
https://twitter.com/ozoztv/status/1803367119238672485
https://pbs.twimg.com/profile_images/1778070496627539968/npPPKIsU_normal.jpg zoolpal(@zoolpal)
https://t.co/NRe52UGDVC
https://pbs.twimg.com/media/GQdyXK2XwAAxNqN.jpg
https://twitter.com/zoolpal/status/1803535921578475602
https://pbs.twimg.com/profile_images/1704561780314488832/DsDlyps8_normal.png DAUCHI(@DAUCHIMk_1)
skebありがとうございました！！！！！！！
https://pbs.twimg.com/media/GQc0Ra4aIAIcl-U.jpg
https://twitter.com/DAUCHIMk_1/status/1803467695637315665
https://pbs.twimg.com/profile_images/1800400861065281536/WMoICZz7_normal.jpg we1k(@we_iK214)
https://t.co/B2Z3fryOEY
https://pbs.twimg.com/media/GQcowHJaMAAc5EP.jpg
https://twitter.com/we_iK214/status/1803455007817343157
https://pbs.twimg.com/profile_images/1721104481243541504/soaKasFV_normal.png Wibu_ka (commissions open)(@wibu_ka)
( ° ͜ʖ͡°)🤏
https://pbs.twimg.com/media/GQZbtdPaIAIyu_j.jpg
https://twitter.com/wibu_ka/status/1803230648741798090
https://pbs.twimg.com/profile_images/1609389441034129410/t5rsyaLs_normal.png すずなし(@suzunashi3)
#ガルクラ 「空の箱」(1/2)
https://pbs.twimg.com/media/GQdN3HgaIAI6Zmv.jpg
https://pbs.twimg.com/media/GQdN3HraMAAAK9s.jpg
https://pbs.twimg.com/media/GQdN3H5a0AAGH2J.jpg
https://pbs.twimg.com/media/GQdN3IBaAAAwHEv.jpg
https://twitter.com/suzunashi3/status/1803496057273536525
https://pbs.twimg.com/profile_images/1277553163273269248/OZ4wTD4m_normal.jpg 三島芳治(@kiroku0000)
https://t.co/XjE17K8NP0
https://pbs.twimg.com/media/GQdp7_JaYAAAwRi.jpg
https://twitter.com/kiroku0000/status/1803526664770691263
https://pbs.twimg.com/profile_images/1732740495477227520/pGRI714B_normal.jpg あねごま(@anegoma567)
#になもも
https://pbs.twimg.com/media/GQbC1o3aIAAJtZO.jpg
https://twitter.com/anegoma567/status/1803342936991735937
https://pbs.twimg.com/profile_images/1773574492004155392/jcWMvES9_normal.jpg 裏谷 なぎ(@uraya_1675)
https://t.co/yXS7iPgsvB
https://pbs.twimg.com/media/GQab3VSaIAIE_9S.jpg
https://twitter.com/uraya_1675/status/1803300088531624411
https://pbs.twimg.com/profile_images/1552223866814349314/8vYQY3za_normal.jpg 占さかな(@torosakana)
https://t.co/TMmp0hRlOL
https://pbs.twimg.com/media/GQcagS-boAAuVO6.jpg
https://twitter.com/torosakana/status/1803439323997696056
https://pbs.twimg.com/profile_images/1784495351556440064/sCYrE3gC_normal.jpg AC(@yabu_sakai)
https://t.co/QIM5MRoAmo
https://pbs.twimg.com/media/GQchMc8aoAAI4Bl.jpg
https://twitter.com/yabu_sakai/status/1803446678395167110
https://pbs.twimg.com/profile_images/1722640713412947968/6jpwoMS7_normal.jpg バイブ(viveisdead)
オタクの同僚と飲むの無駄に隠す必要がなくて楽だが休日にやっていることとして「普段は絵を描いてライブやパーティーがある日には外に出て自作のドナルドステッカーを配っている」と答えると地球で1名に絞られてしまうから手加減が難しいところだな
https://twitter.com/viveisdead/status/1803451398920741242
https://pbs.twimg.com/profile_images/877998712810860545/s69vpm3k_normal.jpg Catsuka(@catsuka)
McDonald's Japan today unveiled its Kiki's Delivery Service campaign, for new "European" burgers, with 7 animated commercials.
>> https://www.catsuka.com/breves/2024-06-19/pubs-mcdonald-s-x-kiki-s-delivery-service https://t.co/MLDNqorgzM
https://video.twimg.com/ext_tw_video/1803310514283393024/pu/vid/avc1/1920x1080/cEgioyW_MPZqFAMt.mp4
https://twitter.com/catsuka/status/1803310622337073637
https://pbs.twimg.com/profile_images/1791819472548036608/JF8-bax2_normal.jpg ゴールデンレトリバー(@golden_wanchang)
ガールズバンドクライ/ルパ
#girlsbandcry
#ガルクラ https://t.co/wBNutwJXDc
https://pbs.twimg.com/media/GQcC1HCaIAI_FLt.jpg
https://twitter.com/golden_wanchang/status/1803413293253747136
https://pbs.twimg.com/profile_images/1678928647145795584/6Uu04TMI_normal.jpg Yongqiang Li(@MaojinLee)
What a hot day.
I miss winter already. https://t.co/3dB1wo7hMD
https://pbs.twimg.com/media/GQVvd7QboAACbCH.jpg
https://pbs.twimg.com/media/GQVvd7PbEAATLPH.jpg
https://pbs.twimg.com/media/GQVvd7Qa0AANUx4.jpg
https://twitter.com/MaojinLee/status/1802969803155812406
https://pbs.twimg.com/profile_images/704344561850540032/oRF4gPlq_normal.jpg 惑星ソラリスのラストの、びしょびしょの実家でびしょびしょの父親と抱き合うびしょびしょの主人公(@c0de4)
総質量の80%が失われても動くPCとかが良いな
https://twitter.com/c0de4/status/1803372276399874241