TOP>2010年11月

2010年11月30日

仕事でバタバタする日のコーデ

某ファッション女性誌の編集者さんに 「ここまで、豹面積が大きい人って初めてです」 言われた綺凛です(笑) ヒョウ柄が好きなので、よく関西系出身と思われてますが 生粋の関東生まれの関東育ちです というわけで、本日も仕事が忙しいので バタバタ走り回れるパンツ+自分が好きな柄という こんなコーデで会社に来てます(笑) 髪は、アップにして疲れている感を出さないように・・・ さて、今日も一日頑

2010年11月30日

下関へ日帰り旅行

11月ももう最終日。今月中盤から私もスーも風邪をひいたため全力で動けなかったのが心残り(T_T)
ブログもあまり更新できなかったけれど、また頑張っていこうと思います。

そんなうちらの風邪が落ち着いてきていた下旬に家族で下関に日帰り旅行してきました。

下関を訪れたのは私も初めて^^市街地に入る前に唐戸市場へ立ち寄りました。

続きを読む >>

2010年11月30日

「iPad対抗馬の本命」NTTドコモのAndroidタブレットGALAXY Tabをさっそく触ってみた


Subject: ドコモのスマートフォン買いました/> ご参考までにスクリーンショットを添付いたします。


「iPad対抗馬の本命」NTTドコモのAndroidタブレットGALAXY Tabをさっそく触ってみた - ニュース:ITpro
Created on Tue, 30 Nov 2010 7:1:0


http://itpro.nikkeibp.co.jp/article/NEWS/20101127/354611/


----- Original Message ----- From: "山根成史" <@propel.ne.jp>
To: "Sadao Asami" <@gol.com>
Sent: Tuesday, November 30, 2010 12:11 AM
Subject: ドコモのスマートフォン買いました

 浅見 様
>
> お世話様です。山根@プロペルです。
> 去る26日に発売したドコモの Galaxy Tab を購入致しました。
> 先ほど Bluetooth規格 のマウスを購入し、さらに先ほど Amazon にて Bluetooth規格 のキーボードも注文した所です。
> 「電話」もここまでくると凄い可能性を感じます。
> ご参考までにスクリーンショットを添付いたします。





JUGEMテーマ:ニュース





2010年11月30日

SEMATについての感想


 昨日、SEA Forumに行ってきて、SEMATについて平鍋氏のお話を聞いてきたことは、
 昨日のブログに書いた
 今日は、その感想。

 正直なところ、SEMATは、何をどこまで作って、どれが、日本の私たちに、どれくらい影響があるのか、よくわからなかった。実は、ここが一番知りたいところなのだが・・・

 つまり、SEAMATは、(以下斜体は、昨日も引用した、平鍋さんのブログ「SEMAT.org にて「ソフトウェア工学再建」運動が開始」から引用)


確かな理論と、証明された原則(principles)とベストプラクティス(best practices)の上にソフトウェア工学を再構築(refound)したい、そのプロセスを支援したい。


っていうと、根本原理からどんどん発展させて、現在のソフトウエア工学を、体系化して見せてくれるような気がしてしまう。

 根本原理から、現在のソフトウエア工学を体系化すると、
チャーチ=チューリングのテーゼから、まず、原始帰納的関数を出してきて、
・それから、スパゲティプログラム(N)は、Whileプログラムに書き換えられるよ!
・プロセスやデータを複合していき、オブジェクトという概念を出してきて、
・ソフトウエアの正しさを説明して(部分完全性と停止性):ここじゃないかも?
・それから、コンポーネントを説明して、パターンに行き
・フレームワークにきて
・開発方法論になって
・マネージメントになる??
てなかんじなのかしら・・・

