「Googleクラウドの核心」とか、JIS2004対応の文字についてまとめとか

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

---

id:20793827090 　　 screen_name:mainichijpedit
東芝がHDDの取り外し時に記録データを瞬時に自動で無効化する技術を発表しました http://bit.ly/9kDV76 情報漏えい防止策などに利用できそう。ほかにも使い方は色々…

id:20791410068 　　 screen_name:mainichijpedit
韓国警察庁、通信秘密保護法違反容疑でグーグルコリアを捜索 http://bit.ly/bdeQrl 「ストリートビュー」撮影の際、無線LAN機器に付いているシリアルナンバーの情報を集めるのと同時に個人間の通信情報も蓄積していたということです

id:20901129493 　　 screen_name:asahi
ｍｉｘｉアクセス障害　会員データは無事 http://t.asahi.com/6nk

id:20875220986 　　 screen_name:asahi
受験のお守りにどうぞ　熊本大、「赤門合格キット」配布 http://t.asahi.com/6mw

id:20816595510 　　 screen_name:asahi
ビーチにお掃除ロボ　ゴミ拾いは任せて　大学生ら試作 http://t.asahi.com/6iz

id:20778497815 　　 screen_name:asahi
ゲリラ豪雨の雲探せ　ウェザーニューズ社が移動レーダー http://t.asahi.com/6g1

id:20861798541 　　 screen_name:kentaro714
「Googleクラウドの核心」と同じタイトル(The Data Center as a Computer)で著者も同じ論文、タダで読めなかったっけ？これと何か違うのかなぁ？＜ http://mmq1ndg.xrt.me

id:20952847870 　　 screen_name:tkosuga
IT系の人はFindJobしか見ないらしい。ただものすっごく掲載コストが高かった気がするんだよなー

id:20951968297 　　 screen_name:tkosuga
ドメイン取るとテンション上がるのどうしてでしょうねー RT @ropross: まずは勢いでドメイン取得。

id:20934219332 　　 screen_name:tkosuga
定期的にはてぶが伸びる。ありがとうございます。無料で使える日本語フォントを表示確認できるサイト！ http://fonthack.jp/ 。タイプラボ様のフォントはフリーではありませんが、許可を頂いて掲載しています。

id:20904152353 　　 screen_name:tkosuga
rubyのpostgresqlのアダプターはたまーにはまるなあ。ちゃんと全部の環境でバージョンそろえようっと。 *Tw*

id:20955371365 　　 screen_name:bijogoyomi
早速ちぇきら！RT @kakukoki: twitterならiPhoneでもHoot Suiteのほうが快適な気がしますー。RT @bijogoyomi: Twitbirdを越えるiPhoneアプリがなかなかないんだが、どなたか知らんだろうか？

id:20859791066 　　 screen_name:IBM_JP_Rational
【Windows7対応】Windows 7の普及に伴い、今後使用が増えると予想されるJIS2004対応の文字についてまとめた資料です。Windows7に移行を検討している方は是非ご参照ください。http://bit.ly/933DLR

id:20806889486 　　 screen_name:IBM_JP_Rational
この機会をお見逃しなく！ 「IBM Rational チームコンサート サーバー・ライセンス半額キャンペーン - Japan」 http://bit.ly/9FRupw

id:20933125908 　　 screen_name:legoboku
[b!] コメント書くより、分かりやすくコード書け。 http://bit.ly/ckWsSB

id:20833416319 　　 screen_name:legoboku
[b!] Googleのトップページから「島根に」と 打ち込むと、「島根にパソコンなんてあ るわけない」「島根にパソコンなんてな いよ」 などのサジェスト内容が羅列される。 http://bit.ly/aSicvu

id:20829382705 　　 screen_name:legoboku
[b!] 解雇規制を撤廃した方が企業の採用活動は活発になる。雇用の流動性低いコトガ原因で発生している問題も解決するどろうが、日本ではきっとそういう方向にはならない。 http://bit.ly/aMLdBr

