ELD-R-ESH-2

多段階計算と sesison types を統合した型システムについての論文が出版されました！リスボン大の Pedro Ângelo 先生, Vasco T. Vasconcelos 先生と指導教員の五十嵐先生との共同研究です。 link.springer.com/chapter/10.100…

今日マックで昼ご飯食べたんだけどカップのストローすら無くなっていたり席の半分以上が立ち席になっていてあまりにもみじめな業態だと思った

同僚にChatGPTの入出力を共有したら可笑しかったらしく、カスタム指示はちゃんと意味があることが分かった😇

Moodleに切り替えた大学が初日で潰れたのか。三重大学（学生~7000人）はずっとMoodleを使ってきたが2020年にコロナで全授業オンラインでMoodle必須になって、サーバのメモリを128GBに増強してphp、httpd、mariadbをガチガチにチューニングし、重い動画はクラウドに置いてMoodleからリンクする運用で切り抜けた

関数型まつり2026 にプロポーザルが投稿されました！ 「Leanで学ぼう等式推論（証明もあるよ！）」 / 井山梃子歴史館さん （@__pandaman64__） fortee.jp/2026fp-matsuri… #fp_matsuri

関数型まつり2026 にプロポーザルが投稿されました！ 「Lean 4をRTL開発の中核にする — Sparkle におけるJIT、検証、reverse synthesis(逆合成)」 / 橋本順之さん （@junjihashimoto3） fortee.jp/2026fp-matsuri… #fp_matsuri

"H.264 (AVC) streaming royalties have been a solved problem for a long time." (Jan Ozer) Ooh, look at that. Tier 1 AVC license just went from $100,000/yr to $4,500,000/yr. I'm not even mad anymore. The old me is just disappointed the young me was right.

「マクロを使えばできる」はこれ「貧弱な言語仕様をマクロで補わないといけないのでカス」派閥の人間としてもな……

ChatGPT> 一般の合成可能性を本当に言うなら、少なくとも parser が error に関して何らかの関手性か双関手性を持つ必要があります。 eldesh> お、おぅ

ChatGPTにパーサの話を聞いていただけなのに突然圏論用語出し始めたぞ…？？？

うおぉ…明日用事があってH.I.F編の告知観れねぇ…😭

⊂⌒~⊃｡Д｡)⊃…

／ 好評レンタル中！ 新作だけど7泊8日レンタルOK 『#ヴァージン・パンク Clockwork Girl』リリース記念🎊 #リポストキャンペーン ＼ ✨抽選で3名様✨に、【非売品】梅津泰臣監督直筆描き下ろしサイン入り色紙」をプレゼント🎁 【応募方法】 1⃣@GEO_officialをフォロー 2⃣この投稿をリポスト 詳しくは▶geo-online.co.jp/campaign/speci… #懸賞 #プレゼント #ヴァージンパンク #宮下早紀 #小西克幸 #八代拓 #田辺留依 #若本規夫 #和泉風花 #上坂すみれ

頭が赤い魚を食べる猫ぬいぐるみ発売! #エイプリルフール

…( っﾟ､｡)っ

ゆ

キャンパス集約してほ信州大学

手叩いてワロタ> 冒険者・出資者向け冒険者ギルト基調講演「Redefining Adventure.」 nicovideo.jp/watch/sm457512…

ヘルシングのウィスキーが出ました。 本日試飲会ですので 赤いの描きました。