Bartosz Milewski (著), 北川雅裕 (翻訳), 松田一孝 (監修)
圏論という数学の分野を、プログラマーの視点から解説する技術書です。著者はBartosz Milewski、翻訳は北川雅裕、監修は松田一孝で、オーム社から2026年5月に刊行されました。
#読書
Bartosz Milewski (著), 北川雅裕 (翻訳), 松田一孝 (監修)
圏論という数学の分野を、プログラマーの視点から解説する技術書です。著者はBartosz Milewski、翻訳は北川雅裕、監修は松田一孝で、オーム社から2026年5月に刊行されました。
#読書
日本評論社50冊がセール
法律・数学・物理・経済の教科書がそろう。『判例でみる音楽著作権訴訟の論点80講』2,552円、『圏論入門 Haskellで計算する具体例から』1,870円、日評ベーシック・シリーズ『量子力学』『相対性理論』各1,210円など
👉️ kintyaku.net/pub/2026-10-...
日本評論社50冊がセール
法律・数学・物理・経済の教科書がそろう。『判例でみる音楽著作権訴訟の論点80講』2,552円、『圏論入門 Haskellで計算する具体例から』1,870円、日評ベーシック・シリーズ『量子力学』『相対性理論』各1,210円など
👉️ kintyaku.net/pub/2026-10-...
数学やってなくても頑張ればいけるかと思ったけど無理ゲーだった
インテリアとして置いておくことにする
数学やってなくても頑張ればいけるかと思ったけど無理ゲーだった
インテリアとして置いておくことにする
とりあえず言い訳を呟いておくか。
「具体的すぎてようわからん。もっと抽象的に話してくれ」!!
いや実際、米田補題の証明にwell-pointedness使ってるようにみえたし、もうちょっと抽象的に(well-pointedでない型と関数のなす圏Typeでもうまくいくように)してくれてもいいとおもう(負け犬の遠吠え)
とりあえず言い訳を呟いておくか。
「具体的すぎてようわからん。もっと抽象的に話してくれ」!!
いや実際、米田補題の証明にwell-pointedness使ってるようにみえたし、もうちょっと抽象的に(well-pointedでない型と関数のなす圏Typeでもうまくいくように)してくれてもいいとおもう(負け犬の遠吠え)
#量子情報 #圏論 #研究
物理
微分方程式
差分方程式
関数解析
ロジック
圏論
複素解析
確率微分方程式
確率論
物理
微分方程式
差分方程式
関数解析
ロジック
圏論
複素解析
確率微分方程式
確率論
物事の間を結ぶ関係性にとことん着目する数学の「圏論」は文理の壁も越えて数学以外の様々な学問分野で注目を集めている。
nk-science.nikkei.com/atcl/nsc/000...
物事の間を結ぶ関係性にとことん着目する数学の「圏論」は文理の壁も越えて数学以外の様々な学問分野で注目を集めている。
nk-science.nikkei.com/atcl/nsc/000...