2010年12月25日のツイート - kururu

@kururu_goedel: . @dominus_noster つまり、取り調べでは日常的に「ぶち切れますよ」「弁護士は1年目で……」とか言っていて、それが正しい取り調べだと考えられている、と。メモメモ。

@kururu_goedel: 一つの分野として集合論が成立するのは、全てを集合として扱っていくことのご利益がでてからだと思っているので、初等部分モデルとか超冪とか内部モデルとか、そういうのが出てくる前は集合「論」とは言いたくないと個人的には。

@kururu_goedel: 失言しそうになった気がする

@kururu_goedel: @hyuasa ちょっと世界となると自信がないのですが、アメリカではそうなっています。

@kururu_goedel: x*はe^x となって欲しいので、係数の扱いがちょっと違っていたというか、そういうのをうまく処理できる枠組みがないかなと思っている間にうやむやに。

@kururu_goedel: 形式的べき級数のことは、以前正規表現の微分のことを考えていたときに、ぼやっと考えていた。やっぱりそういう研究はあるのね。

@kururu_goedel: 正規表現しちへんげは、とても素晴らしいクリスマスプレゼントだったと、@kinaba さんに感謝しまくる会。

@kururu_goedel: @hyuasa それは文科省のというよりは、世界標準の決まりのはずです。講義に対してはその2倍の時間を授業時間外で使うことが要求されているはず。