計算論 計算可能性とラムダ計算 (コンピュータサイエンス大学講座)
高橋 正子

以前のエントリに書いたとおり、ちょこちょこ計算論を読んでます。

でも集合論をちゃんと勉強したことのない長月には難解です。

本当にゆっくりゆっくりと理解しながら進むことにします。今まで一度読んでわかった気になって薄っぺらなままきているので、ここで一回ちゃんと数学的な基盤を自分の中に作っておくべきだと思いました。

ので、ちゃんと読んでちゃんと考えて、考えた事はメモして行こうと思います。

とりあえず初メモ。

例1.3.2.に出てくる1変数関数pred(x)＝xー1について。

定義)
pred(0)＝0＝zero(),
pred(x＋1)＝x＝p²₁(x, pred(x))

理解のために手で展開してみる。

pred(0)＝0

pred(1)＝pred(0＋1)
          ＝p²₁(0, pred(0))
          ＝p²₁(0, 0)
          ＝0

pred(2)＝pred(1＋1)
          ＝p²₁(1, pred(1))
          ＝p²₁(1, pred(0＋1))
          ＝p²₁(1, p²₁(0, pred(0)))
          ＝p²₁(1, p²₁(0, 0))
          ＝p²₁(1, 0)
          ＝1

pred(3)＝pred(2＋1)
          ＝p²₁(2, pred(2))
          ＝p²₁(2, pred(1＋1))
          ＝p²₁(2, p²₁(1, pred(1)))
          ＝p²₁(2, p²₁(1, pred(0＋1)))
          ＝p²₁(2, p²₁(1, p²₁(0, 0)))
          ＝p²₁(2, p²₁(1, 0))
          ＝p²₁(2, 1)
          ＝2

超納得いった。手をうごかすの大事ですね。

あとblogとかで数式書くのめんどくせえ。誰かWLW用にTeXプラグインとか作ってくだしあ。

獣の奏者 2 (シリウスコミックス)
武本 糸会 上橋 菜穂子

長月はマンガが大好きです。たくさん読んでます。

たくさんあっていちいちblogには書かないんですが、今回は読後感がよいのでちょっと書いてみます。

今回紹介するのは上橋菜穂子さんの獣の奏者のコミカライズ版第二巻です。

NHKでアニメが放映されていて割と名前が売れている作品だと思うのですが、本作品は上橋原作の他メディア展開版の中では一番のお気に入りです。

藤原カムイさんの精霊の守人コミカライズ版もすごかったんですが、本作は同様に「広く」てすごいです。さらにエリンがかわいい。すごく子供らしさが出てます。

獣の奏者序盤では生き物に興味津々で子供らしくかわいらしいエリンが大きな見所ですが、その見所をマンガらしい形で表現出来ています。

アニメ版が正直あんまりかわいくなかったのでその分マンガ版でかわいいエリンを堪能してます。

アニメ版をちょっと見てやめた人も一度読んでみては？