群の公理 ∀x. 1 x = x ∀x. x-1 x = 1 ∀x,y,z. (x y) z = x (y z) から ∀x. x 1 = x を証明せよ。
群の公理
から
を証明せよ。
以前にやったことあるし、とりあえず証明はすぐに出来た。
この群の公理の話はKnuth-Bendixの完備化手続きの例として良く出てくる*1のだが、実際に手で完備化をしようとしたら、規則がオーバーラップする場合を全て列挙する方法が良くわからなくて困ってしまった。俺駄目すぎ。また、列挙する順序によっては本来不要な規則を追加することになってしまうような……
*1 例えば、<URL:http://www.nue.riec.tohoku.ac.jp/lab-intro/intro/lecture.pdf>
今日は圏論勉強会というか『量子ファイナンス工学入門』勉強会だった。 写真。
@海老専家
天気予報でも雨にはなっていなかったので、油断して折りたたみ傘も持たずに出かけてしまったら、帰りの電車を降りたときに雷雨になっててびっくりした。 しかも、ヒョウまで降ってくるし……ひどい目にあった。
お菓子を補充した。しかし、大学芋味のキットカットって……