andante

2014-12-21

1221

そういえばそろそろ冬至ってやつじゃないですかね


昨夜は$\ord_3(4^n-1)$が$1+\ord_3(n)$となることを示しましたこの証明は$\Q_3$の構造がうまく使われた証明だった感じがしますうまく言えませんが


夕方まで寝ていましたそういえば土曜日に会社にゆくとなにもしてないのに土日が半分消し飛ぶんですね理解するのに引き算しか必要ない明日からまた仕事ですはー


今夜はこのblogにmathjaxを導入しようと思います過去に\$も\もほとんど書いてなくて簡単にできそうなのでそういえばmroonga対応もそのうちやりたいなーと思ってやっていませんそのうちやりたい