コグノスケ


link 未来から過去へ表示(*)  link 過去から未来へ表示

link もっと前
2007年12月23日 >>> 2007年12月10日
link もっと後

2007年12月23日

そこんとこ聞かれると困っちゃうね

小学生に聞かれて困る算数の質問No.1は「分数の割り算はなぜ、ひっくり返して掛けるんですか?」でしょうか。以前考えてみたのですが、小学生が納得できる答えは用意できないなあ…と、降参しました。

今回改めて考えてみたものの、A/B÷C/D = E = A/B×D/Cの説明は、やはり難しいです。

単純に、割り算はA/BにC/Dがいくつ(E個)入るかを求めること、もしくはA/BからC/Dを何回(E回)引くと0になるか求めること、という説明から導く方法を考えました。しかし分数の割り算の多くは割り切れず(答えが自然数にならない)逆に混乱します。

理解を妨げる要因は1÷1/A = Aの式であることはわかるんですが…その説明がどうも難しい。小学校ではどう教えているのだろうか?

考えるときりがないんだ

小学生は気にしないけれど、大学生にとって難しいのは1 + 1 = 2でしょう。1や2ってなんなのか、+ ってどういう意味か、答えられますか?

私は学部2年の頃に数学科の集合論という科目を取って、やっと答えがぼんやりわかりました。数自体の定義なんて考えたこともなかったので、非常に新鮮な授業でしたねえ。悲しむべくは、ここで説明できるほど理解できなかったことかな…うん。

なんで自然数や足し算に集合が関係するの?って思った人は近くの数学者を捕まえて聞いてみましょう。たかが数字とあなどるなかれ。深い意味に感動しますよ。

編集者:すずき(2007/12/24 03:50)

コメント一覧

  • hdkさん(2007/12/24 20:16)
    ここまではすぐわかるのになぁ... 説明するって難しいもんですね。
    http://www.e-hdk.com/data/20071223-sansu.svg
  • すずきさん(2007/12/24 22:44)
    >hdkさん
    割り切れて答えが自然数になる場合は、その説明がわかりやすいと思います。
    割り切れなくて答えが分数になる場合が難しいですよね。
  • すずきさん(2007/12/25 09:27)
    あれ?
    難しいのは 1 ÷ 1/A = A じゃなくて 1 ÷ B/A = A/B の理由ですね。
    日記、思いっきり間違ってますね…。失礼しました。
open/close この記事にコメントする



2007年12月21日

お主、名を名乗れぃ

自己紹介ページを復活させたついでに、情報を更新してデザインをこちらの日記と合わせました。以前はXHTMLで書いていたのですがHTML 4.01に戻しました。スラッシュを書くのがうっとおしくてねえ。

当サイトは筆者が所属している(していた)組織、大学、会社などは一切関係ありません。日記の内容に関する苦情などは私個人にお送り下さるよう、よろしくお願い致します。

あとは上記の文言を付け足しておいたくらいでしょうか。今更といえば今更ですけどね。

忘年会シーズン

世は忘年会シーズンです。夜になれば電車には赤い顔のサラリーマンがたくさんいます。

同期の人達と飲もうとしたのですが、高槻付近の飲み屋が全部一杯だったのには驚きました。このシーズンでなければ大抵なんとかなっていましたが、年末の飲み会に予約なしで突っ込むのは無理があった。

結局、ラーメン屋でラーメンを食べてから飲み会に行くというちょっと変わったプランになりました。食べ過ぎ、飲み過ぎ防止としては、これはこれで良いかもしれない…。

編集者:すずき(2007/12/23 04:04)

コメント一覧

  • Yukiさん(2007/12/24 21:50)
    ノープランで申し訳なかった!!
    今度は予約していきましょう〜!!
  • すずきさん(2007/12/24 22:39)
    いやいや、こちらは何もしてないんで。文句は予約を手伝うくらいしてから言えってもんですね。>自分
    今度行くときもまたよろしくー。
open/close この記事にコメントする



2007年12月18日

混乱します