だけど、なんかそういうことをするんじゃなくって、議論の土台となる、「共通のものさし」を作るみたいだ。そういう風に聞こえた。

 体系化なら、実務上、それを仕事に当てはめていけるから便利なんだけど、ものさしを作られても、直接日本には、インパクトないかも?たとえば、日本においては、ISO27001より、ISMSのほうが、なじみ深いように、世界的にものさしを作っても、まずJIS化しないと・・・




 ただ、その後の議論では・・・
 うーん、日本の学会や、偉い人たちの間では、ちょっと、いや、とっても、体系化は難しいかな?という気がした。

 たとえば、「どうして、OCLなんだ!VDMのほうがずっといい」みたいな意見が出たけど、
 そもそも、OCLとVDMは、形式仕様だけど、適用範囲がちがう。

 OCLを使うときは、クラスを再利用したり、関連をチェックしたいような場合に、
 定義するもので、だから、不変条件と、陰仕様しかかけない。
  メソッドの内部の記述は出来ない。
  だから、OCLの場合は、テストデータのイメージとして、これで合っているかどうか
 とかの確認が主になる。

 一方VDMは、自分の考えたやり方で合っているかどうかを確かめたいときに使う。
 陽仕様で書けるので、自分の処理方法をそのまま書ける。
 一方VDM++であっても、インターフェースとか、(あれ、パッケージもなかった?)
 クラス関係の表現力は弱い。弱くっても、単に考えを確認する程度なので、ま、これでいい

 実際、VDMで検証するより、直接、Javaで書いてしまったほうがいい
 という考えもある。これが、アジャイルになる。
 VDMで検証しても、Javaに直すときにバグが入る可能性があるから、
 それなら、直接コードを書き
   事前条件は、エラーチェックで
   自分の考えはメソッド内に
   事後条件は、JUnitのアサーションで
   不変条件は、JUnitで処理前と処理後にアサーションで
 確認するというものだ(さらに、JMLで形式仕様を書いてもいいけど)

 ただ、上記のアジャイルは、開発言語が決まっている場合に有効ではあるが、言語が複数あったり、決まっていない場合は、Javaでやっていいの?ということになるから、すぐに確かめられるVDMがいいかもしれない。


 現場的には、このように、形式仕様を持ち出すとしても

  OCL VDM アジャイル+JML

 と、ちょっと考えただけでもあるし、さらに、話題になっていた、自動車などで、厳密に定義をするんなら、上記のものではだめで、(停止性を保障したいときがある。この場合、バリアント条件がかけないといけない)、EventBやBを使うことになる。

 問題は、現場的には、
   ・このうち、どれを使えばいいの?
   ・どーやって適用するの?

というのが、体系的に判りたいわけで、望んでいるのは、まさにこれなわけだ。
だけど、そーいう、どの場合にどう、という話にならずに、どっちがいい論争になり、まさに、ファッション化してましたねえ・・・




 あ、そーいう意味では、ステートチャート(ステートマシン)図の話も、気がめいるものだった。。。

 イベントドリブンの場合ステートチャート図を描くのが当たり前であり、フィリピンの人はすぐに思いつくのに、日本のエンジニアは、まったく通じず、総当たりテストしているという発言だ。

 それに対し、平鍋さんが、「いや、必ずしもそうじゃないし、状態爆発しちゃうことがあるでしょ」と正しいツッコミをいれても、まだ無視して、その話を・・・

 うーん・・・これが、日本の上層部の実態なのねえ・・

 まず、イベントドリブンの場合、ステートチャートを書くのは一般的かもしれないが、ステートチャートは、

  ・並行動作が見えにくい→ここで、場合が抜ける可能性がある
  ・ステートチャート図を描いたとしても、網羅性は保障されない

 そこで、前者において、とくに、メッセージが介在しているときなどは、シーケンス図で全体を捕らえる。で、イベントドリブンでも、シーケンス図で理解できてしまう場合もある。このようなときは、わざわざ、ステートチャート図をおこさない。
 →シーケンス図からステートチャート(ステートマシン)図を読み替えられるので

 また、後者で記述したように、ステートマシン図を書いたとしても、線1本抜けてても、ちょっと気づきにくいときがある。なので、ステートチャートで書いても、網羅してるかどうかまではわからない。これが、状態遷移「表」なら、まだマトリックスにするのでありなんだけど、状態爆発の可能性がある。っていうか、ステートをまともにあつかったら、爆発する。
 そこで、SPINやSMVといった、モデル検査にもっていくことになる。

 ただ、あんまりにも大きいものは、細かな部分を隠してしまって、フレームワーク化してしまう。
 フレームワーク化されると、1イベント分しかかかないので、次のイベント処理しかかけない。
 そうなると、ステートチャートを描いても(1イベント分なので)意味がなくなってしまう。
 フレームワークにおいて、イベントが隠れているかどうかを見るには、CSP(プロセス代数)とか使って、詳細化関係を確認すればいいけど、その場合、ステートチャート図より、構造図のほうが、CSP化しやすい。

 ってことで、日本の場合、

・フレームワークのアーキをしている人は少なく、フレームワークから呼び出される
 一部イベント部分を書いている人は、1イベントのステートマシン図を書いても意味
 ないから、書かない→ステートマシンを書かなくても、仕事になる

・どっちかというと、シーケンス図を描いたら、もう、大づかみにコーディングに
 入ってしまう。

