勉強会の最近のブログ記事

ファインマン物理学 (1)

posted with amazlet at 10.02.08

ファインマン
岩波書店
売り上げランキング: 57366

Amazon.co.jp で詳細を見る

またブログに書くのが遅くなったけど，久し振りに開催されたファインマンのメモなど。

概要

• 日時：'10/01/24　14:30～17:00
• 場所：どえりゃあ
• 参加者：4人
• 内容：10章読み合わせ

10-1　ニュートンの第3法則

• 三体問題で難しいとか言うなら多体問題とか無理だろ。
• 多体問題と言えば，砂時計のシミュレーションは難しいらしい。砂1粒1粒を考慮するのが困難？
• 当然かもしれないけど，あまり役立たないと思われている分野は誰も研究していない。
• 作用・反作用の説明がややこしい。→常に2つの粒子間で考えればおｋ？

10-2　運動量の保存

• 力とは運動量の時間的変化の割合→外力が0だと運動量の時間的変化の割合は0なので，運動量が保存されているということ。
• いままでの保存則と何が違うの？エネルギー保存と同じようなものなの？→外力0を前提としているからちょっと違うんじゃね？
• よりもの方が書き方として一般的なの？
• バネの件は高校生の実験とかでありそう。
• 結論としては，運動方程式で外力0にした状態が運動量保存則と思えばおｋ？

10-3　運動量は保存する！

• 「保存される」ではなく，あえて「保存する」なのは何が言いたいのか？
• 10-3はエアホッケーの話だと思えば良い。
• 空気溝の注釈はこの本の刊行時期からすると，かなりホッテントリ的だ。
• ちょうど良くくっつくのはどんな感じなの？そんなことあるの？
• 爆発しろって流行ってるよね，twitter的な意味で。

10-4　運動量とエネルギー

• 弾性衝突：衝突前後で損失が0のような衝突のこと。
• 弾性衝突の前と後とで速度が等しいというのは運動エネルギー保存の問題。対称的衝突後の物体の反発速度が互いに等しいというのは運動量保存の問題。→ここら辺の切りわけがよく分からない。
• 質量の等しい2つの物体が異なる速度で動いて衝突すれば，速度を交換するだけ。→ビリヤードをイメージするとわかりやすい。

10-5　相対論的運動量

• 質量は速度によって変化(速ければ重くなる)するので，運動量も速度によって変化する。→いままでの話は質量が不変という前提だけど，実際は違うよということ。
• 186000マイル/sは光速のこと？→いつものことながら単位系どうにかしてくれ。SIにして訳注つければいいじゃん！
• 光も運動量を持つので，光が物体に当たる時には運動量を与えることになる。→ソーラーセイルのことかな？

コンピュータの構成と設計~ハードウエアとソフトウエアのインタフェース 第3版 (下)

posted with amazlet at 09.12.29

デイビッド・A. パターソン ジョン・L. ヘネシー
日経BP社
売り上げランキング: 56264

Amazon.co.jp で詳細を見る

またブログに書くのが遅くなってしまった。スマソ。。

上巻はMIPS機械語命令の解説ばかりだったけど，今回から下巻に突入してだんだん面白い内容になるはず！

以下適当にメモ。

概要

• 日時：'09/12/13 17:30～21:00
• 場所：短歌会館1F和室
• 参加者：4人＋issmさん
• 内容：前日の忘年会のせいで皆gdgdな感じだった。いちお5章を読み始めたところ。

5.1　はじめに

• IA-32，Intelは複雑だという話が繰り返されている。基本的にこの本はCISCを否定しないと話が進まない？
• 有限状態機械という言葉はwktkするよね。中二病的な意味で。。
• てかマイクロプロセッサ・アーキテクチャ入門を読もうぜ！
• 5章で取り上げるMIPSサブセット→lw，sw，add，sub，and，or，slt，beq，j
• PCからメモリにアドレス投げると，対応する命令がレジスタに投げられて，レジスタから対応するデータがALUに投げられて，最後にALU演算結果がメモリに格納される。おおまかにこんな感じ？
• レジスタファイルの説明はどこだ？
• マルチプレクサはcase文で書けそうだね。
• 制御信号周りがよく分からない件。
• 本来は命令メモリ/データメモリとか区別する必要はない。

5.2　論理設計とクロック方式

