All the world is an abstract interpretation (of all the world) David Schmidt Kansas State University www.cis.ksu.edu/~schmidt Escuela I / 1 Outline 1. What is abstraction? 2. Abstraction and concretization: Galois-connection-based abstract interpretation 3. Examples of static analyses 4. Logics and static analysis Escuela I / 2 An abstraction is a property from some domain brown (color) . Escuela
過去のエントリーの改訂版です。 今回はより簡単にHTML+JavaScriptでiPhoneアプリを作る方法を紹介します。 より少ない手順で、ビルド時に警告もありません。 iPhoneSDKにはSafariにも搭載されているレンダリングエンジンのWebkitが含まれています。これを利用して、HTMLでもiPhoneアプリを作ることができます。 このままAppStoreにも登録できます。 ゲームも作ろうと思えば作れますが、iPhoneのCPUはPCと比べると非常に遅いので、いくらJavaScriptが早いSafariと言えども、動作速度は期待できません。 HTMLファイルの準備 <html> <head> <meta http-equiv="Content-Type" content="text/html; charset=utf-8" /> <meta name="viewport" co
I’ve been working on revamping the Active Record query interface for the last few weeks ( while taking some time off in India from consulting work, before joining 37signals ), building on top of Emilio’s GSOC project of integrating ARel and ActiveRecord. So here’s an overview of how things are going to work in Rails 3. What’s going to be deprecated in Rails 3.1 ? These deprecations will be effecti
The new validation methods in Rails 3.0 have been extracted out to Active Model, but in the process have been sprinkled with DRY goodness… As you would know from Yehuda’s post on Active Model abstraction, in Rails 3.0, Active Record now mixes in many aspects of Active Model, including the validates modules. Before we get started though, your old friends still exist: validates_acceptance_of validat
I have just had my sexy validations patch accepted into Rails. Much thanks to José Valim for helping me get this applied. The reason for the name “sexy validations” is that it gives a much more concise way of defining validation and reusing custom validator classes. Much like what sexy migrations did for defining your database schema. Simple example of using existing Rails validations, the “sexy”
Rails 3.0: Release Notes の和訳をしています。量が膨大なのでとりあえず半分をエントリとして切り出しました。基本的に意訳で適当に削除したり付け加えたりしてる部分もあります。もし間違い等見つけたらご連絡をお願いします>< 後編は一週間後くらいまでに書きます。 (追記) id:gom68さんが全文の和訳をされているので、全文の和訳が見たい方はこちらを参照してください。 Rails3 リリースノート全文和訳 (ただし適当) - うっかりプログラミング日誌 ↑があるので後編は急がず、それぞれの章の深掘りを先にやるかもしれませんー (追記) 後編書きました Rails 3.0 リリースノート和訳 - 後編 - おもしろWEBサービス開発日記 まえがき Rails3.0はまだベータ版。バグがあるかもしれないので見つけたらこちらに報告してね。空軍の核爆弾発射アプリのような正確さが求
34時間働けますか? 従業員自殺が止まらないFoxconn、地獄の勤務体制が判明!2010.06.03 12:009,762 もしやiPadの過酷な増産体制が原因? iPod、iPhone、iPadなどの一連のアップル製品の製造などを請け負いながら、中国広東省深センにあるFoxconnの工場で謎の連続飛び降り自殺が続いていることを受けて、ついにアップルも独自調査へと着手する緊急対応を取り始めましたが、どうやら次々と明らかになってくる内情は、こんな捨て身の潜入体験レポートで判明したよりも、さらにさらに深刻のようですよ。 上の写真で悲しみの訴えをしているのは、このほど自宅で就寝中に怪死を遂げたFoxconnのエリートエンジニアである利さんの若奥様なんですけど、今回の事件のポイントは、決して利さんは自ら死を選択する飛び降り自殺なんかしておらず、もう幸せいっぱいの新婚家庭を、いかにして雇われ先のF
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く