ので、必ずしも、ステートマシン図が必要なのではなく、どのような開発の場合は必須で、どのようなときは、イベントドリブンでも、ステートマシン図を必ずしも必要としていないかの体系わけができないといけない。
 で、現場的には、その体系図のほうが、ほしい。

 なんだけど、永遠と、日本だめだめ説なのだ(フィリピンの人は、たぶん、開発経験が少ないので、教条的に、イベントドリブンと来たら、ステートマシンと答えたのだろう)。

 そもそも、総当りで全てテストしている会社としか、お付き合いがないようだと、あんまりいい会社とは付き合ってないんじゃないかなあ?今、直行表くらい、知ってるだろ・・・仕分けされそうな情報処理試験でも出てくるくらいだから・・・




 ってことで、仮に体系化されても、日本の上層に受け入れられにくいかもねえ・・

 むしろ、日本でだれかが体系化して、たとえば、astah*で作ったUMLから、その場に合ったシュミレーションや、検証ができるようになったほうが、インパクトでかい気がする。

 ま、そのうち、この体系は書くだろうから、意外と、SEMATより、このブログのほうが影響力強くなるかも??(なわきゃーないか・・・)


2010年11月30日

アスペクト指向の愉快な利用方法とか


アスペクト指向のこの前のつづき




■ポイントカットの応用(この前の続き)
・within 〜 call−−
 〜から呼び出される−−

・フィールドにアクセスされたときに、ポイントカット
  get
  set

■アスペクト指向の愉快な利用方法:

・モックとして使う
 aroundアドバイスは、そのまま帰ってくるので、ダミーモジュールに使うところを、
 aroundアドバイスに変えてしまえば、本体に対して修正などしないで、
 aroundアドバイスを作るだけで、テストができる。

・静的な解析declare errorで、ポイントカットを使って、コンパイルエラーを出す

■さらにすごいこと:存在しないメソッドを後から追加できる
  インタータイプ宣言:修正せずにメソッド、コンストラクタ、フィールドを追加できる
  declare句による宣言:修正せずに継承関係を変更できる
    →ただし、変更した結果、実装すべきメソッドがない等の矛盾が生じてはいけない
    →実行順番を指定したい場合は、優先順位の指定をする
      →declear precedence
  特権アスペクト:privileged:privateでも勝手に見えてしまう。

■アノテーションとしても書ける
 また、アノテーションをポイントカットにできる。


■アスペクトの問題点
・テストはどうなるの?
・アスペクト指向の設計方法は?
   →表記、手順は?

■他の言語のアスペクト指向
・aspectC http://research.msrg.utoronto.ca/ACC
・aspectC++ http://www.aspectc.org/


2010年11月29日

先日友人夫妻の大田区 一戸建て購入のお祝いに
フラワーアートをプレゼントした時の話です。

友人とは昔アルバイト 渋谷をしていた時からの仲なので
お互いに色々な話をする間柄です。

家庭を持った当初、私が生命保険に詳しかったこともあり生命保険 見積もり
ついて相談をされました。

どんながん保険 見積なんだ、といろいろ内容について聞かれたのですが、
結婚前から医者に不妊治療 相談したり雑誌の
不妊治療 人工授精を読み込むような、慎重に事を進める彼らしいといえば
彼らしい言動だと思いました。

家庭を大切にする気持ちは人一倍あり、先日の生命保険 相談もそうですが
奥さんの負担を減らすために家事 代行 料金を雇おうかですとか
娘がカードを持つのだがどんなキャッシング 業者 選び方
良いのかと、これだけでも家族への愛情が深いことがよく表れています。

中でも娘さんを本当に溺愛しているのだなと思ったのが、娘さんが就職した時の為に今から
名刺 印刷をしようとしたり、娘さんにもし子供が生まれたらどんな服が
似合うかとBabydoll 通販を調べていたことです。

さすがにそれは気が早いよと忠告しましたが、彼がいかに家族のことを大切に思っているかが伝わってきました。

友人の趣味である競艇 選手に関する薀蓄を聞くことも多く、
前回の競馬 投票は良かったと言った内容から
前々から登録したかったオート 動画に登録できて嬉しかった
というような日常的な事までその内容は実に様々です。

なんでも次に会う時にはJRA オッズに関する詳しい話をして
くれるようなので、少し楽しみにしています。



先日インプラント 歯科医院で受けた奥さんは、それを機にだんだん
と綺麗になってきていて自分の魅力に磨きをかけているようです。