id:20801585251 　　 screen_name:legoboku
ETロボコンで要求図なるものを書くなど。優勝したいというおっきな要求から、粒度の細かい要求を出し、その下に、〇〇すべきとか〇〇であるべきという要件を出す。さらに、要件と何らかの制約があって、採用した具体的な手段を選んでいる。とするなど。

id:20893038938 　　 screen_name:shot6
SimpleDBは1000件つっこんで、15秒くらい。1000件検索して5秒程度。

id:20891100479 　　 screen_name:shot6
S3で50MBあげるのに6分ないくらいか。

id:20877789445 　　 screen_name:shot6
.@noomNeko Python使いは確実にふえてますよね。

id:20873264014 　　 screen_name:shot6
Data Intensive Computingを読んだ。非常にいい内容。 > http://salsahpc.indiana.edu/tutorial/slides/0726/szalay-bigdata-2010.pdf

id:20816933808 　　 screen_name:shot6
ふーむ、結局Hadoop + Cassandraは決定打はなしか。ただBulkLoaderはなんかありそうだった。

id:20815764860 　　 screen_name:shot6
Cassandra bulkloaderってあるのか。

id:20814547601 　　 screen_name:shot6
Hadoop + Cassandra demo > http://github.com/stuhood/cassandra-summit-demo

id:20796551281 　　 screen_name:shot6
2009年より2010年のほうが300%もHadoop関連の仕事が増えている件。 > http://radar.oreilly.com/2010/08/number-of-hadoop-jobs-continue-to-rise.html

id:20904986772 　　 screen_name:wmo6hash
『あの馬鹿丁寧なお辞儀、である。「馬鹿にしてんのか！？」と言いたくなった」』 同じ用件で、二つの金融機関の全く異なる対応: 悪徳不動産屋の独り言 http://bit.ly/bbghcH

id:20877795049 　　 screen_name:wmo6hash
『ODT is free and the new 11.2.0.1.2 production release now offers support for Visual Studio 2010. 』 OTN http://bit.ly/cP9QWX

id:20877750147 　　 screen_name:wmo6hash
32-bit Oracle Data Access Components (ODAC) 11.2.0.1.2 for Windows Donwloads http://bit.ly/d6mkCj

---

Moodleで、自作リソース型を追加する

Moodleで、自作の活動を追加する方法は書いた。

今回は、リソース型を追加する方法。
詳しくは、ここに載っている。

Development:Resource types
http://docs.moodle.org/en/Development:Resource_types

やりかた

１．まず、自作リソース型の名前を決める
　　今回はmytypeとする。

２．フォルダ
　　　moodleのあるフォルダ/mod/resource/type
　　の下に、自分の作るタイプのフォルダをつくる。今回はmytypeなので
　　　moodleのあるフォルダ/mod/resource/type/mytype
　　というフォルダをつくって、そこに、

　　resource.class.php

　　というファイルをおく。

３．そのresource.class.phpに、それぞれの型において、何をするかを書く。
　　ま、なにもしないのであれば、上記のページにあるように、空っぽのものを
　　書いておく（下に記述したとおり）

class resource_new extends resource_base
{
    function resource_new($cmid=0)
    {
        parent::resource_base($cmid);
    }

    function display()
    {
        ///Display the resource
         global $CFG;
        parent::display();
    }

    function add_instance($resource)
    {
        return parent::add_instance($resource);
    }

    function update_instance($resource)
    {
        return parent::update_instance($resource);
    }

    function delete_instance($resource)
    {
        return parent::delete_instance($resource);
    }

    function setup_elements(&$mform)
    {
    }

    function setup_preprocessing(&$default_values)
    {
    }
}

と、ここまでは書いてあるが、このとおり実行すると、Moodleの管理者モードで、「リソースの追加」などをしようとしたとき、そのタイプのところに、「resourcetypemytype」とでてきてしまうはず。

