いいかげんサーバー設定しないと。イヤなことはいくらでも先延ばしにしてしまうな。 dotsterでドメインの状態を確認 さくら管理画面でドメインの一部を張り替える、ドメインの利用料金はDNSサーバーの料金だろうからたぶん変更なし。 新サーバのドメインが行…

またもサーバ環境を作らねばならない。ううううう、やだーー。iptablesに関しては次に悪口が書いてあるが、悪口言っても役に立たないな。 http://d.hatena.ne.jp/m-hiyama-memo/20100202/1265070159 http://d.hatena.ne.jp/m-hiyama-memo/20100205/126535691…

森田の定理って1958年に発表されていたのか。古いんだなー。森田同値や、それを実現する森田双加群（morita bimodule）の代数的プログラム意味論での対応物があるはずだと思う。ほんとのところ、環と加群ではなくて（非可換）半環と半加群だから、アーベル圏…