Untitled

"C takes the point of view that the programmer is always right."

Thu, 19 Nov 2009 07:23:00 -0500

“C takes the point of view that the programmer is always right.”

- Michael DeCorte

脳内彼女の存在形態いろいろ

Sat, 14 Nov 2009 09:17:21 -0500

morskyeve:一般人はあまり気にしないが、脳内彼女には何種類かある。一つは「ストーリー型」これは「自分が女の子と付き合っているストーリーを妄想する」というもので、いわばただの妄想である。このタイプの特徴は、彼女も主人公（自分）も現実とは別世界にいる、という点である。 [http://twitter.com/morskyeve/statuses/5708891817]
morskyeve:二つ目は「脳内世界型」。このタイプでは、彼女はやはり脳内世界・別世界にいるのだが、自分はあくまで現実世界にいる。彼女のいる自分を妄想するのではなく、頭の中の彼女と会話する形になる。いわゆる「脳内友達」に近い。 [http://twitter.com/morskyeve/statuses/5708917374]
morskyeve:三つ目は「現実投影型」。「脳内世界型」が彼女をあくまで脳内世界に留めるのに対し、「現実投影型」では彼女が現実に、目の前にいると考える。実際には見えなくとも触れなくとも、あくまで目の前にいると考えるのだ。これはいわゆる「タルパ」に近い。 [http://twitter.com/morskyeve/statuses/5708953789]
morskyeve:個人的に「ストーリー型」は脳内彼女と認められない。あれはただのキャラクターだ。脳内彼女ではない。 [http://twitter.com/morskyeve/statuses/5709104378]
morskyeve:「脳内世界型」の説明をミスったな。実際には「脳内世界型」というのは、別世界というよりも彼女が頭の中に棲んでいる感じ。姿を視界上にイメージしない現実投影型と言っても良い。 [http://twitter.com/morskyeve/statuses/5709137662]
morskyeve:ただこれにも幅があって、頭の中から現実世界を見たりできるタイプと、あくまで脳内に留まっていて外部の情報は基本的に知らない場合がある。 [http://twitter.com/morskyeve/statuses/5709158338]
morskyeve:「ストーリー型」が駄目なのは、世界が現実ではないからだよ。「脳内彼女」とはたしかに彼女がいる自分を妄想するものではあるが、それは今まさに'この'自分に彼女がいるという妄想をするのであって、決してストーリーを創作するものではない。彼らの彼女は人格を持たない。 [http://twitter.com/morskyeve/statuses/5709194506]
morskyeve:もし脳内彼女がクオリアを持ちうるとしたら、「脳内世界型」でかついくつかの感覚を自分と共有している場合かな。クオリアに感覚器官が必須として、だけど。 [http://twitter.com/morskyeve/statuses/5709216549]

エラトステネスの篩

Sun, 08 Nov 2009 10:23:47 -0500

二分で書いた。わざと一行に詰め込んだのは認めるが、ゴルフするつもりはなかった。

(defun sieve (n) (let ((a (make-array n :initial-element nil))) (loop for p from 2 below n unless (aref a p) collect p and do (loop for c from (* 2 p) below n by p do (setf (aref a c) t)))))

才能って何なんだろうなー

Thu, 05 Nov 2009 08:04:00 -0500

yag_ays:私の好きなゲームの話．とあるゲームで，若い頃は楽器の才能に秀でて神童と謳われたヒロインが，大人になるもプロの演奏家としてではなく自分の家で小さな音楽教室をやる，という物語がある． [http://twitter.com/yag_ays/statuses/5447939665]
yag_ays:これを初めて見たときは，ものすごく怖い気持ちになった．今も多分そうなるだろう． [http://twitter.com/yag_ays/statuses/5447953278]
yag_ays:自分でも説明をしにくいのだけれども，ある人はそういった道を歩んでいる，ということ自体に原因があるように感じる． [http://twitter.com/yag_ays/statuses/5447982884]
yag_ays:私なんかはただの凡人だから，当然のごとく常に才能や能力ある人を見上げている．メディアでの活動や執筆者やそういった人たちを上に見て日々を暮らしているが，ふと上を見るのをやめて視線を水平くらいまで落としてみると，そこには「五つ神童、十で天才、二十歳過ぎればただの人」なんてザラである． [http://twitter.com/yag_ays/statuses/5448049303]
yag_ays:そういうときに，道の一つとしてそういう人がそういう道を歩んできた，しかも生い立ちを良く知る人が，などと考えてしまうところに一つ何かあるのかもしれない．あまりよく理解ができていない．そういう人たちがいて競争の道は険しい，と思っている訳ではないのだが... [http://twitter.com/yag_ays/statuses/5448080517]
yag_ays:そこに儚さなどというものがあるのかは分からないけれども，何か自分の小ささや無力さが象徴的に現れているような気がする． [http://twitter.com/yag_ays/statuses/5448099146]
yag_ays:例えば，片田舎の小さな街の一つの家に「ピアノ教室」などという看板が掲げられていたとする．たまたまそこを通りかかると，曲名は分からないが何かとても綺麗な音楽が聞こえてくる．きっとレッスンの合間に先生が弾いているんだろう． [http://twitter.com/yag_ays/statuses/5448142610]
yag_ays:その人の生い立ちに思いを馳せてみると，きっとどこかの音大を卒業したのだろう，もしかしたら優秀なひとだったのかもしれない，でも今はこうした音楽を奏でている． [http://twitter.com/yag_ays/statuses/5448187726]
yag_ays:いや，一般化して考えればみんなそうなんだけど，やっぱり何か引っかかる部分があr． [http://twitter.com/yag_ays/statuses/5448216834]
yag_ays:ああ訳が分からなくなってきた． [http://twitter.com/yag_ays/statuses/5448226196]
yag_ays:あとは，研究所で働く人とも色々話をしたりなんかすると，ここは確かに自分のいる東京のそれと全く変わらなくいんだけど何かが感覚として違う...とか考えたりしてしまう． [http://twitter.com/yag_ays/statuses/5448303455]
yag_ays:よくわからなくなってきたところで幕を閉じる．意識の朦朧さはそれはそれで楽しいんだけど [http://twitter.com/yag_ays/statuses/5448340902]
t33f:才能のある人に才能を生かす道を強いるのはどうかと思うなー、みたいなことを考えたことがある [http://twitter.com/t33f/statuses/5448658360]
t33f:僕はわりと、才能は偶然の産物だと思っている。何かの拍子にたまたまコツを見つけてしまった人を天才と呼ぶ。彼らは往々にして、自分が他の人の気付いていない何かを把握しているということに気付いていない [http://twitter.com/t33f/statuses/5448696827]
t33f:自分と他人との違いに気付いていないからこそ、その知らないうちに身につけた力の及ばないところまで来てしまうと、ひょっとしたら元天才が凡人以下になってしまうのかもしれないな [http://twitter.com/t33f/statuses/5448789880]
t33f:「二十歳過ぎればただの人」というのは、そういう人なのかもしれないと思った [http://twitter.com/t33f/statuses/5448795199]

"047 [2008/09/18(木) 18:08:08 ID:63Hg8WUi] ドラダイです。（０＿０）今はもうそんな事しないけど友達の家にお邪魔すると必ず包丁を見せてもらってた。 (..."

Sat, 24 Oct 2009 10:21:59 -0400

“

047 [2008/09/18(木) 18:08:08 ID:63Hg8WUi] ドラダイです。（０＿０）

今はもうそんな事しないけど友達の家にお邪魔すると必ず包丁を見せてもらってた。

( ﾟДﾟ)「ん？良い包丁だよ！研げばすごい切れるよ！」と言い。

じゃあ研いでよ！と言われ持参した砥石で無料研磨していた。

次の日、「オカンが指切ったがな～！」と言われ(´・ω・｀)ｼｮﾎﾞｰﾝ

048 [2008/09/18(木) 21:30:51 ID:dUNEMDbl] 名前なカッター(ノ∀｀)

»47
うちのオカンだけど似たような経験あり。
切れない包丁に長年慣れると人間側もその切れない包丁に最適化されるようだ。
研ぐと怒られる。
口グセは「切れる包丁はアブナイ」

”

- [刃物板] 刃物オタにありがちなこと
http://gimpo.2ch.net/test/read.cgi/knife/1221061415/

"022 [2008/09/14(日) 18:58:37 ID:cMqXQe4B] 名前なカッター(ノ∀｀) 研いだあと恒例の新聞紙試し切り。以前はビリビリだったのがスパスパスパスパ切れる。..."

Sat, 24 Oct 2009 10:06:17 -0400

“

022 [2008/09/14(日) 18:58:37 ID:cMqXQe4B] 名前なカッター(ノ∀｀)

研いだあと恒例の新聞紙試し切り。
以前はビリビリだったのがスパスパスパスパ切れる。
研ぎが上達したと思い込むが、実際は研ぎ技術ではなく
新聞紙切りの技術が上達した。

”

- [刃物板] 刃物オタにありがちなこと
http://gimpo.2ch.net/test/read.cgi/knife/1221061415/

ゲームと現実の違いに気付いたとき

Sun, 06 Sep 2009 08:14:39 -0400

小さい頃、具体的には小学校二年か三年の頃、ヒットポイントは生物の強さを示す指標の一種として科学的に認められた存在であると思っていた。また、それは何らかの自分にはおそらく分からないが科学的な手法で測定可能なものなのだろうとも思っていた。さらに、実際に様々な生物に対してそうした測定がなされているものらしいと思っていた。

というのも、周りの友人が「実は普通の人間の HP は 1 にも満たないほど少ない」とか「世界で最も高い HP をもつ人間のそれは 3 である」とか「鯨の HP は 6 である」とか、そんなようなことを僕に教えてくれて、疑うということを知らなかったらしい当時の僕はそれを信じてしまったからである。そのような言説が出てくるからには、前記のようなことがらが客観的事実として知られていて然るべきだ。もっとも、意識的にそのような推論をした記憶はないのだが。

というわけで僕は小学校のおそらく半ばくらいまで、ヒットポイントという想像上の指標を「なんだかよく分からないけど科学的権威付けが与えられているらしい単位」だと思っていたのだけど、これがどうやら逆に「ゲームと現実は違うんだ」という認識をもつきっかけの一つとなったようだ。僕らの HP はおそらくコンマいくつとかその程度なのに、ドラクエの主人公たちときたら平気で三桁の HP をもっている。僕らと彼らを比べたら、まるでドラゴンボールの一般人と悟空ぐらいの違いがあるではないか。これが想像上の存在でなくて何であろう。

そんなわけで、幼いころの僕は「ヒットポイントという概念が現実の生物に適用可能である」という信念から「ドラクエの主人公みたいなのが現実にいるわけがない」という信念を導き出したのでした。

呼び名

Wed, 05 Aug 2009 11:40:00 -0400

t33f:そうだ、僕は他人に対して「○○って呼んでいい？」というふうなことを言ったことがない。これは何を意味するのだろうかとこの間考えたのだ [http://twitter.com/t33f/statuses/3146869716]
t33f:相手の呼び名を自分から提示して了解を求めるという行為は、何を意味するだろうかというようなことを。 [http://twitter.com/t33f/statuses/3146894055]
t33f:それは「あなたのことをこう呼びたい」という気持ちの表明であるわけで、その呼び名が何であれそれは相手との関係がどのようなものであってほしいと自分が思っているかを表しているのだろう [http://twitter.com/t33f/statuses/3146928655]
t33f:であるならば、それは「わたしはあなたとこういう関係でありたい」という気持ちを伝えるとともに「あなたはそれを認めてくれるか」という問いかけであるわけだ [http://twitter.com/t33f/statuses/3146958452]
t33f:それは、自分と他者との関係を自ら積極的に構築しようという姿勢の現れのひとつなのだろうと思う。 [http://twitter.com/t33f/statuses/3146973295]
t33f:僕がそういうことを言わないからといって、僕が他人と積極的に関係を持とうとしていないということは論理的には帰結しないが、事実として僕が自分から「この人とはこういう関係でありたい」という気持ちを持ってそれを実現するべく行動するということはかなり少ないように思われる [http://twitter.com/t33f/statuses/3147010815]
t33f:僕が他人に対して消極的である(と言うのが正確かどうかわからないが)ことは、先の事実から従うことではないが、その事実は僕が消極的であるという主張を支持するものではあるんだろうなあ [http://twitter.com/t33f/statuses/3147050711]
t33f:とかなんかそんなようなことを、道を歩きながら考えた。 [http://twitter.com/t33f/statuses/3147072742]

"砂糖シロップ：水砂糖シロップ（ロングドリンクでは、他）を使用する5分、クールで保存瓶の中で沸騰させるいくつかの成果を十分に洗浄し、砂糖水に溶ける少し沸騰角砂糖と格子。そしてクール。このソリュー..."

Sat, 25 Jul 2009 05:27:15 -0400

“

砂糖シロップ：
水砂糖シロップ（ロングドリンクでは、他）を使用する5分、クールで保存瓶の中で沸騰させる

いくつかの成果を十分に洗浄し、砂糖水に溶ける少し沸騰角砂糖と格子。
そしてクール。
このソリューションは、汁と砂糖で味付けしたシロップと混合。
の混合物涼しい。
4肺を飲んで、オレンジ色のメガネ各スライスを入れて、 1つは、ソリューションの3分の1とは、春と記入する。

(原文)
De suikerstroop:
Water met suikerstroop 5 minuten laten koken, afkoelen en in een fles bewaren (ook bruikbaar in andere longdrinks)

Een paar goed gewassen vruchten raspen en met de suikerklontjes in iets kokend water de suiker oplossen.
Dan afkoelen.
Deze oplossing mengen met al het sap en op smaak brengen met de suikerstroop.
Het mengsel koelen.
Leg in 4 longdrink-glazen elk een schijfje sinaasappel, vul ze voor een derde met de oplossing en vul aan met het bronwater.

”

- http://translate.google.co.jp/translate?hl=ja&sl=nl&u=http://www.mijnreceptenboek.nl/recept/dranken/orangeade-5442.html&ei=ls1qSq31BsOOkQXXkq2kCw&sa=X&oi=translate&resnum=1&ct=result&prev=/search%3Fq%3Dorangeade%26hl%3Dja%26lr%3Dlang_nl%26sa%3DG%26num%3D50

via www.rivertop.ne.jp これは所持してても合法らしいですよ

Thu, 16 Jul 2009 12:01:00 -0400

via www.rivertop.ne.jp

これは所持してても合法らしいですよ

via...

Tue, 14 Jul 2009 11:45:00 -0400

via image.blog.livedoor.jp

そういえば、昔のゲーマーはどんなゲームでもどうにかして楽しんでやろうという心を持っていたというイメージがある

"346 [2009/06/22(月) 17:30:51] デフォルトの名無しさんみなさん、レスどもです。理解するまでやってみます・・・ネスト入ると、頭が沸騰しちゃいますね・・・..."

Wed, 24 Jun 2009 09:55:16 -0400

“

346 [2009/06/22(月) 17:30:51] デフォルトの名無しさん

みなさん、レスどもです。理解するまでやってみます・・・
ネスト入ると、頭が沸騰しちゃいますね・・・

347 [2009/06/22(月) 18:25:49] デフォルトの名無しさん

ネスト？相互再帰とかかな。どんなので沸騰してるんだろ。

348 [2009/06/22(月) 20:23:39] デフォルトの名無しさん

再帰関数hogeの中で、別の再帰関数higeが呼ばれて
higeの引数にhogeが渡されるような関数です。
動きを頭の中で追おうとすると沸騰します。

349 [2009/06/22(月) 23:01:07] デフォルトの名無しさん

»348
人の関数を追いかけるからだよ
再帰で物がきれいにかけても人の考えまでは見えないからね

自分で再帰関数の定義を自在にできるようになるまでは相互呼び出し系は鬼門だとおもうよ(再帰に限らず関数ポインタ渡すCとかも)

350 [2009/06/22(月) 23:08:21] デフォルトの名無しさん

「処理の流れ」をおっかけようとしているのが原因じゃないかな。（他の言語の経験があると仮定すると、ですが）
「どう動くか」じゃなくて、「何をやっているのか」を読めるようになるといいと思う。
停止条件と、次の呼び出しのときにどう問題を細かくしていくのか、に注目してみよう。

”

- [プログラム板] 【入門】Common Lisp その６【質問よろず】
http://pc12.2ch.net/test/read.cgi/tech/1234884136/

"235 [2009/06/17(水) 00:02:57] １３２人目の素数さん 1÷0.5=2 一枚のせんべいを0.5枚ずつ分けたら2人に行き渡るというイメージは出来ます。..."

Wed, 17 Jun 2009 10:27:24 -0400

“

235 [2009/06/17(水) 00:02:57] １３２人目の素数さん

1÷0.5=2

一枚のせんべいを0.5枚ずつ分けたら2人に行き渡る
というイメージは出来ます。

ところが、一枚のせんべいを0.5人で分けたら1人当たり二枚もらえる
というのは何か変ではないでしょうか。

236 [2009/06/17(水) 00:30:01] １３２人目の素数さん

まだまだ半人前のA君にとっては、1枚のせんべいが、
大人の2枚分に相当するのであった。

”

- [数学板] 【はじき】大人のための算数・数学２【みはじ】
http://science6.2ch.net/test/read.cgi/math/1234335366/

"414 [2009/06/10(水) 06:58:05] デフォルトの名無しさん最近楽譜見るとダカーポやセーニョダルセーニョが call/ccに脳内変換されるようになってきた。"

Wed, 10 Jun 2009 07:24:28 -0400

“

414 [2009/06/10(水) 06:58:05] デフォルトの名無しさん

最近楽譜見るとダカーポやセーニョダルセーニョが
call/ccに脳内変換されるようになってきた。

”

- [プログラム板] Lisp Scheme Part26
http://pc12.2ch.net/test/read.cgi/tech/1240567959/

"431 [2009/06/04(木) 09:43:30 ID:BUWMagKN0] 名無しさん＠お腹いっぱい。定理は証明するもの。公理は信じるもの。"

Thu, 04 Jun 2009 09:56:53 -0400

“

431 [2009/06/04(木) 09:43:30 ID:BUWMagKN0] 名無しさん＠お腹いっぱい。

定理は証明するもの。
公理は信じるもの。

”

- [情報学板] 計算機科学の質問はここでしろ！
http://science6.2ch.net/test/read.cgi/informatics/1156070169/

萌えない問題

Thu, 21 May 2009 08:01:07 -0400

t33f:帰りがけに共用机の上にあった雑誌に数学の問題が載ってた。けどあまり解く気にならなかった。なぜだろう、と帰りながら考えていた [http://twitter.com/t33f/statuses/1869837237]
t33f:僕の目には、その問題の条件設定が何を意味するのかよくわからなかった。ただの恣意的な設問のように感じられた。それが事実なのか、それとも僕の能力不足なのかはわからないけど、ともかく僕はその問題を面白いと思えなかったわけだ [http://twitter.com/t33f/statuses/1869846116]
t33f:しかし、考えてみれば Project Euler の問題だって、タイムラインにときどき流れる問題だってたいていは多少なりとも恣意的であるのではないか。それなのにある問題は解きたいと思い、別の問題はそんな気が起こらないのはどうしてか。 [http://twitter.com/t33f/statuses/1869852242]
t33f:そこでこの間考えた、リアリティの話を思い出した。僕はその問題設定に「リアリティ」を感じられなかったのではないか。この文脈では親近感、とか親しみ、とか言うほうが近いような気がするが、それは表現の問題であって、その指示するところは同じなんじゃないかと思った。 [http://twitter.com/t33f/statuses/1869873022]
t33f:ある問題を見て、それを解きたいと思わないとき、僕はおそらくその問題設定にリアリティあるいは親しみを感じられていない。 [http://twitter.com/t33f/statuses/1869885960]
t33f:僕が数学の問題を解きたいと思うとき、問題設定に現れる登場人物と戯れていたいと思っているところがあると思う。その設定が作り出すちょっとした「世界」の中へ飛び込んで、その中で遊んでいたいというか、その世界の様子を明らかにしたいというか。 [http://twitter.com/t33f/statuses/1869901859]
t33f:「遊ぶ」と「明らかにする」は響きがかなり異なるけど、それは僕が適切な言葉を見つけられていないからで、僕としては同じものをさしているつもり。どちらの言葉も、同じ感覚のあまり精度のよくない近似なのだろう [http://twitter.com/t33f/statuses/1869906651]
t33f:問題を解くことだけではなく、概念や理論を理解することも似たような側面がある。ある概念を指して、これを理解したい、と思うとき、その気分はいわば「この人と仲良くなりたい」みたいなものである。 [http://twitter.com/t33f/statuses/1869919309]
t33f:「あの人のことは今はよく知らないけど、何となく親しみを感じるし気になる。もっとよく知りたい。仲良くなりたい」そんな気分 [http://twitter.com/t33f/statuses/1869923813]
t33f:じゃあ逆に、僕にとって解きたいと思わない問題、理解したいと思わない概念ってどういうものなんだろう。何かに親近感を覚えないということは、どういうときに起こるだろうか。自分の知っている何ものとも関連が見出せないとき？ [http://twitter.com/t33f/statuses/1869950344]
t33f:よくわからない。好きになる理由と、嫌いになる理由と、見つけやすさに違いがあるのだろうか。あまりそんな感じはしないが。好き嫌いではなくて、興味をもつ理由と、興味をもたない理由との比較をすべきか？ [http://twitter.com/t33f/statuses/1869968987]
t33f:興味をもった理由と、興味をもってない理由と、どちらが見つけにくいか。うーんやっぱりどっちもどっちのような気もするけど。 [http://twitter.com/t33f/statuses/1869972626]
t33f:とりあえず洗濯物を干してくる [http://twitter.com/t33f/statuses/1869974171]
t33f:タイムラインに復帰。さっき考えてたことをもう一つ思い出した [http://twitter.com/t33f/statuses/1870051800]
t33f:興味をもてない(数学の)問題って、設問がすごく唐突で脈絡がないように感じる。じゃあ解く気になる問題は脈絡があるのかというと、少なくとも説明できるような流れはないわけで、そうすると最初の話に戻るんだけど、そこはとりあえず無視してみる。 [http://twitter.com/t33f/statuses/1870060333]
t33f:問題を見て興味をもてないときって、「なんでそんなこと考えるの？」「そんな設定どこから出てくるの？」という疑問が先に出てくる。問題文にすごく唐突さを感じて、藪から棒に何を言い出すんだ、みたいな気分になる場合が多い。 [http://twitter.com/t33f/statuses/1870071759]
t33f:出題者がその問題を考えるに至った経緯でも理解できれば面白いのかもしれない、と思うことはある。けど、たいていの場合はそれを知ることはかなわないし、意図を考えてみようという気にもならない [http://twitter.com/t33f/statuses/1870081488]
t33f:考えてみれば、これは数学の問題に限ったことでは全然ない。たとえば研究発表とかもそうだ。本人はそれまでの研究経過が全部わかってるから、自分がやってることが面白いことを知っているだろうけど、それを知らない他人は必ずしもそれを面白いと思う感覚を共有できない。このことは頭に入れておくべき [http://twitter.com/t33f/statuses/1870093587]
t33f:どこかで発表するような成果なら、それなりに力を入れて掘り下げてるわけで、そんだけ掘った深い穴の底から「おーいこっち来いよ」なんて呼ばれても困る。行くにしてもどうやってそこまでいけばいいんだ。まず梯子を用意してくれ。 [http://twitter.com/t33f/statuses/1870097549]
t33f:おわり。僕にしては頑張って言葉を尽くした方 [http://twitter.com/t33f/statuses/1870108254]

"195 [2009/05/16(土) 20:26:54] 186だが割合が苦手というのもあるんですねえ。僕は小学校の時数を数えるのができなかった。たとえば、 ..."

Sun, 17 May 2009 05:16:13 -0400

“

195 [2009/05/16(土) 20:26:54] 186だが

割合が苦手というのもあるんですねえ。

僕は小学校の時
数を数えるのができなかった。

たとえば、
自宅から学校まで2キロあります。
その道には10メートルごとに電柱があります。
さて学校から自宅まで何本電柱がありますか？
という問題。

簡単に計算すれば
2000÷10で100本なんだが、

スタート時につまり0メートル時点に
電柱があるんだろうか？
だったら、101本だよなあ？

とか考え出したら、算数が苦手になった。

同じように

一週間は7日ですが、
今日から一週間後は何日ありますか？

今日も一日に入れるんだっけ？
とか。だったら8日？？？

今でも数を数えるのは苦手です。

196 [2009/05/17(日) 02:47:19] １３２人目の素数さん

それは苦手なのではなく
ルールをしらないだけ

しらないというのは
与えられていないのでわからない
というのをふくむ

世の中には与えられていない与えていない
ルールを勝手に作り、それ以外は間違いだと
主張する者も多いので注意
そういうやつは、常識とか経験とか屁理屈という言葉が
大好きなので、注意していればよくわかる

197 [2009/05/17(日) 02:52:04] １３２人目の素数さん

»195の書き込みを読んで、変なことを思い出したよ。

物の長さを定規で測るとき、普通、測ろうとしている物の一方の端に、
定規の0を合わせて、もう一方の端と一致する定規の数字を読むでしょ。
これをそうしない子がいるんだよ。

物の一方の端に、定規の1を合わせて、
もう一方の端の数字を読んで、さらにその値から1を引くの。
つまり、0から測るのではなく、1から測って出た値を補正するということ。

その子に、なぜそんなことをするのと聞くと、
0から測るのはおかしいという。
おかしくない方法はどうすればいいのと聞くと、1から測るという。
じゃあなんで、1から測った値から1を引くのと聞くと、
そうしないと他の子や先生の値と同じにならないからという。

この子としては、1から測るのが正しいと思うから、
物の端には、あくまでも定規の1を合わせたいんだけど、
そうして読んだ値は、みんなの値と合わないので、
1を引いて補正しているということらしい。

色々話をしていると、
この子は、1から始まるもの(ものの個数、日付、本のページ等のように、
最初の1単位に1という名称を与えて、そこから2,3,4と数えるもの)と、
0から始まって1単位進んだところを1とするもの(定規、時計等のように、
1単位分の終りに1という値が書かれて、次の1単位の終わりが2となるもの)が、
混乱しているらしいんだ。
特に時計の話なんかするとちょっとおびえている感じもした。

この子にちゃんとわかってもらうのに、何日かけたかなぁ。
なつかしい思い出。でもこんな感じの子、案外いるよ。
»195の趣旨とはちょっと違うかもしれないけどね。

”

- [数学板] 【はじき】大人のための算数・数学２【みはじ】
http://science6.2ch.net/test/read.cgi/math/1234335366/

リアリティっていう言葉

Thu, 14 May 2009 09:36:06 -0400

t33f:「簡単なので読者の演習問題とする」的な記述があって、それが自分の手ですらすらできないときは、ほとんど何も理解していないと思うことにしている。一度戻るかそのまま進むかは状況による。 [http://twitter.com/t33f/statuses/1794675927]
t33f:本には当たり前であるかのようにさらっと証明なしで書いてあることが、自力で当たり前のように証明できないときは、関連する諸概念にリアリティを感じられないときではないだろうか [http://twitter.com/t33f/statuses/1794700822]
t33f:「ほにゃららにリアリティを感じられるようになる」っていう表現を最近思いついて、これは前から僕がどう表現したらいいのかわからないでいた感覚の比較的いい近似なのではないかと思っている。 [http://twitter.com/t33f/statuses/1794738054]
t33f:概念が自分の自由に扱えるものになったような感覚のこと。今までは「理解する」とか「見につく」ぐらいしか思いつかなかったんだけど、それに比べるとずいぶんましな表現に思える。まあどれくらいの人に共感してもらえるかは不明だけど。 [http://twitter.com/t33f/statuses/1794752466]
t33f:ずいぶん前に「虚数が存在するのと同様に、宇宙人や未来人や幽霊や妖怪や超能力者も存在する」というようなことを呟いた記憶があるけど、この「ほにゃららは存在する」は「ほにゃららにリアリティを感じることができる」と言い換えられそうだ [http://twitter.com/t33f/statuses/1794767170]

"815 [2009/05/11(月) 23:41:45] １３２人目の素数さん何かの本を自分が読めるかどうか聞く人はたいてい読めない"

Tue, 12 May 2009 07:26:00 -0400

“

815 [2009/05/11(月) 23:41:45] １３２人目の素数さん

何かの本を自分が読めるかどうか聞く人は
たいてい読めない

”

- [数学板] 数学基礎論の質問スレッドその4
http://science6.2ch.net/test/read.cgi/math/1207899938/

いぷしろん・でるた

Fri, 08 May 2009 09:50:27 -0400

ranha:ε-δ論法の奥深い(それこそ歴史的背景、無限大や無限小と、実数が絡む様な)話を書いてくれているサイトは無いものかなー [http://twitter.com/ranha/statuses/1727818187]
Cryolite:実数は，一見人当たりがよさそうに見えて，付き合えば付き合うほどその取っ付きづらさに辟易するタイプ，というのが個人的な評価．簡単に言うとデレツン． [http://twitter.com/Cryolite/statuses/1727872562]
t33f:大学入って、ε-δとかに苦労させられながらも実数とか連続関数とかの感覚がようやく身についてきて、二年ぐらい経ってこいつら実はまともな奴らじゃないかと思い始めたところで高木関数あたりに裏切られるとか。 [http://twitter.com/t33f/statuses/1727961562]
Cryolite:なんつーか，個人的に「実数とは何か」という質問に対する答えをいろいろ考えた結果，一番しっくりきたのは「コーシー列の極限を取るという演算に対して閉じた体系」なんだけどどーにゃんだろー． [http://twitter.com/Cryolite/statuses/1728005965]
t33f:実数体 = 有理コーシー列の環/0に収束する有理コーシー列のなす極大イデアルが好きだが、これだけだと位相が見えない。たぶん僕が位相環とかまともに勉強してないだけだけど。 [http://twitter.com/t33f/statuses/1728064657]
Cryolite:極限を取るという操作（微分・積分）の重要性（特に積分・求積は卑近な動機付けがあるし歴史的にも数千年の積み重ねがある）を熱弁 -> だとすると，その極限操作に対して閉じた体系が欲しくないですか？（ここは数学的感覚がないと納得されにくいかも） -> それが実数です [http://twitter.com/Cryolite/statuses/1728064788]
Cryolite:この流れで，実数とは何か，の感覚を理解してもらうってのはどうかにゃー．ないかにゃー． [http://twitter.com/Cryolite/statuses/1728071980]
ranha:数列の収束の所で出てくる ∀(ε > 0) ∈ R, ∃N . n > N -> |An - α | < ε の εは0より大きい限り無く0に小さい実数を意味したいに過ぎないわけで、なんかそれを遠回しにそれを含む集合みたく書く所とかも含めて胡散臭いみたいな話をしてる [http://twitter.com/ranha/statuses/1728075697]
Cryolite:デデキントの切断 (デデキントが出てきんとっ！) は(四則)演算がパッと見えないのがすごい嫌いなんだけれど，俺だけかにゃー． [http://twitter.com/Cryolite/statuses/1728132844]
Cryolite:@ranha そういう「『無限に小さい実数』をεと置いているのだ」という感覚がある限りは， ε-δ 論法の気持ちがあんまり伝わってない気がしまふ． [http://twitter.com/Cryolite/statuses/1728161020]
Cryolite:かと言って，何か気の利いた説明が出来るわけでもないしにゃー． GNUNU... [http://twitter.com/Cryolite/statuses/1728172578]
ranha:いやなんかもう全部胡散臭いんだけど　自然数Nを選べば良い　みたいな。全然構成的じゃない。そんなのだったら、最初っから証明を証明集合の中から引っ張って来たら良いんじゃないのみたいな。エネルギーが違うの? [http://twitter.com/ranha/statuses/1728191593]
ranha:@Cryolite うーん... 私が残念な子なのは分かるんですが、ちょっと頑張ってる残念な子になりたいので、気の利いた説明を書いてくれてそーな感じのサイトって無いものですかねー。このままだと大変な事に [http://twitter.com/ranha/statuses/1728224208]
ranha:限りなく0に近い0より大きい数そのものを表すんじゃなくて、正数を使って云々やってる所はなかなか良さそうな気がするものの、そういう事じゃないんだろうな [http://twitter.com/ranha/statuses/1728243425]
tri_iro:僕も実数を極大イデアル、あるいは、おんなじことだけど、有理コーシー列の近似度合いで順序入れて半順序集合の極大フィルターと考えるのが好きだけど、それだと実数っていうかカントール空間 [http://twitter.com/tri_iro/statuses/1728258779]
Cryolite:「限りなく小さい実数云々」とは言えないので（そんな実数は存在しない），代わりに「どんな正の実数持ってきても勝てない．＼やべぇ／」という，上手いというか逃げてるというか・・・・・・上手く説明できないということは俺も理解できてないんだろーにゃー． [http://twitter.com/Cryolite/statuses/1728260066]
2bbb:ε-δ は何だろう, やってるうちに突然理解が来た感じがする. 『「言葉」でなく「心」で理解できたッ！』って感じかな. 1の次の数は2, っていうくらい説明が出来ない感じで当然になった. そして相変わらず説明は出来ない. (CurryWiki http://is.gd/rgII [http://twitter.com/2bbb/statuses/1728298832]
Cryolite:@ranha それはむしろ私が知りたいですにゃー．私も昔，そういうのが無いかかなりいろいろ探して結局見つけることができなかった子なので． [http://twitter.com/Cryolite/statuses/1728308311]
ranha:Nを選べば良いとか凄いことやってるくせに、その様な証明を選べば良い。そのような証明が無かったのならばこの命題が成り立たない、はさせてくれない。絶対におかしい。でも単位を取らないと行けないという現実において、この世界でやっていかなければならない。悲しい。胃液が出る [http://twitter.com/ranha/statuses/1728321064]
2bbb:あと, うちに新しく来た工学部出身の教授は一年生の微積でε-δ/ε-Nをやるときに, δやNをδ(ε), N(ε)として求めさせる. 大変そうだなーと思って見ながらも, 理解や力の付き方としてはやると良い事だと思う. 俺はもうやりたくないけど！ [http://twitter.com/2bbb/statuses/1728355863]
Cryolite:っていうか， ε-δ (ε-N0) 自体は別に実数に固有の論法じゃない気がするけれどどーなんだろー．有理数に収束する有理数列に収束っぽいものを定義しようとしても，結局あーなる気がする． [http://twitter.com/Cryolite/statuses/1728355911]
t33f:(1) いくらでも近づく (2) 遠ざからないの二点を区別して考えたらどうだろうか。見通しがよくならないかな？ [http://twitter.com/t33f/statuses/1728374934]
tri_iro:構成的な思考に慣れ親しんだ人にとっては、∀∃-型の話が気持ち悪いのだろうなあ、とは確かに思う。 [http://twitter.com/tri_iro/statuses/1728380141]
Cryolite:@ranha いや，「そのような証明が無かったのならばこの命題が成り立たない」はさせてくれないことないと思いますよ．無いことの証明は概して困難を極めるだけの話だと思います． [http://twitter.com/Cryolite/statuses/1728389557]
Cryolite:@2bbb あり？この手の証明って一通りやらないんですかね？ [http://twitter.com/Cryolite/statuses/1728403617]
tri_iro:ε に対して何かを満たす δ が存在することは保証できる。でも、 ε から δ を見つける方法は一般には存在しない。 [http://twitter.com/tri_iro/statuses/1728418177]
tri_iro:任意のプログラム P に対して、停止するor停止しないのどちらかであるかは保証できる。でも、プログラム P が停止するか停止しないかを判定する方法は一般は存在しない。 [http://twitter.com/tri_iro/statuses/1728425475]
2bbb:@Cryolite 大学のレベルに依ると思いますよ. 俺が受けてた頃のうちの大学のカリキュラムではε-δはそこまでガリガリやってませんでしたね. ε/2で納めてそれが二つだからεで抑えれますね, 程度の話はしてたけど. (CurryWiki http://is.gd/rgII [http://twitter.com/2bbb/statuses/1728427266]
2bbb:つうか, うちの大学とか群論必須じゃないからね. 俺等が学部の頃は代数系で卒論書く奴ですら群論の講義取らずに卒業出来てたからね. (CurryWiki http://is.gd/rgII [http://twitter.com/2bbb/statuses/1728438689]
tri_iro:なんかTL上の話題とはずれたことを言った気がする！　……まあ、いいや。 [http://twitter.com/tri_iro/statuses/1728444767]
ranha:@tri_iro ああああー　凄いピンと来ました。 [http://twitter.com/ranha/statuses/1728449691]
Cryolite:@2bbb 証明の最初のほうでε使っていたら，証明の最後が3εで抑えられる形でとても気に食わないので，証明の最初をε/3に書き直してやりなおすんですね．分かります． [http://twitter.com/Cryolite/statuses/1728464647]
2bbb:@Cryolite そそ. その程度の内容だった. そして学部入り立ての講義をさぼってばっかりだった俺はそれすら落として再履したw (CurryWiki http://is.gd/rgII [http://twitter.com/2bbb/statuses/1728472591]
2bbb:@tri_iro そんなことないっすよ！俺はとても共感した！ (CurryWiki http://is.gd/rgII [http://twitter.com/2bbb/statuses/1728478857]
tri_iro:@ranha @2bbb おおー、なんかよく分からないけど、役に立てたようで良かったです。 [http://twitter.com/tri_iro/statuses/1728501115]
anojun:むしろそれ以外の実数体の定義をしらない。。。あんまり興味も湧かないけど。 [http://twitter.com/anojun/statuses/1728542627]
tri_iro:あ、今の話とは全然関係ないけど、6個前くらいの呟きで他人の発言をちゃんと読まずに勘違い発言してたことに気づきました。すいません。 [http://twitter.com/tri_iro/statuses/1728543712]
tri_iro:最近だいぶカントール空間思考に染まっていたのでリハビリしよう。 [http://twitter.com/tri_iro/statuses/1728571927]
t33f:収束した様子 [http://twitter.com/t33f/statuses/1728594488]
2bbb:δ(ε)が求まったんですね. (CurryWiki http://is.gd/rgII [http://twitter.com/2bbb/statuses/1728605492]

Untitled

"C takes the point of view that the programmer is always right."

脳内彼女の存在形態いろいろ

エラトステネスの篩

才能って何なんだろうなー

"047 [2008/09/18(木) 18:08:08 ID:63Hg8WUi] ドラダイです。（０＿０） 今はもうそんな事しないけど友達の家にお邪魔すると必ず包丁を見せてもらってた。 (..."

"022 [2008/09/14(日) 18:58:37 ID:cMqXQe4B] 名前なカッター(ノ∀｀) 研いだあと恒例の新聞紙試し切り。 以前はビリビリだったのがスパスパスパスパ切れる。..."

ゲームと現実の違いに気付いたとき

呼び名

"砂糖シロップ： 水砂糖シロップ（ロングドリンクでは、他）を使用する5分、クールで保存瓶の中で沸騰させる いくつかの成果を十分に洗浄し、砂糖水に溶ける少し沸騰角砂糖と格子。 そしてクール。 このソリュー..."