眠くない状態でカフェインを摂ると眠くならないが、すでに眠くなってからカフェインを摂ると、眠いまま眠れなくなるだけだという仮説を、大学1年のときに帰納的に立てたことを、昨夜、エスタロンモカを不用意にのんでしまって夜中苦しみながら思い出した。

『経済学のための数学入門』、練習問題2.1.4（65頁）。テキストに解答が載っていなくて、方針だけなので、あんまり自信ががありませんが。 任意の正の実数 0}"> に対して、 を満たす正の実数 が唯一つ存在する。 証明の方針は、 となるような非負実数 の集合…

暴走する脳科学 (光文社新書)作者: 河野哲也出版社/メーカー: 光文社発売日: 2008/11/14メディア: 新書購入: 7人 クリック: 99回この商品を含むブログ (43件) を見る

ドラキュラ [Blu-ray]出版社/メーカー: ソニー・ピクチャーズエンタテインメント発売日: 2008/05/21メディア: Blu-ray クリック: 11回この商品を含むブログ (3件) を見る15世紀、オスマン帝国との戦争からVladが居城に戻ると、愛する妻Elisabetaは、夫戦死の…

結構久しぶりに金縛りに。最近鈴木光司の本を読んでいたせいか、貞子的な気配（笑）を感じるも、「あー明日早いから寝ないかん」と思ってそのまま寝た。大人になるってこういうことなんだ・・・ 11時頃から13時過ぎまで、演習の打ち合わせ。私の研究室は寒す…

『経済学のための数学入門』、練習問題2.1.3（7）（64頁）。 「乗法の逆元」というのは、元の数にかけたら（乗法の単位元である） になる数のことでした（詳しくはこちら）。いわゆる「逆数」のことです。 の乗法の逆元は だし、 の乗法の逆元は と、元の数…

ファンタスティック・フォー[超能力ユニット] (Blu-ray Disc)出版社/メーカー: 20世紀フォックス・ホーム・エンターテイメント・ジャパン発売日: 2006/11/10メディア: Blu-ray クリック: 1回この商品を含むブログ (7件) を見るF4っていうもんだから、道明寺…

オーシャンズ11 [Blu-ray]出版社/メーカー: ワーナー・ホーム・ビデオ発売日: 2008/06/11メディア: Blu-ray クリック: 4回この商品を含むブログ (4件) を見るしかしGeorge Clooneyはかっこいいなあ。 この映画は、難攻不落の砦をいかに落とすか、というタイ…

昨夜の夜中からだが、吹雪が大変なことになっている。雪自体ほとんど降らないうちの田舎だと天変地異と認識されるレベル。 15時から教授会2時間ほど。しかし寒いなあ。

『経済学のための数学入門』、定理2.1.2（65頁）。 自然数の集合 は上に有界ではない。 自然数の集合というのは、 のことですね。 「上に有界」というのは「上界がある」ということです。その場合「最小上界」が存在するんでした（詳しくはこちら）。この「…

リング (角川ホラー文庫)作者: 鈴木光司出版社/メーカー: 角川書店発売日: 1993/04/22メディア: 文庫 クリック: 66回この商品を含むブログ (83件) を見る日本での映画化って、たいていはがっかりするのだけど、こればっかりは映画化が紛れもない「善」をこの…

フェイク エクステンデッド・エディション [Blu-ray]出版社/メーカー: ソニー・ピクチャーズ エンタテインメント発売日: 2009/02/25メディア: Blu-rayこの商品を含むブログ (1件) を見るFBIの潜入捜査官（Johnny Depp）と、うだつの上がらないマフィア（Al P…

稲垣康善（編）『論理回路とオートマトン』、第1章「論理回路とオートマトンの学び方」。

『経済学のための数学入門』、定理2.1.1（64頁）。 実数集合 の空でない部分集合は、「下に有界」なら必ず「最大下界」がある。 「連続性の公理」のところで、「上に有界」とか「上界」とか「最小上界」については説明しました。それとまったくパラレルな概…

PLANET OF THE APES/猿の惑星 [Blu-ray]出版社/メーカー: 20世紀フォックス・ホーム・エンターテイメント・ジャパン発売日: 2007/03/23メディア: Blu-ray クリック: 1回この商品を含むブログ (4件) を見る想像以上にひどすぎワロタ。 主演のMark Wahlbergっ…

シークレット・ウインドウ [Blu-ray]出版社/メーカー: ソニー・ピクチャーズエンタテインメント発売日: 2007/05/23メディア: Blu-ray クリック: 1回この商品を含むブログ (1件) を見るここでヒント！ 原作はStephen Kingです。まだわからない？ じゃあもう一…

米田政明監修『オートマトン・言語理論の基礎』、第5章「形式文法と形式言語」。叙述がさらにそっけなくなっていて、ほぼ飛ばし読み。

『経済学のための数学入門』、公理R.5（59頁）。 実数集合 の空でない部分集合は、「上に有界」なら必ず「最小上界」がある。 言葉の説明からいきましょう。 「上に有界」とは、「上界が存在する」ということです。なので、まずは「上界」とは何かを理解しま…

幸せのちから [Blu-ray]出版社/メーカー: ソニー・ピクチャーズエンタテインメント発売日: 2007/07/25メディア: Blu-ray クリック: 8回この商品を含むブログ (24件) を見る駐車違反の罰金が払えずに逮捕され、家賃が払えずに追い出され、税金が払えずにいた…

今計算してみたが、アクシズの後部は地球の引力に引かれて落ちるどうやら私の32歳も今日でおしまいのようだ。0歳、2歳、4歳、8歳、16歳、32歳と、2のn乗歳を重ねてきたが、次は64歳までおあずけらしい。明日からは11年に一度というゾロ目年を頑張って生きよ…

待ちうける影 (創元推理文庫)作者: ヒラリーウォー,Hillary Waugh,法村里絵出版社/メーカー: 東京創元社発売日: 2001/07メディア: 文庫この商品を含むブログ (5件) を見るひどい出来だなあ。 連続猟奇殺人犯を無罪にして精神病院に入れることの是非とか、そ…

『経済学のための数学入門』例2.1.1（3）（63頁）。ただ、テキストのここのところは、誤植もあるし、解説が簡単すぎてよくわからないので、以下はちょっと違った方針をとっています。 実数集合において、0というのは加法の単位元、1というのは乗法の単位元で…

人狼 JIN-ROH [Blu-ray]出版社/メーカー: バンダイビジュアル発売日: 2008/07/25メディア: Blu-ray購入: 3人 クリック: 148回この商品を含むブログ (18件) を見るつまんねー！ また意識が飛んでしまった。 なんつーか、「首都圏治安警察機構」みたいな、漢語…

昼過ぎまで寝てしまう。そしてまたしてもピザーラを注文してしまう。 米田政明監修『オートマトン・言語理論の基礎』、第3章「プッシュダウンオートマトン」。オートマトンを見て、それが受理する言語を答える、というのはなんとかできるのだが、受理する言…

『経済学のための数学入門』例2.1.1（2）（63頁）。 任意の実数 について、 である。 というのは、 の、加法の逆元です（逆元についてはこちら）。なので、 というふうに、両者を足すと、加法の単位元である になります（単位元についてはこちら）。 他方、…

ザ・スピリット [Blu-ray]出版社/メーカー: ワーナー・ホーム・ビデオ発売日: 2009/10/21メディア: Blu-ray購入: 1人 クリック: 5回この商品を含むブログ (4件) を見るスタイリッシュな画面、スタイリッシュな映像というものが、そのままスタイリッシュな映…