2012-11-20から1日間の記事一覧
@kururu_goedel: @yamabunmath 多分、defが予約された単語だからってことだと思うんですけど。私はdefnとかにしてあります。2012-11-20 04:06:22 via TweetDeck to @yamabunmath
kururu_goedel’s diary
アメリカ在住中年男性集合論者のブログ
@kururu_goedel: @yamabunmath 多分、defが予約された単語だからってことだと思うんですけど。私はdefnとかにしてあります。2012-11-20 04:06:22 via TweetDeck to @yamabunmath
