2011年07月15日のツイート
@kururu_goedel: ☆が含まれる単語と言われて、みんだ☆なおがでてこない、そんな時代に生きているのだな、私たちは。
@kururu_goedel: @tenapi e^xの微分をやって、逆関数の微分ということでlogの微分を導いて、対数微分で求める、というのがこちらの教科書では一般的です。
2011-07-15 12:47:24 via TweetDeck to @tenapi
@kururu_goedel: @Mr_Tsubaki おめでとうございます。
2011-07-15 10:10:43 via TweetDeck to @Mr_Tsubaki
@kururu_goedel: kururu_goedelさんの属するクラスタは、数学クラスタ、哲学クラスタ、集合論クラスタ、証明クラスタ、研究クラスタです。 #cluster_hantei URL なんか普通すぎる
@kururu_goedel: うわ、GonthierがLogic Colloquiumでtutorialやるのか、うらやましい