昨日は「技術書典6」というのがあったらしい [読むメディア]
大勢の人が集まる場所に行くことは控えているのだけど、賑やかだったらしい。森北書店は参加したらしい。森北書店は難しい本がたくさんある。
量子系のエンタングルメントと幾何学 ホログラフィー原理に基づく異分野横断の数理
- 作者: 松枝 宏明
- 出版社/メーカー: 森北出版
- 発売日: 2016/06/08
- メディア: 単行本
Coq/SSReflect/MathCompによる定理証明:フリーソフトではじめる数学の形式化
- 作者: 萩原 学
- 出版社/メーカー: 森北出版
- 発売日: 2018/04/18
- メディア: 単行本(ソフトカバー)