2013-03-03から1日間の記事一覧

表現論の簡単な歴史

表現論の(特に20世紀前半の)歴史を余り知らないことに気付いたので、少し調べてみた。"純粋に表現論的な問題"(既約表現や直既約加群を分類するとか、表現を既約分解するとか)は、幾何学や数論や組み合わせ論なんかと比べると、人間が直感的に理解したいと思…

coherent state物語

coherent stateは、1926年にシュレディンガーが発見したらしい。よく知られている例は、自由粒子のガウス波束と、調和振動子のコヒーレント状態で、教科書によく書いてある通り、次のような特徴がある ・最小不確定性関係を満たす(位置と運動量の不確定性関…

CFML

coq

以前に、CFMLというものがあるというのを教えてもらった(のは一ヶ月半前)ので、触ってみた。Characteristic Formula generator for MLの略らしい。サイトの下の方に論文リストもあるし、色々なアルゴリズムを証明した例もある http://www.chargueraud.org/so…

中古スマホの個人情報、復元プログラムで簡単に復旧 http://japanese.donga.com/srv/service.php3?biid=2012103163498Android端末初期化・工場出荷時設定を行っても削除されない個人データがあるかもしれないので注意喚起すべきだが、もう少し積極的にキャリ…