有限生成アーベル群の基本定理

群論の重要な定理の一つに，「有限生成アーベル群の基本定理」というものがある．これは群が有限生成ならば，それと同形な，いくつかの群の直和によって定義される群が一意に定まるというものらしい(合ってるかな？)．で，一意に定まるということで，不変量…

2009-05-23

ファイルを比較する

tool diff cmp rsync comparison how to

大容量，大量のファイルをコピーまたは転送などした後に，それらが本当にエラー無く正しく処理されたことを確かめるにはどうすればよいか？とりあえずテキストファイルの場合はdiffという超有名なコマンドがある訳ですが，今回はバイナリファイルも比較しな…

2009-05-22

未来会議で発表することになった

未来会議 event elliptic curve cryptography

未来会議で発表することになりました．テーマは2つ考えたけど，まだ手を付けていない…どちらも楕円曲線暗号とその周辺に関するもので，一方は演算に関するもの，他方は暗号スキームに関するもの．前者の方が自分の領域なんだけど，一般受けしそうなのは後者…

2009-05-05

他のレポジトリにある作業中でないブランチをコピーする

git tool Tips

AliceとBobが居て，gitで協業しようとしている． Aliceは，$ALICE_WORKING/reposというディレクトリにレポジトリがあり，masterとcur_workingというブランチがあって，cur_workingというブランチで作業中(current working branchとでも言えばいいのかな？)で…