メイン画面から、[管理]-[データ管理]を開くと「ブログのエクスポート」がある。そこに、 はてなの日記データ形式 Movable Type形式 CSV形式 PDF形式（有料） 「はてなの日記データ形式」でダウンロードすると、拡張子は .xml、m-hiyama.xml ができる。「Mov…

http://www.calormen.com/logo/

トロピカル環（半環）についは、 熱帯はやっぱり熱い！ （tropical半環おもしれー） - 檜山正幸のキマイラ飼育記 メモ編 Exotic Semirings - 檜山正幸のキマイラ飼育記 メモ編 離散的な力学系に関しては、 離散物理としてのグラフ理論 - 檜山正幸のキマイラ…

絵算の欠点は、しばらくやってないと出来なくなる事だろう。勘（感、観）に頼るので、勘が鈍るのだ。機械的な記号計算ではないので、どこ（場所、チャンバー）になに（変形規則の適用）をするかの判断に慣れがいる。視覚的な認識なのでアルゴリズム化が難し…