DOSEIの日記

技術メモ+日常ログ

2005-06-29から1日間の記事一覧

FC4 のねっといんすこ

http://www.atmarkit.co.jp/flinux/rensai/linuxtips/752instfc4.html レスキューCD で、 FTP か HDD 上の ISO イメージを使ってインストール可能らしい。 FTP 使うときは、サーバの URL をメモっておきましょう。

W2K SRP1

SP5はでないのか…

#10 ?

不動点定理。 f = φ(f) の最小不動点が存在する。 φの最小不動点は ⊔{φk(⊥)}k となる(ように拡張した)。φ の構成法。 例えば階乗 fact(x) := if x=0 then 1 else x⋅fact(x-1) は、 F(f) = if x=0 then 1 else x⋅f(x-1) の不動点である。 このとき最小不動…

今月のカード支払い(5/15-6/14) C マガ定期購読: 13000円 (12ヶ月分) 楽天ブックス: 10000円 (C++FAQ が 5000円) コンビニ: 2500円 (5回) カラオケ: 6000円 (3人分) フォルクス: 7000円 (バーグ部活動;5人分) ヤホーBB: 3000円 ぼだぽん: 2700…