おかづき

はてなブログに投稿しました Not Math Puzzle 攻略 - okaduki's diary uunyan.hateblo.jp/entry/2026/04/… #はてなブログ

300万本突破おめでとうございます #風来のシレン300万本突破記念

❄️「世界改変の日」記念キャンペーン❄️ 劇場版『#涼宮ハルヒの消失』 劇場告知ポスター プレゼントキャンペーンを開催！ 抽選でB2ポスターを5名様にプレゼント🎁 フォロー＆本ポストをリポストで応募完了！ ⚠️12/31(水) 23:59〆切 ▼詳細はこちら haruhitv-anniversary.com/news_movie.htm… #涼宮ハルヒの御礼

動的計画法ベースの数理最適化ソルバDIDPPyで最短共通超配列問題を解く｜okaduki zenn.dev/okaduki/articl… #zenn

最近Lean4を触っていますが、ドキュメントに依存型理論について分かりやすくまとまっていて良いです aconite-ac.github.io/theorem_provin…

型システムのしくみにサインして頂けたし、面白い話題がたくさんあって満足でした #fp_matsuri

【YouTube 新作公開！ 5/9 (金) 20:00~ 🎉】 新シリーズ『数学者に会いに行こう！』始めます！ 数学の研究。全く縁のない世界と感じると思います🤯 実は！　生身の人間がやっていまして、共通点もたくさん！ 初回は名大の行田さん。ぜひ見に来てね！🎉🎉🎉 ✖️ youtube.com/watch?v=MFPuK1… ➗

関数型まつり2025に申し込みました! fp-matsuri.doorkeeper.jp/events/182879 #fp_matsuri @fp_matsuriより

狼が出ていないときはかわいいところ #おしおさない

#AJ2025 #KADOKAWAanime

#2025年もシレン６ あけましておめでとうございます

25987人目の参加者として能登に百円を寄付しました。 #スキップとローファーと能登 skiloa.kodansha.co.jp

帰国♪ 『ご注文はフランス旅行ですか？』 4泊6日のツアーご参加頂いた皆様、誠にありがとうございました！！ #ご注文はフランス旅行ですか #gochiusa #ごちうさアニメ10周年

#ご注文はフランス旅行ですか いい感じの箱とドアノブ

#ご注文はフランス旅行ですか

#ご注文はフランス旅行ですか

#ご注文はフランス旅行ですか

#ご注文はフランス旅行ですか ホテル着

行くぜコルマール

WTF クソ大根 #シレン6超・神髄チャレンジ