1103
文化の日ですが、文化の日ってなんなんでしょうか。そんな漠然とした日があっていいのなら、上下の日とか左右の日とか、同値性の日とかもあっていいのでは。いや、まあ。
ちょっと数学をやりました。圏の話は定義だけなら何度か見たことがあって慣れているけれど、ちゃんと具体例を確かめながら進むようにしたいな。やっぱり素振りをしないと上手くならない。そして僕は時間が掛かっても上手くなりたいと最近は思う。人生は長いのだ。
明日はまた仕事です。デザイナさんとデザインの相談をするのと、あとは不具合対応かなー。改修仕様がまとまってたら設計の検討かも。でもいまいち気乗りがしないにゃあ。
あと夜にa,ßと会います。一年ぶりかな。楽しみだ。