2009-01-02 [長年日記]
λ. 『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、ちょっとだけ欲しくなってきた。
λ. TAS スーパーマリオカート 150cc全カップ 21:27.02
ちょっwww これはひどいチート。
λ. 新年会
.
良くも悪くも武藤先生の本ですよね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とかの使い分けも実例を交えて載っていますので良かったら是非!
あ,ちなみに僕はこのOtter本まだ全然読んでいない素人ですw
何回もすみません...<br><br>ファイルのおおもとはここみたいっす.<br>http://www.lambda.ee/index.php/Automaatne_teoreemit%C3%B5estamine_I
ありがとうございます。<br>Otter本、読んでみたいと思います。<br><br>> Otterに関しては http://deepthought.ttu.ee/it/gandalf/OtterBook.pdf になぜかpdfが落ちています.<br>どこのサイトかと思ったら、ライバル(?)のGandalfのサイトなんですね(^^