Untitled RSS

Archive

Jul
14th
Tue
permalink
via image.blog.livedoor.jp
そういえば、昔のゲーマーはどんなゲームでもどうにかして楽しんでやろうという心を持っていたというイメージがある

via image.blog.livedoor.jp

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

Jun
24th
Wed
permalink

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 その6【質問よろず】
http://pc12.2ch.net/test/read.cgi/tech/1234884136/
Jun
17th
Wed
permalink

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

1÷0.5=2 

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

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

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

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

— [数学板] 【はじき】大人のための算数・数学 2【みはじ】
http://science6.2ch.net/test/read.cgi/math/1234335366/
Jun
10th
Wed
permalink

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

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

— [プログラム板] Lisp Scheme Part26
http://pc12.2ch.net/test/read.cgi/tech/1240567959/
Jun
4th
Thu
permalink

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

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

— [情報学板] 計算機科学の質問はここでしろ!
http://science6.2ch.net/test/read.cgi/informatics/1156070169/
May
21st
Thu
permalink

萌えない問題

  • 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]
May
17th
Sun
permalink

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

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

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

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

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

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

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

同じように

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

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

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

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

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

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

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

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

»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の趣旨とはちょっと違うかもしれないけどね。

— [数学板] 【はじき】大人のための算数・数学 2【みはじ】
http://science6.2ch.net/test/read.cgi/math/1234335366/
May
14th
Thu
permalink

リアリティっていう言葉

  • 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]
May
12th
Tue
permalink

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

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

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

いぷしろん・でるた

  • 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]