事の起こり 大分のサポの皆様、おめでとうございます。東京サポ同士が11/3に結婚したがる様に、大分人も11/1に結婚したがる様になるのかな？とかくだらないことを考えてみたり。つか11月頭に式を挙げたがるサポってすげー多いんだろうな。かなりどうでもいい…

私が高校生ぐらいの頃は、フィクション作品で小道具として使われる「数学における大予想」と言えばフェルマー予想一択だったものですが、今や時代はリーマン予想なんですね。前回の「ギャンブルフィッシュ」でリーマン予想がネタとして使われているのを見て…

卒業研究・修士研究時の悪循環を防ごう - 発声練習で、大学（院）の卒業研究/修士論文研究の最中に学生（院生）が心を病んでしまう一つのプロセスが紹介されているのですが、その中に気になる箇所がありました。 8. 学生は、質問したらこれまでの自分の努力…

妻が初回を見て面白かったと言うので２話目を一緒に見たのですが、予想以上に面白いと思いました。特番でないテレビアニメ*1を真面目に見たのってひょっとすると「セクシーコマンドー外伝 すごいよ！！マサルさん」以来ではなかろうか。で、オープニングの東…

ここ最近考えていたとある問題について、有限次元の場合には解けたけれども無限次元への拡張が上手くいかず悩みの種になっていたのですが、先日ハーン・バナッハ（Hahn-Banach）の定理を使えばよいということに気がつき*1、何とか解決できました。しかも結構…

先日部屋の時計が動かなくなり、時計の電池を入れ替えてもやはり動かないままだったので、壊れたのかと思い今日近所の時計屋に持参して相談したところ、時計屋の店員さんが電池を入れ替えただけでまた動くようになってしまいました。 店員さん曰く、私が入れ…

某シンポジウムで鬼怒川温泉に行ってきました。 今回の個人的メインイベントは夜のワークショップ。上から目線（←物理的に）で２時間近く独演してきました。いやあ、あんなに高いステージの上で講演するなんて初めての経験ですし、これからもなかなか無いん…

http://d.hatena.ne.jp/pollyanna/20081006/p1で以下の記事が紹介されてました。 http://www.asahi.com/national/update/1004/TKY200810040148.html 大学などの研究機関が女性研究者の採用を増やせば、その分の人件費を補助します――。主要国で最低の女性研究…

「技芸」に関してとんでもない誤解をされている… - くるるの数学ノートを読んで。私も件の記事のどこをどう読んだらヒエラルキー云々という話になるのか皆目見当つきませんがそれはさておき。 技芸の話 全体的に元記事に同意ですが、特に 数学自体は論理的で…

不適切画像報告の入力欄が88文字分しかないことでおなじみのGoogleストリートビューを初めて使った寿限無寿限無（中略）長助くん。自宅の画像にヤバいものが写っているのを見つけて削除依頼を試みるも、入力欄が小さすぎて名乗ることすらままならず*1、とか。…

ネットで色々調べていたら、ハーバード大に行っていた某友人O氏がいつの間にか日本の大学に帰ってきていたことを今日発見。お帰りなさい。

最近久々に数学者らしく一般次元の線型空間なるものを扱っているのですが、示したい命題について可算無限次元のあたりが天下分け目の関が原みたいになっていて、有限次元に対する性質を可算無限次元に持ち上げるか、一般次元の性質の証明を可算無限次元に帰…

２週続けて出張に行き、しかもその翌週は遅めの夏休みをとったので計３週間ほど職場を空けるという暴挙に出たため、久々に出勤した昨日は職場の最寄り駅で見事に道に迷いました。まぁそれはさておき。 名古屋 一番のお目当ての発表が直前にキャンセルされた…

出張からはしばらく前に帰ってきていたのですがそれはさておき。 今日の夜、妻が自宅のデスクトップPCを立ち上げようと電源を入れたところ、エラーメッセージが出て動かないというので様子を見に行ってみると、「GRUB」が云々という英文と「Error 17」の文字…