ScreenではCtrl+a Sで二画面分割ができ、Ctrl+a [Tab] で画面のフォーカスを切り替えることができます。画面の破棄はCtrl+a Xです。Shift押し忘れたり、Ctrlを押しっぱなしにしてxを押すと、画面のロックになるのでうっとおしいです。気になる人はキーバインドを変えましょう。

一方EmacsではCtrl+x 2で二画面に分割でき、Ctrl+x oで画面のフォーカスを切り替えられます。Ctrl+x 1で他の画面を全部閉じて、一つの画面になります。

両者を同時に使いだすと、段々Emacsの画面なのかScreenの画面なのかがわからなくなって、フォーカスを切り替えるときに難儀します。…え?自分だけですか…そうですか。

編集者:すずき(2007/12/18 23:26)

コメント一覧

  • hdkさん(2007/12/18 23:39)
    ^A X なんてあったのかぁ。^A Q しか使わないんで知りませんでした。
  • すずきさん(2007/12/18 23:56)
    自分は逆に ^A Q を知りませんでした。こちらの方が Emacs の ^x 1 に似ているかも?
open/close この記事にコメントする



2007年12月17日

あばうとミー

サイトを作り直したときにすっかり忘れさってしまってた旧サイトのページ。自己紹介ページだけ残すことにしました。右のメニューに追加してあります。内容はそのうち直します。

出てねーぞ?って人は強制リロード(Ctrl+F5だっけ?)をすると見えます。よろしくお願いします。

再帰下降パーサ

以前作って(2007年10月21日の日記参照)ほったらかしだったユーザエージェントのパーサですが、たかだか1000件の解析に3秒もかかるもんだから、遅くて使えずじまいでした。

