トップ «前の日記(2009-01-01) 最新 次の日記(2009-01-03)» 月表示 編集

日々の流転


2009-01-02 [長年日記]

λ. 『iPod touch/iPhoneを楽しく使うためのハッキング』 武藤 佳恭

iPod touch/iPhoneを楽しく使うためのハッキング(武藤 佳恭)

naoeの日記 (2008-11-17) より。 iPod touch も iPhone も特に買う予定はないのだけど、直江さんが「日本語でOtterに関して述べられている初めての本のような気がする」と書いていたので、買ってみた。

Otterに関しては、iPodへの入れ方と、「正直者と嘘つき」と「組み合わせ回路の難問題」(参考: Otter で 3 not problem を解く - ヒビルテ(2008-07-18))を解かせる例が載っているだけで、使い方のちゃんとした説明等は載っていなかったので、ちょっと残念*1

全体としては、「それはちょっと……」と思う記述も結構とある*2が、iPod touch/iPhone で遊ぶためのとっかかりとしては良さそう。 iPod touch/iPhone、ちょっとだけ欲しくなってきた。

*1 個人的にはsos, usable, passive, demodulatorとかの使い分けが知りたかったので

*2 そういう記述も含めて武藤先生っぽくて、読んでて懐かしくなった。

λ. TAS スーパーマリオカート 150cc全カップ 21:27.02

ちょっwww これはひどいチート。

Tags: ネタ

λ. 新年会

.

本日のツッコミ(全4件) [ツッコミを入れる]
ψ naoe (2009-01-07 14:55)

良くも悪くも武藤先生の本ですよねw<br><br>iPod TouchのJail Breakに関してもこの前ラインアップがリニューアルされたので実は一世代前じゃないとできないです(^^<br><br>頑張って,新しい世代でも出来るように今努力中.じゃないとiPodTouchが無駄になりますw<br><br>Otterに関してはhttp://deepthought.ttu.ee/it/gandalf/OtterBook.pdf<br>になぜかpdfが落ちています.<br><br>これは多分http://www.amazon.co.jp/Automated-Reasoning-Otter-Arnold-Kalman/dp/1589490045/だと思われます.<br><br>目次だけ見た感じ,結構体系だっているように思います.<br>これも武藤さんに紹介されました.<br><br>sos, usable, passive, demodulatorとかの使い分けも実例を交えて載っていますので良かったら是非!

ψ naoe (2009-01-07 14:55)

あ,ちなみに僕はこのOtter本まだ全然読んでいない素人ですw

ψ naoe (2009-01-07 15:02)

何回もすみません...<br><br>ファイルのおおもとはここみたいっす.<br>http://www.lambda.ee/index.php/Automaatne_teoreemit%C3%B5estamine_I

ψ さかい (2009-01-08 08:03)

ありがとうございます。<br>Otter本、読んでみたいと思います。<br><br>> Otterに関しては http://deepthought.ttu.ee/it/gandalf/OtterBook.pdf になぜかpdfが落ちています.<br>どこのサイトかと思ったら、ライバル(?)のGandalfのサイトなんですね(^^