2012/12/16 CV勉強会@関東「ECCV2012読み会」
![](https://tgfile.tg-static.com/static/web/img/placeholder.gif)
足し算で言えば0。何も買えないのが単位元。 #cvsaisentan
2012-12-16 15:59:19![](https://tgfile.tg-static.com/static/web/img/placeholder.gif)
逆元はマイナス。足し算でいえば引き算がそれにあたる。 #cvsaisentan
2012-12-16 15:59:36![](https://tgfile.tg-static.com/static/web/img/placeholder.gif)
@kantocv 結合法則、単位元の存在、逆元の存在。このような演算が定義できる集合=群 #cvsaisentan
2012-12-16 15:59:43![](https://tgfile.tg-static.com/static/web/img/placeholder.gif)
複素数で言えば、掛け算で表されるので、0でかけるのが単位元、指数の足し算が演算で、指数の引き算が逆元。 #cvsaisentan
2012-12-16 16:00:15![](https://tgfile.tg-static.com/static/web/img/placeholder.gif)
群のお話を知りたい方は数学ガールがおすすめですよ! #cvsaisentan
2012-12-16 16:01:07![](https://tgfile.tg-static.com/static/web/img/placeholder.gif)
実装で例え話が始まったぞwww #cvsaisentan
2012-12-16 16:05:01![](https://tgfile.tg-static.com/static/web/img/placeholder.gif)
思わず笑っちゃったけれど、インスタンスとクラスに例えたのは、良い例えですね。群の性質を表してるとおもいます。 #cvsaisentan
2012-12-16 16:05:56![](https://tgfile.tg-static.com/static/web/img/placeholder.gif)
群の一種である、Lie 群。 #cvsaisentan
2012-12-16 16:06:57![](https://tgfile.tg-static.com/static/web/img/placeholder.gif)
連続群(離散的ではない)であり、多様体の構造を持っている集合を Lie 群。 #cvsaisentan
2012-12-16 16:07:26![](https://tgfile.tg-static.com/static/web/img/placeholder.gif)
集合という「抽象クラス」があって、それを継承(?)したインスタンスで数学は議論されているようなもの。 #cvsaisentan
2012-12-16 16:07:52![](https://tgfile.tg-static.com/static/web/img/placeholder.gif)
俺がオブジェクト指向をちゃんと理解してないから、間違えてるかもしれないけれど・。。。。 #cvsaisentan
2012-12-16 16:08:19![](https://tgfile.tg-static.com/static/web/img/placeholder.gif)
Lie 代数、もしくはLie環 を接平面(円でいうと接線) #cvsaisentan
2012-12-16 16:09:17![](https://tgfile.tg-static.com/static/web/img/placeholder.gif)
指数写像。3回言ってみてください。突然の早口 #cvsaisentan
2012-12-16 16:13:21![](https://tgfile.tg-static.com/static/web/img/placeholder.gif)
円とか球とか上の2点間の距離を測ろうとすると一周したり2周したりして面倒なことになるので一度平面や数直線で書ける接平面に移して距離を測るイメージ?#cvsaisentan
2012-12-16 16:13:38![](https://tgfile.tg-static.com/static/web/img/placeholder.gif)
@kantocv (ひょっとして、私 #cvsaisentan でしゃべりすぎ?)
2012-12-16 16:17:20![](https://tgfile.tg-static.com/static/web/img/placeholder.gif)
@kantocv 三角形の変換の間の距離をLie群で定式化。変形間の類似度を多様体上の距離で表す。#cvsaisentan
2012-12-16 16:19:18