• ちゃんと付録B読まなきゃ駄目かもね。てか読もうよ？
• 電源プラグを抜いても～のくだりはおかしくね？普通に消えるでしょ？
• アサートする/ネゲートするの表現は一般的なの？ロジック屋さんは使ってるの？
• 不確実性にコンピュータ設計者は耐えられないw
• 状態論理要素ってかフリップフロップはクロックに同期して入力信号を保持する。
• 自己診断のヒント→図5.4を見ればわかる。

5.3　データパスの構築

• やっとレジスタファイルの説明が出てきたぞ。
• R形式って何だっけ？→レジスタを2つ読み出し，その内容に対してALU演算を実行するような命令形式のこと。
• メモリユニットは単純にcase文で書けそう。
• PCは32bit分のD-FFあればおｋ？
• ALUの制御線に入力する値で演算の種類を指定する。→つまりこれもcase文でいけそう。
• 加算器はそのまま＋演算するだけ。
• レジスタはRegWriteの有効無効をif文で書いて，有効時は「書き込みレジスタ」で指定したレジスタに「書き込みデータ」を格納する。無効時は「読み込みレジスタ1，2」で指定したレジスタの内容を「読み込みデータ1，2」に出力する。
• データメモリユニットも上記レジスタと同じような感じでいけそう。
• 符号拡張ユニットは符号に注意して0詰めるだけでしょ。
• マルチプレクサをうまく使って素子を節約するとか。
• 結局図5.11みたいになるのは何となく分かるけど，やっぱり制御線周りがよく分からん。

5.4　単純な実現方式

• MIPSサブセット(lw，sw，beq，add，sub，and，or，slt，j)に限定して，ALU制御ユニットと主制御ユニットを設計しよう！という話。
• ALU制御ユニット：ALUOp(主制御ユニットで生成される信号2bit)と機能コード(R形式の下位6bit)の合計8bitを入力して，ALU制御入力を生成する。ようはALUにどんな演算をさせるかを指示する信号を作っている。
• 主制御ユニット：MIPS命令のopフィールド(上位6bit)から，命令メモリ，レジスタ，ALU，データメモリ，各マルチプレクサに対する制御信号を生成する。詳細は図5.16と図5.18にまとまっている。
• で，以上の内容は単一クロックサイクルのシステムなので，非常に効率が悪い。→一番遅い命令に合わせてクロック周波数が決まるから。

先週の金曜日，久し振りに名古屋アジャイル勉強会に参加。

今回のテーマは「ぐるぐるマインドマップ」で，だいぶ以前のファシグラの時にマインドマップの話題が出てたので，その頃からずっと気になってた内容です。

以下適当にメモとか。

• とりあえず遅刻しなかったんだぜ。
• マインドマップに定義とかないよ。書いたものがマインドマップ。
• FreeMindいいらしい。
• なんで紙を横に使うんだろう？縦じゃダメなの？？
• ファシグラの時もそうだったけど，自分の色の使い方にはセンスが無いw
• まさかのハッピーターンクラスタ結成！
• 他人の自己紹介マインドマップをもっとじっくり見たかった。誰が誰だか分からんかった。
• ぐるぐる♪の掛け声はとても重要。
• 子供を早く寝かせるにはPerfumeを聞かせるといいらしいよ。
• あとで読む→すごいやり方とすごい会議
• 自分の自己紹介マインドマップはこんな感じ。

• メインのぐるぐるマインドマップ。自分の悩みを中央に書いて，ぐるぐる♪言いながら隣の人に回して一周して戻ってくるとこんな感じ。「寝なければいい」ワロタwww

Scalaスケーラブルプログラミング[コンセプト&コーディング] (Programming in Scala)

posted with amazlet at 09.11.28

Martin Odersky Lex Spoon、Bill Venners
インプレスジャパン
売り上げランキング: 3354

Amazon.co.jp で詳細を見る

読み合わせだと時間かかるから，今回からは事前にweb上で出し合った疑問・コメントを議論する形式に変更。

個人的にlequeさんのschemeの例えが面白かった。

逆にC#やRubyの話はついていけずorz

あとHaskellはクールビューティというよりツンデレのデレ抜きです。

以下適当にメモ。

概要

• 日時：'09/11/20　19:00～21:00
• 場所：短歌会館
• 参加者：13名
• 内容：1章～3章まで議論

第01章　スケーラブルな言語

• 1章は前回読み合わせしているのでサクッと流すはずが，結局ここで半分くらい時間使ってた気がする。あれ？
• Lisper的にはScalaはダメ。やっぱりHaskellに憧れる？
• ScalaのトレイトとRubyのモジュールの違い・・・僕にはサッパリだったorz

