何も分からないままに望月新一氏のInter-universal理論について語ってみる 望月新一氏のABC予想証明に赤信号？ wingsさんの情報によると、望月さんのWebページが更新されているとのことで、覗いてみました。2012-10-14の日付で、次の文書が追加されています。 http://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20IV%20%28comments%29.pdf 「 [IUTchIV]論文の定理1.10に関するコメント」と題された3ページの短いノートです。 それによると、インターユニバーサル・タイヒミュラー理論IからIIIまでの論文に過ちはなく、論文IVで行った計算にも過ちはないとのことです。小さなミスを犯していたのは、IからIIIの抽象理論とIVにおける計算を繋

嫁の飯がまずいスレ行ってきたけどレベル高すぎワロタｗｗｗｗｗ Tweet 1：以下、名無しにかわりましてVIPがお送りします：：2012/10/12(金) 12:40:38.11 ID:NQkn+UMo0 水彩絵の具でつくった味噌汁を出されたけどまだ頑張れる 3：以下、名無しにかわりましてVIPがお送りします：：2012/10/12(金) 12:41:29.07 ID:e0BIi/R30 殺す気としか思えないレシピだらけ 19：以下、名無しにかわりましてVIPがお送りします：：2012/10/12(金) 12:46:39.42 ID:ra1hyuRt0 料理下手な人って味見もせずにアレンジするから不味くな え？水彩絵具？ 34：以下、名無しにかわりましてVIPがお送りします：：2012/10/12(金) 12:50:35.64 ID:NQkn+UMo0 味噌汁の味噌がなかったらしくて本だし

おもろい。たとえ方がうまいなぁ。 消え気味なのでコピペ。 155 ：・良く分かるパイプライン ：04/04/26 17:20 ID:B6tZVOSS 「おしっこをして手をあらってでてくる」。 トイレが一室しかないと混雑時は長蛇の列ができます。 1.おしっこをする 2.手を洗う。 二段のパイプにすると、手を洗ってる間に別の人が用を足せるようになります。 トイレ一室で二人が気持ちよくなれて、効率が倍になります。 もうすこし深くしてみましょう。 1.ジッパーを下げる 2.ちんちんとりだす 3.放尿する 4.しずくを切ってちんちんしまう。 5.ジッパーをあげる 6.手を洗う 7.紙を使って手をふく 7ステージに分解すると、なんと 7人が同時に処理できます。 これがパイプラインです。 156 ：・良く分かるスーパスケーラ ：04/04/26 17:21 ID:B6tZVOSS トイレの利用はおしっこ

先週の記事「何も分からないままに望月新一氏のInter-universal理論について語ってみる」で言及した IUTT-IV（Inter-universal Teichmuller Theory IV）論文における証明ですが、先ほどブログQuomodocumqueの例の記事 http://quomodocumque.wordpress.com/2012/09/03/mochizuki-on-abc/ を見ましたら、テレンス・タオがコメントを追加していました（http://quomodocumque.wordpress.com/2012/09/03/mochizuki-on-abc/#comment-10863）。 このコメントによると、証明の正しさには赤信号が灯っているようです。 MathOverflowに投稿された記事の中で、Vesselin Dimitrov が IUTT-IV の命題

九州大学のオープンキャンパスの一部として、理学部数学科では教員が多数の模擬講義を行います。また、教員や大学院生が数学や数学科に対する質問に答える相談会も開催します。数学を学ぶ楽しさと数学の広がりを体験してください。 数学で人生を豊かに 数学の能力は目に見えないものです。しかし、それはどの職業に就こうと、どの国に行こうと、いつまでも消えることなく皆さんの人生を支えてくれるものです。九州大学理学部数学科と大学院数理学府では「数学で人生を豊かに」をモットーに数学の多岐にわたる教育と研究を行っています。数学が好きな皆さん、数学に興味を持つ皆さん、ともに数学を学んで楽しみましょう。 メッセージ

組み込みソフトウェアには、さまざまなイベントに対し、その時の状態に応じた処理を行わせる必要がある。そのため「状態遷移表」を用いた設計が適している。本連載では、状態遷移表による設計手法について解説していく。 はじめに 組み込みソフトウェアには、さまざまなイベントに対し、その時の状態に応じた動作・処理をさせる必要があります。そのため、開発現場では「状態遷移表」を使った設計が行われてきました。 状態遷移表を用いた設計手法の歴史は長く、古くから“設計品質を向上させるための手法”として使用されてきました。そして、最近では検証系であるテスト手法、さらにはプロダクトライン設計手法、マルチコア環境における並列処理設計手法に対応するなど、その進化を続けています。 本連載では、この“状態遷移表による設計手法”について、以下全6回のテーマに分けてお届していきます。 状態遷移表設計手法の概要 なぜ状態遷移表を使う