今ちょっと整列集合Wでランク付けされた半順序集合P（Pの中でx < yなら、Wの中で「xのランク」< 「yのランク」）について考えています。ランクを持つPの元全体を（空でないとする）と書き、以下の二つの条件 任意のについて、wがWの最大元でないなら、あるが…

「7の倍数」の判定法 - hiroyukikojimaの日記より。この判定法は寡聞にして知りませんでしたが、面白いですね。これを自力で再発見したという学生時代の某数学者がどなたなのかも興味深いですが*1。 結論からいうと、「十の位以上と一の位を切り離し、前者か…

私は今回の五輪野球を全く見ていないので星野監督の采配が実際に良かったのか悪かったのかについて語れる状態ではありません。でも、このタイミングで来年行われる第2回WBCの代表監督を星野氏に要請、という話を聞くと、「ああ、つまりWBCも4位でいいって言…

某企業の研究所に就職された大学院時代の研究室の先輩が、情報セキュリティ分野でトップクラスの某国際学会に論文を通しておられるのを今日偶然見つけました。おめでとうございます。 それにしても、うちの研究室は思いっきり純粋数学な研究室だったはずなの…

先日、池袋駅にGoogleの広告が大々的に掲げられた（問題のStreet Viewについての広告もあり）のを見て「えー、今このタイミングで広告なんて出しても逆効果なんじゃないの？」と正直感じたのですが、まぁ私も比較的「空気を読む」能力に欠けている方なのでそ…

先日、研究集会で水戸へ行ってきました。 まず、水戸駅へ着いたときの写真がこちら： 北口を出てみると、そこには私が日常的に利用している大型店のロゴが！ うわあ、久々の在来線特急で味わった旅気分が雲散霧消ですよ。 まあ、東京とそれほど街の雰囲気が…

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

とある架空の問答 「この将棋というゲームでは、持ち駒を全部捨て駒にしてでも、相手の王様を詰めることが大事なんだよ」 「そんなの、捨て駒にされた駒がかわいそうです！」 「このような、合理主義に基づいて目的達成のために無慈悲に犠牲を払う態度はホロ…

少し前の話ですが、＠JOJOによるとジョジョ百人一首の第二弾『ジョジョの奇妙な百人一首 ドゥーエ』の発売が決定したらしいです。素晴らしい。 公式サイトはこちら。トップページの動画だけでも一見の価値ありと思いますので、ぜひ。

食欲に関連するジャンルとしては料理漫画がありますし、性欲に関するものはそれこそ重ちーでも集めきれないほどたくさんあるわけですが、睡眠欲に関する漫画って何かありましたっけ。

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になってくれるというだけです！！！……というのが正しい集合論脳であります。 …

フィクションの世界によく出てくる「瞬間移動」という超能力*1って、千里眼の類の能力で移動先の様子を事前に確認できればよいですが、そうでないならアイマスクと耳栓を着けた状態で長距離を全力疾走するようなものですよね。 行った先が偶然にもジャイアン…

Google Street Viewの件ですが、こことかを読む限り、やっぱり撮影車のカメラ位置は通常目線より相当高いみたいですね*1。 つーわけで、最近は見る角度によって見えるものが変わるポスターとか作れるみたいですし、その技術を使って通常目線だと見えないけれ…

マニュアルとか色んなサイトとか見てないので、ひょっとすると「何を今更」という話なのかもしれませんが、一応。 上部中央のURLが表示される細長い部分（←名称ど忘れ）に文字を打ち込むと、その文字をアドレスに含むブックマークのリストが表示される設定に…

先日妻と一緒に某百貨店へ買い物に行き、宝飾品売り場にて燦然と輝く「ANNA SUI」の文字を堪能したりした後これから家に帰ろうかというときに、通りがかった食品売り場でイタリア風生ハムの試食販売をやっていたので店員に勧められるまま妻と一緒に試食。 店…