第02章　Scalaプログラミングの第一歩

• Scala2.8だと補完してくれるので便利。みんな使うといいよ。
• リスコフの置換原則：親で成り立つことは子でも成り立つ(同じ結果になる)とかそんな解釈でおｋ？
• java.lang型なんて無い。でもあったら便利かも？
• スコープについてはP.139読めばいいと思うよ。
• 関数の引数で型推論しないのは，実装上の都合というか面倒臭いからじゃね？
• 型推論はコードの可読性との兼ね合いもあるし，まぁ書けといわれたら書くから別にどうでもいい。
• 正確に言うと0要素のタプルをUnitというみたい。
• ++演算子と言えば，関西Ruby会議でpurse.yをハックする話があったよね。
• なんか2章はRubyの勉強会になっていた件。
• でも気を抜くとLisp勉強会になるから気を付けて！

第03章　Scalaプログラミングの次の一歩

• 時間があれなので3章は駆け足にするよ。
• 伝統的な意味での演算子ってなに？
• 表3.1でdropRightという名前が残念という話。dropLastの方がよい？→右から左に書く言語とかどうよ？→Rubyで作る奇妙なプログラミング言語とか読んだら？
• P.62の脚注，Tuple22はなぜ22なの？→マジックナンバー的な？
• 基本的にvarを使うなと。ちゃんと関数プログラミングしろと。

コンピュータの構成と設計~ハードウエアとソフトウエアのインタフェース 第3版 (上)

posted with amazlet at 09.11.25

デイビッド・A. パターソン ジョン・L. ヘネシー
日経BP社
売り上げランキング: 86412

Amazon.co.jp で詳細を見る

またブログに書くのをサボっていました。

ちゃんとアウトプットしなきゃ駄目だねぇ。

以下適当にメモ。

概要

• 日時：'09/11/08 17:30～21:00
• 場所：短歌会館　1F和室
• 参加者：4人
• 内容：4章読み合わせ。次回は下巻だよ！

4.1　はじめに

• 性能どうのこうの言うならヘネパタ読めば？
• コンピュータを選ぶ際に重要なのは性能じゃなくて価格じゃね？
• 販売担当者？よく心得ている？は？
• ランニングコストについて言及されてないよね。
• 応答時間(実行時間)：作業開始～終了までの時間。
• スループット：一定時間内に終了した作業の総量。
• 応答時間とスループットについては，人間に例えると分かり易いよ。
• スケールアップってのは鯖とか強化すること。
• オラクルVMって中身はXenでしょ？
• iPhoneのスピードテストアプリみたいな。
• だからバブルソート使うなとあれほど・・・。→フィクションの中の人ですね，分かります。
• 例題が情報処理試験ぽいよね？

4.2　CPU性能とその要因

• クロックサイクル時間＝1/クロック周波数
• CPIはプログラムによっても変わってくる。
• P.228の例題，2種類ってのはIntelとAMDか？
• LLVMに最適化とか任せれば楽できるんじゃね？とかそんな感じ。
• あぁー，例題がいちいちだるい。

4.3　性能の評価

• 特定のベンチマークにしぼる話で，twitterクライアントに特化したベンチマークとかどうよ？
• またO3オプションがどうのこうの。
• ハイパーIntelディスターイム！
• Z80ハンドアセンブルは経験しておくべき。
• 再現性の件，他の機器からAC電源経由でまわり込んでくるノイズとかこわいよ。夜に誰もいなくなってから評価試験するとサラッと通ったりするw
• 算術平均という言い方されると，難しいことのような気がしてくる。
• Pentium5ワロタ！
• 最も高速なコンピュータはクロック周波数が最高のものである。→Intelの周波数至上主義ですね，分かります。
• ちょIntelMac予言しとるがなwww

4.4　実例：2つのSPECベンチマークと最近のIntelプロセッサの性能

• x86ディスだから適当に飛ばそうぜ！
• 図4.5によるとSPECっていろいろあるんだね。

4.5　誤信と落とし穴

• どこがボトルネックかちゃんと考えろという話でおｋ？
• アムダールの法則＝収穫逓減の法則
• MIPS(million instructions per second)まぎらわしい。

4.6　おわりに

• 4章つまらなかったよね。
• コストパフォーマンスのことをコスパって略す。
• ここで言う低コスト設計が実際ほとんどだよね？
• 実行時間が重要だ。4章はそれだけ分かってりゃいんじゃね？