mzpのブックマーク / 2011年8月25日 - はてなブックマーク

mzp id:mzp

2011年8月25日のブックマーク (2件)

CUIのみでAndroidの開発環境を作る - matabii's blog
何の役に立つのか疑問ですが、一貫した情報が無くハマりポイントが多かったので書いときます。環境はさくらのVPS上に作りました。正真正銘のCUIです。 http://vps.sakura.ad.jp/ 最小構成でインストールしたCentOSに、カーネルは2.6.18-194.8.1.el5 x86_64です。古い・・・ Javaの環境まずはJavaの実行環境が必要です。openjdkを使えば良いと思います。 yumに「java-1.6.0-openjdk.x86_64」があったのでインストールしました。 Android SDK Linux用のAndroid SDKをダウンロードしてきます。 http://developer.android.com/sdk/index.html 適当なディレクトリに展開。ここでダウンロードしたAndroid SDKはtoolsだけで、platformsやa
mzp 2011/08/25
XなしでAndroidSDKをインストールする方法

android

ci
リンク
Proviola
The Proviola is a tool set for generating a dynamic (HTML + JavaScript) page out of a Coq proof script. The generated page can be used to display proof states without having the reader load the script into a proof assistant instance, giving a considerable advantage over browsing a repository of static files.The script below is a minimal example of a movie generated using the Proviola. Point to the
mzp 2011/08/25
Coqの証明をDynamic HTMLで再演(re-animation)するツール．iPadでも動く

coq

html

ipad
リンク
- 2011年8月28日
- 2011年8月25日
- 2011年8月22日