Skip to main content

Progress in three months

C 嬢は三ヶ月前には一桁の足し算を練習していた.一桁の足し算は良いとしても二桁になるとなかなか難しい.ところが次の週になると同じ問題を一瞥しただけで ``Geht's nicht (できない)'' と投げ出してしまうのだ.それが一ヶ月以上続いた.なかなか難しいなと思った.

私は「数学は言葉であり,人の意思の反映の一つである.というようなことは今はわからなくてもいいけど,でも,式には皆意味があるのだ.3+4はどういう意味なのだろうか.」というような話を毎回した.ある時は図を使って,ある時はブロックを使って話をした.彼女はそんなことよりも宿題の答を教えて欲しいと泣くこともあった.私は「答は重要じゃない.わかったかどうかが重要なのだ.」という話をした.しかし,まあ,彼女にはそれはどうでもいいことで,宿題をしていかないと明日が困るということだった.どうやらこの子の学校の先生は,Hasenschule が宿題を助けてくれることを期待しているらしく,そういう意味では,私は学校の期待に応えない役立たずであった.しかし,私には宿題の答えが書かれているかどうかなどはどうでもよく,この子が一つでも何か理解できるかが重要と思っていた.ある時,この子は私の教室から抜け出して他の先生に宿題を助けてもらっていたこともあった.

この子はもう二年もこんな調子だったそうである.ところが,ここ二三週間の進捗には私は驚いた.先週は私達は三桁の引き算を勉強した.一桁の足し算とは話が違う.802-456 というようなものである.最初彼女は,2 から 6 引くことは``Geht's nicht'' と言ったので,難しいかなと思ったのであるが,彼女は 5 の下に 1 を置いて,12-6は 6 と言ったのだ.私それでは後で困るぞ,と思ってみていた.私は彼女が,
802 - 456 = 800 + 12 - (450 + 6)     ... (1)
のように計算しようとしているのだと思ったのだ.これは,
802 - 456 = 790 + 12 - (450 + 6)     ... (2)
でなくてはいけない.したがって私は彼女が間違えると考えた.しかし,実は彼女は
802 - 456 = 800 + 12 - (450 + 6) - 10  ... (3)
を計算した.これは正しい.実は私は最初彼女がこのように計算していることがわからなくて,何をしているのか教えてもらうのに苦労した.私は (3) の方が難しいのではないかと思ったのだが,これには間違いはない.結局彼女は正しく答えを出した.私は,「それは全く正しいが,(1) の方法はどう思う?」と聞くと,(1)の方が彼女には難しいらしい.確かにこの問題では,1 の位を計算する時に,100 の位が変化する.しかし,(3)では変化しないという良さがある.そこで,残りの問題は彼女の方式で解いてもらった.

こんな引き算の方式があることを私は知らなかった.私は新しいことを教わり,彼女はここまでできるようになった.

昨日はまた,以前やった問題を``Geht's nicht''と投げ出していたのだが,私は彼女が実はできることを知っている.

Comments

Popular posts from this blog

共有メモリによるプロセス間通信

