「ドラクエ」シナリオスタッフ募集中－経験不問とか、「Kindle for Android」とか

　Twitterで、気になったもの。
　idがその発言のID,screen_nameが発言した人で、下の行が発言内容

---

id:17444580127 　　 screen_name:NOFX2
twitterリード専用クライアント”TwiYom” RT ツイッターリーダー TwiYom http://goo.gl/OnEt

id:17444150552 　　 screen_name:NOFX2
最新版XenServer 5.6は、ライブマイグレーションが無償 RT 最新版XenServer 5.6とXenCenterの機能 http://goo.gl/5yry

id:17446089882 　　 screen_name:whitepaper_JPN
tt [株式会社セゾン情報システムズ] 発売以来17年間、6,600社に利用され続ける企業内・企業間通信ミドルウェアとは http://ow.ly/17WVH8

id:17446089624 　　 screen_name:whitepaper_JPN
tt [ソニービジネスソリューション株式会社] 【導入事例】プレジデント社がクラウド化で実現した、リーズナブルなIT統制とは？ http://ow.ly/17WVH7

id:17446089308 　　 screen_name:whitepaper_JPN
tt [株式会社セゾン情報システムズ] クラウド対応のHULFTがリリース！　大容量、機密性の高いデータ連携を簡単に行う http://ow.ly/17WVHa

id:17405258484 　　 screen_name:rdfrk
これはｗｗ Reading: iPhone4でフラッシュ撮影したら、ペットがスゲ... on Twitpic http://twitpic.com/20va76

id:17402414492 　　 screen_name:rdfrk
PCのブラウザとは別の実装方針が必要そうだね。 Reading: iPhone, Android, webOS モバイルブラウザキャッシュの制限 - WebOS Goodies http://is.gd/d9KEA

id:17398677409 　　 screen_name:rdfrk
目的は何なのかしら？誰を揺すってるのかな？ Reading: 北畠徹也氏、戦線布告。「Perlは株式会社テラ・インターナショナルの登録商標ですと書け」 http://bit.ly/ccQIDW

id:17392861576 　　 screen_name:rdfrk
それとなく内部情報がリークされるソーシャルメディア。 Reading: Salesforce Chatterに利用者殺到＝BtoBにこそソーシャルメディアが効く【湯川】 : TechWave http://is.gd/d9zpQ

id:17395740931 　　 screen_name:bartomo
米Amazon.com、「Kindle for Android」を公開 http://ff.im/-mW3Tj

id:17395697986 　　 screen_name:bartomo
難攻不落のAmazonがついにハックされた？–製品がまったく表示されない http://ff.im/-mW3Ka

id:17464500355 　　 screen_name:topitmedia
ソーシャルゲームプラットフォーム化で世界的浸透に弾み？ ^松尾：ARゲーム搭載　iPhone向け「セカイカメラ v2.4.0」 http://ow.ly/25zHD

id:17462280223 　　 screen_name:topitmedia
ツイート犬でもありました http://ow.ly/25z84 RT @ikakiuchi: Wendy ありがとう。ご冥福をお祈りいたします。RT @wata0712: 【訃報】弊社社員犬 Wendy 入院加療中のところ本日未明体調の急変により亡くなりました（享年7歳）

id:17459797157 　　 screen_name:topitmedia
AVCHD形式にも対応しています ^乙女 ：オンラインで完結する動画編集ツール「YouTube Video Editor」を試す　http://ow.ly/25yzr

id:17449419340 　　 screen_name:topitmedia
Google、Adobeを援護 ^乙女：YouTube、当面はFlash Playerをメインに――HTML5はまだ発展途上と説明 http://ow.ly/25vQF

id:17414662706 　　 screen_name:topitmedia
4月スタートのアニメ作品で最も評価高いのはやっぱりこれね ^松尾：Twitter上のアニメの評価を見える化する「比較チャート」 http://ow.ly/25d04

id:17401178165 　　 screen_name:topitmedia
うむ、普及に弾みがつきそうだ：「FlashからHTML5へ」の動き、大手ポルノ企業でも http://ow.ly/2571J

id:17399129829 　　 screen_name:topitmedia
「pixiv」が初の大幅リニューアル　Twitter風の「スタックフィード」機能が7月中に登場します ^宮本 http://ow.ly/256fh

id:17398313830 　　 screen_name:topitmedia
対応可能なものから実施するよう求める内容：総務省「SIMロック解除に関するガイドライン」を公表 http://ow.ly/255YG

id:17398282198 　　 screen_name:topitmedia
経験不問とな！：　「ドラクエ」シナリオスタッフ募集中 http://ow.ly/255XN

id:17451216832 　　 screen_name:takapon_jp
ブログ更新です。 東大工学部で講義してきて思ったこといくつか。 - なんだか、ひょんなことから東大工学部の講義にゲストでお邪魔することになった。学科名は忘れてしまったんだけど、どうやらウェブとかのビ.. ☞ http://am6.jp/agxnuc

id:17424821453 　　 screen_name:takapon_jp
"それやりたいけど、軍事上の壁が。北朝鮮とかの人に見られたら公安が飛んでくると思われる。 QT @take_x
@takapon_jp オープンソースのロケット開発なんてどうですか？"

