正しいコンパイラを得るためには,コンパイラの形式化が正しいだけでなく,その実装の正しさも. 検証しなければならない.我々は定理証明システム Isabelle/HOL を用い ...
正しいコンパイラを得るためには,コンパイラの形式化が正しいだけでなく,その実装の正しさも. 検証しなければならない.我々は定理証明システム Isabelle/HOL を用い ...
2009/01/29 iPhone向けにC#で書かれたゲームが40本以上存在する――。2009年1月7日付けのブログ投稿で、こんなにわかに信じられない現象を伝えるのは、メキシコ出身のオープンソース開発者、ミゲル・デ・イカザ(Miguel de Icaz)氏だ。iPhoneアプリケーションの開発といえば、アップルが提供するSDKに含まれるObjective-Cを使うか、Webブラウザ上でのみ動作するJavaScriptで実装するかのいずれかだった。 C#のような実行時にランタイム(.NET Framework)を必要とするプログラミング言語は、iPhoneでは使えない。なぜなら、任意のコードを実行できるランタイムを配布パッケージに含めることを、セキュリティ上の理由からアップルが禁じているからだ。 ではなぜ、C#アプリケーションが審査に通るのか? この背後には、オープンソースプロジェクト「Mo
デスクトップ版Firefox 17(リリースノート)、Android向けFirefox 17(リリースノート)、そして延長サポート版Firefox ESR 10.0.11(リリースノート)がリリースされました。 Firefox 17 ではソーシャル機能を統合し、Firefox 上で動画を見たりゲームをしている最中でも、タブを切り替えることなくサイドバーで最新情報を確認できるようになりました(Mozilla Japan ブログの記事)。またAndroid版では800MHz以上のARMv6プロセッサ搭載端末に対応したほか、Android 4.0以降で「H.264 ビデオのハードウェアおよびソフトウェアデコーダ」、Android 4.1以降で「Explore by Touchと呼ばれるアクセシビリティ機能」をサポートしました。 またJavascriptとHTML5だけでSWFファイルのレンダリン
ページを開いたとたん勝手に Flash が実行されてうざかったサイトも、 Click to Play 設定を有効にすることで回避可能になった Firefox 17(含む ESR)。 初期設定では無効にされているので、about:config で plugins.click_to_play という設定名を検索し、false を true に変更すると有効になりました。
JJUG CCC 2009 Fallに参加させていただきました。 聴講したセッションについては、クラウドを中心にさまざまな話題があり、興味深かったです。 GroovyのBOF発表に来ていただいた方は、ほとんどがGroovyをすでに使ったことがあり、また、既に業務で使った・使っているという方もいらっしゃり、興味を持っている方が多かったということがわかりました。 しかし、最初すべったですね。笑いをとるのはむずかしい。時間も急ぎすぎて5分余ったorz。 とりあえず発表資料をあげておきます。 Groovy, Transforming LanguageView more documents from uehaj. 発表のために作ったAST変換のコードはこちらです。 http://github.com/uehaj/kobo/tree/master/experimental/astx/src/test/
『るびま』は、Ruby に関する技術記事はもちろんのこと、Rubyist へのインタビューやエッセイ、その他をお届けするウェブ雑誌です。 Rubyist Magazine について 『Rubyist Magazine』、略して『るびま』は、日本 Ruby の会の有志による Rubyist の Rubyist による、Rubyist とそうでない人のためのウェブ雑誌です。 最新号 Rubyist Magazine 0058 号 バックナンバー Rubyist Magazine 0058 号 RubyKaigi 2018 直前特集号 Rubyist Magazine 0057 号 RubyKaigi 2017 直前特集号 Rubyist Magazine 0056 号 Rubyist Magazine 0055 号 Rubyist Magazine 0054 号 東京 Ruby 会議 11 直
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く