Profile_bird

Hey there! ikegami__ is using Twitter.

Twitter is a free service that lets you keep in touch with people through the exchange of quick, frequent answers to one simple question: What's happening? Join today to start receiving ikegami__'s tweets.

Already using Twitter
from your phone? Click here.

ikegami__

  1. 明日メールすること、と、自分宛てにメールした。めるめる
  2. ありがとう、わかりました。 Parallel universe は、確かに inconsistent で、僕らが確かめられるものだ! これで勝ちたい。まだ合戦が続くかもしれないが : RT @ikegami__ Multiverse?
  3. Universe は inconsistent だっと言いたいところだが、ぐっとがまんする。これでは水掛け論になってしまう
  4. Universe の外と Universe 、では説得力がない、Universe の外が inconsistent かどうかを言えないから(未熟者め
  5. Universe を包含し、inconsistent なものってなんだろうなあ
  6. このツッコミに対し、どうボケたらいいか、今日一日中(暇な時間は)考えていたような気がする
  7. "World is both consistent and inconsistent in the sense of Zen splits." -> "Observer maybe inconsistent, but Universe is consistent." と返された
  8. @rumi_stardust あと、テスト前はプログラミングのこと考えちゃ、だめだぞ、っと思います
  9. @rumi_stardust 定義は暗記するものではなくて、「いちばんさいしょにこの定義を考えた人は、何を考えていたんだろう」と不思議に思うのが大事。演習問題(答えが導けるとあらかじめわかっている問題)をひたすら頑張れー
  10. @akachan_ace 自分で計算したあと、答え合わせは、こないだ教えたサイトで "zeta(0)" とすればいいよ : http://www.wolframalpha.com/
  11. 言い換えに過ぎないけど、生成アルゴリズムが recursively enumerate かどうか、という問題に帰着すると思う。群の生成の意味で。 RT @kikx: 関係ないけど生成元と関係式から群が有限かどうか判定できるのか疑問に思った
  12. でも、有限群って、いくらでも変なのがあって、monster group みたいな位数は現代のコンピュータじゃ扱えないんじゃないかなーと思ったり。決定可能ってやっぱバズワードだと僕は勝手に思う : http://bit.ly/VDm7j
  13. 有限群なら solvable でした、どうみても決定可能です、ほんとうにすみません。 RT @xagawa @ikegami__ word problemだと無限群上でやってましたけど、有限群でもダメな例があるんですか?
  14. @henkuma さんと、食事でもしながらその話題をしたいなと思った : 計算と表現と証明
  15. 群で二つの元が同一かを確かめることができない病的な例があります RT @kururu_goedel: @ko1kun 有限集合上の演算ならば、原理的にはほとんどの言語で群であるかを判定するプログラムは書けるはずです。 : http://bit.ly/4HJFEt
  16. FP だけでなく OOP のセマンティクスがあるらしい (Java についてはあまり見たくないけど、正月以降に買うかな) : http://lambda-the-ultimate.org/node/3695
  17. @finalfusion フィセル、かな?フランス語のスペルはちょっとわからない : RT ガーリックのきいた小さいフランスパン(正式な名前は知らない)どっかにないかなあ
  18. @shugomaeda からだ、おだいじに。ごかぞくにもよろしく
  19. @finalfusion あ、三色ボールペンや四色ボールペンは重宝ですね。マークつけたり、色使い分けるためだけじゃなくて、数学の人が「数学の意味で3次元より上のもの」を「描き、回し、見る」ためにも使えます。そのやりかたはとても 140 文字では書けない。4 次元のでも説明geee
  20. @finalfusion こだわるひとたちは世の中にいっぱいいるみたいですが、僕はそれはもう山ほどいるのでコスト重視です。水性じゃだめで油性ボールペンでかつ最後まできっちり使える奴。@finalfusion さん、知ってるじゃないですか、ぼくが薦めるものを買うと人生の岐路変わる