わさっきhb

大学(教育研究)とか ,親馬鹿とか,和歌山とか,とか,とか.

2014-05-22から1日間の記事一覧

とか言ってる人もいる

OoM

アクセスログを見ると,t.coによる短縮URLからのアクセスがありました.ツイート元は[twitter:@id_g]さんとのこと. window.twttr = (function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0], t = window.twttr || {}; if (d.getElementById(id))…

乗法の交換法則,操作的証明と形式的証明

OoM

いきなりですが問題です.自然数の乗法の交換法則に関して,以下の証明は正しいですか. 集合Aがm個の元をもち,集合Bがn個の元をもつとき,A×Bはm×n個の元をもち,B×Aはn×m個の元をもつ。変数を(a,b)→(b,a)と交換することによって,A×BからB×Aへの全単射が…