数学者は理論構築型と問題解決型（英語風にproblem solverと呼ぶことが多い）に大別できるとしばしば言われますが、この分類で言えば私はproblem solverだと自認していますし多分周囲からもそう思われていることでしょう。で。 なぜ人は大学に行くのだろう。…

http://d.hatena.ne.jp/uskz/20080811/p9とかhttp://d.hatena.ne.jp/uskz/20080811/p2とかで語られていることって、集合の話で考えると「A⊆BとA⊇Bを別々に示すぐらいなら、同値変形でA=Bを一度に示した方が手っ取り早くね？」ということですよね。 証明でき…

おまけ。 集合の = は⊆かつ⊇の略記 違います！集合のX=Yは、集合というオブジェクトとして等しいという意味です！！外延性の公理があるから全てのxに対してが成り立っていればX=Yになってくれるというだけです！！！……というのが正しい集合論脳であります。 …

（元ネタについては例えばこのへんとか） まあ、どのくらいの数のid:MarriageTheoremがそういう妻をゲットできるかは別にして、 「オタ研究者ではまったくないんだが、しかし自分の研究を肯定的に黙認してくれて、 その上で全く知らないid:MarriageTheoremの…

今職場の人とやっている共同研究で、物理の論文誌に論文投稿することになりそうな雰囲気が*1。 自分で言うのも何ですが、色んな分野に手を出すにも程がありますよね・・・ *1:さすがに筆頭じゃなくて共著者になると思いますが

自分の研究で、考えていた定理の証明の最後の決め手が、メネラウスの定理によってもたらされる日が来るとは思いもしませんでした。高校の数学Aの教科書なんて何年ぶりに紐解いたかなぁ。 学部生時代に幾何学の講義を受けていてトポロジー的な議論に全然馴染…

職場の某氏が自身の年齢について「秘密分散と同い年*1と言っているのを聞いてカッコいいなと思ったので、自分の産まれた年にあった数学関係の出来事を探していたのですが、どうやらKnuth教授*2がAMSのGibbs lectureでTeXについて講演したのが1978年なんだそ…

以前、とある情報セキュリティの大きな研究集会で講演を聴いていたとき、院生とおぼしき講演者が「ここで中国人剰余定理を使うと」という意味合いの部分を略して「ここで中国人を使うと」と発言していたのを目の当たりにしたときはどうしたものかと思いまし…

id:essaさんの記事「世間」を破壊した事例としての羽生世代 - アンカテで、以前書いたコメントへの返信を頂きました。ありがとうございます。 というわけで、その件について書きます。 元記事の要旨は、「羽生世代は将棋界の中で「ソシオロジー」の変革を成…

本日、発表応募していた某国際研究集会*1からアクセプト*2の通知が来ました。 まあ、比較的採択率が高め*3でその意味では敷居が低めの集会ではあるのですが、近頃アクセプト日照りだったので素直に嬉しいです。 そうそう、数学科を出て現在の職場（情報系）…

美しい数式 - 元RX-7乗りの適当な日々で紹介されていた「美しい数式」に関する動画について。 特に↓のは、もう神様のいたずらとしか思えない。美しい。 1/9801 = 0.00 01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28…

2008-07-25 - tama * fuwari : NEWS Watchingのブックマークコメント経由で知った以下の文章は、面白いのでぜひ一読されるとよいと思います。 ♀は数学が苦手か？ - 地下生活者の手遊び ♀は数学が苦手か？・補足 - 地下生活者の手遊び 数学者というのは、数学…

（少なくとも自分の職場PC（WindowsXP）では。環境依存かもしれないのでご注意下さい。） 今日（もう昨日か）、PostScriptファイル→PDF変換を含む一連の工程のためにバッチファイルを組んでいたのですが、何度試しても本来されるはずの作業が行われず、おか…

痛ンブラーは、スターバックスの「クリエイト ユア タンブラー」にアニメ絵などを入れて、スターバックスが長年築き上げてきたブランドイメージを完璧無視して自分たちで楽しもうという、たぶんそういう感じのムーブメントです。（中略）店員の女の子は、「……

先日調べ物のために出身大学へ赴いた際、帰り際に電話ボックスで電話を掛け終わったばかりの師匠*1に偶然遭遇しました。そのまましばらく研究に関するディスカッション。 いやー、偶然というのはあるものですね。スタンド使いが互いに引かれ合うというのはよ…