朝から涼しくて気持ちいい。ようやく秋かなぁ。 読書の秋、ということで、先日仙台で購入した「性欲の科学」をようやく読了。 性欲の科学 なぜ男は「素人」に興奮し、女は「男同士」に萌えるのか 作者: オギ・オーガス,サイ・ガダム,坂東智子出版社/メーカー: CCCメディアハウス発売日: 2012/02/10メディア: 単行本購入: 2人 クリック: 81回この商品を含むブログ (22件) を見るサブカルチャーとか生物学とかそういうのを期待している人にはあまりおもしろくないかもしれないが、ウェブ (検索) 業界の人は読んでおいて損はない内容。というのも、著者の2人は機械学習・データマイニングの専門家であり、検索エンジンのウェブ検索クエリログやテキストのNグラム頻度から、インターネット上のアダルト情報の分析と性に関する分析を、詳細に行った大著だからである。注釈を辿ると、テキストデータや画像データの

このお話はたぶんフィクションです。実在の個人や企業とはあんまり関係ありません。そういうことにしろください。 10年前、20代になったばかりの頃の僕は、今思えば本当に最低な生活を送っていた。高校を中退し、実家とは疎遠で、友達もなく、金もなく、夢も希望もなく、ただバイト先と自宅を行き来するだけの毎日。いつも視界には霞がかかったようで、底の見えない空虚さだけが僕の心を支配していた。 それでも趣味らしいものはあった。オンボロマシンにRedHatを入れ、ダイヤルアップの細い回線で自宅サーバを立て、Perlでガラクタのようなプログラムを動かす。そんな子供じみた遊びだけど、プログラムを組んでいるときだけは空虚さを忘れ、画面の中に没頭できた。 ただ、そのときの僕はもうすでにいろんなものに打ちのめされていて、若者にありがちな全能感などというものは霧散していた。自分がプログラミングで何かを成すだとか、それを仕

前回、マンホールにジャストミートしてしまったアライグマの記事（参照）をお伝えしたかと思うが、今度はドイツ、ハノーバー近郊での路上で今月5日、リスがマンホールに詰まって動けなくなっているのが見つかり、警察官が出動して救助にあたったそうだ。 ソース：マンホールにリスが詰まった！ドイツ北部で救助大作戦 AFPBB News リスは警察官たちによるオリーブオイルなどの投入により、無事に救出され、解放されたそうだ。 しっぽりんこリス というニュースを受けて、ツイッターではスズメがマンホールに詰まっている画像が公開されていた。 詰まり３兄弟　Twitter / Hornet_B しっぽりんこスズメ 調べてみたところ、どうやらこのスズメは、2007年、東京都世田谷区のマンホールで詰まっていたもののようだ。近隣住民と世田谷区の水道局職員が救出作業を行い、無事救出されたという。 スズメ救出の様子がわかる映像

タスク管理することがタスクになっていませんか？ Asanaは僕の考える理想的なタスク管理システムを提供してくれました。 http://asana.com/ 僕はタスク管理にテキストファイルを使っていた 開発を始めるときは、まずテキストファイルを開いて、「何を作らなければならないか」を書き出していました。必要な作業を細分化し、優先順位を適当につけて並べ替え、後は順番にこなしていって、終わったものには印をつけていました。 「何をやらなければならないか」を可視化したいけれど、あまりそれに時間をかけたくない。 何をやるかを書きだすのに時間をかけすぎるくらいなら、直接コードを書いてしまった方が早いからです。そのためにテキストファイルは最適でした。 チーム開発することになってGoogle Docsを使うことにした チームで開発することになりました。自分にしか見えない「テキストファイル管理法」は早くも破

（笑）。 あの、サンデルさんのことを、 テレビで拝見したり、 サンデルさんの本を読んだりしたとき、 いちばん素直に思ったのが、 「どうしてこの人は こんなふうになったんだろう？」 っていうことだったんです。

いじめで人を殺し損ねた。 ある時はとっくみあいになって目を潰すつもりでケリを入れたし、 ある時は舌を噛み切らせるつもりで頭突きをかました。 殺すつもりだった。 だけど彼らは大したケガはしなかったし、おかげで僕は「少年A」にならず、 今はいじめなんてなかったかのような、平穏な暮らしをしている。 そう、僕はいじめられていた。 相手を殺すことでしか、いじめを解決できないと思っていた。 解決？ 少なくとも、いじめられている事実をできるだけ僕のプライドが傷つかないように公表して、 今後一切のいじめを断つには、それしかないと思っていた。 親になんて恥ずかしくて相談できないし、解決にならない。 先生にだって、なんて言えばいい。 今でもそうだが、昔から口べたな僕は、 もし先生に「○○君らにいじめられています」と言ったとしても、 その後どんな言葉を続ければ、この苦しみが理解してもらえるのかわからなかった。