[定義] map a:X->Yが injective(単射)任意のmap x1,x2:X->Y について もしも ax1 = ax2 ならば x1=x2であるとき．[解説] 対偶をとるとわかりやすい．任意のmap x1,x2:X->Y について もしも x1 != x2 ならば ax1 != ax2であるとき． （map aは区別を保存する…

「みんなのはなもげらぼっと」 のソースコードです．はなもげらAPIを利用して長さ7のはなもげら語を得た後，Twitterに投稿します．はなもげらAPIはHTMLドキュメントを返すので，結果のパーシングににNokogiriを使用しています． #!/usr/bin/ruby # -*- codin…