おかづき@okaduki·13 Nisはてなブログに投稿しました Not Math Puzzle 攻略 - okaduki's diary uunyan.hateblo.jp/entry/2026/04/… #はてなブログÇevir 日本語0022992
おかづき retweetledi涼宮ハルヒの公式@haruhi_official·17 Ara❄️「世界改変の日」記念キャンペーン❄️ 劇場版『#涼宮ハルヒの消失』 劇場告知ポスター プレゼントキャンペーンを開催! 抽選でB2ポスターを5名様にプレゼント🎁 フォロー&本ポストをリポストで応募完了! ⚠️12/31(水) 23:59〆切 ▼詳細はこちら haruhitv-anniversary.com/news_movie.htm… #涼宮ハルヒの御礼Çevir 日本語1068.9K6.2K613.4K298
おかづき@okaduki·8 Eyl動的計画法ベースの数理最適化ソルバDIDPPyで最短共通超配列問題を解く|okaduki zenn.dev/okaduki/articl… #zennÇevir 日本語02131.3K8
おかづき@okaduki·14 Haz最近Lean4を触っていますが、ドキュメントに依存型理論について分かりやすくまとまっていて良いです aconite-ac.github.io/theorem_provin…Çevir 日本語001222
おかづき retweetlediバーチャルデータサイエンティスト アイシア=ソリッド@AIcia_Solid·8 May【YouTube 新作公開! 5/9 (金) 20:00~ 🎉】 新シリーズ『数学者に会いに行こう!』始めます! 数学の研究。全く縁のない世界と感じると思います🤯 実は! 生身の人間がやっていまして、共通点もたくさん! 初回は名大の行田さん。ぜひ見に来てね!🎉🎉🎉 ✖️ youtube.com/watch?v=MFPuK1… ➗ÇevirYouTube 日本語26917242.9K40
おかづき@okaduki·1 May関数型まつり2025に申し込みました! fp-matsuri.doorkeeper.jp/events/182879 #fp_matsuri @fp_matsuriよりÇevir 日本語000154
おかづき retweetlediアニメ『ご注文はうさぎですか?』劇場版制作中♪@usagi_anime·10 Ara帰国♪ 『ご注文はフランス旅行ですか?』 4泊6日のツアーご参加頂いた皆様、誠にありがとうございました!! #ご注文はフランス旅行ですか #gochiusa #ごちうさアニメ10周年Çevir 日本語347193.8K129.5K64