アレはどうも癖になる。もう11件くらいのインド料理店を経験してきてみたが、少し冷えてもナンが柔らかさを保つとこは良いね。時々パサパサになるとこもあるのだが、何が違うのだろうか？ 特に超絶激務の時は、何故か物凄くインドカレーが食べたくなったね。…

Steve Awodey先生の本を読み進めると、Example 10. でlogicからのcategoryの例としてcategory of proofが挙げられている。個人的に「証明論」は魔界なのだが...。数学の証明というものを考察してみよう！という軽い気持ちで足を踏み入れると途端に魔界に引き…

ぼんやりと $\mathbb{F}_q$ について思いをはせる。 $\mathbb{F}_q$ の乗法群 $\mathbb{F}_q^\times$ についてpythonでばばっと調べもの。 #! /usr/bin/env python # -*- coding: utf-8 -*- import numpy as np def invertible(q): a = [1] for i in range(2…