「Thank you for...」とだけ書かれたスライドを出しておくことによって伝えたいことは何でしょう．どうしても「Thank you for...」と出したいのならその前のスライドの一番下に1行書けばいいだけです．そうすれば最後のスライドをより長く提示しておくことが…

Szemerediのregularity lemmaを使う証明はどうも説明しづらい．Quantifier (∀や∃) が平気で7つか8つぐらい付いてくるので． 2008-07-09 - okamoto7の日記 あとは……inductive hypothesisが15個くらいあるinductionがきちんと回っていることを確認するだけです…

先日の補題の話に対して、id:shota_pubさんから 持っている本の2冊がCauchyの判定法の証明のところで証明して使ってました というブックマークコメントをいただきました。 なるほど、Cauchyの判定法はこの補題を経由しても証明できるんですね。言われてみれ…

昨日読んだ論文に以下の補題が使われていました。 有界な実数列について、任意の収束部分列が共通の値Aに収束しているならば、もとの数列自体も同じ値Aに収束する。 証明は（大学１年か２年程度の解析学を使えば）難しくはない*1ので演習や定期試験の問題に…

9月8日から9月10日まで、沖縄で組合せ論サマースクール2008を開催します。 今年は、琉球大学の前原濶先生*1、鳥取大学の石川雅雄先生に講師をお願いして、先生方の専門分野に関する入門講義をしていただきます。またそれ以外に、参加者の自己紹介を兼ねて各…

以前の記事に書いたTerada number*1について、ご本人から言及があったというタレコミを某氏から受けたのですが、本当でしょうか。いや、本当なんでしょうが、なんでそんな話になったのやら。 と、これだけでは何なので、今後どうしたらTerada numberを減らせ…

今度職場のミーティングでする予定の発表に、先日ネタにしたSophie Germain primeが登場するのですが、Germainという苗字の読み方に自信が無かったので適当に検索してみたところ、どうやら「ジェルマン」でよさそうな雰囲気です。 私は日本語以外の言語に詳…

さっきちょっとある式を不等号で評価したいなーと思ったんですよ。で、その中に出てくる(kN0+n)の階乗という部分について、かなり大雑把な下からの評価が欲しかっただけなので、シンプルに小さい方からN0個ずつkブロック（と残りの部分）に区切ってそれぞれ…

研究者の評価手法として、論文発表数や被引用数などのデータから数値的に評価するための指標はいくつか知られています。 少々極端な例ですが、以下の例を考えてみます。 ある研究者の2007年度末の業績(A)と、その研究者が2008年度に一本も論文を発表しなかっ…

例えば3と7、5と11のように、自然数pと2p+1がどちらも素数であるようなpと2p+1の組はたくさんあります*1が、小さい方pにはSophie Germain primeと人名を冠した名称があるのに対し、大きい方2p+1にはsafe primeと素気ない名称しかついていません。何となく面…

時間や〆切に追われると、つい解ける見込みが（少なくとも自分の中では）ある問題ばかりに向かってしまいがち*1ですが、本当は、解けるかどうかわからない問題に挑戦する方が解けたときの嬉しさは大きいわけです。 最近、考え始めた当初は解けると思わなかっ…

それは極めて単純明快、数学の理論に果ては無くとも、数学をやる人間の側には寿命が存在するということです。 いや、寿命などという数十年単位のものを持ち出すまでも無く、現在の教育システムを考えれば、一般教養レベルの数学を学び終えた学部3年終了時辺…

先日の簡単そうに見えて難しい問題の件で、id:okamoto7さんから教えていただいたglpkなるソフトを試してみました。 とりあえず、自分のプログラムでは1時間以上掛かっても解けなかった問題が10分ほどで解けた*1ので成功と言えるでしょう。ご教示感謝いたしま…

研究に使うためにとある問題を解くプログラムを組んでいるのですが、「整数成分のベクトルと、同じサイズの整数成分のベクトルの有限集合が与えられたとき、前者に後者の整数係数一次結合を加えて全ての成分を非負にできるか判定する」問題*1って何か良い解…

先日、講演と研究打ち合わせのために稚内の某大学*1へ出張してきました。 証拠写真： 上の写真もそうですが、稚内は日本最北の地ということで、街中のいろんなところで「日本最北」がアピールされていました。初日の昼に入った食堂で食べたメニューの名前も…