https://twitter.com/kinaba のログ (twilog の方が便利です。)
| @dream_shifter そう感じる人が多いとは私も思っていて、それがとても勿体ない!!、というのが主張です。実際に目の前の計算機で動かせるPの人気は理解できますが、一方でNPや非決定性アルゴリズムも独特の魅力があって楽しいので、Pならいいやで捨てちゃうのは非常に勿体ない(続 | |
| @dream_shifter 続) PまたはNPの証明が明らかで皆さん諳んじられるのであればそう強くは主張しませんが、素数判定はどちらでもありません。非決定性計算を使えば書ける、AKSより遙かに簡潔で綺麗な、でも非自明なアイデアに溢れたアルゴリズムはそれ自体言及される価値が。 | |
| @dream_shifter あとは、"より詳細なことがわかっているのだから「実数は足し算に関して群をなします」というのは変で「足し算と掛け算に関して体」と普通は言うべき"、とはあまり言われないと思うんですけど、普通は∈NPと言わない、というのにはそれと似たような違和感があります | |
| @dream_shifter あ、一つ、http://twitter.com/iwiwi/status/8406904971 や http://twitter.com/kinaba/status/42614988266946560 に対し http://twitter.com/ikegami__/status/42699522631143424 https://t.co/qrshqpLD https://t.co/8cqIg0hH のような | |
| @dream_shifter 「～はNPである"と証明せよ"」に対して「～ってPじゃなかった？」と来るのが非決定性TM同好の士として寂しいな、というのが狭くは発端なのですが、これに限るとご意見いかがですか。"と証明せよ"抜きでも同じくは感じますが、それだけならあまり反対はしません | |
| https://t.co/bmbjviz2 うっ、あと13。レビューにかかる時間を読み違えて出せそうで出せないパッチが3個手元にあるだけというひどい状況になってしまった。 | |
| あれ、やばい OCaml crash 3週間前ということはプロシン3週間前だ。うおお資料作り | |
| http://splashcon.org/2012/program/oopsla-research-papers SPLASHのプログラム見ている。"Kitsune: Efficient, General-purpose Dynamic Software Updating for C" @xhl_kogitsune | |
| "Kitsune provides the greatest flexibility and best performance with modest programmer effort"!! http://www.cs.umd.edu/~mwh/papers/kitsune.pdf | |
| 今晩も花火 http://www.city.edogawa.tokyo.jp/hanabi/index.html に行こう。 | |
| http://en.wikipedia.org/wiki/Context-sensitive_grammar "S→λ provided S does not appear on the right side of any rule" ⇒⇒ http://ja.wikipedia.org/wiki/%E6%96%87%E8%84%88%E4%BE%9D%E5%AD%98%E6%96%87%E6%B3%95 "S→ε Sが生成規則の右側に全く出現しない場合もある。" | |
| あっれ、今まで一度はこの項読んだと思うんだけど気づいてなかった。あとで直そう。 https://t.co/dru9uIAM | |
| 花火〜。打ち上がって広がった後で光がランダムウォークするように見えるのはどう造るんだろう。謎の技術だ。 | |
| プルームさん無言で画像upに失敗しないで欲しい http://twitter.com/kinaba/status/231715605118607361/photo/1 | |
| モダン・ハナビ・テクニックス大全みたいな本って出てたりしないかな。それともこういうのは職人さんの秘伝なんだろか。たびたびこれどう実装するんだろう凄いってなる新技を見る気がする http://twitter.com/kinaba/status/231716617715863553/photo/1 | |
| 機械工学専攻 煙火学専修 http://www2.ashitech.ac.jp/fireworks/about_01.html ちょうかっこいい | |
| 花火学入門(2006) http://www.amazon.co.jp/dp/4768708730 はさっきの学科の先生達の書いたテキストか。面白そう。 |