なるほど！確かにメインメモリを共有するオンボードグラフィックチップです。

ただ、GMA3100なので、最大でも256MBのはずなので、その分は認識されていないとしても、
残りの0.5GB強が認識されていないのが疑問です。

> あとはハードウェア情報がある方が良いです。（メーカー・マザー型番・CPUなど）

アドバイスありがとうございます。
DELL Vostro200で、スペックは以下の通りです。
　CPU ： Core2Duo
　チップセット ： G33
　グラフィックチップ ： GMA3100(G33内蔵)

> 結構認識されない問題は出ているので、フォーラム内を検索していただくと良いかと思います。
> 例えば
> ubuntu 64bit メモリ
> など。

ありがとうございます。
探してみましたが、"BIOSでは4GB認識されているのにOSからは認識されていない"という
ケースは見当たりませんでした。

時間があれば、サーバ版も試してみようと思います。