以前習っていた語学を活かして韓国語 会話を習い始めたり、
グローバルな社会に適応していきたいと新たに中国語教室に通い始めたり
と容姿だけでなく内面の方も美しくあるよう心がけているようです。

家族への配慮も大したもので、夫の誕生日には
ケント・アンド・カーウェンのプレゼントを渡したり、
ネイル 学校 大阪に通っている娘さんの為に月に一度は
セシルマクビー 通販から選んだ服を送ってあげるなどさりげない気配りが光ります。

とても仲の良い家族なので東京発  スノーボードに出掛けたり、
時間が無いときでもスノボ 日帰りツアーに出掛けているようですが
近々家族で北海道 スキー 格安 ツアーに行くそうです。

旅行の為にレナウン 通販で新しい服を買わなくっちゃと、
本当に仲の良い家庭ぶりが伺えます。

その娘さんですが、ついこの間矯正 千葉で受けたようで、ますます奥さんに似て
きたように思われます。

彼女がリサイクルショップ 大阪で働いていた時に、友人達に
読者モデル 募集に応募するよう勧められたりと納得の美しさを兼ね備えています。

最近では福祉 求人探しを頑張っているようなので、
差し入れにえがおの黒酢を持っていってあげようと思います。

以前太陽光発電 見積もりの相談も受けたので、
太陽光発電 費用について調べたところ良い業者が見つかったためまた世間話がてら
報告しに行きたいと思います。



お互いの共通の知人で医師 アルバイトをしている人がいるのですが、
その人からエアコン工事 神戸に関して相談を受けました。

知人は数年前にマンション購入 横浜でしているのですが、
今度大規模修繕 マンションをするらしく、色々な業者を探して
いるのだそうです。

実際MIL規格 コネクタのような細かな部品一つにも価格差があるらしく、
マンション 大規模修繕委員会の運営委員をしている知人としては、
色々と忙しく動き回っているようでした。

特にマンション住人との意思疎通が大事だそうで、以前に翻訳 価格でお仕事をしていた
経験がこんな風に役に立つとは、と喜んでいました。



2010年11月29日

astah*の平鍋氏が語るSEMATについて


 SEA Forumに出席してきた。今回は、astah*のチェンジビジョンの平鍋氏が語るSEMAT。
 ちなみに、SEMATについては、平鍋氏が、ブログに書いている。

SEMAT.org にて「ソフトウェア工学再建」運動が開始
http://blogs.itmedia.co.jp/hiranabe/2010/02/sematorg-2a87.html


 ということが、あらかじめ、SEA Forumの申し込みメールに記載されている。
 (なお、以下斜体は、上記サイトより引用)

日時:11月29日 18:30〜20:30
場所:文京区民センター 3ーB会議室

内容

・Call For Actionについて


今日のソフトウェア工学は未成熟なプラクティス(immature practices)によって重大に阻害されて(gravely hampered)いる。

言葉の流行が多く、工学というよりファッション業界のようだ。
広く受け入れられ、確立された、理論的基礎がない。
方法論が乱立している。
産業界と学会のギャップが大きい。


・Vision Statementについて
 →章建ての説明

Purposes and scope(目的と範囲)
The vision(ビジョン)
The kernel(カーネル)
The goals(ゴール)
The principles(原則)
One-year milestones(1年のマイルストン)


・signatories(署名している人たち)について
 →一人ひとり、みていきました。

・The Semat Diamondについて
 ここの図

・その他
  学会と産業界
  現在の状況
    ユニバーサル:7つの単語→232のプラクティス
    カーネルランゲージ:14のユースケース
    セオリー:論理・代数的なものと、エンピリカル的なものにわかれる

・SEMAT批判について

・質疑応答




これについて感想は、また今度書く。長くなるから・・・


2010年11月28日

日記

関西のほうに行くことになりまして、出張パックを探したら
一泊二日の往復でだいたい3万円程度。

検索途中で出てきたHISを見てみると、
台湾とか韓国とか上海・北京が4日で2万円程度、
グアムとかでも3万円程度。

さらに、

成田エクスプレス、八王子から成田空港まで4500円、
春秋航空、茨城から上海まで4000円。
(なお、東京駅から茨城空港まで連絡でバス500円でいけます。)


なんか、違和感を感じざるをえません…。

海外旅行が気軽なものになって久しいですが、
これだけ安く海外に行けるようになったのは
ここ十数年くらいだと思います。
幕末開国から我々親世代にいたるまで、
海の向こうは遠い世界で一般人には縁遠いもの。
それが今ではこんなに安く気軽に行ける。
時代の移り変わりを強く感じます。