id:17455005064 　　 screen_name:ibucho
ライブドア第九研究室だより : 弟5回メガテクレポ http://blog.livedoor.jp/koichiise/archives/1264557.html

id:17398439845 　　 screen_name:ibucho
Javaコードで自己紹介ｗ　新しいw

id:17433990016 　　 screen_name:abfly
asahi.com：ヤフーが５４０億円申告漏れ　国税指摘、不服申し立てへ - ネット・ウイルス - 話がでかい。大丈夫か？ http://tumblr.com/xgich8zgk

id:17433761199 　　 screen_name:abfly
Twitter上のアニメの評価を見える化する「比較チャート」 - ITmedia News - へー http://tumblr.com/xgich8pwr

id:17419480769 　　 screen_name:abfly
記事:「iPhone 4」のアンテナの分析レポート - 3GSより感度は落ちるが、感度が落ちても通話が維持される力は強い。握って感度落ちる以外は性能は向上してる？よくわからん http://tumblr.com/xgicgvc37

---

「オラクル社員犬 ウェンディが亡くなりました」とか、シスコ、タブレットPC市場に参入とか

　Twitterで、気になったもの。
　idがその発言のID,screen_nameが発言した人で、下の行が発言内容

---

id:17404751978 　　 screen_name:aono
Winモバ＋KUNAIが現在最強 RT @itm_promobile: MS越川氏（@shinjiko9）とサイボウズ青野氏（@aono）の対談です^園：スマートフォンで今度こそ変わる、“モバイルワーカー”の仕事スタイル http://bit.ly/9iUI52

id:17453323479 　　 screen_name:bluerabbit777jp
plugin もきてる。 RT @kimtea: App Engine SDK 1.3.5 Released 　http://bit.ly/bYipAr #appengine

id:17458411472 　　 screen_name:cognitom
「SugarCRM勉強会#010」をトゥギャりました。 http://togetter.com/li/32729

id:17453238942 　　 screen_name:cognitom
「未来楽器」カッコイイ! http://is.gd/daDLI via @nao_matsunami

id:17465108810 　　 screen_name:slashplus
[タレ]Microsoftの携帯電話「KIN」、発売後約3か月で見限られる: 本家/.やArs Technicaによると、米Microsoftが開発する独自スマートフォン「KIN」の開発チームがWindows Phone ... http://buzzup.com/127oa

id:17465107196 　　 screen_name:slashplus
[タレ]中国企業で「白人を借りる」のがブームらしい: CNNによると、中国企業で「白人を借りる」ことが流行しているらしい（本家/.）。これは「White Guy Window Dressing」と呼ばれているそうだ。中国で... http://buzzup.com/127o9

id:17406725906 　　 screen_name:slashplus
[タレ]総務省、SIMロック解除に関するガイドラインを公表: http://url4.eu/5AdVx

id:17405236635 　　 screen_name:slashplus
[タレ]「Verizon版iPhoneは来年発売」の噂: 米国では現在、AT&TのみがiPhoneを独占販売しているが、来年には米国最大の携帯電話キャリアであるVerizonもiPhoneの販売を開始、という噂がある... http://tinyurl.com/2uoc28u

id:17405235732 　　 screen_name:slashplus
[タレ]Firefox 4.0ベータ1候補版、リリースされる: 最近はChromeやIE8の登場によって、影が薄くなりつつあるFirefoxですが、Firefox 4.0のベータ版の候補版がリリースされたそうです（C... http://tinyurl.com/2wt3alb

id:17400053660 　　 screen_name:slashplus
[タレ]SSL証明書、正しく設定されているのはたった3%: セキュリティ企業Qualysによると、正しく設定されているSSL証明書はたった3%しかないそうだ（eSecurity Planet、本家/.より）。 Qualys... http://buzzup.com/124dv

id:17394701252 　　 screen_name:slashplus
[タレ]シスコ、タブレットPC市場に参入: # OSはiOSじゃないのか部門よりZDNetの記事によると、Cisco SystemsがAndroid搭載タブレットPCの発売を計画しているそうだ。この端末はビジネスでの... http://tinyurl.com/359mze5

id:17391275917 　　 screen_name:slashplus
[タレ]民主党のネット選挙活動、初音ミクの代わりに「民主くん」登場: 民主党の藤末健三議員が、東洋経済にて同氏が考えているネット選挙活動について語っている（ネットで選挙は戦える！ 「ネット街頭演説」解禁はできなかったが、秘... http://buzzup.com/123yb

id:17391274952 　　 screen_name:slashplus
[タレ]NASAの宇宙飛行士曰く「国際宇宙ステーションではロマンスはない」: NASAの宇宙飛行士であり、スペースシャトル・ディスカバリー号の船長でもあったアレン・ポインデクスター氏が「宇宙でセックスをしたらどうなるか」と... http://buzzup.com/123ya

id:17391273891 　　 screen_name:slashplus
[タレ]Knuth教授、サンフランシスコで「地球を揺るがす発表」を予告: 美しい数式を書くために組版システムTEXとフォント設計システムMETAFONTを開発したことで知られるDonald Knuth教授が、TEX誕生25... http://buzzup.com/123y9

id:17391272953 　　 screen_name:slashplus
[タレ]離婚弁護士の86%が「SNSの情報を利用」: アメリカ婚姻関連弁護士学会（AAML：American Academy of Matrimonial Lawyers）の弁護士らを対象に行った調査では、離婚に関してFa... http://buzzup.com/123y7

