iPod 購入 - ほげめも
iPod 5G (30GB) を買った。これが人生初 iPod である。 もちろんただのメディアプレイヤーとして使うつもりはなくいろいろいじっているが、 なかなか一筋縄でいかず苦戦中。 もともと欲しかったのは出先の PC でブートデバイスとして使える USB ストレージだったので、 最初は iPod shuffle の購入を検討していたのだが、 ストレージの容量とか単価とか考えていたらいつのまにかこれを買っていた。 問題になったのはやはりファームウェアというか OS が HDD に格納されている点で、 パーティションテーブルをいじったり MBR に x86 ブートセクタを書いたりすると いろいろ動作に支障を来たす。 単純な iPod shuffle を買っていればこういう問題はなかったと思われる。 まあ iPod Updater というのを使えば初期状態に戻せるので気楽ではある。 初期化後
囲碁・初心者専用の質問スレッド 第5局
835 ：名無し名人：2006/11/02(木) 15:52:31 ID:NsvrEacJ この本の表紙の対局、黒白どっちが優勢でしょうか？ ttp://www.oreilly.co.jp/books/4873112885/ ttp://www.oreilly.co.jp/books/images/picture_large4-87311-288-5.jpeg 836 ：名無し名人：2006/11/02(木) 18:11:55 ID:jsNOAKN4 技術書の表紙に囲碁を使うとはなかなかやるな、と思ったが よく見たら著者は日本人か。 837 ：名無し名人：2006/11/02(木) 20:06:22 ID:2HC2742X 上辺白の打ちこみに黒がかけたってところなんかな。 ぱっと見そんな変な形もないし、ｵﾚより強そうな感じだ。 形勢は上辺の競り合いしだいかな。 そこから右辺の黒と白のどちら
2006-11-10
kik@as305:~/work/codegolf/hello$ ls -l tiny-hello.bin -rwxr-xr-x 1 kik users 59 2006-11-10 08:35 tiny-hello.bin kik@as305:~/work/codegolf/hello$ ./tiny-hello.bin || echo error Hello, world! kik@as305:~/work/codegolf/hello$ 「!」をとると1B縮むから、http://www.muppetlabs.com/~breadbox/software/tiny/ にあるのより短くなった。 S: _start P: phdr addr o: file addr V: virt addr s: file size m: virt size P=+4 00 04 08 0C 10 14 1
揺動散逸日記
唐突にcoqで圏論の会に参加表明して行ってきました。 Thanks to mr_konnさん。 (@mr_konn) Coqで圏論の会、面白そうだけど圏論もCoqも知らない(@gusmachine) @mr_konn なにそれ面白そう。(@mr_konn) @gusmachine http://bit.ly/lAH5bp これです！明日みたいですね。 ＜余談＞...ツイートリストを修飾するタグが欲しいなぁ。＜／余談＞ 実は半年あたり前にちょろっとだけCoqを勉強していたので、そのちょうどいい復習として行ってきました。圏論の知識はあまりありませんでしたがなんとかなった、はずです。 皆で使用していた圏論のライブラリ ConCaT が曲者で、なかなかみんな苦労していました。皆おおよそCategory.vやそこから引用されているMap2.v, Setoid.v などを眺め、書き換えたり写経したりし
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