================

東京で仕事をして一番うれしいことは、
おいしいラーメンがたくさんたくさんあること。

最近ではどろ系のつけ麺が好き。
麺が終わった後のライス+つけ汁で
おじやみたいにして食すのがたまらなくウマイ。

三田製麺所しか知らなかったのですが、
最近知った、東京駅地下ラーメンストリート
むつみ屋東京八重洲店限定のつけ麺もウマイ。

出張で東京駅使う方にはぜひお勧めです。
(ラーメンストリートではむつみ屋が一番空いてるし…。)


つけ麺 おじや



さて、京都では何をたべようか。




2010年11月28日

尖閣ビデオはだめでも、これはOKなの?「<テロ資料流出>公安情報出版」


ここのニュース
<テロ資料流出>公安情報出版 個人情報削除せず
http://headlines.yahoo.co.jp/hl?a=20101127-00000024-mai-soci


えー(@_@!)
尖閣ビデオとちがって、これこそ、秘密に管理してるもんだから、
秘匿性は高いわけで、それを流出しちゃったら、
それこそ、公務員の守秘義務違反とかで、問題になるんじゃないの?・・・

と思ったら
(以下斜体は上記サイトより引用)

 警視庁はデータについて、「調査中」として内部資料とは認めていない。第三書館の北川明社長は「警察が内部資料と認めていない以上、出版する権利はある。


そっか、本物と認めてしまうと、秘密がばれちゃうから、認められない。
でも、本物でないのなら、それは、秘密にしておく必要はない。
秘密じゃないなら、出版してもいい??

うーん、なんか変だけど、なんか論理が通ってる気もする・・・
うーん???

2010年11月26日

「Windows」25周年--PC業界での成功と新たな課題 - CNET Japan


1985 MJ Madonna Windows1.0



マイケル・ジャクソン 他 - We are the
world (1985)




http://www.youtube.com/watch?v=602Kh2JTia8&feature=player_embedded


「Windows」25周年--PC業界での成功と新たな課題 - CNET Japan

Created on Fri, 26 Nov 2010 10:49:37



http://japan.cnet.com/news/commentary/story/
0,3800104752,20423170,00.htm?tag=nl



コメントを頂いた〔mamaさんの日記〕様『ある意味Windowsと共に生きて来たMJ 』から
2010年11月26日15:54
http://bit.ly/hyvbyf


マイミクのHomeSeekerさんの日記でとても興味深い記事が紹介されてた。ので保存用日記。
「Windows」25周年--PC業界での成功と新たな課題 - CNET Japan
http://japan.cnet.com/news/commentary/story/
0,3800104752,20423170,00.htm


Ver1.Xの動いてるPC画面写真とか、Windows8についての噂話とか…

でも、
===================================================
 Microsoftが最初の「Windows」OSを発表したときは、Ronald Reagan氏が米国大統領を務めており、John Hughes氏が映画「ブレックファスト・クラブ」の中で10代の若者のイメージを感動的に描いていた。そしてMadonnaという若い歌手が、各地で「The Virgin Tour」の公演を行っていた。それから25年が経過した今、WindowsとReagan氏、Hughes氏、Madonnaはいまだにテクノロジ、政治、ポップカルチャーに関する話題の中心にいる。
===================================================
…ってMichael Jacksonはよ?

Reagan氏Hughes氏はそりゃあ今でも影響力は残っているんだろうけどとっくに故人だし、Madonnaを引き合いに出しててMichaelの名前が無いなんて…
どう考えても20世紀から21世紀にかけてMadonnaよりもMJの方がポップカルチャーの中心に居たのに。


Madonna - Dress You Up - The Virgin Tour 1985 (HQ)


http://www.youtube.com/watch?v=ki6Jfr9x4Ms


ましてやWindows ver1.0が発売された25年前はMJはWe Are The Worldを発表して神が降りてた頃。Windowsがその名を世界に轟かせた3.0から3.1発売のお祭り騒ぎの時はDangerous、Black Or White、Remember The Timeと神になった頃なのに。Josh Lowensohn氏ってよっぽどMadonnaが好きなのかな。


マイケル・ジャクソン - Black Or White
http://www.youtube.com/watch?v=6QCzK0EVISo

Dangerous



http://zoome.jp/mocconacafe/diary/19

Remember The Time
http://ja.musicplayon.com/play?v=342178


JUGEMテーマ:ビジネス



【広告】

サイト内検索

メンバー紹介

このサイトに自分のブログを載せたい!
(ブログの登録は無料です。)


アーカイブ