32ビット?64ビット?(自分用メモ)

■gccが32ビットか64ビットか:
gcc -v の出力の Target: のところを見る.

32ビットの場合 Target: mingw32
64ビットの場合 Target: x86_64-pc-msys

などのようになる.システムの細かな差異によって文字列は少しずつ違うが,64ビットの場合 x86_64 が部分文字列としてしばしば含まれる.

■ghcが32ビットか64ビットか:
次のようなファイルを作る:

main = print ()

そして

$ ghc --make foo.hs
[1 of 1] Compiling Main             ( foo.hs, foo.o )
Linking foo.exe ...

$ file foo.exe

32ビットの場合には
PE32 executable (console) Intel 80386, for MS Windows

64ビットの場合には 
PE32+ executable (console) x86-64, for MS Windows

のようになる.

■おまけ:
自分がどの gcc を使ってるのかわからなくなった場合などは
which -a gcc
すればよい.使い分けをしたい場合は適宜 .bashrc に alias を張ればよさそう.

広告
コメントする

2件のコメント

  1. たかはし

     /  2018/07/02

    こんにちは!

    高校1年の高橋と申します。先生の以下の記事を拝読してご連絡いたしました!

    https://differentialengine.wordpress.com/2012/09/29/volume-of-clossing-cylinders/

    どうしても、アーモンド型や楕円が出てくるのがイメージできずにおります…先生がお使いなのはGeogebraかはわかりませんが、もしよろしければ、もう少し図を載せていただけたら、ものすごくうれしいです^_^

    また、途中式もまだよくわからずにおります(>__<)

    ご連絡、お待ちしております!

    返信
    • 記事末尾に少し書き足しました:https://differentialengine.wordpress.com/2012/09/29/volume-of-clossing-cylinders/

      立体を理解するというのは意外と難しいです.この話に関しては一番良いのは粘土などで工作してみることです.

      計算式については導出を書き足してません.数学を長くやっていると段々「わからないことがわからない」という気持ちになってしまい,どう説明してよいか困ってしまいます.もうすこし「わからなさ」を思い出したらそのときに書き足してみようと思います.

      返信

コメントを残す

以下に詳細を記入するか、アイコンをクリックしてログインしてください。

WordPress.com ロゴ

WordPress.com アカウントを使ってコメントしています。 ログアウト /  変更 )

Google+ フォト

Google+ アカウントを使ってコメントしています。 ログアウト /  変更 )

Twitter 画像

Twitter アカウントを使ってコメントしています。 ログアウト /  変更 )

Facebook の写真

Facebook アカウントを使ってコメントしています。 ログアウト /  変更 )

w

%s と連携中

%d人のブロガーが「いいね」をつけました。