coqを使うと証明駆動開発ができるらしい。 以下でインストール方法が説明されている。 http://d.hatena.ne.jp/yoshihiro503/20070706以下でWindows版をDLできる。 http://coq.inria.fr/download以下に投稿サイトがある。 http://as305.dyndns.org/aps/ Coqで…
2/2から２週間検査入院していた。 高額医療請求を先にしていたので、食費10400円、負担金81304円の93704円だった。 １月でも１０万円あれば大丈夫かな？
http://www.keyholetv.jp/
http://pc.watch.impress.co.jp/docs/news/20110202_424412.html 約１万円。ほしいかも。
Lee Copelandさんの基調講演の最後のお言葉、"The best way to predict the future is to invent it"、未来を予言するには発明してしまえばいい
MacBook Air 11インチ欲しい！かい？ Macがマッキントッシュだった頃より前のAppleIIの時代からApple製品は使ったことがないな。 最近はGUI付きのUnixマシンとしてRubistで人気あるみたいだけどね。
http://garyo.sakura.ne.jp/android/SkeletonActivity/SkeletonActivity.apk
最近何かハマってます。アニメ・原作ラノベ・コミカライズ、コンプしました。 「きょうちゃん、あのね、お願いがあるんだけど……いいかな？」と麻奈実はもじもじと上目づかいで言った。 「何だ。お願いって？」 「あのね、学校が終わったら家に来てもらってい…
家のubuntu10.04のviの設定 .exrcに以下を記述 syntax onでエラーになったので sudo apt-get install vim を実行してvimを入れた set number set tabstop=4 set showmatch set cindent set expandtab set ruler set showmode set nobackup syntax on
サンダーバードにlightningを入れてみました。 http://www.mozilla-japan.org/projects/calendar/lightning/以下のサイトを参考にgoogleカレンダーと同期させました。 「Lightning」にGoogle カレンダーを同期させる「Provider for Google Calendar」 メーラ…
eclipse 3.6 HeliosにVisualEditorをインストールする こちらの記事を見てうまくできました。
App Inventorのパレットを動かしてみました。「○」をつけたものは動いてました。中にはエラーになったのもあったのでまとめてみました。 動作確認にはXperiaを使用しています。 ○Basic ○Button ボタン ○Canvas 点や線や円が描けます。Animationのボールやイ…
http://headlines.yahoo.co.jp/hl?a=20100903-00001029-yom-sci あと１週間も続くの…猛暑、原因は二つの高気圧読売新聞 9月3日(金)21時52分配信 あと１週間も続くの…猛暑、原因は二つの高気圧 拡大写真 読売新聞 気象庁は３日、専門家らによる「異常気象分析…
誰でも簡単にXperiaなどで動くAndroidアプリが作れると評判のApp Inventorの使い方を簡単に説明します。 1.セットアップ まず、JDKの最新をダウンロードしてインストールする http://java.sun.com/javase/ja/6/download.html リンク先の「Java Platform, Sta…
Android Debug Bridge App Inventorでデバッグはどうやるのかと思っていましたが、 ログ出力が使えるそうです。notifierコンポーネントに LogError(Text message) LogWarring(Text message) LogInfo(Text message) があります。Android エミュレーターと同じ…
9月1日になったとたんに見事に動かなくなった。おお。 その割にGoogle GroupsのMLでは誰も騒いでないというか話題になってない。 BASIC認証だから。そのうち対策されるといいな。
SepiAndroid - Androidでアプリ開発体験 - 解説記事 エミュレーターと連携できるんだ。知らなかった。 エミュレーターにインストールしてた。 試してみようubuntuだと /usr/google/appinventor-extras/commands-for-Appinventor の run-emulator を動かすと…
インストール前のアプリはapkという拡張子らしい。それぞれzipを解凍するとapkファイルが出てくる。Androidエミュレータが起動している状態で、新しくコマンドプロンプトを開き、adb install xxxx.apk でインストール実行。
http://piezdowe.blogspot.com/
2010-07-23 - Atelier Nkznの工房日誌
後は、PCのWEBブラウザを起動して、表示されたURLを打ち込むだけでログインページが表示されます。ユーザ名/パスワードはデフォルトでadmin/pawです。 ドライバーが移動していたのでリンクをメモ http://developer.sonyericsson.com/wportal/devworld/downlo…
上からメニューを下してきて、「USB接続」にタッチ。で、表示されるメッセージに従って「マウント」をすると、ドライブにアクセスが出来るようになります（端末のSDカードにアクセスしています）。これに気付かなくてほんとに悩みました…。おそらく、SO-01B…
簡単にAndroidアプリが作れるApp Inventorが使えるようになってるみたい 申し込んだ人はGoogle アカウントの設定画面の「新しいサービス」をクリックDLはここから http://appinventor.googlelabs.com/learn/setup/index.htmlこっちがWEBアプリ開発環境 http:…
mail.strictly_mime.parm_folding の初期値が"3"に変わって、日本語ファイル名がOKになったのは経験的にわかっていたのですが、その"3"の意味するところがわかりませんでした。今日もじら組フォーラムで教えてもらい、やっと疑問解消です！
１時間でツイッターサービスを作ろう！ Railsホスティングサービスheroku.comとソース管理Git http://blog.tkmr.org/tatsuya/show/419-rails-heroku-com-githeroku.com面白そう。
cyg-aptのインストール そろそろ、apt-getみたいなのが欲しかった。 linuxだと簡単なのにWindowsだと面倒。 wget http://www.lilypond.org/cygwin/cyg-apt -O /usr/local/bin/cyg-aptchmod a+x /usr/local/bin/cyg-aptcyg-apt -m http://ftp.jaist.ac.jp/pub…
ただ食事券もらってたような・・・後で確認しよう。 http://www.redbaron.co.jp/touring/biwako.html
今日はバイクセブンで、メッシュジャケット、グローブ（＋雨用）、シューズ、ブーツカバー、サイドバック、ガソリンストーブ、ガソリン、調理器具、食器セットを買った。 これでキャンプも大丈夫
舞鶴行こうか、テント貼る練習しようか迷ってましたが、両方一緒にすることにしました。土曜日の７時に家を出て、１２時に天の橋立、１時に舞鶴のとれとれセンターに付きました。 http://www.toretore.org/kaisen/kaisen.htm お目当ての海鮮丼美味しかったで…
