2011年06月02日のツイート - kururu

@kururu_goedel: Hajnalの主だった業績を思い出せない自分が情けないので寝ます。

@kururu_goedel: @nayuta87 「押し込む」の定義にも依りますが、普通の数学はほぼ全て公理的集合論の中で展開できるので、わざわざブール代数値モデルを考える必要はないです。ブール代数値モデルは強制法と呼ばれる手法と同等で、主に独立性証明に使われます。

@kururu_goedel: @sasho1223 区体論は、ありていに言えばトンデモなので、そんなものをレポートに書かれても困ると思うのですが。比較するなら圏論とか型理論とかの方が。

@kururu_goedel: アーノルド・シュワルツェネッガーとかジョン・エドワーズとかも最後まで浮気は隠していたしねぇ。隠し子がいると報道するとプライバシーを侵害したとマスコミが責められるフランスとはえらい違い。

@kururu_goedel: URL シニカル過ぎたかもしれません。家族を大事にしたいと本当に思っている人も多いと思いますよ。それが、社会的成功とも結びついているというだけで。

@kururu_goedel: なんか、どこかの州で人間の受精卵に人権を与える法律を作ろうという動きがあるそうで、成立した場合子宮外妊娠のときの中絶とかを法的にどうするのとかいう妙な問題がもちあがっているそうで、なんだかねぇ。中絶に反対というのは理解できても手段の方がわけわからない。

@kururu_goedel: @niam 仕事のせいで家族を大切にできない人は、能率的に仕事ができない無能と思われるからです。ホームパーティーが重要な接待となることも大きいと思います。

@kururu_goedel: なんかここ数日、娘が和英とか英和の辞書を持ってきては、意味がわかるはずもないのに眺めているのですが。普通のお話しの本を先に読めるようになってください。