これを修正する必要がある。

４．moodledata(インストールするとき、dataをどこにおくか聞いてくる、あれ）のフォルダ、
　　/lang/ja_utf8の下に、「resource.php」っていうファイルがある。
　　それに、

$string['resourcetypemytype'] = 'まいタイプを作成する';

を追加する（'まいタイプを作成する'のところは、好きな言葉にしてくれ）

こうすると、リソースが追加される。

VDMのお勉強－その１ Ｂとの違い＆ＶＤＭの概略

前にＢをお勉強したので、今度は同じ形式仕様言語でも、ＶＤＭ！。

同じ形式仕様でも、Ｂと違い、証明して検証するのではなく、
（あ、証明生成機能もあるけど、証明がメインなのではなく）
スクリプトで値をいれて確かめる。

---

つまり、ＶＤＭを立ち上げると、こんな感じになるけど・・・

ここで、以下のようなＶＤＭーＳＬの記述を作って

module mod_hello
  exports all

definitions
operations

Hello : seq of char ==＞ seq of char
Hello(arg) ==
  return arg
pre len arg ＞ 1
post RESULT = "Hello";

end mod_hello

（上記＜　＞　は本当は半角）

プルダウンメニューから「プロジェクト」→「ファイルを追加」でそのＶＤＭファイルを選択すると、
なにもエラーなく、追加される。

---

このソースの言っていることは、

・Helloという関数を考える
・引数は文字列、返り値も文字列
・事前条件：引数の長さは１より大きいとき
・事後条件：返り値は、"Hello"

ってことなんだけど・・・
なわきゃーない、"Google"だろうが、"ookini"だろうが、事前条件は満たすけど、
処理は引数を返すだけだから、
事後条件はなりたたない。
Ｂなら、怒られる。
でも、ＶＤＭは、この、読み込んだ時点では、文法は間違ってないので、なにもおこらない。

---

では、スクリプトっていうか、値をいれて、考える。
亀さんが一方通行のマーク？をクリックすると、実行ウィンドウが現れる。
そのあとinitと＞＞のところに入力して（写真は入力した後の形）

print Hello "Hello"

と入力すると、事後条件に一致するので、なにもおこらない。

そして、
「プロジェクト」→「プロジェクトオプション」→「実行」タブで

・不変条件をチェックする
・事前条件をチェックする
・事後条件をチェックする

にチェックをいれて、

print Hello "Google"

と入れると、はじめて、事後条件違反になる。

---

ってことで、ＶＤＭは、ＶＤＭの記述だけでなく、実際に通すスクリプトによって、はじめて事後条件、事前条件違反を見つけられる（型違反は、型チェックで事前に見つけられる）

なお、スクリプトは、今回、いちいち打ったけど、どこかのファイルに書いておいて

　script ファイルパス名

で、全部を実行してくれる。

　次回のＶＤＭは・・・まず、ＶＤＭの種類とツールからかしら・・・

BSの衛星契約を値下げすればいいのに・・・ＮＨＫ

ここのニュース

値下げには及び腰？「受信料１０％還元」の“宿題”に悩むＮＨＫ
http://sankei.jp.msn.com/economy/business/100816/biz1008162243018-n1.htm

だったら、ＢＳだけ値下げすればいいのに・・・いっそのことＢＳ分５０％くらい。
ＢＳみたいけど、ＮＨＫの受信料がめちゃくちゃ高くなるから、ＢＳ見てないので、
ＢＳが劇的に下がれば（年間１０００円くらい増で）ＢＳみたいから・・・

ほかにもＢＳ、値段が下がれば見るって言う人多いと思うけどなあ・・・
意外とむしろ、値下げしたほうが、収入増になったりして（＾＾；）

あと、ＮＨＫオンデマンドの支払いを受信料からやってくれるようにしたら、
オンデマンドも見る。