その数式、プログラムできますか？（株式会社クイープ アレクサンダー・A・ステパノフ ダニエル・E・ローズ）｜翔泳社の本 https://www.shoeisha.co.jp/book/detail/9784798141107
ジェネリックプログラミングとC++のSTLを作ったことで知られるロシア人プログラマAlexander Stepanov氏による、数学からプログラミングへの橋渡しをするような本。ちゃんと読んではないけど、内容は本格的な数学だった。圏論もでてた。