2005-08-01から1ヶ月間の記事一覧

IO モナド

コードがIOモナドに汚されていきます。

スーパーサイヤ人

スーパーサイヤ人は蒙古ヒダがあるのでモンゴロイドか、と思っていたのだが、webを見た限りそうでもないようだ。

15パズル

http://d.hatena.ne.jp/yaneurao/20050821 1:void swap(int& i,int &j){ 2: int t=i; 3: i=j; 4: j=t; 5:} 6: 7:void make_16puzzle(){ 8:{ 9: const int n=16; 10: int a[n]; bool b=false; 11: for(int i=0;i8行目{の数があっていない。 あと、14行目、置…

16ヶ月

16ヶ月ぶりに返事が来た。ある掲示板に書き込んだその返事が16ヵ月と16日後に。

夜の散歩

夜の散歩に出たら、緑道の真ん中をセミの幼虫が歩いていた。王蟲のよう。拾って木に止まらせる。中身の入った幼虫を捕まえたのは初めて。 ふと近くを見ると、抜け殻の少し上で羽を伸ばしたセミがいる。 セミは実に捕まえやすい。素手で取れるようなでかくて…

レヴェンハイム・スコーレム

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

はじめて出会うコンピュータ科学

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 うにゃ、「物事はそれぞれ状況と事情が違うのだから一緒くたに考えるな」なの? まとめという関手が忘却しすぎ(顔。(誰か、"(顔"をキーワード登録しないかな。) むし…

f x

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

価格.com

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

ホール効果

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

学歴

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

打ち水大作戦

常温超伝導に加え第一種永久機関までを作ってしまった某氏が、http://www.uchimizu.jp/ 打ち水大作戦の話をしてくれた。 どこを探しても、「地球温暖化対策になるから」とは書かれずに、「温暖化・環境問題への意識を高める」とある。これは、誤魔化すことが…

サールの中国語の部屋

http://homepage3.nifty.com/mogami/diary/d0508.html#14t1 えっと、知らない人のために、ざっと解説しておくと、これはサールが機械は意思をもてないことを示すためにした議論。 サールは中国語を話せない。ここでサールを部屋に入れる。この部屋は冷暖房完…

モヒカン族

サザンクロスシティって、南十字星がどうこうか!北斗の拳ね! http://d.hatena.ne.jp/urouro360/20050706#mo これは激しく誤読してたなあ。

文字化け

Bientôt nous plongerons dans les froides ténèbres ; Adieu, vive clarté de nos étés trop courts ! はIEだと文字化けするがMozillaだと大丈夫。それで僕も訳してみた。 もうすぐ冷たい暗闇にどぼん。 バイバイ、あっというまの夏のまぶしい光。

名簿

男女混合名簿やめて、血液型別名簿作ろうぜ。

コンピュータは数が扱えるか

http://d.hatena.ne.jp/nuc/20050727/p2 への返答が http://www.gakushuin.ac.jp/~881791/d/0508.html#15 に出た。普通の数値計算って言うのが、(それが普通のdefinitionになりそうで)嫌な表現だなあと思ったけど、それ以外はありません。Loewenheim-Skolem …

goto

gotoが巧みに使われていて驚きました。 って皮肉のように聞こえる。実際、あれはgotoを使わざるを得ない場面だっただと思うが。下のソースをgoto抜きで書くとどうなるんだろう。

科学

誤解を恐れずにいえば、「科学を立場に貶めている人」が多い。

止揚

何かが止揚だったんだったけど、なんだったかな。

電車男

……ですけど、ちょっと疑問もあります。だって、電車の中で酔っぱらいから守ってくれたら私だって感謝しますけど、ティーカップなんて贈ります? しかもエルメス! 気遣いのできるイイ女だとしても、キスするのにボロボロ泣くような男を目の前にして「がんば…

オカルト

「水からの伝言」まわりで。これは社会心理学の実験だったと記憶している。超能力を肯定的に捉える人たちをもっとも効果的に転向させるには、どうすればいいであろうか。 超能力者と同等なことをやってみせ、その後に種明かしをする。このこと三度。 超能力…

NHKの「日本の、これから」

会社経営者の方が中国進出するうえでどうしたかを話していた。概略を記憶を頼りにまとめると、 進出前から日本軍の蛮行は話に聞いていた。現地で改めて、社員になる人の母の話を聞き、{をあげ}日本軍の暴虐行為は確かにあったと確信した。嘘だという人もいる…