おかづき (@okaduki) header
おかづき (@okaduki) profile picture

おかづき

@okaduki

街の国際バリスタえんじにゃぁ(予定)

 Rabbit Horse
Joined May 2012
  • Tweets6.6K
  • Following433
  • Followers453
189Media
Photo by おかづき (@okaduki)Photo by おかづき (@okaduki)Photo by おかづき (@okaduki)Photo by おかづき (@okaduki)Photo by おかづき (@okaduki)Photo by おかづき (@okaduki)Photo by おかづき (@okaduki)Photo by おかづき (@okaduki)Photo by おかづき (@okaduki)Photo by おかづき (@okaduki)
トルネコの大冒険 完
Image from おかづき (@okaduki)
Image from おかづき (@okaduki)
1
3
206
もっと不思議99階でさいごの巻物読むとフリーズすると聞いてビビっていたけど、Steam版は大丈夫ぽい
1
121
秘密基地周辺をGET！ app.raund.net/SummerPockets2…
71
羽依里の散策道周辺をGET！ app.raund.net/SummerPockets2…
66
紬の住む灯台周辺をGET！ app.raund.net/SummerPockets2…
70
蒼のお昼寝スポット周辺をGET！ app.raund.net/SummerPockets2…
148
Lean 楽しみ #fp_matsuri
Image from おかづき (@okaduki)
1
2
189
プログラマーのための圏論を読んだので Lean で米田の補題を証明してみた｜okaduki zenn.dev/okaduki/articles/76… #zenn
プログラマーのための圏論を読んだので Lean で米田の補題を証明してみた

プログラマーのための圏論を読んだので Lean で米田の補題を証明してみた

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

Not Math Puzzle 攻略 - okaduki's diary

はじめに 「Not Math Puzzle」は Baba ライクな倉庫番系パズルで、数式を動かしてゴールを目指すゲームです。 私がこのゲームを知るきっかけは、下に貼った YouTube の『[さんすうの時間です【NOT Math Puzzle】]』でした。ユーモアがありつつゲームの面白さが伝わる、いい動画です。 必要な…

uunyan.hateblo.jp
3
386
300万本突破おめでとうございます #風来のシレン300万本突破記念
Image from おかづき (@okaduki)
7
343
❄️「世界改変の日」記念キャンペーン❄️ 劇場版『#涼宮ハルヒの消失』 劇場告知ポスター プレゼントキャンペーンを開催！ 抽選でB2ポスターを5名様にプレゼント🎁 フォロー＆本ポストをリポストで応募完了！ ⚠️12/31(水) 23:59〆切 ▼詳細はこちら haruhitv-anniversary.com/new… #涼宮ハルヒの御礼
Image from 涼宮ハルヒの公式 (@haruhi_official)
104
8,478
90
5,975
619,920
動的計画法ベースの数理最適化ソルバDIDPPyで最短共通超配列問題を解く｜okaduki zenn.dev/okaduki/articles/7f… #zenn
動的計画法ベースの数理最適化ソルバDIDPPyで最短共通超配列問題を解く

動的計画法ベースの数理最適化ソルバDIDPPyで最短共通超配列問題を解く

zenn.dev
2
1
13
1,336
最近Lean4を触っていますが、ドキュメントに依存型理論について分かりやすくまとまっていて良いです aconite-ac.github.io/theorem…
1
241
型システムのしくみにサインして頂けたし、面白い話題がたくさんあって満足でした #fp_matsuri
3
375
【YouTube 新作公開！ 5/9 (金) 20:00~ 🎉】 新シリーズ『数学者に会いに行こう！』始めます！ 数学の研究。全く縁のない世界と感じると思います🤯 実は！　生身の人間がやっていまして、共通点もたくさん！ 初回は名大の行田さん。ぜひ見に来てね！🎉🎉🎉 ✖️ youtube.com/watch?v=MFPuK1R2… ➗
Image from バーチャルデータサイエンティスト アイシア=ソリッド (@AIcia_Solid)
2
69
7
168
43,072
関数型まつり2025に申し込みました! fp-matsuri.doorkeeper.jp/eve… #fp_matsuri @fp_matsuriより
関数型まつり2025

関数型まつり2025

2025-06-14（土）11:00 - 2025-06-15（日）19:00 こちらは、関数型まつり 2025のチケット購入ページです。 詳しい情報は公式サイト（2025.fp-matsuri.org）をご覧ください。 開催日時 Day 1 ： ２０２５年６月１４日（土）１１：００〜１９：００（開場 １０：３０、懇親会 １９：００〜） Day 2： ２０２５年６月１５日（日）１０：０...

fp-matsuri.doorkeeper.jp
168
狼が出ていないときはかわいいところ #おしおさない
Image from おかづき (@okaduki)
218
#AJ2025 #KADOKAWAanime
Image from おかづき (@okaduki)
179
#2025年もシレン６ あけましておめでとうございます
Image from おかづき (@okaduki)
1
347
25987人目の参加者として能登に百円を寄付しました。 #スキップとローファーと能登 skiloa.kodansha.co.jp
149
Load more