銀さんにモデルのコメントを頼んでから反応してませんが考えがまとまるまで待ってください。

http://d.hatena.ne.jp/flappphys/20050820#p1 この本は良かった。

ABCDを平行四辺形とする。角Bを三等分したものを theta とする。三等分線のA側の方を延長しると線分ADと交わり交点をEとする。AD+AE=ACのとき、AB:BCを求めよ。 変な方法ばかり考えてたけどもそうでもなかった。

言われれば当然だが、Polish Notation 使うと括弧がいらない、と思い込んでいたが、型付けされていない lambda 計算ではばりばりいるのね。スタックを積むべきか、演算するべきかが毎回判断できないから higher order だと話が変わるのは当然か。 K K a b と…

「〜〜は粒子だ」という文章からイメージすることってあるわけでしょう。たとえば、投げたら飛んでってぶつかったら弾いて、たぶん、ビリヤードみたいなイメージなんだと思うんだけども、そのようなナイーブな感覚というのが光子といった量子論的な世界では…

秋月が半田吸い取り線の扱いやめてるのね。

某が生物化学科に進んだのは、一番クラッキングに近いから、だった。それに対して、いえ、生物化学科は逆アセンブルでクラッキングは薬学、といわれた。おお、一枚上手。

思考は言語によって、もちろん自然言語だけではない。実際、BASICしかしらないときに再帰という概念をもてなかったでしょう。だから必死になって人は新しい概念を記号化しているのですよ。 確かにそうですね。

http://ruke.blog5.fc2.com/blog-entry-152.html http://mohican.g.hatena.ne.jp/bbs/2/445 うにゃ、「物事はそれぞれ状況と事情が違うのだから一緒くたに考えるな」なの? まとめという関手が忘却しすぎ(顔。(誰か、"(顔"をキーワード登録しないかな。) むし…

射の合成が絡むと話がややこしくなるのは g.f というのが f を作用させてから g を作用させるにも関わらず、左から右に図を描く。 これは、印欧語族が V O の語順であったにもかかわらず、射が順番に作用していくのは時間変化を髣髴とさせて時間的に後であれ…

侵入されたらしいですね。どうせ、見たら爆笑するような穴があったのでしょう。 http://www.otsune.com/diary/2005/08/12/1.html#200508121 コンピュータは、人の能力の拡張をしているだけであるから、拡張部分の行動は当然拡張した人が責任を負うべきである…

正孔の移動としなくても古典的に説明された。驚き。

高校生に教えているときに、向こうが僕が何をしているか気になって、「東大なんですか！すご〜い」といったことを言わると、むっ、として、笑顔を作ろうとしても顔が引きつるのを止められず、表情が作れないのはまずいなあと感じる。こういうのを言うのは大…