今、積読になってた『数学ガール 〜ゲーデルの不完全性定理〜』を読んでるところ。実数全体の集合Rが可算集合でないことを証明するくだりにちょっと感動。かっこいい。

近藤夏子という人が今ブレイク中みたいですが、わたしが真っ先に思い出すのは、KBS京都のはいぱぁナイト火曜日の近藤ナツ子（なっちゃん）ですね。ですよね。

高解像度化します。これはアセンブラで画面モードを指定するときに、VBE(VESA Bios Extension)対応のビデオカードかどうか確認して、対応なら解像度を変化させるものです。ダメなら以前と同様に320x240で動作させます。あとは、キー入力ができるようにします…

タイマの実装です。OSにおいてタイマは非常にたくさんを同時に扱う必要があるので、最初は単純に配列で管理します。が、先日のウィンドウ管理と同様、使用状態（使用中／未使用）が頻繁に変わるようなものは単純に配列でもつと、そのあとの管理が非常に非効…

とうとうウィンドウを描画します。 今までに作ってきたz軸管理の関数を使いますが、このままだと画面にちらつきがあるので、そこを直します。ここでは、mapというvramと同サイズの領域を使って再描画する領域を限定することでちらつきを回避しています。

先日放っておいた重ね合わせ処理です。 ウィンドウズのようなz軸の処理をやって、どんどん改良していきます。マウスカーソルを動かしたり、新たに別の文字を表示したときに、再描画する部分をなるべく小さくするように工夫していきます。

8日目までの内容とは少し違うことをやってます。・CPUのキャッシュ機能を一時的にOFFにしてメモリ容量チェックする ・メモリの割り当てと解放ができるようにする ・空き容量を表示するフラグメンテーションについてはほとんど未対応。このままだとおそらく細…

かなりペースが遅れてしまいました。。。難所は、最後の「32ビットへの道」ってとこでしょう。 asmhead.nasの中身をもう一度おさらい。・画面モードを設定（INT 0x10を使う） ・キーボードのLEDの状態をBIOSに教えてもらう（INT 0x16を使う） ・PIC(Programm…

マウス制御回路とマウスそのものに有効化命令を送って、マウスを使えるようにした。しかしまだ、マウスカーソルの位置は変わらない。表示まわりの処理は明日になるのかな？ でも、まあ、着実に進んでる！

割り込みができるようになった。といっても、キーボードからの割り込みは問題ないけど、マウスのほうはまだできない段階。複雑になってまいりましたよー。

いやー、だんだん遅れ気味になってきました。（汗） このチャプターでは、描画関数を使ってフォントやマウスカーソルを表示することと、GDT/IDTの初期化を行うところです。まだ初期化しかしてないので、マウスカーソルは動きません〜。 フォントは出来合いの…

画面上にWindowsぽい画面表示を出すことができるようになった。 矩形表示関数を何度も呼び出して地道に画面づくりした結果です。＾＾ でもここまでずっと『ＯＳ自作入門』の筆者自作ツールに頼っているんですが・・・。これでＯＳ作ったと言えるんだろうか。…

１日分のボリュームが結構あって大変です＾＾；すでに昨日さぼってしまっていますが。。。 ９月末くらいには終わるでしょうか・・・？最後にＣ言語とアセンブラの連携があるところとかは非常に勉強になりますね。Ｃ言語ではHLTができないので、アセンブラ上…

アセンブラで書いたソースファイルを探検。 最後にMakefileの基本とか。これが結構勉強になった。Makefile結構賢いよね。

『OS自作入門』が届いたので、さっそくやってみました。 まず最初はバイナリエディタで手打ち。 その次は、アセンブラ(naskというそうです）のソースを本にある通りに書き写して動くことを確認。 中身はようわからんけど、とりあえず書いてみる、というスタ…

Googleリーダは使いやすいよね。うん。

はまぁが岐阜まではるばる来てくれたので、岐阜県つあー。美濃うちわとトイレットペーパーをGET。見学時間終了直前だったけど、無理やり入れてもらった。んで、帰りにうなぎを食した。これが絶品♪ たまには贅沢もいいね！ 店は「なまずや 第三分店」というと…

・金曜日にまたTOEIC受けた。今度はちょっとマシかな？ ・きのう土曜日、本屋に寄ったら、普通に『1Q84』売ってた。＾＾；

っていつまでやってんの！ ＞＜

丸 竹 夷 二 押 御池 （まる たけ えびす に おし おいけ） 姉 三 六角 蛸 錦 （あね さん ろっかく たこ にしき） 四 綾 仏 高 松 万 五条 （し あや ぶっ たか まつ まん ごじょう）こんなのがあったのね〜。京都に長いこと居たけど知らなかった。

open system認証は、アクセスポイントに認証キーを通信させないで接続する方法。 事前にアクセスポイントと子機それぞれにWEPキーを設定しておき、WEPキーを使って暗号化/復号を行う。つまり、WEPの認証なしにいきなり暗号化データを送る。なので、キーが不…

すいてて、自由にマッシーンを使える。いいね♪

観始めました。かなりよさそうだ！ 1話から感動！！＞＜

「復活のイデオン」がかかったそうです。って・・・今も昔も選曲が変わらないな！（笑←もちろん褒め言葉 フルでこんな古い曲聴けるのはこの番組くらいだろうな〜。ちなみに、先週は「ゆずれない願い」が流れたそうですよ。新しい曲もどんどん出てくるってい…

今日のAMはTOEIC受験だった。今回は期待できないな・・・。

10章はかなりの急展開で読み応えありまくりでしたが、フェルマーの最終定理のおおまかな証明の流れが分かっただけでも読んだ価値があったってもんです。(^_^)b

抽象化していくと、こういう概念になるのか。。。

以下の公理を満たす集合Gを群とよぶ。1. 演算＊に関して閉じている 2. 任意の元に対して結合法則が成り立つ 3. 単位元が存在する 4. 任意の元に対して逆元が存在する上記公理に加えて下記公理を満たす集合G'を[[アーベル群]]とよぶ。5. 任意の元に対して交換…

『数学ガール』〜フェルマーの最終定理〜 を読んでます。 いやー、数学ってホント面白いですね〜。 今の無線通信でもよく出てくるＩＱ平面もまさにこの複素平面なわけで。 まだ読み終わってないですが、これからどんどん面白くなりそうな気配！(^_^)

今更ですが。＾＾； アニメって毎シーズン1種類くらいしか観てないけども、こ〜いうテーマのものばっかみてるなぁ、と思った。 オープニングテーマソングが良い。エンディングはぽこぽこ変わっているようだけど、どこかで聞いたことのある曲ばかり。昔、whit…