Profile_bird

Hey there! ksuenaga 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 ksuenaga's tweets.

Already using Twitter
from your phone? Click here.

ksuenaga

  1. @ssksn その保険金を受け取る権利が証券化されて世界中に広がって第二のリーマンショックを生むわけですね、わかります。 6:06 PM Dec 8th from Echofon in reply to ssksn
  2. @ssksn ちなみに、瑕疵担保のリスクが減ることを定量的に示して、デバッグするよりも低いコストで受注できるとしたら、お客さんはつくかしら。みんなどのくらい品質に関するリスクを大きく捉えてるのかな。 6:02 PM Dec 8th from Echofon in reply to ssksn
  3. @ssksn そこが結構難しくて、やっぱりお客さんにとっての価値が何なのかが結構言いにくいんだよね。「数学的手法に基づいた検証でプログラムの信頼性を高める」は、現状ではあまり価値になってないみたい。 5:54 PM Dec 8th from Echofon in reply to ssksn
  4. あ、もう一つ方法があった。何かの標準に「形式手法で検証しないプログラムは認めない」とか入れる。これは政治力が必要だな。 5:47 PM Dec 8th from Echofon
  5. @camlspotter 検証屋の事業としての健全性が検証できたとしても、その検証手法の健全性が問われるわけで、無限ループ。 5:44 PM Dec 8th from Echofon in reply to camlspotter
  6. このくらいしか思いつかないのがビジネスの才がないということなのだろう。本気でやるなら、ビジネスの才がある人と組まないとだめだな。 5:42 PM Dec 8th from Echofon
  7. こういうときにとりうる選択肢で思いつくのは (1) まったく別のビジネスモデルを考える (2) ソースコードをもらえるくらいの信用をなんとか作り上げる (3) ソースコードをもらえるくらいのコネを手に入れる、くらいで、 5:42 PM Dec 8th from Echofon
  8. 考えていたビジネスモデルは、企業からソースコードを貰ってそれを検証してどうプログラムを修正すれば良いかフィードバックするというものだったけど、そもそも企業はソースコードを外に出さない。ましてや、どこの馬の骨とも分からないベンチャーではなおさら。 5:41 PM Dec 8th from Echofon
  9. プログラム検証を事業化できないもんかな。学生の頃は俺が会社を立ち上げてやってやる！とか息巻いていたけど、どうもそこまで単純な話でもないみたい。 5:40 PM Dec 8th from Echofon
  10. おなかいたい 8:17 PM Dec 6th from Echofon
  11. 今年はおせち料理に挑戦してみようかな。 7:09 AM Dec 6th from Echofon
  12. Chicken chicken chicken は名作なので、みんな見るといいと思うよ！http://www.youtube.com/watch?v=yL_-1d9OSdk 6:46 AM Dec 6th from Echofon
  13. 【速報】ネットワークの本で知られるタネンバウムさんという人がいますが、「タネンバウム」はドイツ語でクリスマスツリーという意味。知らんかった。 6:34 AM Dec 6th from Echofon
  14. たまりにたまったPodcast。せめて CNN Student News だけでも聞いてしまおう。 6:24 AM Dec 6th from Echofon
  15. @akikom 会社の個人ホームページは、なんか更新が後手後手に回ります。なんででしょ。 6:23 AM Dec 6th from Echofon in reply to akikom
  16. @unnonouno 日本語/英語両方で研究のホームページを作ることを会う人毎に死ぬほどオススメしてきた私が来ましたよ。 6:09 AM Dec 6th from Echofon in reply to unnonouno
  17. いろんなことを疑ってみるのは悪いことじゃないかもしれない。たとえば「小さい頃から英語を学習すると日本語が乱れる」とか。 5:39 AM Dec 6th from Echofon
  18. @akikom ほほう、こんな身近なところに早押しのチャンスがあったとは。来年行ってみます。 4:05 AM Dec 6th from Echofon in reply to akikom
  19. @akikom 一回でいいから本物の早押しクイズをやってみたいんですよねえ。 4:51 PM Dec 5th from Echofon in reply to akikom
  20. ウルトラクイズが復活したら僕はすべてをなげうって参加する。 8:46 AM Dec 5th from Echofon