メモの付箋を貼ったりして使おうとだいぶ前に壁掛けの木製のボードを買っていたのですが、付箋紙が直ぐにはがれてしまい全然活用できていませんでした。
最近嫁さんと話していると「マグネットペイント」なるものがあって、それを塗ると磁石がくっつくようになるということで、マグネットペイントを使ったタスク管理ボードの制作に挑戦してみました。
マグネットペイントとは文字通り「塗れる磁石」です。今回の私のケースのようにボードに塗って磁石が使えるようにしたり、壁紙に塗ったりすることもできるようです。
ここ最近、ユダヤ人というものに興味があり時々ユダヤ人・ユダヤ教に関する本を読んでいるのですが、ユダヤ人に関する本の読書録を書けていなかったので書いておきたいと思います。
私は歴史が大好きなのでユダヤ人という集団のことは当然知ってました。ユダヤ人のイメージというと、
といったイメージがあります。
例えばアメリカの映画とかを見ていても上記のような優秀な人、お金持ちの人という人物像で登場することが多いように思います。ユダヤ人の成功者という面と受難者という面がとても興味深い存在です。
最近になって自分のユダヤ人に対する興味が強くなってきた理由ですが、お客さんと画像処理・顔認証に関する雑談をしていて、
今の時代、顔認証はイスラエルには勝てないよ。うちで使ってる商品も顔認証はライブラリをイスラエルの会社の製品を買っているんだ。
という一言を聞いたからでした。
*1
そこから、
という疑問や興味が強く自分の中で湧いてきたのでした。
ということでいくつかユダヤ人に関する本を読んでみたのですが、今回はタイトルにある通り、「ユダヤ式Why思考法」という本を読んだので読書録を書いておきたいと思います。
実はこの本を読む前に「ユダヤ人の成功哲学「タルムード」金言集」という本を読んでいました。
この本はタイトルの通り、ユダヤ人の聖典とされるタルムードについてエピソードなどを交えて紹介する書籍です。
結構面白かったです。*2
著者の石角さんは日本人でありながらユダヤ教徒に改宗!?された方ということで今回「ユダヤ式Why思考法」も読んでみました。
「ユダヤ式Why思考法」は、様々な問い・質問が著者から出され、それに対し「あなたはどう考えるのか？」「なぜそう思うのか？」が読者にも求められながら、「ユダヤ人はこう考える」という解説と教訓が語られるというスタイルです。
登場する質問というのはクイズではありません。どちらかというと答えのないような問いが多いように思います。
例えば、「水はなぜ透明なの？」と子供に聞かれたらあなたなら何と答えるだろうか？
というような質問が著者から投げかけられます。
著者の石角さんが訴えたいことはそれぞれの問に対して正解となる答えを期待しているというよりも、
自分の頭で考え抜く習慣を持つべきだ
ということを主張されているように全体を通して感じました。
本書を読んでいて気になった点として全体的に現在の日本人に対する批判が多くみられます。*3
指摘の内容は確かにもっともな内容で、愛ゆえの指摘なのかもしれませんが、私には少し論点がずれているように感じる点もありました。
例えば「日本人はiphoneをなぜ作れなかったのか？」章が最後に書かれています。
iphoneににたザウルス(シャープ)を作っていた日本人がiphoneを作れなかった理由を、開発者や企業「日本社会の空気を読みすぎたためではないか」という風に分析されています。
それは確かに理由の一つとしてそのような理由はあるかもしれませんが、iphoneを作れなかったのは日本人だけではなくフランス人もドイツ人もイギリス人も中国人も同じです。ユダヤ人も作れていません。
という疑問がわきます。*4
物つくりというのは個人の才能や能力によるところが大きいのでiphoneのような一商品と日本人という集団を比較に出すのは例として説得力に書けるように思いました。
今年から帝京大学の通信教育課程に入学して勉強しているのですが、線形代数の講義*1を受けるにあたって関連する本を何冊か読んでみました。
せっかくなので、勉強していて躓いたときに助けになった本の紹介記事を書いておきたいと思います。*2
そもそも、本をいくつか読んだ理由ですが、講義で指定教科書をベースに演習問題をこなすことが求められるのですが、個人的に躓いたところの解説が指定教科書には書かれていなかったり説明が少なかったりしたので、躓いたところの答えや考え方を示してくれている書籍を買い漁りました。
実際に線形代数を学んでみて分かったのですが、理解すべきポイントは行列式の計算をマスターすることなのかなと感じました。
行列式の計算は3次の正方行列であればサラスの公式が使えます。
サラスの公式という公式はありますが、2次の正方行列と同様に、たすき掛けに掛け算して和と差をとるだけです。
ここまではすんなり理解できたのですが、４次の正方行列の行列式を求めるとなると、劇的に難易度が高くなります。
4次の正方行列では、余因子行列毎の行列式を求めて足したり引いたりするのですが、この足したり引いたりの符号の向きが、どのように決まるのか教科書を読んだだけでは理解できませんでした。
色々書籍を買って、この部分が理解できたのは、「マンガでわかる線形代数」の関連箇所をじっくり読んでみたときでした。
この書籍は文字通りマンガをベースとして難しい数学や物理などの解説をしてくれるシリーズの線形代数版です。
この書籍では、第４章 行列(続き) で４次の行列式の計算について触れられています。
他にもいくつか線形代数の本を買い漁って関連する章を読んでみたのですが、行列式の計算については、この書籍が一番しっくりきました。
そもそも線形代数を本格的に勉強する前に「プログラミングのための線形代数」
という本を買っていたのですが、一切読まずに積み本化していました。
一通り、線形代数に関する基本的な内容は勉強できた(はず!?)なのでこれからこの本も読んでみたいと思います。
注意点として、この本は、目次をざっと見た限りでは「プログラミングで線形代数を活用してみる」というコンセプトではなくて「線形代数を勉強するのにプログラミング(コンピュータで計算)を活用する」という構成になっているようです。
ベクトルの可視化とかあるので、とりあえず一通り学んだ今の自分にはちょうど良いかもしれません。
昨日の続き。
ARMの命令では最上位4ビットで条件指定ができることがわかりましたがAL(無条件実行)以外の使い方がよく分かりませんでした。
命令の実行条件を指定するというのはイメージ的には
r0 = 1 if flag == true r0 += 2
のようにRubyの後置ifのようなおしゃれなイメージがあります。
何が嬉しいかというとこの書き方だとelseを書かなくてよいのでソースコードレベルでのステップ数は削減できます。
分岐の結果に関わらず後続の処理を必ず行う場合はこの条件指定を使ったほうがよさそうに見えます。
さて、ARMの命令として具体的にどのように条件指定をするかを調べてみたところ、アセンブラだと命令の後ろに条件のサフィックスを指定するようです。
例えば、
MOV r0, #1
であれば
CMP r0, #1 MOVEQ r0, #1
とすると、事前の比較命令の結果に応じてMOVを実行するか判断してくれるようです。
MOVEQ以外にもADDEQとかあります。
もちろん条件指定もEQ以外にあります。
といったところでしょうか。
よく分かりません・・・なんとなく使える状況では使って行ったほうがよい気がしますが。
実験のために、raspberrypiでMOVEQを使ってくれそうなコードを書いてビルドしてみました。
int add(int oneOriginFlg, int a, int b) { int ret = 0; if (oneOriginFlg == 1) { ret = 1; } ret += a; ret += b; return ret; }
コンパイルの結果、残念ながら普通にコンパイルしただけでは、MOVEQを使うコードははいてくれませんでした。
gcc -Osとか O1とかつけるとMOVEQをつかってくれていたのでgccだと必要に迫られないとこういった条件指定実行のコードははいてくれないようです。
gccは多くのアーキテクチャをサポートしているので当然といえば当然かも知れません。
今回も調査にはARMで学ぶアセンブリ言語入門を参考にしました。
条件実行についてもP62-P63で説明されています。ARMのアセンブラを学習するのには重宝しています。
ARMの命令セット(v7)について調べていたので備忘録のためメモを残しておきます。
■ARMv7のマニュアル
とりあえず命令セットのところを読んでみる。
参考用に簡単な加算と条件分岐を含むコードを書いてみる。
■サンプルコード hoge.c
int add(void) { int a = 0; a += 0x10; if ( a == 0x10) { return a; } return 0; }
$ arm-linux-gnueabi-gcc -g -c hoge.c
$ arm-linux-gnueabi-objdump -S hoge.o
■サンプルアセンブラコード
00000000 <add>: int add(void) { 0: e52db004 push {fp} ; (str fp, [sp, #-4]!) 4: e28db000 add fp, sp, #0 8: e24dd00c sub sp, sp, #12 int a = 0; c: e3a03000 mov r3, #0 10: e50b3008 str r3, [fp, #-8] a += 0x10; 14: e51b3008 ldr r3, [fp, #-8] 18: e2833010 add r3, r3, #16 1c: e50b3008 str r3, [fp, #-8] if ( a == 0x10) { 20: e51b3008 ldr r3, [fp, #-8] 24: e3530010 cmp r3, #16 28: 1a000001 bne 34 <add+0x34> return a; 2c: e51b3008 ldr r3, [fp, #-8] 30: ea000000 b 38 <add+0x38> } return 0; 34: e3a03000 mov r3, #0 } 38: e1a00003 mov r0, r3 3c: e24bd000 sub sp, fp, #0 40: e49db004 pop {fp} ; (ldr fp, [sp], #4) 44: e12fff1e bx lr
ARMの命令のうち、最上位の4bitは条件指定のビット(cond)として割り当てられているそうです。
逆アセンブラを見るとこのcondビットはほぼほぼ1111(0xE..)になっていることが多い。
ここまでは過去の経験として知っていたのですが、このcondビットの意味がいまいちよく分かっていませんでした。※そういえばpine64のダンプとか読んだときも少し調べていました。
結論ですが、ARMでは(ほとんどの)命令に対して実行するかしないかの条件をつけることができるそうです。これだけだとピンとこないのですが、条件と言うのは要するにフラグレジスタの各種フラグビット(ゼロフラグとかキャリーフラグ...etc)に応じて実行するかしないかを命令に対して指定できるという意味になります。
実際に、上記のhoge.oの逆アセンブルですとbneだとcondは1になっています。
条件指定実行ができるということは
addとかmov命令をフラグレジスタの値を元に実行するかしないか切り替えれるというような意味だと思います。*1
というわけで実際にどの命令で条件指定が可能なのか、適当に試してみたいと思います。
が、今日眠いので続きは明日にします。
[2018/06/06 追記]
条件実行について更に調べてみた続きです。