id:17391271860 　　 screen_name:slashplus
[タレ]巨大レンズで太陽光を集め、iPhone 3Gを燃やす: タイトル通りなのだが、巨大レンズで太陽光を集めiPhone 3Gが燃やしてみた人がいるようだ（本家/.記事）。 音楽を再生したiPhone 3Gをレンズの下に... http://buzzup.com/123y5

id:17415393287 　　 screen_name:yukihiro_matz
おお、お大尽。でも、申し上げにくいのですが「Xperiaがタコ」というのは、実はAndroidがタコなのかもしれず、Desireでは解決しないかも。RT @tomneko_p: Xperiaがタコなんで買い替えようとおもってます！

id:17409264439 　　 screen_name:yukihiro_matz
【セミナー告知】法曹界のGPL第一人者、岡村弁護士と中国OSS業界で活躍する日本人によ る無料セミナー開催！：オープンな日々：ITmedia オルタナティブ・ブログ: http://bit.ly/9NmgeX

id:17407300059 　　 screen_name:yukihiro_matz
「仕事はできるが英語はできない」なんて考えはそのうち無くなる - Casual Thoughts: http://bit.ly/bD3NfC

id:17393795997 　　 screen_name:yukihiro_matz
Copland 2010 revisited: Apple's language and API future: http://bit.ly/adFyvL

id:17393786739 　　 screen_name:yukihiro_matz
Could Ruby be Apple’s Language and API Future?: http://bit.ly/aSCUB4

id:17464356061 　　 screen_name:satonaoki
ブログを書きました。「オラクル社員犬 ウェンディが亡くなりました」 #ojwendy http://ow.ly/25zF0

id:17461009913 　　 screen_name:tweet_1topi
"IMJモバイルが実施した、Twitter活用における企業の意識調査について。なかなか興味深い結果です
：着実に企業の関心を集めるTwitter - ITmedia http://bit.ly/cndWDq"

id:17459731109 　　 screen_name:tweet_1topi
"Twitterファンの方も、AR（拡張現実）に興味のある方も、注目です
：Twitterアプリにもなるau端末向けARアプリ「セカイカ http://bit.ly/cI8Pvp"

id:17397721115 　　 screen_name:tweet_1topi
"これはガンダムファンならずとも注目を集めそうｗ
：ねとらぼ：アムロがつぶやく「一年戦争なう」 - ITmedi http://bit.ly/9eL9Gf"

id:17462589770 　　 screen_name:cloud_now
 クラウド環境においてIT資源とネットワーク資源を統合制御できる技術を開発:... http://bit.ly/9OEorE #dncpr #dncaster Donca1

id:17451403360 　　 screen_name:cloud_now
日本オプロ、Salesforce CRM、Force.comユーザ向けクラウドGUIデザイナー（RBB TODAY）: http://bit.ly/bh9mvz rssmochi

id:17444635685 　　 screen_name:cloud_now
NIITテクノロジーズと日立など、クラウドサービス第一期開始 - インド新聞 http://bit.ly/c9YB93 scalemodeljapan

id:17399795645 　　 screen_name:cloud_now
日本ラッド、PUEが1.1以下の排熱型クラウド用データセンター～10月竣工予定 - Enterprise Watch http://tinyurl.com/27t9h75 #Cloud cloud_kumo

id:17392644254 　　 screen_name:cloud_now
[RBB] IDCフロンティアのクラウド新基盤の構築に、ヴイエムウェアと日本IBMが協力 http://dlvr.it/28y5Y feedreader2010

---

Android 3.0？の “Gingerbread” 詳細とか

　Twitterで、気になったもの。
　idがその発言のID,screen_nameが発言した人で、下の行が発言内容

---

id:17468396221 　　 screen_name:yaha_questetra
【BPM教材】他にもあります。「ビジネスプロセスモデリングの鉄則」 http://bit.ly/5Fc7Hd PDFもありますよ♪

id:17461018796 　　 screen_name:yaha_questetra
【iphoneアプリ】ちなみに先程つぶやいた iphone アプリは Questetra BPM Suite の API を活用していただくために利用していただく、サンプルアプリケーションです。

