2011年08月23日のツイート
@kururu_goedel: 計算が合わないと思ったら2*1-1=3ってなによ
@kururu_goedel: @CharStream そうか、記号が毎回変わっているって可能性に気がつかなかった。
2011-08-23 23:27:10 via Seesmic to @CharStream
@kururu_goedel: @mocomocoYunjae 見てみました。10の位をaとして1の位をbとすると、(10a+b)-(a+b)=9aなので計算して出る数字は10の位にのみ依存していて、確率としては1/10で当たるはずです。それ以上のことはちょっとわかりません。
2011-08-23 23:07:29 via Seesmic to @mocomocoYunjae
@kururu_goedel: 念のため、全員ではないにしてもうちの学科の学部生にはかなり出来る子がいますよ。……もっともそういう学部生は、学部時代に院生がとるような授業をほとんど修了しちゃっているんですが。
@kururu_goedel: いや、それは大げさかもしれないけど、かなりそれに近い状況だ。
@kururu_goedel: Real Analysisの授業、数学的帰納法は(よく知られた等式を導く以外は)特に使う場所なさそうだし飛ばそうかなぁとか思っていたら、よく考えてみるとここでやらないと下手したら数学的帰納法やらずに数学科を卒業できかねないことに気付いてちゃんとやることにする。
@kururu_goedel: あ、そうだ。筆記体なんて習う意味が無いと言っている人が結構いたけど、普通の書き物はともかく、こちらでパーソナルチェックを切るときには筆記体で例えばOne hundred and twenty-threeとか書くことを要求されるナリよ。全く使われないわけじゃないです。
@kururu_goedel: しかし、「0は自然数」と教えろとは言わないから、「0を自然数と認める場合もある」ことには触れておくべきじゃないのかなぁ。どうしてこう初等・中等数学教育は窮屈なんだ?
@kururu_goedel: なんか病気のエビをtreadmillに入れる実験が税金の無駄として取り上げられているらしい。私には実に自然なアプローチに見えるんだけど……。挙げられているお金の額は、もちろんこの実験に使われた額ではなく、プロジェクト全体でのものとのこと。URL
@kururu_goedel: @salmonsnare やあ
2011-08-23 22:09:59 via Seesmic to @salmonsnare
@kururu_goedel: 0は極限順序数か問題
@kururu_goedel: 「紛らわしいから非負整数と書けばいいのに」とかいう人の気持ちがわからない人は許せません。 URL (冗談ですので、念のため)
@kururu_goedel: URL【集合論・数学基礎論を駆使して、『論理は感情を説得する力はない』と数学的に証明されている。ほんとにそう思う。】すごいですね(棒)。
@kururu_goedel: @ShinichirohM 見つかりました。目を通す暇、あるといいなぁ。Simon Thomas "On the number of universal sofic groups" URL
2011-08-23 00:32:52 via Seesmic to @ShinichirohM
@kururu_goedel: これは面白そうですね。普通は連続体仮説がある方が簡単なのに。QT:@ShinichirohM 連続体仮説が成り立たないとするとき,普遍sofic群は2^2^{\aleph}個あるらしい.連続体仮説が成り立つとするときの予想は2^{\aleph}個らしい.
2011-08-23 00:15:58 via web to @ShinichirohM