NetBSDネタがメインだったはずですがところによりておくれです

計算機など

Interests: FP, PLT, CAS, MathLogic, Set Theory, Cat. Theory, DiffGeometry, QG, AdS/CFT, BH Thermodynamics and cat owner

カメラ3台提げてハスラーで日本中を旅するショタ
クルマの燃料タンクサイズ(27L)は心の余裕