id:17453301263 　　 screen_name:kazunori_279
"BPStudy#34 に参加しました キャバクラとErlangについて — 清水川Web" ( http://bit.ly/aSuYoi )

id:17449084640 　　 screen_name:kazunori_279
"OSの役割は縮小している" http://bit.ly/aa65F7

id:17443779570 　　 screen_name:MetaMoji
Where Content Meets Code: U.S. SEC Mandates, Python and Financial Content http://bit.ly/cvUr9M

id:17461287717 　　 screen_name:kanu_
[B!] プロセスを支えるのは方法論ではなく技術 http://bit.ly/d0PjDG なぜアジャイルは本のとおりに実践しても失敗するのか？（1/4）:企業のIT・経営・ビジネスをつなぐ情報サイト EnterpriseZine (EZ)

id:17454550064 　　 screen_name:kanu_
あなた「@kanu_です。よろＰくね！」面接官「はい　宜しく。本題に入ろうか」あなた「御社に将来性を感じました」面接官「それマジで言ってんの？」。 http://shindanmaker.com/29527 #mnstsndn

id:17456146210 　　 screen_name:ashigeru
@asami224 一件だけWindowsで困っているのは、エクスポートするPDFにフォントを埋め込めないので、たぶんMacの母艦がないとiPad内部で閉じちゃう感じがします。あくまで自分用のスケッチくらいな感じかもしれません (それでも便利ではあります)

id:17474347336 　　 screen_name:AlohaOgion
【Amazon EC2】「もはや“オプション”ではない「EBS」-ITpro-」 http://bit.ly/b8y1iv

id:17462363753 　　 screen_name:maruyama097
"マルレク2010第五回@Oracle　#maru5 丸山講演分　「Spring Rooの世界」　資料アップしました。 http://bit.ly/dopnyY
クラウドのソフトウェア開発ツールとして注目されている技術です。"

id:17448421217 　　 screen_name:hortense667
デル＝戴爾電腦、インテル＝英代爾、オラクル＝甲骨文、ヤフー＝雅虎、グーグル＝谷歌。

id:17472969943 　　 screen_name:higayasuo
Mozilla Submits Firefox Home iPhone App. Apple Should Approve It http://ow.ly/25BBT

id:17472263512 　　 screen_name:higayasuo
Microsoft emphasizes Xbox Live Arcade compatibility in Windows Phone 7 http://ow.ly/25Brp

id:17469008317 　　 screen_name:higayasuo
Googleが送ったメールがgmailにspam扱いされることがMLで問題になってるｗ

id:17467729791 　　 screen_name:higayasuo
Microsoft puts down the Kin http://ow.ly/25ArE

id:17467539391 　　 screen_name:higayasuo
First real details about Android 3.0 “Gingerbread” emerge http://ow.ly/25ApB

id:17460816674 　　 screen_name:higayasuo
丸山先生がSpring Rooをかなり推してる。また、例の法則が発動するのか。東原なみに強力な気がする

id:17443835472 　　 screen_name:masayukihayashi
ブログ更新： IT Initiative Day 2010 ／ クラウドコンピューティングスペシャル http://bit.ly/cpsx7N

id:17467503891 　　 screen_name:ASPSaaS_NAVI
NEWS更新『アクシスソフト、SaaS型名刺情報管理サービス「名刺バンク」を提供開始』携帯のカメラ機能で名刺の写真を撮影し専用メールアドレスに送信するだけで「名刺バンク」に登録可能 → http://bit.ly/c3KWIS

id:17467499256 　　 screen_name:ASPSaaS_NAVI
NEWS更新『ALSI、クラウド型Webフィルタサービス「InterSafe CATS」の価格改定』ポリシー設定からアクセス規制、ログ管理などの設定や管理をブラウザ上で行える → http://bit.ly/anHLt1

id:17467494772 　　 screen_name:ASPSaaS_NAVI
NEWS更新『日立製作所、プライベートクラウド対応を強化した統合システム運用管理「JP1」を発売開始リソースプールの運用サイクル全般にわたる一元管理を可能とし運用負荷を軽減 → http://bit.ly/aotcGu

id:17444605729 　　 screen_name:yunh
数学にまつわる興味深い話:ハムスター速報 http://tumblr.com/xaechltyi

id:17442955285 　　 screen_name:yunh
"ＨＰラブクラフトサービスと見間違えた。" - HP のクラウドサービス対応プリンタは広告も出力 - スラッシュドット・ジャパン http://tumblr.com/xaechjvuo

id:17465008229 　　 screen_name:suadd
#clipp 今後ますます上がると。当たり前だけど。: 上場企業の役員報酬個別開示についての雑感 - 藤沢数希 : アゴラ http://clipp.in/entry/254189

id:17465007633 　　 screen_name:suadd
#clipp [jp]楽天は「日本企業をやめて世界企業になる」 http://clipp.in/entry/254188

id:17466483367 　　 screen_name:taguchi
内容が濃すぎてまとめるのに苦労しましたw！今度はとんかつに…！ QT @hitoshi: 主旨を見事にまとめて頂きました。さすがです。ありがとうございました！！RT @taguchi: 【書評】 小さなお店のツイッター繁盛論！ - http://bit.ly/adOpv4

id:17458818214 　　 screen_name:taguchi
HTML5のcanvasタグの使い方がよくわかるチートシート - http://bit.ly/9MIFJj

id:17457007910 　　 screen_name:taguchi
アップルの30年の歴史を2分間で表現した映像『30 Years of Macs in 2 Minutes』 - http://bit.ly/abHSgp

id:17455538042 　　 screen_name:taguchi
ニューヨークの「楽しいこと！」をリスト化した『FUN LIST NYC』が便利そうだ！ - http://bit.ly/cBpjci

---

表題の件は、
id:17467539391の
First real details about Android 3.0 “Gingerbread” emerge
で、そこにリンク先があるけど、そこだと、英語の説明になる。

さっきツイートしたんだけど、

Androidの次期バージョンGingerbreadは10月中旬リリースか？ 1GHz CPUが最低動作要件、UIが刷新との噂
http://www.gapsis.jp/2010/07/androidgingerbread10-1ghz-cpuui.html

のほうが、日本語なので読みやすいかも？（英語と内容は、大体同じ）

Ｂメソッドについて

　形式仕様のＢメソッドについて、わすれそうなのでメモメモ

■Ｂメソッドのやっていること

　事前条件、事後条件、不変条件が正しいことを、検証している。

　つまり、
１．事前条件、事後条件、不変条件を記述する
　　　　　　↓
２．これらの関係が正しいことを検証するには、
　　どういうことを証明したらいいかを導き出し（＝証明責務）
　　　　　　↓
３．その導き出された証明責務を証明していく

つまり、

モデル　→　証明責務　→　証明

という形式を取るが、実際には、証明責務の前に、型チェックするし、
証明は自動的にツールでやってくれる。なので、

モデル　→　型チェック　→　証明責務生成　→　自動的に証明（一部無理なものを手で証明）

という感じになる。

---

■モデルのレベル

　Ｂでは、モデルのレベルとして

　　　・仕様レベル
　　　・それを詳細化したレベル
　　　・実装に近いレベル

　と仕様のレベルを分けて書くことができる（モデルを記述するとき、はじめの単語で、どのレベルの仕様を書くか記述する）
　最終的には、実装に近いレベルから、プログラムが自動生成できるようだ。

　各レベルにおいて、

　　モデル　→　型チェック　→　証明責務生成　→　自動的に証明（一部無理なものを手で証明）

　ってことをやる。

---

■Ｂメソッドのツール

　Ｂメソッドのフリーで使えるツールとして、atelier Bがある。
　
　　　http://www.atelierb.eu/index-en.php

　そこから、ダウンロードサイトへいけるようになっている

　インストールすると、こんなかんじ


上のメニューの下に、Ｔｃ、Ｐｏ、Ｆ０、Ｆ１と書いたボタンが見える（灰色になって押せなくなっているけど）

これが、
Ｔｃ：型チェック
Ｐｏ：証明責務作成
Ｆｏ：自動証明
Ｆ１：自動証明

となっている（ＦｏとＦ１は、探索空間が違うそうで、ＦｏでうまくいかなくてもＦ１でうまくいくこともあるそうな）

なので、Ｂメソッドで仕様を記述したら、
Ｔｃ、Ｐｏ、Ｆ０
という順にボタンをクリックしていき、エラーがないか確認する。
Ｆｏでうまくいかないときは、Ｆ１も試してみる感じ。

---

とりあえずここで切る。

「できるiPad」とか

　Twitterで、気になったもの。
　idがその発言のID,screen_nameが発言した人で、下の行が発言内容

---

id:17395956997 　　 screen_name:masayukihayashi
谷脇氏：スマートクラウド戦略。利活用戦略。普及に向けた環境整備。創出に向けた整備。グローバル展開。スマートクラウドクラウドコンソーシアム（仮称）を秋に組成。ICTタスクフォースへの反映。

id:17392970760 　　 screen_name:masayukihayashi
赤石氏：情報経済革新戦略：グローカライゼーションによるボリューム戦略。コンテンツの海外展開。社会システムの高次化、海外展開。クラウドコンピューティング。標準化戦略。人材育成。

id:17392751368 　　 screen_name:masayukihayashi
経済産業省 商務情報政策局 情報政策課長 赤石浩一氏による「経済社会システムの変革とITの果たす役割～情報経済革新戦略について～」

id:17363317417 　　 screen_name:masayukihayashi
ブログ更新： ソーシャルメディアを活用する http://bit.ly/9s1k6w

id:17404866351 　　 screen_name:yunh
Connectify - Turn your Windows 7 laptop into a Wi-Fi Hotspot http://tumblr.com/xaecgigln

id:17394705589 　　 screen_name:suadd
テレビ電話とか、日本で何年も前に大々的にフューチャーされ、そして誰も使わなかったことが思い出されるが、iPhone 4でも同じ道を辿るのかどうか。

id:17394362332 　　 screen_name:kotoripiyopiyo
“政党別平均では、みんなの党が２８７２万円で首位。以下、自民党２３３０万円、新党改革２２４７万円、国民新党２２１１万円、社民党２２０４万円と続く。” - 資産公開：衆参議員の所得過去最低、政党でみんなの党首位 - 毎日ｊｐ(毎日新聞) http://bit.ly/9JMCHB

id:17401459988 　　 screen_name:nobi
検索した住所をコピー/ペーストして地図に入力したら、ものすごく大雑把な地名が表示された。 http://twitpic.com/216ras

id:17401028271 　　 screen_name:nobi
PINコード問題で困り中なので、赤坂近辺のau shop探そうとマップで現在地表示して「au」で検索したらオーストラリアを指し示された。 http://twitpic.com/216pdy

id:17389879733 　　 screen_name:nobi
@Point_getter 日本だけの規格じゃなく、世界で広がっている規格ですかね。通話も定額ローミングできる時代、海外行ったら急にケータイでテレビ見れなくなったは残念過ぎ。iPhoneのMediaFLOケース、米国以外のMediaFLOもローミング視聴できるようにならないかな。

id:17405530399 　　 screen_name:taromatsumura
メールを何本か書く。「できるiPad」が、インプレスダイレクトでのPDF販売でも1位に (#tokyotoday live at http://ustre.am/3F9G )

id:17419237412 　　 screen_name:masui
@vmi_jp .metadata消したらうまくいったようです! ありがとうございました。

id:17416592072 　　 screen_name:masui
"Eclipseでプロジェクト作りそこなって、消しても再インストールしても全然直らないなう。
ゴミはどこに残ってるんだろう..."

id:17379798453 　　 screen_name:masui
"SIMフリーDesire買うチャンスですぜ!
http://www.expansys.jp/d.aspx?i=196001
http://gyazo.com/326d0611e1dbf92627e66a3204f87c0c.png"

id:17379080528 　　 screen_name:masui
Google Latitudeって使われてるのかな?

id:17391960544 　　 screen_name:kengo
Penultimate がアップデートで、ペンの色が全部で6色になり、ペンの太さも選べるようになった。ペンアイコンをホールドで出てきます。 http://twitpic.com/215n98

id:17383446599 　　 screen_name:kengo
瞬間最高視聴率は６４・９％　Ｗ杯パラグアイ戦 - 47NEWS（よんななニュース） http://bit.ly/aSTOD0

id:17391093335 　　 screen_name:kayokamoto
ブログをアップしました。「ソーシャルベンチャー・スタートアップマーケット第一期募集中」。...起業を考えている方には事業資金だけでなく、事業の立ち上げ支援を受けられる大きなチャンス... http://yayoiplus.sblo.jp/

id:17370304046 　　 screen_name:kayokamoto
@pinahirano 正直、敵には回したくないですよね。ただ、そんなことは言っていられないのも事実。昨晩、証券業界内の知人から聞いたのですが、だいぶ問題になっており、パブコメも多く寄せられているということです。もうひと頑張りです。

---

Springの最近の動向についてのスライドとか

　Twitterで、気になったもの。
　idがその発言のID,screen_nameが発言した人で、下の行が発言内容

---

id:17403287443 　　 screen_name:CloudNewsCenter
iPhone 4 の受信問題、解決しました！ http://twitpic.com/216zqo

id:17366521344 　　 screen_name:CloudNewsCenter
[#DataCenter #データセンタ] 2010年内にIPO予定のデータ選択事業者のリスト http://post.ly/lEgr

id:17391868757 　　 screen_name:kazkawamura
ヒルズの青山ブックセンター、コンピュータ関連書籍が薄い。。。でも、そんな中にガベージコレクションのアルゴリズムと実装があった。どういうセレクション？

id:17388008460 　　 screen_name:kazkawamura
昨日のCloud研究会で話したSpringの最近の動向についてのスライド。 http://www.slideshare.net/kaz.kawamura/spring-4647093

id:17381352866 　　 screen_name:kazkawamura
これって、Apacheのページも分かりにくい。 RT @liebejudith この記事、ちゃんと「ベータ」と書いた方が良くないですか？ - ASF、Java Webサーバー最新版「Apache Tomcat 7.0」を公開（ニュース） http://bit.ly/9QlJC1

id:17405955589 　　 screen_name:kazunori_279
TAOが動くElis? RT @tkusano: お、アナウンスされましたか: 北陸先端科学技術大学院大学 ELIS復活祭: http://bit.ly/dsshQq

id:17393428517 　　 screen_name:kazunori_279
Samはニューラルネットワークによる機械学習をJBoss 3上のEJBで実装しようとして遅いとかぬかしてました。あたりまえだ。

id:17388700458 　　 screen_name:kazunori_279
その意味で、仮想化は、データセンターに合わせたコードを書けない人のための暫時的な技術と思う。最初からHadoopや #appengine でアプリを実装できれば、アプリごとの仮想化VMやOSはオーバーヘッド。

id:17388540846 　　 screen_name:kazunori_279
"distributed meme" とGoogleが表現してるものは、要するに、データセンターに合わせてコードを書けってことだと思う。データセンターレベルの最適化を考えずにコードを書くのは富豪的になりつつある

id:17388347676 　　 screen_name:kazunori_279
@shot6 #appengine はアプリレイヤに近いPaaSなので、サービス全体のおおよその規模がPV数で計れてしまいますね。

id:17382138718 　　 screen_name:TSUTIYA_ON_LINE
確かにいいね！ RT @hiroken_jp: 【iPad利用者の方へ】　ビューンがいい感じです！ぜひともニュースもご覧下さい。日テレNEWS24の動画サクッとストレスフリーで見れます。(ver 1.0.6 wifi経由) #ipadjp #viewn

id:17410004449 　　 screen_name:kenji_rikitake
アップルが8人のアンテナ・エンジニアを募集中．iPhone 4のアンテナ問題対策，か http://is.gd/d9Us9 (from @TechCrunch by @robinwauters via @mikeloukides)

id:17408095991 　　 screen_name:Nakada_itpro
Amazonのwishリストが原因で家庭不和とは新しい…。是非とも動かないコンピュータの欄で取り上げたいものです

id:17402384383 　　 screen_name:Nakada_itpro
そんな内容を含むCloudera CEOのインタビューを行って2週間以上も経った訳ですが、ようやく別視点が中心の特集が完成したので、今後はこちらの方面の記事化も頑張りたいと思います！

id:17402363677 　　 screen_name:Nakada_itpro
昨日は勢いで「CDH3のベータが出た象」などと言っておりましたが、本当に重要なのはCloudera Enterpriseの方でした

id:17402360088 　　 screen_name:Nakada_itpro
Clouderaのビジネスモデルは、CDHを広く普及させた上で、プロプライエタリなクラスタ管理ソフト「Cloudera Enterprise」を販売するというもの。

id:17386820806 　　 screen_name:kyokaidori
杉並区も来年度中に地域通貨として、ICカードの導入決定。新区長がどのように進めるのか？ QT @tailornakayama 地域通貨情報：昨日の日経朝刊。次回の杉商連どっとコム委員会の議題の「一つ」になり そう。 http://twitpic.com/214zjo

id:17412829169 　　 screen_name:mkoszk
今日もＮ谷先生にボコボコ。でも、いつもより少なめ。なぜなら、ｉＰＡＤをいじっていたから。

id:17405797821 　　 screen_name:mkoszk
@akiyama924 テストエンジニアは１を選び難いと思います。

id:17397349232 　　 screen_name:mkoszk
@krsna_crespo テスト実施工程でかかる工数の内訳が，１．テスト実施，２．バグの原因調査，３．バグ修正と再テスト，その他だとして，まずは２と３を減らしたい．テストの上流工程をしっかりやれば，この2と3が減ると思うけど，違うかなぁ？

id:17389879691 　　 screen_name:mkoszk
派生開発カンファレンスの講演資料、一般公開されました。 http://www.xddp.jp/conference2010.shtml

id:17387779885 　　 screen_name:masayh
計算モデルをベースにしてクラウドアプリケーションの分析設計プロセスをマルチパラダイムで再構築しようと考えている。計算モデルとしては、CSP、DAG、PetriNetを考えている。

id:17409748166 　　 screen_name:ta6ra
クーラーと電子レンジのコンボはガチ。 RT @kero7: 台所のブレーカーとPC関連のブレーカーは別系統にしておくに限る。これで何度か助かった。 RT @yogata: 電子レンジ，こたつ，炊飯器，ドライヤーは排他利用でお願いします RT @mmasuda: 【速報】新居...

id:17411458313 　　 screen_name:AlohaOgion
【Twitter】「ネット最強のライフログ「Twitter」のビジネス活用最前線 -ITpro-」 http://bit.ly/cuxB9B

id:17411233934 　　 screen_name:AlohaOgion
【Google】「Google、中国での香港サイトへの自動転送を中止-ITpro-」 http://bit.ly/cuxB9B

id:17410874534 　　 screen_name:AlohaOgion
【Bing】「「Bing」の現状と将来--MS幹部インタビューCNETJapan-」 http://bit.ly/9e4xNq

id:17386420412 　　 screen_name:AlohaOgion
【iPad】そろそろ買おうかと思いが移動しつつある今日この頃。「スタンドスタイルのiPadは“i-ライフスタイル革命”-cotoba-」 http://bit.ly/c1gzzl

id:17389210283 　　 screen_name:higayasuo
@kazunori_279 VMware全否定ですね。わかります > 最初からHadoopや #appengine でアプリを実装できれば、アプリごとの仮想化VMやOSはオーバーヘッド。

---

総務省がＳＩＭロック解除を促す指針とか、「ＶＡＩＯ」５万台に発熱の恐れとか

　Twitterで、気になったもの。
　idがその発言のID,screen_nameが発言した人で、下の行が発言内容

---

id:17410211261 　　 screen_name:mainichijpedit
総務省がＳＩＭロック解除を促す指針を決めました http://bit.ly/9UeOL5 来年4月以降発売の端末が対象ですが、強制力はないのでどうなりますか…

id:17406188625 　　 screen_name:asahi
「ＶＡＩＯ」５万台に発熱の恐れ　ソニー発表 http://www.asahi.com/digital/av/TKY201006300381.html

id:17403683192 　　 screen_name:asahi
グーグル、中国版から香港版への自動転送を停止 http://www.asahi.com/digital/internet/TKY201006300308.html

id:17372126178 　　 screen_name:ikedanob
BLOGOS対談企画「堀江貴文×池田信夫 〜参院選で政治は変わるのか〜」 http://news.livedoor.com/article/detail/4855013/

id:17390843272 　　 screen_name:MaywaDenki
本日より日本科学未来館にて「ノックミュージック展」スタート。同時開催の「ドラえもん展」の効果で、会場にはジャイアンタイプの「肉体派ワルガキ」と、スネ夫タイプの「知能派ワルガキ」が大集合しているらしく、展示物の破壊がすんごい心配。がんばれ！オレのマシーンたち！

id:17374618002 　　 screen_name:tkosuga
@kugayama777 新卒なら履歴書は大切じゃないけど、中途採用でキャリアシート書けないのは問題な気がしますー。ツイッターで人を採用してる会社はありますよ。

id:17388440553 　　 screen_name:Oracle_Japan
オラクル クラウド・コンピューティング・サミット Server&Storage day のUst配信は13:30 より開始です。 http://bit.ly/cNiOWb ハッシュタグはこちら #occs

id:17402085468 　　 screen_name:bijogoyomi
ネット銀行浸透計画しかないのかなァ。やはり。。。RT @simizy: @bijogoyomi 　現金の入金・受取は確かに、リアルATMでないとダメですが、振込系は私はもう全面的に、ネット銀行使っています。そしたら並ばないで済みます

id:17392209622 　　 screen_name:bijogoyomi
銀行のATMで並ばなくてもいいシステム作ったら神だな。

id:17404221433 　　 screen_name:legoboku
[b!] テストエンジニアのワークショップWAKATE。興味あるけど、参加費高すぎワロタ。 http://bit.ly/aznWph

id:17402839365 　　 screen_name:terurou
なんかMSEをアップデートしてからスリープに失敗するようになった気がするんだけど、http://j.mp/9TpHeM で治ったような気がする

id:17384049189 　　 screen_name:terurou
技術が悪いとは言わないが、Flashはもう時代の流れに置いてかれつつあるな。Shockwaveの頃からFlashが普通に使われるようになって10年は経過してることを考えると、プログラミング言語の流行り廃りと同じ

id:17375891611 　　 screen_name:HPLinuxJP
FAQ - PSPに、PSPを導入すると HP製 kernelに切り替わるのか？追加 http://ht.ly/24ziO

id:17400949611 　　 screen_name:wmo6hash
http://bit.ly/ajg08N Oracle Validated Configuration Details Topic : DB11.2+OEL5.5+HP ProLiant DL585G6+LeftHand p4500 - 初OEL5.5

id:17388646574 　　 screen_name:akiyan
Googleマップ、PCで見てマウスでスクロールさせたときに惰性スクロールするようになったのって最近？昔はできなかったような...

id:17383180364 　　 screen_name:tnatsu
とても140字では説明できませんが、過激に一言でいえば「人災」です。そもそも通信業界の経営者が本気で海外を考えているのか。詳しくは拙著でも読んでいただければ。 RT @mikan_momokabo: 日本の端末が世界的にシェアを取れていないこと、

id:17413316167 　　 screen_name:dtpdesign
"iPad用 電子書籍投稿サイト: [img]http://www.n-c-c.org/modules/bulletin/images/20100629_ipad.jpg[/img]

電子書籍をtwitter経由で気軽に投稿・ユ... http://bit.ly/9YvPxk"

id:17403260809 　　 screen_name:dtpdesign
"「管理・HDDパーティション PRO」「修復・パソコン復活 PRO」を同時発売：ニュース&トピックス(SOFTWARE): 「管理・HDDパーティション PRO」「修復・パソコン復活 PRO」を同時発売
（株）フロントラインは、... http://bit.ly/cO5w1p"

id:17398619293 　　 screen_name:dtpdesign
【レポート】ワコム「Intuos4」とアドビ「Illustrator CS5」を活用した作画テクニック: 東京 表参道で開催されていたアドビの期間限定ギャラリー「station 5」にて、ワコムのペンタブレット「Intuos4」... http://bit.ly/96ydi9

id:17376156941 　　 screen_name:dtpdesign
DropboxならPDFをカンタンにiBooksコレクションに追加できる : ライフハッカー［日本版］: Apple , Webツール , iPad , iPhone , ストレージ , 豆知識DropboxならPDFをカンタン... http://bit.ly/atc0gk

id:17375584621 　　 screen_name:dtpdesign
ラディウス、iPhone 4専用シリコンフレームケース、クロームフレームケース発売：ニュース&トピックス(iPhone / iPod / iPad): ラディウス、iPhone 4専用シリコンフレームケース、クロームフレームケー... http://bit.ly/b5wTyy

id:17371495105 　　 screen_name:dtpdesign
"[CSS]カードをぺろっと裏返すエフェクトを実装するスタイルシート: CSS3のアニメーションや回転機能を使用して、カードをぺろっと裏返すエフェクトを実装するスタイルシートを紹介します。

Super Cool CSS Flip... http://bit.ly/9agSDe"

id:17389413149 　　 screen_name:OracleDB_jp
オラクル クラウド・コンピューティング・サミット Server&Storage dayのUst配信開始です！http://bit.ly/cNiOWb #occs

id:17388759336 　　 screen_name:totoron3
投稿DO画さんのブログこっそり更新してされてます。iphone4動画のお話　imovie使ってみたけど確かにいいよ　http://bit.ly/bVd8dG

id:17381103858 　　 screen_name:totoron3
@MobileHackerz ADSLって今後どうなるんでしょうな？過渡期の技術なつもりが、案外あれで満足してる人も少なくないし(うちみたいに光2本引く馬鹿もいますが

id:17380394747 　　 screen_name:totoron3
友達の女の子がまだ新興だったイーアクセスの幹部と結婚したのだけど、いつのまにか次期社長ポジションになってた。ネゲットされて玉の輿にのったなw

id:17380262410 　　 screen_name:totoron3
イーモバの産業再生法の話がTLに多いんだけど、あれ経営に行き詰まりというより、税金対策など目的の経営効率化だからちょっと違うニュアンスで捉えられてる気がする

id:17420348526 　　 screen_name:dol_editors
「インターネット、iPhone、iPadの時代を迎えてもなお人気を博するアメリカ公共ラジオ局の先見性」。シリコンバレー発のコラムです！ http://ow.ly/25gm0

id:17420242109 　　 screen_name:dol_editors
携帯端末向けマルチメディア放送の受託事業者の認定をめぐって、「通信ｖｓ放送」の対立構図が再浮上しています。週刊ダイヤモンド記者が、携帯マルチメディア放送の課題をあぶりだします。 http://ow.ly/25giA

---