クリストファー・ノーラン監督兼脚本による、第二次世界大戦のダイナモ作戦（ダンケルク撤退戦）を描いた作品「ダンケルク」を見てきた。迫力ある音響と、緊張感が常に張りつめているような演出で、あっという間の2時間だった。述べたいことは沢山ある一方で…

本棚の肥やし崩し企画第二弾 一年以上前に買って放置してたので、ちゃんと読んでしまおうというお話。 基礎論が気になり眠れない件 『キューネン 数学基礎論講義』 - arXiv探訪 ↑では、ざっと読んだとか書いたけど嘘。今回は丁寧に一行ずつ読み砕くことを目…