Unix の共有メモリを使ったプロセス間通信について調べて実験をしてみた.対象は1つのホスト上での複数のプロセスである.ネット上でいくつか例題はないかと探したが,どうも良い例となるコードが見当たらなかった.結局はある解説記事と,Stack Overflow の議論と,man page を見て作ってみたものになったので,例をここに置くのも有用かと考え,この記事を書く.(もしかしたら探し方が悪くて良いコード例をみつけられなかっただけかもしれない.) mmap を使うかどうかという話がいくつもでていたが,POSIX の方向としては,shmem_open と mmap を使うという方向があるということだったので,それを信じてその形での実装を試してみた. 基本的なコードの流れは次のようになる. 共有メモリ領域を1つのプロセスが shm_open() を使って作成する.その際に,プロセス間で共通の文字列を識別子(``identifier'')とする.(Linux ではこれが /dev/shm/identifier のように見える.) 共有メモリ領域を mmap() でメモリにマップする.共有メモリポインター (shared_ptr)が得られる. shared_ptr を使って複数のプロセスで通信をする. 利用終了後は munmap() をつかってマップを消す. 共有メモリオブジェクトを shm_unlink() によって消す. 以下に示すプログラムは,server と client の2つのプロセスが共有メモリを使って通信をするものである.ここで,server プロセス数と client プロセス数は共に 1 を仮定する.server と client は自分の領域にしか値を書き込まないことで,ロックを避けている.互いに相手の値を読み,それよりも1大きい数を一定の期間ごとに自分の領域に書くという例題である.シンプルではあるが,共有メモリで通信をする基本としては十分なものだと思う.ソースコード(shmem_test.cpp)を以下に付加する.ソースコードのコメントにコンパイル方法とどのように利用するかを書いておく. /*   Shared memory inter process communication minimal exa

複数の線を持つ線グラフを Jenkins の plot plugin で描く方法

私は毎夜のソフトウェアテストを自動化するために Jenkins というツールを使っています.今回は, valgrind  を使ってメモリーリークのテストを自動化することにし ました.その際,エラーの数の結果をグラフとして表そうと思って, Plot plugin  を使うことにしました. Plot plugin の例図からは,複数のデータラインを描くことができるのは明らかなのですが,どうやったらいいのかは参照のページや,例としてあった Perl script,plugin 中の help からは私にはよくわからなかったのです. ここで重要な考えは,それぞれのデータラインにはそれぞれの出力ファイルが必要ということでした.私はこれを誤解していました. 例として,ビルドの時に次の property データファイルを出力します.それぞれのファイルが1つのデータラインを表します. valgrind_trunk_result.definitely.property valgrind_trunk_result.indirectly.property valgrind_trunk_result.possibly.property それぞれのデータの中身は1行のデータ点です.たとえば, valgrind_trunk_result.definitely.property ファイルの中身は次のような1行 です. YVALUE=0 このファイルを ${WORKSPACE} ディレクトリ以下に出力します.ここで," WORKSPACE " は jenkins が提供する環境変数です. 図1が私の plot plugin の設定を示しています.これは jenkins の config 画面です.3つの data series があって,それぞれにデータファイルがあります. Figure 1: Plot plugin configuration in Jenkins 図2が結果です.複数の線が描かれているのがわかります.(実際には 3 本の線がありますが,最初の線と2番目の線が同じデータなので,重ねって見えません.) Fugure 2: Plot data with multiple data lines

ソニーのカメラ (α 5000) の 30 分のビデオ録画時間の制限を外す方法

私は Sony の Alpha 5000 を気にいって使っています。しかし一つだけ問題がありました。それはビデオの録画時間の制限が 30 分というものです。 今日,ちょっと気になって探したらこの制限を解除できることがわかりました。以下のビデオがその紹介です。 https://youtu.be/7cstA_PuRIg このビデオの作者によれば,ほとんどのソニーのカメラのビデオの制限はなくせるそうです。ただし私が試したのは,Alpha 5000 のみです。 手順 カメラ側 スイッチ On Menu -- Setup --- USB connection を MTP にする スイッチ Off and On USB ケーブルでカメラをコンピュータに接続する (以下接続したままにする) コンピュータ側でソフトのダウンロードとインストール (私は Windows 10 で試しました) 次の URL に行く https://sony-pmca.appspot.com/apps ただし,Internet Explorer か Safari のみサポートということでした。Chrome では上手くいきませんでした。私が試したのは Windows 10,Internet Explore 11 です。 注意事項: このサイトは Sony のサイトですが,ここにあるソフトウェアは Sony のものとは限らないので保証はありません。御自分でリスクを判断してご利用下さい。当方も何も責任を負えません。 上記の URL から,OpenMemories のページに移動する。 このページにある PMCADownloader plugin (PMCADownloader.msi) をダウンロードする PMCADownloader をインストールする 私はいちどここでページを閉じてもう一度 https://sony-pmca.appspot.com/apps を開き,OpenMemories のページに移動しました ここで log に Loading plugin Plugin loaded と表示されます。PMCADownloader の Install がされていない時には,``Plugin loaded'&#