正直に1文字ずつ見ていくプログラムにしたので、当然ながら文字数分だけ関数呼び出しが発生します。効率悪いです。さらにうまくないことにPHPは関数呼び出しが苦手なようで、関数呼び出しを連発すると異常なほどスローダウンします(´д`;)

というわけで一番良く通るループをチューンしたところ、0.5秒まで縮まりました。それでもたいがい遅いけど、あまりチューンするとコードがいじりづらくなるし、仕方なかろう…。

ATOK少年の推理ミス

うちのATOKは「ってひとは」を変換すると「ッt絵人は」になります。ぽつんと残されたアルファベットがCoooooool!! ですね。

推し量るにATOKの辞書には「ってひとは」という単語がなく、一致する部分を探した結果、後ろの「ehitoha -> えひとは」に最長一致したのでしょう。そのためあぶれてしまった "tt" を素直に解釈した結果(tt -> っt)、上記のCoooool!! な結果となったのでしょう。たぶんね…。

初めは子音の補足/削除機能(※)が働いたのかと思いましたが、良く見ると母音も子音も数が変わっていません。恐らく違うと思われます。

どういう力が働いたのか知りませんが、今回のように文字を切ってしまうような例は珍しいかもねえ?

(※)足りない子音の補足(例:「nen -> ねn -> 年(ねん)」)や、余計な母音/子音の削除(例:「shiiinn -> しいいん -> 死因(しいん)」)などを行う機能です。

編集者:すずき(2007/12/17 23:41)

コメント一覧

  • コメントはありません。
open/close この記事にコメントする



2007年12月15日

ハッピーエンド?

ドラクエIVをクリアしまして、ファミコン版にはなかった第6章もクリアしました。王道のゲームだけあって、システム、操作性も慣れたもんです。

以下、ネタバレ注意。といってもみんな知ってるでしょうけど。

ゲームのあらすじ

楽しく暮らしていた故郷をピサロ御一行に襲われ、親友のシンシアが自分(勇者)の身代わりに殺される。復讐心に燃え旅立つ主人公。長い旅路の中、ピサロもまた愛するものを奪われた復讐者なのだと…、勇者はそれに気づきながらも、ピサロとの戦いを選ぶ。死闘の末にデスピサロ(ピサロ)を打ち倒し、世界に平和が訪れた。

エンディングでは勇者が仲間をそれぞれの故郷に送り届け、最後に一人自身の故郷に戻る。廃墟となった故郷の恐らくシンシアが倒れただろう広場で、俺(or私)の故郷は返ってこない、この旅は一体何だったのか…と。勇者は立ち尽くします。

これだとまぎれもないバッドエンドに見えますから、最後にシンシアが奇跡の復活を遂げてハッピーエンドとなります。しかし育ての両親や村のおっちゃん達は誰一人帰ってきません。勇者は幸せなのかと、考えてしまう話です。

ところがDS版では6章が追加されて、ロザリーがゾンビよろしく蘇るわ、ピサロ様が改心して仲間になるわで、もう何でもありです。しまいには
Ω <全てはエビルプリーストの陰謀だったんだ!
ΩΩΩ <な、なん(略
と来たもんだ。こういう展開でも別に悪かないけどさ。ドラクエIVでやってしまうと、かつての雰囲気がぶち壊しです。ちょっと残念だったなあ。

冷たく輝く息

ドラクエIVは敵の息系の攻撃が、ありえんダメージになっています。タフなキャラでも最大HP 400が良いところに対して、全員に200なんてのもありますよ。耐性防具(息系ダメージ1/4軽減か、固定ダメージ軽減が多い)とフバーハ(息系ダメージ1/2軽減)がないと凌げません。

後半は1ターンで仲間全員が100以上くらって回復が全く追いつかないため、ベホマズンを連射することになります。ベホマズンの使い手たる勇者は、回復役に回ることになるでしょう。他のドラクエシリーズではベホマズンなんて滅多に使わないだけに、非常に新鮮です。

防御力なんて飾りだ

一方でスカラ系が強力無比です。スクルトを2回かければ、ほとんどの敵は被ダメが1 orミスになります。ドラクエIVでは防御力無視の打撃はほとんどないので、スクルトで打撃がほぼ無効化できます。これで息系とおあいこってとこでしょうか。

スクルト一発で防御力が200以上上がるんで、特にボス戦においては10や20の防御力差は無意味です。雑魚戦なら毎回スクルトかけるわけにはいかないからまだしも、ボス戦に挑むなら防御力より息系攻撃への耐性がある防具を探した方が強いです。

編集者:すずき(2007/12/18 23:11)

コメント一覧

  • コメントはありません。
open/close この記事にコメントする



2007年12月14日

朝までいっとく?

部署の忘年会がありました。二次会の後は大先輩の方に連れられ、サシで朝までダラダラ飲んでました。気を遣うなよと何回か言われましたが、さすがに20年以上上の方に気を遣うなってのは無理です!

その大先輩は部署内でとにかくすごいと噂に聞く方です。今回は少ししか話聞けませんでしたが、すごさの片鱗を感じたエピソードもちらほら。例えば、昔のCPUは音でプログラムがどこ走ってるかわかった、今のCPUは可聴域越えたねえ、とか。真似できませんね…。

後は道を歩きながら、役立つ仕事術とか、最初の4〜5年は嫌なことでも全力でやれ、ミスっても周りがサポートできるのは今だけ、と色々教えていただきました。

会社入って思ったのは、ちゃんと調べてここがわからんって聞けば皆さん親切に教えてくれるってことです。さすがにろくに調べもせず変な質問したら時間の無駄!!って怒られるでしょうけどね…。自分が右も左もわからない新人君だからってのもあるな、きっと。皆さんが親切なうちに吸収できるもんはしたいね。

編集者:すずき(2007/12/16 15:41)

コメント一覧

  • コメントはありません。
open/close この記事にコメントする



2007年12月12日

Linux kernelはあなたを廃止しますです

目次: Linux

たまにLinux kernelをコンパイルしていると 'func' is deprecated. と言われることがあります。自分が見かけたのは、kernel/intermodule.cというファイルのinter_module_registerという関数でした。(昔の2.6系には残っていましたが、最新版(2.6.23.8)では存在しません)

見てみると関数の宣言に __deprecatedと書いてあり、define部分を探すとinclude/linux/compiler.hに書いてあります。しかし宣言の中身は空、というのもgccだけがdeprecated警告をするので、include/linux/compiler-gcc.hの方に書いてあるんですね。


#define __deprecated        __attribute__((deprecated))

こんな定義です。関数プロトタイプに対して __attribute__((deprecated)) と書いておくと、その関数を使った人に対して冒頭で述べたような警告がでます。

これはコードの作者あるいは古いコードをいつまでも使っている人への警告でしょうね。もう使われない(deprecated)関数をお使いのようですけど、いずれなくなってあなたのコードは動かなくなりますよ!それまでには直してくれよ、ヨロシクね!ってことです。

あなたを信じていますです

他にcompiler.hで面白いなと思うのは、likelyとunlikelyマクロでしょうか。以下のようなマクロです。


#define likely(x)       __builtin_expect(!!(x), 1)
#define unlikely(x)     __builtin_expect(!!(x), 0)

キーワード __builtin_expectはコンパイラに対して、第一引数の結果が第二引数の結果になるときに高速動作するコードを出力しなさい、とコンパイラにヒントを与えます。ヒントが正しければプログラムが高速に動作するはずです。

具体的には likelyマクロは引数xが真であるとき、unlikelyは逆にxが偽であるときに高速動作せよと、コンパイラに指示しています。ではlikelyとunlikelyの効果を以下の実験コードで確かめてみましょう。


int func_likely();
int func_unlikely();

volatile int i;

int main(int argc, char *argv[])
{
  func_likely();
  func_unlikely();

  return 0;
}

int func_likely()
{
  int c = 0;

  while (likely(i)) {
    c++;
  }

  return c;
}

int func_unlikely()
{
  int c = 0;

  while (unlikely(i)) {
    c++;
  }

  return c;
}

注目点はfunc_likelyとfunc_unlikelyです。ループの条件に付けたlikelyマクロとunlikelyマクロ以外に違いがないことを確認していただけると思います。これをgccでコンパイルしてみましょう。2.95でも対応していたと思いますが、3.xくらいのgccなら確実だと思います。

あとコンパイル時に -O2を付けることを忘れずに。

$ emacs a.c
$ gcc --version
gcc (GCC) 4.1.2 20061115 (prerelease) (Debian 4.1.1-21)
$ gcc -O2 -S a.c
$ cat a.s
(コードは一部抜粋です)

(func_likelyの説明)
カウント文と分岐文が連続している。条件は真の可能性が高いと信じて
いるから、「カウント分」「条件判定」「分岐」という一連の命令を連
続して並べる。これにはキャッシュに乗りやすい、プリフェッチしやす
いなど様々な理由があると思う。
一方、リターン文は遠くに配置される。これはコンパイラにとって、ルー
プの条件が成立しないのは、稀なケースであって滅多に実行しないと信
じているから。
func_likely:
        jmp     .L8        ;(条件判定へ)
        .p2align 4,,7
.L9:
        incl    %edx       ;(カウント文)
.L8:
        movl    i, %eax
        testl   %eax, %eax ;(i != 0の条件チェック)
        jne     .L9        ;(分岐文、真だったらループの先頭へ)
        popl    %ebp
        movl    %edx, %eax
        ret                ;(リターン文)


(func_unlikelyの説明)
カウント文とリターン文が連続している。
分岐文もあるが真じゃない可能性が高いと信じているので、条件は成立
せずに即座に終了するはずである。
逆に、条件が成立するときは遠くに置いた判定文へ飛ぶ。これはコンパ
イラにとって、条件が成立することが稀なケースであって、滅多に実行
しないと信じているから。
func_unlikely:
.L2:
        movl    i, %eax
        testl   %eax, %eax ;(i != 0の条件チェック)
        jne     .L3        ;(分岐文、真だったらカウント文へ)
        popl    %ebp
        movl    %edx, %eax
        ret                ;(リターン文)
.L3:
        incl    %edx       ;(カウント文)
        jmp     .L2        ;(条件判定へ)

ヒントがどういう効果をおよぼすか、ご理解いただけたかと思います。このくらいの小さい関数では効率が変わらないので、例としてはあまり良くないかも…。

最後に !!(x) と引数を二重否定している理由ですが、1ではないけど真(5とか10とか -1とか)である値を1に正規化するためです。以下の例を見ていただくとわかるかと思います。

x = 5      //真だけど1ではない
!(x) => 0  //偽
!!(x) => 1 //真で1である

お前の説明じゃまったくわからんぞ!!って人はGoogle先生にも聞きましょう。有名なマクロなので、他のサイトでも紹介されています。

編集者:すずき(2023/04/29 21:56)

コメント一覧

  • hdkさん(2007/12/16 14:31)
    >このくらいの小さい関数では効率が変わらないので
    というので alarm(1) で 1 秒間 i=1 を保つようにして両方の関数を試したら、結果は倍くらいの差が出ていてビビリました。(Opteron ですが。)
  • すずきさん(2007/12/16 17:45)
    >hdk氏
    貴重な実験結果ありがとうございます。うーむ、倍とはすごい。likely/unlikely マクロ恐るべし。

    #そして、自分が適当なことを書き散らしているのがバレました…。アイタタタ。
  • すずきさん(2007/12/16 18:13)
    こちらも試してみました。Linuxマシンがなかったので、手持ちのノート(Core Solo U1500/1.33GHz)の Colinux 上ですけど…。
    likely, unlikely ともに 6億回くらい回りました。有意な差はないようです。
  • すずきさん(2007/12/16 19:28)
    追試、デスクトップ(Athlon 64 3000+/1.8GHz)の VirtualBox 上の Knoppix
    likely : 5億2千万
    unlikely: 4億2千万(likely の 80%程度)
    結構差がついてます。AMD 系だと今回の最適化が効果覿面ってところか?
open/close この記事にコメントする



2007年12月11日

思ってても言わないようにしていたが

平日は家、仕事、家、仕事…の繰り返しなので、特に日記に書くことがないんですな。

まとまった時間もない

学生時代は忙しいと連呼する社会人が不思議に思えましたが、いざやってみるとうっすら理由がわかります。忙しいというより「まとまった時間」が取れなくて、やる気が失せると言う方が近いです。朝起きるためには夜更かしできない、帰ってきたら既に夜、土日は平日にたまった用事を片付けて終わりです。一気にやりたいのにできないなんて、やる気なくなるでしょ?

ぱっと思いついたアイデアを実践してみる、なんてことが難しくなります。だからこそ何かにトライすべきですが、夜は眠くなっちゃうし、机で寝たら風邪引くしなあ。いかんな…既にやる気が削げてるじゃないかよ。

編集者:すずき(2007/12/13 22:37)

コメント一覧

  • コメントはありません。
open/close この記事にコメントする



link もっと前
2007年12月23日 >>> 2007年12月10日
link もっと後

管理用メニュー

link 記事を新規作成

<2007>
<<<12>>>
------1
2345678
9101112131415
16171819202122
23242526272829
3031-----

最近のコメント5件

  • link 21年9月20日
    すずきさん (11/19 01:04)
    「It was my pleasure.」
  • link 21年9月20日
    whtさん (11/17 23:41)
    「This blog solves my ...」
  • link 24年10月1日
    すずきさん (10/06 03:41)
    「xrdpで十分動作しているので、Wayl...」
  • link 24年10月1日
    hdkさん (10/03 19:05)
    「GNOMEをお使いでしたら今はWayla...」
  • link 24年10月1日
    すずきさん (10/03 10:12)
    「私は逆にVNCサーバーに繋ぐ使い方をした...」

最近の記事20件

  • link 24年11月18日
    すずき (12/04 02:08)
    「[nvJPEGとNVJPGとJetson APIその1 - nvJPEG decoupled API] 目次: Linux半年...」
  • link 23年4月10日
    すずき (12/04 01:40)
    「[Linux - まとめリンク] 目次: Linux関係の深いまとめリンク。目次: RISC-V目次: ROCK64/ROCK...」
  • link 24年11月28日
    すずき (12/01 00:53)
    「[BIOS/UEFI画面に入る方法] PCは起動時にあるキーを押すとBIOS/UEFIの設定画面に遷移します。良く見るパターン...」
  • link 24年11月25日
    すずき (12/01 00:39)
    「[libjpeg-turboのライブラリは2つある] 目次: Linux高速なJPEGデコード/エンコードライブラリで有名なl...」
  • link 24年11月17日
    すずき (11/26 15:40)
    「[JTSA Limited大会参加2024] 目次: 射的JTSA Limitedの大会に参加しました。去年はベレッタが壊れま...」
  • link 23年11月25日
    すずき (11/25 03:01)
    「[JTSA Limited大会参加2023] 目次: 射的JTSA Limitedの大会に参加しました。いつも使っているエアガ...」
  • link 24年9月6日
    すずき (11/25 02:58)
    「[ベレッタ92が壊れた] 目次: 射的ガスガンのベレッタ92(正確な商品名は東京マルイ U.S. M9ピストル)が壊れました。...」
  • link 22年3月18日
    すずき (11/25 02:57)
    「[射的 - まとめリンク] 目次: 射的一覧が欲しくなったので作りました。ガスガン その1ガスガン その2ガスガンが増えました...」
  • link 24年11月6日
    すずき (11/15 23:47)
    「[Ubuntu 24.04 LTS on ThinkPad X1 Carbon Gen 12] 目次: Linux会社ではTh...」
  • link 24年11月11日
    すずき (11/15 23:26)
    「[Pythonのテストフレームワーク] 目次: Python最近Pythonを触ることが増えたのでテストについて調べようと思い...」
  • link 24年11月2日
    すずき (11/15 23:25)
    「[Python - まとめリンク] 目次: Python一覧が欲しくなったので作りました。 スクリプト言語始めました(Pyth...」
  • link 20年5月10日
    すずき (11/15 23:24)
    「[Pythonの文字置換APIは変な名前] 目次: PythonPythonの文字列置換は "string".replace(...」
  • link 24年2月7日
    すずき (11/15 23:23)
    「[複数の音声ファイルのラウドネスを統一したい] 目次: PythonPCやデジタル音楽プレーヤーで音楽を聞いていると、曲によっ...」
  • link 13年7月2日
    すずき (11/15 23:22)
    「[スクリプト言語始めました(PythonとRubyでNクイーン問題)] 目次: ベンチマーク目次: Pythonスクリプト言語...」
  • link 23年9月18日
    すずき (11/15 23:22)
    「[一覧の一覧 - まとめリンク] 一覧の一覧、まとめのまとめが欲しくなったので作りました。OS、アーキテクチャ系。目次: An...」
  • link 13年10月1日
    すずき (11/15 23:21)
    「[JetBrains PyCharm 3.0リリース] 目次: PythonPyCharmがメジャーアップデートされ PyCh...」
  • link 22年7月8日
    すずき (11/08 23:28)
    「[マンガ紹介 - まとめリンク] 目次: マンガ紹介面白かった漫画の紹介です。知名度はあまり気にせず紹介します。5作品乙女ゲー...」
  • link 24年10月31日
    すずき (11/04 15:17)
    「[DENSOの最終勤務日] 最終勤務日でした、入門カードや会社のPCを返却してきました。在籍期間はNSITEXE(品川のオフィ...」
  • link 24年10月30日
    すずき (11/02 20:33)
    「[マンガ紹介] 目次: マンガ紹介お気に入りのマンガ紹介シリーズ。最近完結した短めの作品を紹介します。マイナススキル持ち四人が...」
  • link 19年3月28日
    すずき (11/02 13:27)
    「[マンガ紹介] 目次: マンガ紹介お気に入りのマンガ紹介シリーズ。こわもてかわもて(全2巻、2019年)(アマゾンへのリンク)...」
link もっとみる

こんてんつ

open/close wiki
open/close Linux JM
open/close Java API

過去の日記

open/close 2002年
open/close 2003年
open/close 2004年
open/close 2005年
open/close 2006年
open/close 2007年
open/close 2008年
open/close 2009年
open/close 2010年
open/close 2011年
open/close 2012年
open/close 2013年
open/close 2014年
open/close 2015年
open/close 2016年
open/close 2017年
open/close 2018年
open/close 2019年
open/close 2020年
open/close 2021年
open/close 2022年
open/close 2023年
open/close 2024年
open/close 過去日記について

その他の情報

open/close アクセス統計
open/close サーバ一覧
open/close サイトの情報

合計:  counter total
本日:  counter today

link About www.katsuster.net
RDFファイル RSS 1.0

最終更新: 12/04 02:08