Pierce 本に書いてあったことで、初見では諦めてた問題×2。やっぱり解けない。一見簡単そうなんだけどなあ…? 本の中での扱いも小さいし。 Find a small finite cartesian category that is not cartesian closed. CCC では常に A^1 と A は isomorphic か。…

や、大体あってるよね?

今朝、携帯の方に大学の緊急連絡網から、Main St. の大学前で発砲事件があり、死者が出た旨伝える通知が舞い込んできた ("a fatal shooting occurred on Main St.")。Main St. とは大学の真ん前の通りで、私もよく通る。発砲事件も大学の目の前で起きたと書…

今学期 TA した course の生徒が見つけてきた、python が tail recurse している様子。これって、蛇さんは自然とこんな事すんの? こうなるように、何かごにょごにょ細工してんの?