Posts filed under 本

久しぶりにぽちった

Filed in

ひさしぶりでもない気もしますが履歴見ると二週間ポチってなかったみたいなのでひさしぶりです。

今年に入ってからはまりっぱなしの計算論。
なぜか今まで買ってきた本には計算可能性の議論はあっても計算クラスの議論がなかったのでポチってみました。

お次はわんくま勉強会名古屋#13の懇親会でオススメされた本。
セッション中に「CPS変換周りは資料が全然なくて理解度が低い」とか「CPS変換とβ簡約を一気にやっちゃうA正規化なんてのがあります」とか言ったらそこら辺の議論が載ってますよと教えてくれました。
おうち帰ってとりあえず検索してみたらいぇいご! どうも邦訳はないようです。
ちっくしょう紹介してくれた人自動形式証明とか研究してる人だもんなー。脳的セレブは英語すらすら読めちゃうんだろうなー。
とか愚痴りつつぽちり。読めない訳じゃないからね。

ここで久しぶりの囲碁の本。
ずっと好きで棋譜を並べたり鑑賞したりしてる武宮先生の本。たまには読み物も良いかと思ってポチりました。
たまにといいつつおまいこないだ勝利は10%から積み上げるかっとったがなと。

最後は本ではなくてCD。
何となく聞いてたら歌いたくなったのでおぼえる事にしました。
でもiTunesで見つからなかったのでCDでポチり。
歌いやすくていいですね。PVがいまいち気に入りませんが。

けんぷファー最終巻が残念な件

Filed in 読書感想文

まあ同様の感想がAmazon辺りに書かれてるのでさらっと。
ナツルの気持ちがわかんねっす。楓を狂信者の如く崇拝した理由もわからないし、ヒロインを選んだ理由もわからない。
ヒロインを好きだと気づいたきっかけだけわかってもなー。。。
もうちょっとこれまでの巻で時間をかけて気持ちを動かして欲しかったです。ぶっちゃけ納得いかない唐突さでした。後から実は好きだったんだ! っていわれても。。。。

と、愚痴でした。

計算論が難解な圏^H件について

Filed in , 読書感想文

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

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

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

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

とりあえず初メモ。

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

定義)
pred(0)=0=zero(),
pred(x+1)=x=p21(x, pred(x))

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

pred(0)=0

pred(1)=pred(0+1)
          =p21(0, pred(0))
          =p21(0, 0)
          =0

pred(2)=pred(1+1)
          =p21(1, pred(1))
          =p21(1, pred(0+1))
          =p21(1, p21(0, pred(0)))
          =p21(1, p21(0, 0))
          =p21(1, 0)
          =1

pred(3)=pred(2+1)
          =p21(2, pred(2))
          =p21(2, pred(1+1))
          =p21(2, p21(1, pred(1)))
          =p21(2, p21(1, pred(0+1)))
          =p21(2, p21(1, p21(0, 0)))
          =p21(2, p21(1, 0))
          =p21(2, 1)
          =2

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

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

マンガ版獣の奏者がかわいすぎる

Filed in , 読書感想文

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

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

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

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

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

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

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

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

さらに本を注文した件

Filed in

今度はTRPG関連。発売予定忘れてた。

中さんに言われるまで忘れてました。中さんは入手済みの模様。

最近忙しいからGM出来ないかもなーなので、情報量では同等のはずの中さんマスターを楽しもうかと思います。

また本を発注した件

Filed in

というわけでまた本を発注しました。

計算論読んでて集合論の知識不足を感じたので集合の本を。

最近λ計算とか圏論とかに興味を持ってるものの前提知識不足で全然理解が進みません。来年四月ぐらいにわんくま勉強会 in 東京でλ計算の話しようかと思っているのに間に合うんでしょうか。

最近読んでる本TRPG関連

Filed in

というわけで最近読んでる/読み直したい本のエントリ四つ目。

何度読んだかわからないというか、GMやってる都合上周りの誰より参照時間が長い以下四冊。

この辺りはゲームやっててGMってめんどくさいなーと10年ぶりに思ったので、「ただ遊んでたあの頃とは違うのだよ!」と補助ツール作ろうかとか思ってます。せっかくなのでSilverlightで。

とりあえず全て非公式さんところのキャラシーと同等以上には使いやすいSW2.0全ルール対応のキャラシーとか戦闘中に必要な情報を整理して可視化したいなーと妄想してます。フルスクラッチ久しぶりなのでオラワクワクしてきたぞーって感じなのです。

最近読んでる本おまけ

Filed in

こんなのも読んでます。女声曲歌いたすのです。具体的に言うとspercellの君の知らない物語とかLOVE&ROLLとか。

同様にハイトーンボイスを安定して出すためにもう一冊読んでます。読んでますというか歌ってます。こっちはむしろABCとかJanne Da Arcとか要するにyasuくんの曲をちゃんと歌いたいから始めました。

Movable Typeとかロリポが重くて投稿エラー起きるので一旦区切って次でゲーム関連を。

最近の積ん読

Filed in

前回の投稿がエラーでちょんぎれたので続きを。今回は途中で止まってるけど理解度とか忘れ具合の関係で頭から読み直したい本を。

以下その内読み直したい積ん読を列挙。

上二つどっちも分厚いです。どっちも普通の本なら一冊分ぐらいは読んだのにまだ途中です。

下のは最初数ページしか読んでません。圏論の基本的なところを定義しているところだけ読んでみました。圏論の前に集合とか勉強した方がいい気がしてます。

最近読んでる本

Filed in

久しぶりのポスト。WLWにこっちのblogの設定してみたテストだったりしたりしなかったり。

日記的ネタとして最近読んでる本について読んだ分だけ感想を書いていくキャンペーンをやろうかと思いつきました。多分いつものごとく続かないです(えー

とりあえず今回は読んでる本を列挙。

Silverlightで開発するデータ駆動アプリケーションだけ毛色が違いますね。

基本的に家ではSICP、会社でSilverlightで開発するデータ駆動アプリケーション、お風呂かベッドで計算論を読んでます。

次にその内読み直したい積ん読。


Warning: sprintf() [function.sprintf]: Too few arguments in /home/users/2/lolipop.jp-dp07042166/web/wordpress/wp-includes/widgets.php on line 1042
Oenology Post Formats
Click to view/hide

Warning: sprintf() [function.sprintf]: Too few arguments in /home/users/2/lolipop.jp-dp07042166/web/wordpress/wp-includes/widgets.php on line 1042
Posts Calendar
Click to view/hide
2017年12月
« 12月    
 12
3456789
10111213141516
17181920212223
24252627282930
31  

Warning: sprintf() [function.sprintf]: Too few arguments in /home/users/2/lolipop.jp-dp07042166/web/wordpress/wp-includes/widgets.php on line 1042
アーカイブ
Click to view/hide

Warning: sprintf() [function.sprintf]: Too few arguments in /home/users/2/lolipop.jp-dp07042166/web/wordpress/wp-includes/widgets.php on line 1042
最近の投稿
Click to view/hide