December 2011
1 post
2011年の発言から
@t33f: ひらがなだけで できた ぶんしょうを みると さいしょと さいごの もじしか あってない のではないかと うたがってしまう 2011-01-27 22:02:57 via twmode http://twitter.com/t33f/status/30611718828724224 @t33f: 部分点ってなんですかね。点とはそれ以上分割できないものではなかつたか。 2011-02-04 00:26:35 via twmode http://twitter.com/t33f/status/33184583147069440 @t33f: 能ある Lisper は括弧を隠すといってですね 2011-02-21 20:55:23 via twmode http://twitter.com/t33f/status/39654411139547136...
October 2010
1 post
“ソフトウェアを書くにあたってプログラマーとしての経験が教えてくれたいくつかのことがあります。コードを書くことについて、人々が驚き意外に思うことをいくつかここに紹介...”
– プログラミングについてあまり知られていない７つのこと: とみー (via monoqlo)
September 2010
1 post
June 2010
1 post
May 2010
1 post
三語作文「数学」「ドラッグ」「長門有希」
「例えばね」彼はいう。「数学には，複素数というのがあるだろう」彼の話の始まりは，いつも唐突である。「あれを，存在しない数なんていう人もいるけどね，そんなことはないと思う。確かに触れることのできる，あるいは直接目で見ることのできる実体をもつようなものじゃないかもしれない。でも数っていうのは，そういうあり方を期待するべきものじゃない。概念っていうのは，みんなそういうものなんじゃないかな」そんなような話は，何度となく聞いている気がする。彼はこういう話が好きである。「触れることができなくても，複素数はきちんと存在してる。僕は複素数には確かに存在感があると感じるし，それは数学を少しやった者ならみんなある程度共有している感覚だと思ってる」そんなことを話す彼は，いつものように楽しそうである。「別にそれは，数学に限ったことじゃないんだ。卑近な例を出すと，長門有希って知ってるかな」突然話が変わる。「あれだって...
April 2010
2 posts
二十分作文
※文体診断 http://logoon.org/ に食わせるために書いていたらいつの間にか二十分作文になっていたもの
文体診断をやってみたくなったので文章を書いてみることにした。前に書いた文章で適当なものがどこかに眠っていれば，それを掘り起こしてきてもいいのだが，まとまった長さでこの手の用途に合いそうなものがあまり思い当たらない。日記なんかはだいたいどれも技術的で専門用語だらけだし英語交じりなので，普通の日本語として分析するであろうツールに食わせても仕方がないような気がしたりする。twitter のログなんかはあまりにもつながりがなさ過ぎて，量はあるけれども並べたところで文章の体をなしていないので適切ではないような気がする。そういうわけで，無難な文章をこの場でさっと書いてしまったほうが，昔の存在するかどうかもわからない文章を掘り起こそうと頑張るよりもよいに違いないと思うわけだ。...
非実在有害図書 (内田樹の研究室) →
February 2010
1 post
“908 [2010/02/02(火) 08:28:50] １３２人目の素数さん
»871
極論言いますよ。
...”
– [数学板] 数学基礎論の質問スレッド その5 http://science6.2ch.net/test/read.cgi/math/1244375946/
January 2010
1 post
“866 [2010/01/30(土) 12:56:55] １３２人目の素数さん
理論Tでのφの証明とかと関係無しに
...”
– [数学板] 数学基礎論の質問スレッド その5 http://science6.2ch.net/test/read.cgi/math/1244375946/
November 2009
4 posts
“C takes the point of view that the programmer is always right.”
– Michael DeCorte
脳内彼女の存在形態いろいろ
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]
1 tag
エラトステネスの篩
二分で書いた。わざと一行に詰め込んだのは認めるが、ゴルフするつもりはなかった。
(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)))))
才能って何なんだろうなー
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]
October 2009
2 posts
“047 [2008/09/18(木) 18:08:08 ID:63Hg8WUi] ドラダイです。（０＿０）
...”
– [刃物板] 刃物オタにありがちなこと http://gimpo.2ch.net/test/read.cgi/knife/1221061415/
“022 [2008/09/14(日) 18:58:37 ID:cMqXQe4B] 名前なカッター(ノ∀｀)
研いだあと恒例の新聞紙試し切り。
...”
– [刃物板] 刃物オタにありがちなこと http://gimpo.2ch.net/test/read.cgi/knife/1221061415/
September 2009
1 post
ゲームと現実の違いに気付いたとき
小さい頃、具体的には小学校二年か三年の頃、ヒットポイントは生物の強さを示す指標の一種として科学的に認められた存在であると思っていた。また、それは何らかの自分にはおそらく分からないが科学的な手法で測定可能なものなのだろうとも思っていた。さらに、実際に様々な生物に対してそうした測定がなされているものらしいと思っていた。 というのも、周りの友人が「実は普通の人間の HP は 1 にも満たないほど少ない」とか「世界で最も高い HP をもつ人間のそれは 3 である」とか「鯨の HP は 6 である」とか、そんなようなことを僕に教えてくれて、疑うということを知らなかったらしい当時の僕はそれを信じてしまったからである。そのような言説が出てくるからには、前記のようなことがらが客観的事実として知られていて然るべきだ。もっとも、意識的にそのような推論をした記憶はないのだが。...
August 2009
1 post
1 tag
呼び名
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]
July 2009
3 posts
“砂糖シロップ：
水砂糖シロップ（ロングドリンクでは、他）を使用する5分、クールで保存瓶の中で沸騰させる
...”
– 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
June 2009
4 posts
“346 [2009/06/22(月) 17:30:51] デフォルトの名無しさん
みなさん、レスどもです。理解するまでやってみます・・・
...”
– [プログラム板] 【入門】Common Lisp その６【質問よろず】 http://pc12.2ch.net/test/read.cgi/tech/1234884136/
“235 [2009/06/17(水) 00:02:57] １３２人目の素数さん
1÷0.5=2
...”
– [数学板] 【はじき】大人のための算数・数学 ２【みはじ】 http://science6.2ch.net/test/read.cgi/math/1234335366/
“414 [2009/06/10(水) 06:58:05] デフォルトの名無しさん
最近楽譜見るとダカーポやセーニョダルセーニョが
...”
– [プログラム板] Lisp Scheme Part26 http://pc12.2ch.net/test/read.cgi/tech/1240567959/
“431 [2009/06/04(木) 09:43:30 ID:BUWMagKN0] 名無しさん＠お腹いっぱい。
定理は証明するもの。
...”
– [情報学板] 計算機科学の質問はここでしろ！ http://science6.2ch.net/test/read.cgi/informatics/1156070169/
May 2009
6 posts
萌えない問題
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だが
割合が苦手というのもあるんですねえ。
僕は小学校の時
...”
– [数学板] 【はじき】大人のための算数・数学 ２【みはじ】 http://science6.2ch.net/test/read.cgi/math/1234335366/
リアリティっていう言葉
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] １３２人目の素数さん
何かの本を自分が読めるかどうか聞く人は
たいてい読めない”
– [数学板] 数学基礎論の質問スレッド その4 http://science6.2ch.net/test/read.cgi/math/1207899938/
いぷしろん・でるた
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]
“007 [2009/05/05(火) 19:51:34] １３２人目の素数さん
...”
– [数学板] 猿レベルの人間に数学Ｐart6 http://science6.2ch.net/test/read.cgi/math/1241509655/
April 2009
2 posts
how to study math
t33f: 数学の勉強法だそうな。七割ぐらい同意。疑問なのは、これを本人の意図通りに理解できる人がどれくらいいるのかなーということ http://tinyurl.com/dmjao5 [http://twitter.com/t33f/statuses/1557896282]
knenet: １、定義、定理、解き方を覚える→無理＼(^o^)／ [http://twitter.com/knenet/statuses/1557900326]
t33f: 「覚える」という言葉は不用意に使うと正しく伝わらない恐れがあると思うんだな。だから誤解を生まないかと気になる [http://twitter.com/t33f/statuses/1557902126]
t33f: 基本的には川東先生メソッドだと思うので、数学専攻してる人間にとってはある程度広く知られたやり刀のではないかと思う。ただ、少し違うのは「まだ完璧じゃなくてもとりあえず進め」というところか [http://twitter.com/t33f/statuses/1557906666]
knenet: まあ数学にかぎらんことだけどね [http://twitter.com/knenet/statuses/1557913045]
t33f: あとは、一つの本を読んでわからなかったら他の本も読んでみるとか、僕はやらなかったけどいいかもしれない。理解してる人から見たら「どれも本質的に同じ議論だよ」となるのだけど、切り口が少し違うものを複数あたることは学習の助けにはなるんじゃないかと思う。 [http://twitter.com/t33f/statuses/1557915821]
knenet: わかんなくて進めないっていうのはまずい。身を以て実感してる（ぉ [http://twitter.com/knenet/statuses/1557920422]
t33f: さっき河東先生の感じを間違えていた。ごめんなさいごめんなさい [http://twitter.com/t33f/statuses/1557923713]
t33f: 何度か貼ったことがあるかもしれないけど、参考リンク。セミナーの準備のしかたについて http://tinyurl.com/5w638n [http://twitter.com/t33f/statuses/1557927651]
t33f: セミナーの場合は当日までに担当の部分を理解しておかなければならないから、「とりあえず先に進める」という手段は必ずしもとれないのだけど。 [http://twitter.com/t33f/statuses/1557931390]
t33f: 僕は半期分の輪読のテキストに最初の二日で一応目を通して、それから細かい部分を読みに行ったことがある。これは大成功だった。すべての本でそれがうまく行くとは思わないけど。 [http://twitter.com/t33f/statuses/1557936606]
knenet: わけが分からなくてもとにかく進めるっていうのは何でも有効で、格闘ゲームで強くなれるときは大抵そういう風に進めてる。 [http://twitter.com/knenet/statuses/1557939941]
knenet: がむしゃらにやりまくるのと理論を暗記していくのを平行してやることが良いのかな。 [http://twitter.com/knenet/statuses/1557943624]
t33f: ただ、どういうやり方をするかは目的によって使い分けられるべきものなんだよなー。僕の場合は高校生の頃は楽しむことが数学をやる目的のすべてだった。だから解けない問題は何日でも考えたし、それは間違いではなかったと思う。 [http://twitter.com/t33f/statuses/1557956635]
knenet: 余り考え込まない方が“身”につくというわけだな。 [http://twitter.com/knenet/statuses/1558064540]
t33f: さっきの数学の勉強法の話をたんぶった。しかしまだ呟き足りない何かが残っている [http://twitter.com/t33f/statuses/1558098801]
t33f: 定義や定理は努力して覚えるものではなくて、忘れるたびに参照して、使われ方が見えてくるにつれてそれが必然性を帯びてくるものであって、そうなれば覚える覚えないなどと言うまでもなく頭に入ってしまうものではないのか。 [http://twitter.com/t33f/statuses/1558112338]
t33f: まあいくら馴染んでいても覚えられないものはあるだろうけど、そういうのは覚えてなくても許されるべきだし、まともな教員はそれを覚えていない学生を dis ったりしないだろうと思う。 [http://twitter.com/t33f/statuses/1558117905]
t33f: 諸々の定理が使えるための細かい条件なんて全部覚えてないし、覚えてる必要もない。本を見れば書いてあるし、理解していれば必要な条件は求められれば自力で再構成できる。 [http://twitter.com/t33f/statuses/1558125307]
t33f: だってその定理を証明しようとすれば「ああこの条件がいるんだな」というのが自然に出てくるから [http://twitter.com/t33f/statuses/1558127889]
t33f: 理解しても覚えられない例: 群の圏から集合の圏への忘却関手って右随伴だっけ左随伴だっけ [http://twitter.com/t33f/statuses/1558138164]
“879 [2009/03/01(日) 14:04:44] デフォルトの名無しさん
我が輩は関数である。名前はまだ無い。
...”
– [プログラム板] 関数型言語ML(SML, OCaml, etc.), Part 5 http://pc12.2ch.net/test/read.cgi/tech/1186292994/
February 2009
9 posts
n_enot: 自分はそれほどあたまがよくないと口では言う割に、自分はバカではないと思いたがっている。 [http://twitter.com/n_enot/statuses/1261787385]
n_enot: ああ、相変わらず私の物言いは不特定多数に向けているようで誤解を招きますね。反省します。 [http://twitter.com/n_enot/statuses/1261789567]
goodmad: @n_enot ちなみに哲学道場はインプットの場じゃなくてアウトプットの場なので、n_enotさんが考えたことを発表したりしてもらうほうがうれしいですよ [http://twitter.com/goodmad/statuses/1261791761]
n_enot: @goodmad んにゃ、私はそんなたいそうなものじゃありませんよ。不勉強です。 [http://twitter.com/n_enot/statuses/1261794246]
n_enot: 今ひとつ自分のキャラクターを把握しかねているなう [http://twitter.com/n_enot/statuses/1261799267]
t33f: 自分はまだまだだと思ってアウトプットしないでいるのもよくないのだと気付いたときには、僕はもうかなり出遅れていた [http://twitter.com/t33f/statuses/1261809097]
t33f: 勉強不足は誰だって同じで、それを気にするか気にしないかの方が問題なんだろうという気が、今はしている [http://twitter.com/t33f/statuses/1261810565]
n_enot: @t33f 要は、勇気が無いんでしょ？、なんて言われてしまうわけですね [http://twitter.com/n_enot/statuses/1261814339]
n_enot: 行動意欲かそれに準ずるものが多少不足しているとは思う。お勉強なこと以外でも、趣味的なことでも。リソースは有限かー [http://twitter.com/n_enot/statuses/1261816906]
t33f: @n_enot 簡単に言うとそういうことなのかもしれませんね。勇気、ってなんだか僕には実態のはっきりしない言葉ですけども。 [http://twitter.com/t33f/statuses/1261818485]
t33f: 僕は以前、外に向けて発信するに値するものなんか自分は持っていない、って信じてた。だから学部で卒論とかどうやったら書けるんだ、と本気でわからなかった。僕は卒論なかったから、その認識が修正される機会が学部のうちにもてなかった [http://twitter.com/t33f/statuses/1261821321]
t33f: 今は、発表するに値するんだって(僕のかつて思っていた意味で)言いきれるものなんか、持ってる人はほとんどいないんだと思っている。持っていないけど、もしかしたら誰かが評価してくれるかもしれない、ぐらいのものが世の中の大半を占めているんじゃないか。 [http://twitter.com/t33f/statuses/1261824151]
n_enot: @t33f はっきりしないから「要は、勇気が無いんでしょ？」なんて言葉が転用しやすいんですけどね。「井の中の蛙やってないで評価に晒されろ」、の方が合ってますかね [http://twitter.com/n_enot/statuses/1261824416]
t33f: 「もしかしたら」に届かないものも数多くあるのかもしれないな。あるいは評価してくれる「誰か」があんまり信用ならないような人だったりとか。まあそれは別の問題 [http://twitter.com/t33f/statuses/1261825948]
“「人生ってやつは、一度選択肢から外したら二度と選べない道があると思わないか？」”
– http://blog.livedoor.jp/goldennews/archives/51218696.html
要は、勇気がないんでしょ？ →
“155 [2009/02/06(金) 20:07:42 ID:AysDam9x] マジレスさん
このスレに来てるような人と付き合い隊
156...”
– [人生相談板] ▲会話下手・対人苦手・人見知り 29▲ http://gimpo.2ch.net/test/read.cgi/jinsei/1233400131/
一次素数生成多項式の非存在
定理: f(x) を最高次の係数が正である一次以上の整数係数多項式とする。このとき適当な自然数 n に対して f(n) は 1 より大きい合成数となる。
補題1: f(f(n)+n) は f(n) の整数倍である。 証明: 二項展開するとわかる。
補題2: f(n), f(f(n)+n) がともに 1 より大きくなる n が存在する。 証明: 最高次の係数が正なので、十分大きい自然数 N をとれば n > N ⇒ f(n) > 1 となる。さらに、この N に対して十分大きい自然数 M をとれば n > M ⇒ f(n) > N となる。この M を n としてとればよい。 ——- 要するに、超大きい n をとると f(f(n)+n) は 1 より大きい合成数になるよ！
“839 [2009/02/01(日) 21:15:25] １３２人目の素数さん
和田秀樹氏らが指摘するように、
...”
– [数学板] 【苦手】大人のための算数・数学【克服】 http://science6.2ch.net/test/read.cgi/math/1172609253/
やる夫で学ぶフェルマーの最終定理 【後編】 →
やる夫で学ぶフェルマーの最終定理 【中編】 →
やる夫で学ぶフェルマーの最終定理 【前編】 →
January 2009
3 posts
“498 [2009/01/25(日) 17:18:11] １３２人目の素数さん
国語のほうがイミフだから文型の人はすごいと思う
500...”
– [数学板] 数学得意な人から見て苦手な人ってどう映る？ http://science6.2ch.net/test/read.cgi/math/1109729572/
正しさって二種類あるんじゃね、とか
t33f: 今朝考えたことをこれから思い出しつつタイムラインに流すなどしてみる [http://twitter.com/t33f/statuses/1152111132]
t33f: 「数学は正しい正しくないがはっきりしてるけど、例えば芸術はそうではない」などと言われるけど、それは正しいだろうか、というようなこと。 [http://twitter.com/t33f/statuses/1152112697]
t33f: 数学においてはっきりしているという正しさとは、おそらくあらかじめ決められたルールに従っているかどうかという種類の正しさだろうと思う [http://twitter.com/t33f/statuses/1152117688]
t33f: 一方、芸術においては存在しないという正しさとは、どのような性質のものだろうか。先の、数学がもつとされる正しさとは質の違うものではないか、ということをふと考えたのだった。 [http://twitter.com/t33f/statuses/1152125334]
t33f: 芸術において存在しないと言われるところの正しさは、適切な言い方かどうか分からないが、普遍的な合目的性とでもいうようなものかもしれない。こう言うと少し大げさすぎる気もする。 [http://twitter.com/t33f/statuses/1152137473]
t33f: あるいはもう少し分かりやすく、人はこう言うかもしれない。「数学には正解があるけど、芸術にはない」 それは少しだけ正しいかもしれない。 [http://twitter.com/t33f/statuses/1152146329]
t33f: 僕が思うに、数学にも芸術にもスポーツにも、その他のいろんなことにも、正しさの存在する部分としない部分があるのではないか。芸術にもスポーツにも明るくないから予想だけど。 [http://twitter.com/t33f/statuses/1152159374]
t33f: で、たまたま、かどうかは知らないけど現実として、学校では数学を含む主要教科などと呼ばれる分野に関しては主に正しさの決まる部分を教え、美術や体育、音楽では基本的にそういう部分を教えない。 [http://twitter.com/t33f/statuses/1152165022]
t33f: 例えば極端な例だけど、野球で右打ちの打者が右手を下にしてバット握ったらそれは間違ってると言われるだろう。数学で 1+1=3 と計算したら、やはりこれもそれは間違いだと言われるだろう。 [http://twitter.com/t33f/statuses/1152174626]
t33f: 今の例は論点を全く補強していない気がするが。 [http://twitter.com/t33f/statuses/1152175475]
at_akada: 数学における「計算」に相当するものって他の分野だと何なのだろう、などと思う。正しい体の動かし方とかなのかな。 [http://twitter.com/at_akada/statuses/1152176753]
necocen: 中学の体育教師は、初回の授業で「1+1=5」と黒板に書いて、なんか人生の教訓みたいなのをしゃべっていたのをぼんやりと覚えている [http://twitter.com/necocen/statuses/1152177195]
necocen: でまぁ、激しい受験戦争を経てきた一年生たちは、どんなすばらしい話が飛び出すのだろうと神妙な顔をして聴いていたのだが、結局つまらない話だったのをぼんやりと覚えている [http://twitter.com/necocen/statuses/1152181515]
t33f: @at_akada 僕はそんなイメージです。「普通の数学で正しい(とされる)こと」と「各競技における基本動作」が近い関係にあるような感じ。 [http://twitter.com/t33f/statuses/1152189427]
bluesy_k: 言葉だと文法的に正しい文の生成が計算に相当すると思ってる。 [http://twitter.com/bluesy_k/statuses/1152192447]
bluesy_k: いや意味論も含めるべきか。まあとにかく正しい文。 [http://twitter.com/bluesy_k/statuses/1152193764]
at_akada: @t33f その2つはそんなに遠くない気がしますね。中高などのレベルで数学は正しい／正しくないがはっきりしていると言われるのは、自分で何かを発見していくような領域まで進まないからではないでしょうか。 [http://twitter.com/at_akada/statuses/1152199042]
t33f: 数学の諸々の定義と言語の文法も気分的に対応するような感じがする。面白いことに、言語学においては実際に使われている言語が絶対であって、文法が現実に合わないならそれは文法が間違っていることになる(らしい) [http://twitter.com/t33f/statuses/1152200978]
t33f: @at_akada そうですそうです。いつも正しいものが与えられるだけなので、正しいかどうか分からないものの存在を知る機会がないと思うのです。 [http://twitter.com/t33f/statuses/1152203541]
t33f: 公理が現実に合わなければ、それは公理が正しくないんだよ、と。こうなると数学が自然科学に見えてくるかもしれない。 [http://twitter.com/t33f/statuses/1152207191]
t33f: ここでいう「正しくない」は学校数学的な意味ではないほうの正しさについての言及。適切さといったほうがいいのかもしれない。 [http://twitter.com/t33f/statuses/1152210389]
t33f: ここで最初のほうで出した普遍的な合目的性という言葉に繋がるな [http://twitter.com/t33f/statuses/1152213609]
t33f: 書道苦手だったけど、きっと基本的な筆の使い方を知らないままやってたせいなんだろうなあ。絵も苦手だったけど、きっとどうやって描けばいいのか分からないまま手を動かしてたからなんだろうなあ。などと高校出た後で思うようになった。 [http://twitter.com/t33f/statuses/1152231531]
やるおで学ぶ卒業論文の書き方（文系編） →
December 2008
2 posts
The Axiom of Choice is Wrong →
“大学院人材の魅力は高度な専門知識ではなく、研究を通じて身につけた多分野に応用可能な「探求能力＋社会貢献への熱意」にあります”
– http://www.d-f-s.biz/employers/index.html
November 2008
3 posts
Project Euler Problem 41
primes 1 10000000 | grep 1 | grep 2 | grep 3 | grep 4 | grep 5 | grep 6 | grep 7 | tail -n 1
「彼氏が○○してた。別れたい･･･」ネタは何故流行ったのか？ →
“私は生まれてこの方、「美しい」どころか、（他人はもちろん自分でも）後から読めるようなノートをとったことがありません（中学・高校・大学時代も現在も）。私が知る限り、...”
– http://d.hatena.ne.jp/sumii/20081102/p1
October 2008
1 post
本命とか滑り止めとか勝手に言ってるけど... →