Googleデベロッパー交流会報告（１）―Google Gears

これから、何回かに分けて、今日の「Googleデベロッパー交流会」の報告をしてみたいと思います。

交流会は、

１．プレゼンテーション　Google　Gears
２．パネルディスカッション　１部　２部
３．懇親会

というようになっていたんだけど、ウィリアムのいたずらは、懇親会に出なかったので、１と２の報告で、今回は、まず１のGoogle　Gearsについてです。

　なお、この内容は、後日YouTubeにアップされ、今回のスライド資料公開も検討しているそうです。

・Gearsのサイト
　　　http://gears.google.com/
　（ウィリアムのいたずら注：前に出た２つのサイトはデベロッパー用。
　　こっちは、一般も含めて）

---

日時：２００７年１２月７日（金）１３：００開場　１３：３０開始
場所：東京コンファレンスセンター品川　５階のB会場

参加者：空席はあったけど、まあまあ、人は入ってた。
　なんか、私服の人が多かった。
　Googleのひとは、同じような服を来ていた（制服？）
　通訳つき（２人。訳は上手で、とてもよかった）

内容：

（１）あいさつ
　　　クリス　シャルク氏（なんかGoogleの偉い人みたい　＾＾；）

（２）プレゼンテーション　Google　Gears
　　　グレゴーホーペ氏（なんかGoogleの偉い人みたい　＾＾；）

＜＜説明のないよう＞＞
・ブラウザの課題
　　　接続していないときの操作
　　　信頼性＝もし、通信が止まったら？
　　　レスポンス＝ローカルアクセスのほうが早い

・そこでブラウザの要望
　　　ローカルサーバー
　　　データストレージ
　　　ワーカープール　（バックグラウンドでの操作）
　→この３つの機能をGoogle　Gearsは提供

・ソースのありか
　http://code.google.com/p/google-gears/
　→NewBSDライセンスで提供
　（ウィリアムのいたずら注：
　　http://code.google.com/apis/gears/
　　というサイトでも情報を提供している。この２つのサイトがある理由は
　　次回かそのつぎの、このブログで報告する）

・Gearsの場合

　　　　　　　　　　　　クライアント
　　インターネット　⇔　XHR｜Sync　　⇔　　　DB　　　　　　　　⇔　UI
　　　　　　　　　　　　　　　　　　　（ローカルデータベース）

XHR：XMLHttpResponse（をサーバーに発行すること）
Sync：サーバーとローカルDBの同期をとる部分のプログラム

・オフラインでもローカルストレージにダウンロードすることで動く

・可能とするAPI

（１）リソースストア
　　＝ページ、スクリプトなどを格納する。以下のような方法がある
　　　　　・シングルリストア
　　　　　・マネージドリソースストア（全体を保存する）
　　　これにより、ローカルでリソースにアクセスできる。

　＜＜つかうには＞＞
　・offline-manifest.jsonっていうかんじのファイルを作って、何保存するするか書く
　・プログラムで、ローカルサーバーをCreate,ストレージをCreate

（２）データベース
　　＝SQLiteを使う

　＜＜つかうには＞＞
　　・プログラムでdbをCreate
　　・de.executeで引数にSQLを書くとSQL実行

（３）ワーカープール
　　＝バックグラウンドでジョブ実行

　＜＜つかうには＞＞
　　・ワーカープール作成
　　・コールバックを設定
　　・バックグラウンドで実行したいプログラムを設定
　もちろん、そのバックグラウンドで動くプログラムも書く。

・今後
　フルテキストサーチなども考えている。

---

１．プレゼンテーションはここまで。
次回は、パネルディスカッション

Google Gearsって、iアプリとBREWの差みたいなもん？？

　今日、Googleデベロッパー交流会にいってきた(懇親会は出なかった）。
　で、その話は、別にまた書くとして、結局、Google Gearsって、iアプリとBREWの差みたいなもん？？

---

　ケータイで業務アプリを開発しようとすると、たとえば、受注を入力するとき、商品コードを入力したら、すぐに商品名が出てきて欲しい。

　このように、「なにかを入力したら、すぐにマスタ検索して、なにかを表示」という場合、ケータイでサーバーにアクセスしていると、時間がかかってしまい、入力がとまってしまう。

　なので、ローカルに、マスタを持たなきゃいけない・・
　となってくると、

１．ローカルに商品マスタなどのマスタ用DBをもち、
２．商品コードとか画面入力したら、すぐにDB検索して商品名表示
３．受注データを入れ終えたところで、サーバーアクセス
４．適当なタイミングで、マスタ更新データのダウンロード

というように、やらないといけないが、これをiアプリで実現しようとすると、ローカルにDBというほどの大きなものは、もてない。
　なので、この手のiアプリの開発はしにくい。

　BREWだと、結構大きなファイル領域が使えるので、上記のコトが可能（ただし、BREWは登録する必要があるとか、それはそれで、違った話がある）

---

　で、Google Gears。
　Google Gearsがない現状だと、上記のアプリを組む場合、商品マスタをサーバーに置けば、商品１件入力後とに、商品名を得るためにサーバーアクセスとなるので、時間がかかり、問題がある（かも）。
　だけど、Google Gearsを使えば、

１．ローカルに商品マスタなどのマスタ用DBをもち、
２．商品コードとか画面入力したら、すぐにDB検索して商品名表示
３．受注データを入れ終えたところで、サーバーアクセス
４．適当なタイミングで、マスタ更新データのダウンロード

っていうことができる（いちいちサーバーにアクセスしないでも、ローカルでDBをもち処理できる）。

---

ってことで、Google Gearsって、iアプリとBREWの差みたいなもん？？

事前条件、事後条件、不変表明と数学的帰納法

　JUnitなどの説明でよく出てくる、事前条件、事後条件、不変表明ですが、
　事前条件と事後条件はわかる。
　不変表明に何を選ぶかだけど。。。

　事前条件、事後条件、クラス不変表明がでてくる、ホーア論理の本なんか見ると、
　不変表明は、

　最大公約数をもとめるとき、公約数の関係式
　階乗のときは、階乗の関係式

　っていうかんじで、その変数を含めた関係式が書かれている

　つまり、数学的帰納法なんかでの、n-1とnの関係式みたいなの・・・
　数列を求めるときの、漸化式みたいなやつ
　（漸化式とはちがって、すべての・・・であらわしてあることもあるけど）

ってことは、　事前条件、事後条件、不変表明は、数学的帰納法なんかと同じ？

つまり帰納法だと、

以下の条件を満たすとき 　　　（１）０番目のとき 　　　（２）N-1番目とNの関係など なになにであることを証明せよ----（３）

なんて書くけど、これとおなじで、

（１）が事前条件
（２）が、クラス不変表明
（３）が事後条件

なのかなと思ってきた。