VDMのお勉強－その２ ＶＤＭの種類とツール

　シリーズ「VDMのお勉強」
　前回は、VDMについて、Bと比較して説明しました。
　今回は、VDMの種類と、その種類別のツールについて説明します。

---

■VDMに２種類ある。

　VDMに２種類あります。
　VDM－SLとVDM＋＋です。VDM＋＋は、オブジェクト指向を加味した拡張なのですが、
　VDM-SLとは、文法がちがいます。

　なので、前回記述したVDM(VDM-SLの文法で書いている）をVDM++のツールで行うと、
エラーになります。

---

■VDMのツール

　ここ
http://www.vdmtools.jp/index.php
にフリーのVDMToolがあるのですが、それは、WindowsはVDM++用しか無いようです。
（Mac版はあります。なお、前回のは、フリー版ではなく、アカデミック版のVDM-SLです）

ほかのツールでは、Eclipseのプラグインとして、overtuneがあります。

ここ　http://sourceforge.jp/projects/sfnet_overture/

からダウンロードできるみたい。

そこのOvertureIde-win32.win32.x86.zipをクリック
保存したZIPファイルを解凍すると、「overture」という名前のファイル（eclipseとおなじアイコン）があるので、それを起動すると、
eclipse同様、ワークスペースをきいてくるので、変えたかったら変えて、OKすると、
Welcomeページが出てくるので、タブの上のXをクリックすと、
eclipseとおなじような画面になります。
そこで、File→new→projectを選択すると、ダイアログから、VDM++(PP)やVDM SLが選択できます。
つまり、このツールは、VDM　SLも、VDM＋＋もどちらもエディットできます。

---

で、フリーのツールで動かないので、申し訳ないけど、
はじめ、VDM－SLのほうから、やっていきます。

Excel2007で、マクロをやるとき、マクロがない！というあなたへ・・・開発リボンの出し方

　これ、書いたっけ？
　Excel2007で、マクロをやろうとすると、どこのリボンをみても、
マクロがない。VBAのエディタがない！！っていう話。

　マクロとかは、「開発」というリボンに入ってる。でも、デフォルト
だと表示しないのいで、設定してあげる必要がある。その設定の仕方。

（１）ファイルを保存したり、開いたりするときに使う、一番左上のボタンをクリック



（２）開いたダイアログで、「Excelのオプション」（下のほう）をクリック



（３）開いたダイアログで、[開発]タブをリボンに表示するをチェックしてクリック。

Excelに開発タブが現れ、それをクリックすると、「マクロ」とか表示される。
あとは、適当にクリックしてくれ

「システム・ソフトウェア開発業者が過去最悪に近い倒産数」とか、「Skype、いよいよ上場へ」とか

　Twitterで、気になったもの。
　idがその発言のID,screen_nameが発言した人で、下の行が発言内容
　（ネタが「かなり」古い・・・ごめん）

---

id:20955451163 　　 screen_name:hortense667
使う目的が決まってたらグーグルマップより便利ですよね？ RT @hortense667: 日本の電子マネーってこういうのできますかね？ つまり地理連動　RT @hortense667:台湾のEasyCardのアンドロイドのアプリが

id:20859897480 　　 screen_name:hortense667
ところでボクが香港で買った台湾モデルのTATTOOですが、よく見ると「EasyCard」というアイコンがあって、これって台湾のスイカみたいなやつですよね？ フェリカは入ってないからオンライン上で何かがでるのか？

id:20770651615 　　 screen_name:hortense667
iphoneのワールドモデルという話がありましたが、海外パケし放題みたいなことを、アップル自身がキャリアを飛び越えてやるのかと、勝手に想像してました。

id:20769329774 　　 screen_name:hortense667
ちまいＳＩＭでなくてクレジットカード大のままぶっさす奴です RT @hortense667: その後、スイスコムが出てきて便利になりました。スタータックで使った記憶があります。スイスコムのＳＩＭはどこから買って

id:20769177556 　　 screen_name:hortense667
その後、スイスコムが出てきて便利になりました。スタータックで使った記憶があります。スイスコムのＳＩＭはどこから買ってたんだろ？

id:20768974744 　　 screen_name:hortense667
ポケットタックの時代、１日１万円みたいなのを米国に持ってでかけた記憶があるんですが。記憶違いですかね？ たしかドイツからローミングしてた。

id:20747356932 　　 screen_name:hortense667
これをタクシーの運転手さんに見せればOK。どこでもいけます。ただし、似た地名も多いと思うので同じ市内をさしていることを確認のこと・・・ http://yfrog.com/0hvqytj

id:20747092465 　　 screen_name:hortense667
NTTドコモの海外パケホーダイのほうが同額、制限少なくなるようですが、iPhoneユーザーなら十分価値あり。

id:20746215163 　　 screen_name:hortense667
グーグルマップが便利すぎる。通りとか漢字でオーケー http://yfrog.com/n7pg6kj

id:20745711215 　　 screen_name:hortense667
いわれたとうりキャリアを設定 データローミングをON RT @hortense667 iPhone+ソフトバンクの海外パケし放題を使ってみました。台湾に都着するとこんなSMSが。 http://yfrog.com/mi8wbj

id:20744398320 　　 screen_name:hortense667
こんなSMSも http://yfrog.com/jwarpj RT @hortense667 iPhone+ソフトバンクの海外パケし放題を使ってみました。台湾に都着すると

id:20638777916 　　 screen_name:hortense667
やっぱり秋葉原と台北は地面の下が繋がってると思った。RT @hortense667 えーーーーー！ ショック！！ ！ RT @Ohki @hortense667 秋葉原の佐久間橋の公園の横にこんな店ができていました。磁気研究所 http://twitpic.com/2cucx5

id:20599527901 　　 screen_name:hortense667
ヤマダ電機の池袋ができたときに、Ｑくんがポータブルオーディオ売り場でいつの間にか真空管式iPodアンプを見つけて歩いていきました。「買うの？」と聞くと「買わない」。「いまキミはマグネットに吸い寄せられていたよ」と言っても、本人はポカン。

id:20599063405 　　 screen_name:hortense667
マグネットとは違いますがやはり客を引き寄せることが重要。RT @hortense667: どもども。これはある種の集客ツールですね。RT @tetsuokobayashi: @hortense667 水没した携帯電話を30分で安価に復旧できるケータイ乾燥機「ドライヤーボックス」

id:20598855728 　　 screen_name:hortense667
私の愛読誌「IT&家電ビジネス」によると家電店の店舗内設計の中に「マグネット」というのがあるのですよ。なぜか売れ筋じゃないけど興味をそそりそうなものが客の導線のどこかで視点に入ってくる。

id:20568324932 　　 screen_name:hortense667
貴重な情報。多謝。RT @t2psyto TL見てたら、るーろーはんが食べたくなった @takerinmourin @hortense667 RT @t2psyto 「ゆっけろぐ: ひげちょう以外の魯肉飯を食べたい - yam天空」 http://icio.us/vo1xhc

id:20541625075 　　 screen_name:hortense667
二大電子ペーパーメーカーがもはや台湾資本なので、電子ペーパーに対する期待は大きいようです。市場が見えないのにどんどん出てくるところがすごい。

id:20538522534 　　 screen_name:hortense667
KindleがLibrieだったでしょう。下にちまいキーボードあるとこまで。 RT @GuestProfessorT @hortense667 台北電脳応用展。ViewSonic の電子書籍端末。＞＞＞まるで　キキキ　きんどる　だぁ～！（*^_^*）　おそるべし！


id:20877834390 　　 screen_name:ASPSaaS_NAVI
『グルーヴィーメディア、Twitter や Facebook の効果解析機能を追加した hornet1.7を発表』…最近ソーシャルメディア解析のリリースをよく目にしますが、このサービスもそうですね。 #SaaSjp → http://bit.ly/a1VPwQ

id:20865094168 　　 screen_name:ASPSaaS_NAVI
NEWS更新『アールワークス、SaaS型システム運用管理プラットフォーム「 SoNar」を提供開始』監視ツール（Pandora FMS）の上に障害の自動電話通知、リソース分析支援を搭載 #SaaSjp → http://bit.ly/ajc4Fj

id:20847823948 　　 screen_name:ASPSaaS_NAVI
ご紹介いただきありがとうございます。 RT @Homeseeker2 凄いぞ！SaaS/クラウドFAQ／〔不動産・住宅産業におけるクラウド活用の現状と展望〕 http://fudou3.jugem.cc/?eid=9023 #jugem_blog

id:20786001161 　　 screen_name:ASPSaaS_NAVI
NEWS更新『兼松エレクトロニクス、 SaaS型IT資産統合管理サービスを提供開始』企業のあらゆるIT資産を把握し余剰資産や遊休資産を洗い出すことが可能 #SaaSjp → http://bit.ly/9A0N45

id:20708486745 　　 screen_name:ASPSaaS_NAVI
NEWS更新『ユニアデックス、市立学校73校にSaaS型情報共有基盤サービス「NeXtCommons」を提供開始』学校のWebサイト作成、生徒・教師間の情報提供や共有、保護者への情報公開などを容易にする基盤を提供 #SaaSjp → http://bit.ly/c1szZN

id:20699733904 　　 screen_name:ASPSaaS_NAVI
『Cloud Computing World Tokyo 2010』2010年8月31日(火)9月1日(水)の2日間、東京国際フォーラムで開催!!… 基調トークセッションが凄すぎる!! #cloudjp → http://ccw.idg.co.jp/2010/

id:20697960660 　　 screen_name:ASPSaaS_NAVI
NEWS更新『日立ソフト、組込みソフトウェア開発向けSaaS型サービス「組込み開発ツール提供サービス」を提供開始』必要なときに必要なだけ開発ツールおよびその実行環境を利用できる #SaaSjp → http://bit.ly/atSkQp

id:20842518255 　　 screen_name:suadd
#clipp [jp]ネットビジネスの起業環境に見るエンジニアの重要性――サイバーエージェントCEOが語る http://clipp.in/entry/275928

id:20768909888 　　 screen_name:suadd
#clipp ちょwww: 一人エレベ－ターで奇行に走るやつ多すぎ ニュース速報BIP http://clipp.in/entry/275487

id:20765385518 　　 screen_name:suadd
#clipp 暇人＼(＾o＾)／速報 : システム・ソフトウェア開発業者が過去最悪に近い倒産数 - ライブドアブログ http://clipp.in/entry/275463

id:20763355767 　　 screen_name:suadd
#clipp Skype、いよいよ上場へ―登録届出書によれば有料ユーザーは6% http://clipp.in/entry/275443

id:20698133476 　　 screen_name:suadd
#clipp エバーノート：システムトラブルでデータ消失　利用者約７０００人に - 毎日ｊｐ(毎日新聞) http://clipp.in/entry/275136

---

「アジャイルの認定制度」とか、「iPhone 4にFlashをインストール」とか

　Twitterで、気になったもの。
　idがその発言のID,screen_nameが発言した人で、下の行が発言内容
　（ネタが「かなり」古い・・・ごめん）

---

id:20944931004 　　 screen_name:hiranabe
astah の図を Excel に落とす(その3) http://bit.ly/d6XB5n

id:20935621961 　　 screen_name:hiranabe
それは精神的に涙だなぁ。そんなこと結構あるんだろうか。。T @crossroad0201: 開発中はJUDE(astah)で書いて、納品時に最低限のダイアグラムだけExcelで書き直しました泣

id:20934458591 　　 screen_name:hiranabe
なんと！ RT @crossroad0201: そう言えば、過去のプロジェクトで astah(当時JUDE)のダイアグラムは正式な成果物として認めてくれないところがあった。いつ開発が止まってサポート打ち切りになるかわからないから、ExcelでUML書けと。

id:20872192572 　　 screen_name:hiranabe
@rising3 ありがとうございます、やっぱり astah で Ctrl-F使っている人多いですよね。ぼくもですが。

id:20871137469 　　 screen_name:hiranabe
astah のキーバインディングで議論。現在 Ctrl-F がクラス図で属性追加だが、新検索機能を作ってそれをCtrl-Fに割り当てたい。前の機能を変えるべき？キーバインドテーブル出す？

id:20869058918 　　 screen_name:hiranabe
こんな記事がいつの間に、、、「組込みとITでのモデル駆動開発の違い」 http://bit.ly/bzaA5v

id:20862923896 　　 screen_name:hiranabe
アジャイルの認定制度がアナウンスされています。現在の解説をしました。http://bit.ly/cFs2df

id:20791969731 　　 screen_name:hiranabe
なにこれ、福井いいの？“@katzchang: 「IT系では福井、奈良、香川、鳥取が上位にランク」福井始まったな。 / 満足度が高い県は？ 勤務地別エンジニア年収 − ＠IT自分戦略研究所 http://htn.to/iVHgrh”

id:20785943078 　　 screen_name:hiranabe
アジャイル事例セミナー。“@esmsec: 8/26(木)プライベートセミナーを開催します『企業価値につなげるアジャイル開発 2つの事例に学ぶアジャイル開発の勘所』 http://sec.tky.esm.co.jp/2010/07/15/private_seminar12/”

id:20783821429 　　 screen_name:ashigeru
@kazunori_279 最近だと、Mapper APIで代替できるケースが多くないですかね？

id:20789269515 　　 screen_name:AlohaOgion
【サイボウズoniPad】@cybozulive さん、サイボウズLiveは使えるのですか？ 「サイボウズ、主力製品のiPad上での動作検証を完了 -ITpro-」 http://bit.ly/aTNxHm

id:20764275341 　　 screen_name:AlohaOgion
【フリーミアム】ふーん。「Skypeがついに上場申請、フリーミアムなビジネスモデルの実態が明らかに -in the looop-」 http://bit.ly/drdcjt

id:20763681739 　　 screen_name:AlohaOgion
【ソーシャル大戦】Googleは大忙し？「Googleの対Facebook戦略の次の一手―ソーシャル決済のJamboolを$70Mで買収 -TechCrunch-」 http://bit.ly/9kpptW

id:20705794760 　　 screen_name:AlohaOgion
【Wi-Fiルータ】「注目のWi-Fiルータ選び--第1回：Wi-Fiルータのメリット・デメリット -CNETJapan-」 http://bit.ly/9M77uw

id:20705402930 　　 screen_name:AlohaOgion
【Flash】「iPhone 4にFlashをインストール（動画） -GIZMODOJapan-」 http://bit.ly/dddoMA

id:20613605047 　　 screen_name:AlohaOgion
【ゴシップ】「HPのハードCEO辞任の理由がよく分からない -海外速報部ログ-」 http://bit.ly/blImXy

id:20612862374 　　 screen_name:AlohaOgion
【Apple】ぼくは７インチiPadが出たら６インチKindleと外見できっと悩む。「【噂】新iPodは今月か来月、新iPadは小さめ、iPhone 5は年明け発売？ -GIZMODOJapan-」 http://bit.ly/9Blrvq

id:20612408038 　　 screen_name:AlohaOgion
【Smart Bike】Apple Introduces us to the Smart Bike -PatentlyApple- http://bit.ly/ay5U7W

id:20547780425 　　 screen_name:AlohaOgion
【パロディビデオ】まぁ、こんなの身近にはないわ。「くそぉ。Twitterで働きたくなっちゃうじゃないか。（動画） -GIZMODOJapn-」 http://bit.ly/9HyWDe

id:20541007262 　　 screen_name:AlohaOgion
Nice pic!RT @mikamika59: 夕暮れの球場、風が涼しくてGood。打撃戦で試合もおもしろい。watching baseball game with beer. mmm, nice. http://twitpic.com/2ceb1y

id:20854034739 　　 screen_name:maruyama097
"Androidのテストのページ http://bit.ly/8Yi3ay を翻訳しました。http://bit.ly/9SxLY0
ご利用ください。"

id:20675723991 　　 screen_name:maruyama097
"本日のAndroidの会定例会でのC2DMの資料アップしました。http://bit.ly/bbfoul
以前のGoogle C2DMページの翻訳、http://bit.ly/bLRXBK
とあわせてご利用ください。"


id:20594350015 　　 screen_name:yusuke_arclamp
いまさらだけどAndroidでSIMEJIのSocialIME(変換候補をググって来て、採用すると辞書にいれてくれる)が便利。というか、軽い感動が。クラウドの影の下にいるんだなぁと思う。

id:20779915070 　　 screen_name:higayasuo
新婚なのにngtykが早くも浮気を疑われているらしい RT @ngtyk 彼氏や旦那さんにiPhoneを勧められたら浮気を疑われている、これが今日の結論

id:20699682729 　　 screen_name:higayasuo
GREEはiPhone/Android専用アプリでの提供も予定しているとのことだけど、HTML5もあわせて三つ用意するのはかなりめんどくさい気が

id:20694345219 　　 screen_name:higayasuo
GREEのiPhone版のベータサイト、PCからしかアカウント登録できないのかなぁ。PCから登録してもパスワードかメールアドレスが違うと怒られる。PCからいれてiPhoneに連絡来るので間違ってないと思うんだけどな。3回やって駄目だったのでとりあえず放置

id:20679536569 　　 screen_name:higayasuo
来年１月、米国でiPhoneが複数キャリア解禁へ http://ow.ly/2mKI9

id:20678739585 　　 screen_name:higayasuo
GJ!!! RT @gclue_akira スマートフォンのHTML5対応状況にiOS4.0を追加 http://jp.droidget.com/mobile-5/html5

id:20792232976 　　 screen_name:higepon
Mona の virtio block driver 動いた。すごく速い。起動がめっちゃ速くなった。まあ IDE PIO モードと比較してるから当たり前だけど。これはうれしい。

id:20786558974 　　 screen_name:higepon
Understanding the linux kernel 買って読んでる#ipad

id:20545944888 　　 screen_name:higepon
勉強方法を学ぶのであれば、忠実に真似しよう。最初から自分流でアレンジしてしまうと、失敗したときにその勉強法とアレンジを加えた事、どちらが悪かったのか分からなくなる。#studyjp

id:20590776747 　　 screen_name:GachapinBlog
『ガチャピンに認証済みアカウントのマークが』 だって、ぼくガチャピンだもん。

id:20537478666 　　 screen_name:GachapinBlog
ムックと・・・ http://gachapin.fujitvkidsclub.jp/2010/08/201087.html

id:20834600295 　　 screen_name:masayukihayashi
ありがとうございます。RT @hk0110: おはようございます。民間教育企業に勤めており、参考になりました！フォローさせてもらいましたので、宜しくお願いします！ RT ブログ更新： デジタル教科書に関する取り組みについて（まとめ） http://bit.ly/diXYX6

---

"理系女子が活躍できる社会をつくろう！"とか、「スクラム組んで開発しよう！」とか

　Twitterで、気になったもの。
　idがその発言のID,screen_nameが発言した人で、下の行が発言内容
　（ネタが「かなり」古い・・・ごめん）

---

id:20952535003 　　 screen_name:masayh
アーキテクチャやパターンは単純なほうが美しい。RACもMVVMもドメインモデルもマルチパラダイム言語も。オーバースペックではいけないし、アンダースペックで複雑になるほど作り込んでもいけない。手垢ついてだめになる技術はみな複雑化で廃れる。

id:20951126450 　　 screen_name:kentosho
Amazonのフロントエンドもperlなのか。無知を晒けだすのもいろいろ勉強になっていいもんだ。

id:20874815774 　　 screen_name:kentosho
セルカンの爪痕かぁ… RT @narumin: @rkmt ことしから工学系のD論の審査のプロセスが無駄に複雑かつ厳しくなったんです．．．

id:20859800999 　　 screen_name:kentosho
同じく応援 RT @sendaitribune: 応援しています。RT @rikejo_kodansha: カッコイイ理系女子が活躍できる社会をつくろう！ 理系女子Cafe Special「理系女子を増やそう」ワールドカフェ http://bit.ly/clpHb5

id:20797736688 　　 screen_name:kentosho
けっこう奥の深い群なのね。RT @2sure781: うお。20だったのか！すげぇ。RT @chunjp: RT @tsubosaka: ルーピックキューブの最悪の場合の最短手数が20であること証明されたのか http://www.cube20.org/ via @matyaa

id:20785639550 　　 screen_name:kentosho
P≠Nが証明されるということは、どんなにコンピュータによる機械証明技術が発達したとしても数学者の直感は常に必要とされ続ける。ということでもあります。

id:20953541207 　　 screen_name:mskwt
お使いの Windows でサポートされている文字コード -> dir C:WindowsSystem32*.NLS

id:20947093225 　　 screen_name:mskwt
IE6 が企業で生き残っている理由かも知らん QT @komorih: 誰も使ってないんだから VBScript のサポートやめればいいのに… http://bit.ly/9yqZyf

id:20944930629 　　 screen_name:mskwt
がーん。。 QT @kosaki55tea: されてないんじゃないでしょうか RT @mskwt: http://j.mp/a2Fs0E これすごくよくまとまっている気がするんだけど、Ruby では解決されたのかな？

id:20890513822 　　 screen_name:mskwt
給料低くてすみません…。学生に disられる程度の戦闘力！ QT @yuyarin: 手取り20万未満のうち通信費が25kは痛すぎるよなぁ．．．

id:20890452513 　　 screen_name:mskwt
@tetsu_koba fork を使うということは、OS に判断をゆだねることになる。CoW の原理を考えればもっとインテリジェントな手法はある。全てコピーするよりはマシなのは確かだが、その目的で CoW を採用する積極的な理由は見当たらない

id:20889653732 　　 screen_name:mskwt
@tetsu_koba fork があったために fork を使うのと、目的があり fork することは全く別物です。fork が速い OS で初期プロセスからの fork を採用するのは妥当ですが、CoW はコストが高いし、CPU によっては GC の実装に制約が生じる。

id:20888836556 　　 screen_name:mskwt
「あじゅーる」だってば！ http://j.mp/atu9gU http://j.mp/9GNZ4j http://j.mp/bJAwjR QT @yuyarin: Windows Azure の愛称は「あずにゃん」らしい．

id:20886977644 　　 screen_name:mskwt
CoW と Handle(FD) 継承を目的とした fork はいいんです。問題は、fork が threading と相性が悪い、ライブラリに fork-safe を要求する、何を目的としての fork なのか。なのです。NT も fork 使っていますよ。確か。

id:20884494508 　　 screen_name:mskwt
市場が要求しないのではないかと個人的に感じています。キャッシュの大量化が示すように今の CPU メーカーは Pollack's Rule に最後の望みを賭けているようにしか QT @urchinhead: コア8,16,32,64,128って進化すると思ってました。…

id:20848666725 　　 screen_name:mskwt
いやだから、fork/vfork() も Kernel でプロセス構造体を作る = CreateProcess やっているじゃないですか…と。

id:20847927957 　　 screen_name:mskwt
Windows視点だと、fork()は、CoW のための Page Table いじり + CreateProcess() w/ Inheritance + 危険な状態を持つ恐ろしく複雑なシステムコールです…。

id:20846429885 　　 screen_name:mskwt
主張は簡単で、fork は threading, security, pid/tid の取り扱いに対する一貫性のある記述を阻害する。CoW の利点は fork しなくても利用できる。30年前はいいとして、今なぜ fork を使うのか？です。。

id:20845492130 　　 screen_name:mskwt
マルチテナントですか？ QT @mitukiii: スケーラブルな彼女とか素敵じゃないですかあ。

id:20844124345 　　 screen_name:mskwt
CoW は fork の一部であって、CoW のみ使うことも可能ですよね。 QT @yukihiro_matz: copy-on-writeが使えること？ RT @mskwt: fork モデルの何がいいのかさっぱりわからない

id:20820978084 　　 screen_name:mskwt
New Windows Azure Security Overview White Paper Now Available - http://j.mp/dwKKVu

id:20808338127 　　 screen_name:mskwt
RDBMS と KVS、なーんて考えている人に聞いてみたいんだけれども、O/R Mapper 使って苦労したりしたものの、結局ほしかったのは ACID であって RDBMS ではなかったのでは？

id:20688960365 　　 screen_name:kanu_
[B!] アジヤイルな梱包 http://d.hatena.ne.jp/masayang/20100808/1281269185 Agile2010 Day Zero - masayangの日記（クロスバイク通勤他

id:20685378975 　　 screen_name:kanu_
[B!] なんと！ http://juggly.cn/archives/7185.html juggly.cn » Xperia X10 mini（mini pro）を簡単にroot/unroot化できるアプリ「Universal Androot」

id:20656064320 　　 screen_name:kanu_
[B!] スクラム組んで開発しよう！ http://www.ogis-ri.co.jp/otc/hiroba/technical/IntroASDooSquare/chapter2/IntroScrumCaseStudyMay2005.html

id:20630228287 　　 screen_name:kanu_
[B!] SCRUM本に載っていたSECIモデルで暗黙知と形式知について学ぶ - Guyon Diary http://d.hatena.ne.jp/guyon/20100517/1274103462

id:20554516224 　　 screen_name:kanu_
参加表明だんっ!!! RT @kawaguti: 8/18 Agile2010とはなんだったのか http://atnd.org/events/6946 #agileucdja


id:20899476693 　　 screen_name:kotoripiyopiyo
"“　このコメントは中国のネットユーザーをいたく感激させた。「蒼井そらさん、あなたは人民のための偉大な芸術家です！」というあるブログの一文は、「この
ブログを呼んで、私は思わず心の底から尊敬の念がわき起こり、人民のための偉大な芸術... http://bit.ly/dhOk9N"

id:20887693389 　　 screen_name:moryga
@yuuukie 廃止と言ったのは階さんだと聞きました。中継されていましたが、動画が残っているかどうかはしりません。 QT @hideharus :e-Gov不要論、事業PDF http://bit.ly/92sFoF とコメントPDF http://bit.ly/dluIxW

id:20883665603 　　 screen_name:moryga
そういえば、総務省の階政務官は行政事業レビューで、e-Govなんていらないと仕分けたらしいです。 RT @tsuda : e-Govでパブコメ募集のRSSが吐かれるようになってたのか。やっとと言えばやっとだけどこりゃ便利。http://www.e-gov.go.jp/

id:20882938779 　　 screen_name:moryga
オープンガバメントで忙しいと思われがちなのですが、オープンガバメント関連のしめる業務シェアは、まあ２０％くらいかなぁとおもう。

---

「サーバールームに置く『お札』は、京都の電波神社*でもらってね」とか

　Twitterで、気になったもの。
　idがその発言のID,screen_nameが発言した人で、下の行が発言内容
　（ネタが「かなり」古い・・・ごめん）

---

id:20945581663 　　 screen_name:kazunori_279
@marblejenka あと、まーぶるさんはたぶん「クラスタ＝CPUクラスタ」と捉えてると思いますが、重要なのは「クラスタ＝I/Oのクラスタ」って点です。とにかくI/Oが計算機のネックなので、いくらハイエンド機でも分割しないとI/Oネックは解消できないです

id:20945182898 　　 screen_name:kazunori_279
@marblejenka @satoruf さんがsequent+Oracleで数10CPUがきれいにサチったという事例を教えてくれました

id:20944469518 　　 screen_name:kazunori_279
@marblejenka RAC使わないような規模の案件ならもちろん同意。RAC使うような億単位の案件だと、アプリ側でがんばってshardingしてスケールアウトしたり、shared nothingなDB2で複数サーバーに分割したりとかになる

id:20944250266 　　 screen_name:kazunori_279
@marblejenka でも、元の話はRACだから、RAC使うような案件だとミッドレンジ～ハイエンドのUNIXサーバー使うのが普通。CPU数も8～32くらいだけど、HPC用途じゃないよ。

id:20943426393 　　 screen_name:kazunori_279
@marblejenka まとめると：数10CPU機になると、まるごと1台の大型サーバーとして使うとI/Oやバスがネックで性能がリニアに上がらない。なので内部分割して内部スケールアウトしてるのがハイエンド事例の実情。。ってことです

id:20939401511 　　 screen_name:kazunori_279
@frsyuki 気がついたら俺はOracle RACクローン実装してた。。になりそうw

id:20937853605 　　 screen_name:kazunori_279
@hidemotoNakada あっ、ほんとだ！知らなかった！3000円くらい安いなぁ。。情報ありがとうございます

id:20784647512 　　 screen_name:kazunori_279
@ashigeru そう、「クエリタスクチェーン→子タスク」パターンだと、クエリタスクの並列化に工夫が必要ですね。そこまで凝ったコード書いたことないす。。MVP? #appengine

id:20925387782 　　 screen_name:kharaguchi
「志一つ持参のこと」　　第三回民主党佐賀県連政治スクールの受講生を募集しています。8月下旬の開校に向けて準備を進めています。1期生や2期生には、地方公共団体の首長や議員に当選している方もおられます

id:20873733743 　　 screen_name:TSUTIYA_ON_LINE
iPadの人をなめた語句変換はいつ頃改善されるのでしょうか？ #ipad

id:20835880776 　　 screen_name:kenji_rikitake
井の中の蛙大海を知らず，それでもPhDへの一歩は世界を変える可能性がある．図が面白い http://matt.might.net/articles/phd-school-in-pictures/

id:20835543631 　　 screen_name:kenji_rikitake
結局，やりがいとか人材育成とかきれいごとを並べる前に，まず食えること，そして精神の健康を脅かされないことが満たされなければ研究なんぞできるわけがないという状況を考えるべきだろうね．大学はその点世間より崩壊が進んでいる．http://bit.ly/dcyNNP

id:20798123830 　　 screen_name:kenji_rikitake
#studyjp はしょらない．いいとこどりをしようとしない．誤りなく理解しなければならないものは，基礎から学んでいく．理解できなくても理解しようと努める過程で，理解できる範囲が広まる．また，手を動かさないと理解はできない．読んでいるだけではダメ．

id:20953853429 　　 screen_name:mkoszk
@m_pixy 別の側面からみると、要求分析のインプットとなる「要求」はどんなものか、というものが人によって異なるのがやっかいなところです。

id:20953599308 　　 screen_name:mkoszk
@m_pixy それは申し訳ありません。要求工学はどうでもよかったのです。記事のサブタイトルが「要求工学で定義されているアクティビティの分類」とあったので、それにあわせてコメントしました。言いたかったことは、BABOKの引き出しの範囲は狭く、他のは広かったりします。

id:20941284988 　　 screen_name:mkoszk
@oichin @m_pixy 僕が現場でやっていたころは、「引き出し」という感覚よりも確認の方が近いかな。でも、要求工学的には確認じゃないんです。お客様が気づかなかったものも発見するという感じですね。だから、discover っていう人もいます。

id:20941083604 　　 screen_name:mkoszk
@oichin @m_pixy 「引き出し」はelicitationの訳。抽出とか導出とか様々な訳が当てられていましたが、BABOKが「引き出し」と訳したことで、この訳を使う人が多くなっています。ゴールを引き出せるかどうかは状況によると思います。

id:20934948401 　　 screen_name:mkoszk
. @m_pixy 例えば、ゴール分析を引き出しでやるのか、要求分析でやるのか、人によって異なるのです。面倒なんですけどね。要求の背後にあるゴールを引き出すことに重点をおけば引き出しですし、ゴールモデルを記述することに重きをけば要求分析になります。

id:20934758532 　　 screen_name:mkoszk
. @m_pixy 要求分析を引き出しと仕様化の間とするならば、引き出しの範囲がどこまでとするかがポイントですね。BABOKの様な引き出しの定義にするのか、それとも要求工学で言われている引き出しの定義にするのか、結構違うんですよ。

id:20929279489 　　 screen_name:mkoszk
オブジェクト倶楽部の記事を見て。　「要求分析」という言葉は多義語なので、語るのは難しいだろうなぁと思いました。REBOKで要求分析の章を担当しているから余計にそう思うのかもしれません。でも、僕の場合、要求工学の中で語ればよいので、まだマシかも。要件定義全般だとやっかいです。

id:20868921287 　　 screen_name:mkoszk
ゴール指向、ゴールモデルは、まだまだうけがよいのだなぁ。

id:20868804247 　　 screen_name:mkoszk
"トップエスイー第四期ポスター発表資料をみていたら、「ゴール指向モデルを利用した
ソフトウェアテストの精度向上」というのがあった。要件定義書や設計書が十分な記述でなくても、ゴールモデルを書けば問題解決とある。う～む。ゴールモデルを引っ張り出さなくても普通にやっていることなんだけど。"

id:20867446642 　　 screen_name:mkoszk
. @oichin 「サーバールームに置く『お札』は、京都の電波神社*でもらってね。」と、いう要求は出にくいです。 * 京都嵐山にある法輪寺電電宮の通称。エジソンとヘルツのレリーフがある。嵐山付近を散策して遭遇したとき驚いたのなんの。 http://bit.ly/WXRw

id:20863438841 　　 screen_name:mkoszk
要求でシナリオを使う場合は、イマジネーションを働かせ、シーンを変えた場合に、どのような要求が出てくるかを考えます。そして、表に現れにくい潜在要求を浮かび上がらせます。

id:20862553146 　　 screen_name:mkoszk
シナリオテスト。環境の変化もトリガーだが、通常のトリガー分析では抜けてしまうな。まぁ、テストしづらいから無意識で考えないようにしているのかもしれないが。

id:20868976521 　　 screen_name:taguchi
これはかなりいいのでは？ニフティが会議室を勉強会向けに無料で提供！ http://bit.ly/bX6Cjp

id:20773276579 　　 screen_name:taguchi
Githubでソースも公開されているシンプルなToDo管理ツール『Thingler』 - http://bit.ly/caH6uu

id:20685432359 　　 screen_name:taguchi
CSSだけで作りこまれたアイコンセット『Peculiar』がすごいな・・・ - http://bit.ly/9FZDol

id:20683731663 　　 screen_name:taguchi
ツイッター上でのやりとりを分析するなら『bettween』が最強かな・・・ - http://bit.ly/cujRz0

id:20670707063 　　 screen_name:taguchi
DropBoxの『Get Started』をコンプリートして250MBゲットしよう！ - http://bit.ly/djgoCg

id:20669083902 　　 screen_name:taguchi
Googleが把握しているあなたの『ソーシャルサークル』・・・ - http://bit.ly/9D5b4L

id:20598196074 　　 screen_name:taguchi
iPhone用のミニマルなスタンド『CleverStand』 http://bit.ly/ckZXUD

id:20535545763 　　 screen_name:taguchi
子供がどこにいるかを把握しておくことができるiPhoneアプリ『Wherescope』 http://bit.ly/cr0fc6

---

いや、神田明神です。

電波神社って、アマチュア無線に向いていそうだ・・・

「森ガールを連想させる穏やかで柔らかな雰囲気の欧文フォント」とか

　Twitterで、気になったもの。
　idがその発言のID,screen_nameが発言した人で、下の行が発言内容
　（ネタが「かなり」古い・・・ごめん）

---

id:20946304496 　　 screen_name:dtpdesign
電子出版の現状や電子書籍フォーマットの基礎知識を学ぶ「電子出版セミナー」: 毎日コミュニケーションズは雑誌「Web Designing」、雑誌「+DESIGNING」、マイコミジャーナルの3媒体合同主催によるセミナー「MJクリエ... http://bit.ly/d3LdhS

id:20945916661 　　 screen_name:dtpdesign
"iPad落下時の破損を防ぐカバーボール「iballz」国内販売開始：ニュース&トピックス(iPhone / iPod / iPad): iPad落下時の破損を防ぐカバーボール「iballz」国内販売開始
（株）コスモウェブは、同... http://bit.ly/8ZlPGy"

id:20945074136 　　 screen_name:dtpdesign
(@fcbayernist)RT @KotaroA: キャバクラで胸を揉むのはプランナー。口説くのはコピーライター。自分の話しかしないのはアートディレクター。（先輩談）: RT @KotaroA: キャバクラで胸を揉むのはプラン... http://bit.ly/dy5tTc

id:20937384233 　　 screen_name:dtpdesign
"NETGEAR、PoE給電に対応した10ポートギガビットスマートスイッチ「GS110TP」：ニュース&トピックス(SUPPLY): NETGEAR、PoE給電に対応した10ポートギガビットスマートスイッチ「GS110TP」
ネッ... http://bit.ly/cuPEMx"

id:20928264876 　　 screen_name:dtpdesign
複数のソーシャルサイトのRSSを読み込んでまとめて表示できるjQueryプラグイン「So So Social」: jQuery - So So Social - jQuery News Feed from your Social... http://bit.ly/9YYpUA

id:20926267092 　　 screen_name:dtpdesign
"Sony Ericssonのコンセプトモデルだが画面の一部がiPhoneのアプリなのが気になるところ: Sony Ericssonのコンセプトモデル
デザインはDu Junさん
端末の角部についたピボットにより、
縦にも横にも開... http://bit.ly/dgoLuD"

id:20895838596 　　 screen_name:dtpdesign
(@davidsbundler)『エロティック美術館』が予想以上にえろくて戸惑っている…っていうのも私がえろくないひとだからなわけですけれども。: 『エロティック美術館』が予想以上にえろくて戸惑っている…っていうのも私がえろくな... http://bit.ly/bmJaBL

id:20884320077 　　 screen_name:dtpdesign
(@masei)RT @yukio: ワイアード創業者。新しいテクノロジーの助けによって、クリエイターは「1000人の忠実なファン」を集めれば生計を立てられる。1000人から月1000円で月収100万。 #assioma htt... http://bit.ly/b6Zgxz

id:20848453056 　　 screen_name:dtpdesign
"DTPデザイナーが重宝しそうなイラストレーターで使える無料のベクターデータのまとめを紹介しているサイト: Illsutratorで使える無料のベクターデータのまとめを紹介しているサイトを見つけたので紹介します。
ベクター画像を大... http://bit.ly/8Yiu1s"

id:20846469613 　　 screen_name:dtpdesign
"NEC、コマ撮りアニメーションCMを制作する小学生向けワークショップ開催: NECは、NPO法人CANVASと協働で、同社の製品をテーマとしたアニメCMを制作する小学生向けワークショップを開催する。開催日は24日～25日の2日間。
http://bit.ly/9Byy7X"

id:20846148956 　　 screen_name:dtpdesign
"富士通、携帯電話とPCを使った無料健康サービス「深体創工房」開始：ニュース&トピックス(TOPICS): 富士通、携帯電話とPCを使った無料健康サービス「深体創工房」開始
富士通（株）は、携帯電話とPCを使って日々の活動量や生活... http://bit.ly/cTrqd9"

id:20846095144 　　 screen_name:dtpdesign
"動作が快適で使いやすいCSS3のジェネレーター -CSS3 Playground: Twitterで紹介したら、好評だったのでブログでもご紹介。
CSS3 PlaygroundはCSS3のスタイルシートをブラウザでの表示確認をし... http://bit.ly/cC0rUS"

id:20837636949 　　 screen_name:dtpdesign
高解像度の画像のURLを入れるだけでGoogleマップみたいに拡大機能を付けられる「Zoom.it」: Zoom.it高解像度の画像のURLを入れるだけでGoogleマップみたいに拡大機能を付けられる「Zoom.it」。こういう... http://bit.ly/9Oy96d

id:20877310508 　　 screen_name:flopdesign
"いつも、上手いこと書くと感心する窓の杜。森ガールを連想させる穏やかで柔らかな雰囲気の欧文フォント「Quietlife」
　曲線の遊びが女性的な雰囲気を演出。http://bit.ly/bS7Mm9"

id:20950383699 　　 screen_name:dol_editors
「桃太郎」―桃太郎は、鬼退治のために家来三匹を要している。すなわち、桃太郎には一人で鬼をたいらげるだけの器量はなく、彼を支える家来が必要だったのである。 http://ow.ly/2noGc

id:20939752781 　　 screen_name:dol_editors
経済評論家・山崎元さんの最新コラム「夏休みに考えるキャリアプランニングとマネープラン共通のコツ三箇条」をどうぞ！ http://ow.ly/2orix

id:20939589175 　　 screen_name:dol_editors
「都心需要の取り込みに動くケンタッキー次世代店の仕掛け 」。こちらも週刊ダイヤモンド編集部発です！ http://ow.ly/2orgH

id:20939498634 　　 screen_name:dol_editors
キリンとの統合破談後も過去最高益　サントリーに吹く３つの追い風とは？週刊ダイヤモンド編集部発の記事です！ http://ow.ly/2orfq

id:20939415994 　　 screen_name:dol_editors
「セクハラ疑惑でＣＥＯ辞任　アップルになれる企業・ヒューレット・パッカードの眠る潜在能力」。シリコンバレー発のコラムです。 http://ow.ly/2ored

id:20931296830 　　 screen_name:CloudNewsCenter
[#SmartGrid #スマートグリッド] 家電品をWifiでスマート化出来るチップの登場： ZigBeeが主流の中、実績のあるプロトコルで対抗 http://post.ly/rN6v

id:20928503385 　　 screen_name:CloudNewsCenter
[#DataCenter #データセンタ] i/o Anywhereのモジュール型データセンタの戦略詳細 http://post.ly/rMqZ

id:20779979281 　　 screen_name:yaha_questetra
【Google Apps 連携設定4】実は #Questetra BPM Suite のサポートサイトに説明あり。 http://support.questetra.com/ja/questetra-bpm-suite/current/application/SA/SA-08

id:20778953534 　　 screen_name:yaha_questetra
【Google Apps 連携設定3】次はGoogle Apps側。ドメイン管理権限ユーザでログイン⇒「高度なツール」⇒「OpenIDを使用した…」で「OpenIDを使用したサード…」にチェックを入れる♪これで祝連携！ #Questetra

id:20778041001 　　 screen_name:yaha_questetra
【Google Apps 連携設定2】 #Questetra BPM Suiteでの設定。「システム管理機能」⇒「Google Apps連携」この画面で「ドメイン」にお使いのGoogle Appsドメインを入力！ひとまず 「OAuthなんとか」は空欄でOK♪

id:20777526339 　　 screen_name:yaha_questetra
【Google Apps 連携設定1】Google Apps と #Questetra BPM Suite を連携させるには、それぞれに少しだけ設定を行ないます。具体的な方法は内緒です（うそ）。「無料お試し」版も同じです。

id:20923137740 　　 screen_name:bufferings
. #slim3 #appengine RT @gabunomi36: 始業時間までSlim3 on Google App Engine for Javaを読んでます。勉強になるしコード書きたくなる内容です。買って良かった！

id:20922965287 　　 screen_name:bufferings
あとで読む #appengine RT @app_engine: Bulk data import into App Engine's datastore using the blobstore and the Mapper API http://bit.ly/9DHmTo

---

森ガールを連想させる穏やかで柔らかな雰囲気の欧文フォント・・・って、ごめん、意味不明だ（＾＾；）

8月17日(火)のつぶやき

10:58 from web
VMWare上のUbuntuでMapReduceしようと、eclipseとHadoopいれて、きしださんのここ http://d.hatena.ne.jp/nowokay/20090215#1234669417 をちょこっと変えて実行したら,Out of memory、がっくし
12:37 from web
全国展開の会社で、「休日マスタ」持っているシステムは一斉改修ってこと？”休日分散「メリットない」68％→観光庁「厳しい意見が多いと受け止めてるが、再来年から導入したい」” http://blog.livedoor.jp/dqnplus/archives/1527908.html
12:59 from web
「マイクを逆さまに持ってクチパクがばれた歌手が自殺未遂」だそうな http://rocketnews24.com/?p=43321
15:38 from web
たぶん、TOPSE４期の人の、「ゴール指向モデルを利用したソフトウェアテストの精度向上」の人の言いたかったことは、ゴール指向のKAOSで分析すると、誰が、何をやるのかが明確になるので、それとテストをＲＶＴＭで結びつければＯＫってことじゃないのかな・・・違うかな？
by xmldtp on Twitter