Twitter まちカドおるみん kotatsu_mi | まちカドおるみん (@kotatsu_mi) のツイート


283フェスまであと【10日】‼️


✨283フェスカウントダウン4コマ✨

👉第2話『みんなに優しい』

本日は #西城樹里 さんと #黛冬優子 さんのお話です♪

ぜひ登場アイドルのハッシュタグ #樹里と冬優子 をつけて、感想を教えてくださいね~

#シャニマス pic.twitter.com/HCwRwxOC4D


283フェスまであと【5日】‼️


✨283フェスカウントダウン4コマ✨

👉第7話『ひなななな』

本日は #八宮めぐる さんと #市川雛菜 さんのお話です♪

ぜひ登場アイドルのハッシュタグ #めぐると雛菜 をつけて、感想を教えてくださいね~

⬇️イベント詳細⬇️
idolmaster-official.jp/live_event/283…
#シャニマス pic.twitter.com/qUx33FV58C


283フェスまであと【6日】‼️


✨283フェスカウントダウン4コマ✨

👉第6話『リフレイン』

本日は #有栖川夏葉 さんと #大崎甜花 さんのお話です♪

ぜひ登場アイドルのハッシュタグ #夏葉と甜花 をつけて、感想を教えてくださいね~

⬇️イベント詳細⬇️
idolmaster-official.jp/live_event/283…

#シャニマス pic.twitter.com/aqtVHtSmOu

Gzyidoni reasonably small
まちカドおるみん@kotatsu_mi

@kikairoya かなしい

Gzyidoni reasonably small
まちカドおるみん@kotatsu_mi

@kikairoya ておではない

Gzyidoni reasonably small
まちカドおるみん@kotatsu_mi

暗い部屋で電灯付けようとしたら足ひっかけて壊してしまった pic.twitter.com/Q3mUVTHL1z

子供の頃に

「一度でいいからファイブミニがぶ飲みしてみたい!」

という夢を叶えさせてくれたセブンイレブンに感謝したが、お腹はユルユルになって便座から立てなくなっており、何故ファイブミニが少量なのかを身をもって学んだ pic.twitter.com/9ykIQFwpWk

どうやら修正されてしまったようなので、よければ魚拓をどうぞ……
web.archive.org/web/2021101716…

レゲエ<砂浜<<Big Wave!!の<Bigの部分を文字を大きくするタグだと誤認してるせいでどんどん文字がデカくなっていく睡蓮花の歌詞が乗っているサイト本当に良い

\予約受付開始!/SNSで話題になった『呼び込み君』ミニがついに登場!スーパーなどで耳にする「あの」メロディがお手元に♪
●全長約53mm手のひらサイズ♪
●スーパーサウンド『#呼び込み君』ミニ🐟🥕🥩
価格:792円(税込)
store.shopping.yahoo.co.jp/aoshima-bk/110…
#アオシマ #呼び込みくん #音声付きトイ pic.twitter.com/VYpXT2dsue

Gzyidoni reasonably small
まちカドおるみん@kotatsu_mi

@nanbuchou @s_sef !?

Gzyidoni reasonably small
まちカドおるみん@kotatsu_mi

@s_sef @nanbuchou はじめたらね!!!!!!

Gzyidoni reasonably small
まちカドおるみん@kotatsu_mi

@s_sef @nanbuchou ボトル密閉するのにべんりなの

古くはKnuthの「ある種のGenericなソート関数の正しさを示すには、Boolのリストを正しくソートすることだけ確かめればOk」という結果のような、多相型の関数の正しさは、実は特定の型だけで確かめれば保証されるという話があって、その「特定の型」に何を使えばいいかを型のlogで計算できるのだとか

Logarithm and Program Testing popl22.sigplan.org/details/POPL-2… これまだ論文出てないけど、検索で見つかる少し前の進捗途中の発表見る限りめちゃ面白い奴では?

型と型の足し算や掛け算は普通にあるけど、では突然ですがここで型のlog(対数)という演算を考えます。なぜか?自動テストケース生成のためだ!

Gzyidoni reasonably small
まちカドおるみん@kotatsu_mi

100時間配信一周年記念合作 nico.ms/sm38779504?ref… #sm38779504 #ニコニコ動画

Gzyidoni reasonably small
まちカドおるみん@kotatsu_mi

甜花てんかテンカてんカテんかテンかちゃんってね、めっちゃかわいーんだー! nico.ms/sm39486335?ref… #sm39486335 #ニコニコ動画

@ebisupa ほんとそれw色落ちた後娘が髪の毛引っ張って持ち上げてて絵面すごかったw

お湯に入れてあげると衣装が溶けて別の衣装になるバービー人形を買ったんですが、比較的絵面がヤバい pic.twitter.com/jaxzk3Fypm

今年は熟成ヒグマの限定鍋やります!
去年はコロナ禍真っ只中で開催しませんでしたが、今回はワクチン接種も進み、緊急事態宣言も解除され、マスク飲食の認証も取得、アルコール提供も時間内で可能となったので毎年恒例だった大人気の熟成ヒグマ鍋をやらさせて下さい!ご予約お待ちしてます。
#珍獣屋 pic.twitter.com/8FLACkVw3o

映画館ないのに燃えよ剣だからって公開初日から市の公会堂で上映してくれちゃう会津が大好きだし、容保公が画面に出るだけですすり泣きが聞こえてくる会津が大好きです。

Gzyidoni reasonably small
まちカドおるみん@kotatsu_mi

そのうち無敵のエーアイが全 LKML アーカイヴを 3 分動画に要約してくれる

Gzyidoni reasonably small
まちカドおるみん@kotatsu_mi

こんなの騙される人いるの pic.twitter.com/YLCBED7K0N

Gzyidoni reasonably small
まちカドおるみん@kotatsu_mi

なんかとても冷えてきた