スポンサーサイト
2008-12-04(Thu) 12:16| | トラックバック(-)| コメント(-)
穴はあれども入れない
輪講の結果報告。
とても長くなりそうだったからパソコンで解答を作り始めるわけですよ。
パソコンで作るならTeXでいいじゃん、ってことでTeXで作り始めるわけですよ。
グラフ理論ですよ。図が重要じゃないですか。
せっかくTeXで作り始めたんだから、美麗な図を入れたくなるじゃないですか。
すかさずイラレを起動して作り始めるわけですよ。
イラレでアドレナリン出してたら思いのほか時間がかかっちゃうわけですよ。
気付けばもうそろそろ家を出ないと遅刻しそうな時間になってるわけですよ。
モタモタしながらタイプセットすると…図が埋め込まれない。
焦っていろいろ試すがうまくいかず、時間がないので図無しでGO。
結局研究室に着いてから時間ギリギリまで粘って図はどうにかなりました。
で、満を持して輪講に挑んできたわけですよ。
輪講が始まる前に、自分の解答を確認してると、ふと気付いてしまった。
P ⇔ Q ( x ) ≦ N for ∀ x ∈ S
ってなカンジの必要十分条件がありまして。
それを利用して“ P でないとき”の議論をしようと思ったわけですが。
必要十分だから否定してもいいんだなーと考えながら
¬ P ⇔ Q ( x ) ＞ N for ∀ x ∈ S
として解答を進めていたんですね。
はっ！
エマージェンシー！エマージェンシー！
コレチガウ！コレチガウ！コレチガウ！コレチガウ！
¬ P ⇔ ∃ x ∈ S s.t. Q ( x ) ＞ N
こうじゃねーか！ぬ、ぬるい！！
解答の直前にこんなことが判明したらもう、パニック、ですよね。
解答資料、４ページ分。そのうちの後半部分が水泡。
今さら考えを修正できねーよ！
結局「この証明は間違っていますが…」と前置きしてGO！
教授の心優しきヒントを与えられてその穴の部分の別証はできた。
他の大筋は正しかったらしく「だいたい出来てるから、もういいよ」とお赦しが。
なんか、穴があったら入りたかった。
いや、デッカイ穴はあったんだけどね！！
数理論理学は院試の範囲だよ。
直前で気付けただけでもよしとしようか…。
とても長くなりそうだったからパソコンで解答を作り始めるわけですよ。
パソコンで作るならTeXでいいじゃん、ってことでTeXで作り始めるわけですよ。
グラフ理論ですよ。図が重要じゃないですか。
せっかくTeXで作り始めたんだから、美麗な図を入れたくなるじゃないですか。
すかさずイラレを起動して作り始めるわけですよ。
イラレでアドレナリン出してたら思いのほか時間がかかっちゃうわけですよ。
気付けばもうそろそろ家を出ないと遅刻しそうな時間になってるわけですよ。
モタモタしながらタイプセットすると…図が埋め込まれない。
焦っていろいろ試すがうまくいかず、時間がないので図無しでGO。
結局研究室に着いてから時間ギリギリまで粘って図はどうにかなりました。
で、満を持して輪講に挑んできたわけですよ。
輪講が始まる前に、自分の解答を確認してると、ふと気付いてしまった。
P ⇔ Q ( x ) ≦ N for ∀ x ∈ S
ってなカンジの必要十分条件がありまして。
それを利用して“ P でないとき”の議論をしようと思ったわけですが。
必要十分だから否定してもいいんだなーと考えながら
¬ P ⇔ Q ( x ) ＞ N for ∀ x ∈ S
として解答を進めていたんですね。
はっ！
エマージェンシー！エマージェンシー！
コレチガウ！コレチガウ！コレチガウ！コレチガウ！
¬ P ⇔ ∃ x ∈ S s.t. Q ( x ) ＞ N
こうじゃねーか！ぬ、ぬるい！！
解答の直前にこんなことが判明したらもう、パニック、ですよね。
解答資料、４ページ分。そのうちの後半部分が水泡。
今さら考えを修正できねーよ！
結局「この証明は間違っていますが…」と前置きしてGO！
教授の心優しきヒントを与えられてその穴の部分の別証はできた。
他の大筋は正しかったらしく「だいたい出来てるから、もういいよ」とお赦しが。
なんか、穴があったら入りたかった。
いや、デッカイ穴はあったんだけどね！！
数理論理学は院試の範囲だよ。
直前で気付けただけでもよしとしようか…。
0
0とととととと
解けたー！！
先週の記事 で解けないとかいってた問題が解けたよー！
うわー！快感だー！
ホントにあってるかどうか？？穴は無いかどうか？？
知らん！！
眠い！！
気が抜ける。
ウトウトする。
気付く。
昼過ぎている。
輪講寝飛ばす。
みんな大爆笑。
リアルにありそうでコワイ…。
先週の記事 で解けないとかいってた問題が解けたよー！
うわー！快感だー！
ホントにあってるかどうか？？穴は無いかどうか？？
知らん！！
眠い！！
気が抜ける。
ウトウトする。
気付く。
昼過ぎている。
輪講寝飛ばす。
みんな大爆笑。
リアルにありそうでコワイ…。
コマ大
少し前にザッピングでみつけた番組。
こういう番組があるって噂は聞いていたけど実際に観たのはつい最近。
おもしろいから毎週観ようと思ってるんだけどついつい忘れてたり。
夜勤の余波で爆睡していて寝飛ばしたり。
まだ３回しか観てない。
番組の要点だけまとめて“講義資料”としてDVD化希望。
http://www.fujitv.co.jp/b_hp/komanechi/
今日は久しぶりに観られた！今回はアルキメデスがテーマ。
立方体の切り口とか懐かしい。
準正多面体ね…。あんまり萌えない。
前に観た時はトポロジーの話だったが、もう萌えまくり。
次回はビュッフォンか。
ああ、イタリアのキーパーね。
…“針”のほうね。
来週は起きていられるか。
この番組から連想されるのは“お厚いのがお好き？”か。
発見した時にはすでに放送終了直前だった。DVDにならないのかな…。
このテの番組は人気が出ないから深夜の放送枠に回されるんだろうけど。
くだらないバラエティなんかよりよっぽどタメになるはずだと思うんだがなぁ。
タメになる番組がダメになるのはとても残念。
どうにかなりませんかフジテレビさん。
どうでもいいが、この番組に出てる“理系美人女子大生”はけして美人ではない。
もっと美人集めればゴールデンでも数字取れるんじゃないのフジテレビさん？
ほんとにどうでもいいな。
こういう番組があるって噂は聞いていたけど実際に観たのはつい最近。
おもしろいから毎週観ようと思ってるんだけどついつい忘れてたり。
夜勤の余波で爆睡していて寝飛ばしたり。
まだ３回しか観てない。
番組の要点だけまとめて“講義資料”としてDVD化希望。
http://www.fujitv.co.jp/b_hp/komanechi/
今日は久しぶりに観られた！今回はアルキメデスがテーマ。
立方体の切り口とか懐かしい。
準正多面体ね…。あんまり萌えない。
前に観た時はトポロジーの話だったが、もう萌えまくり。
次回はビュッフォンか。
ああ、イタリアのキーパーね。
…“針”のほうね。
来週は起きていられるか。
この番組から連想されるのは“お厚いのがお好き？”か。
発見した時にはすでに放送終了直前だった。DVDにならないのかな…。
このテの番組は人気が出ないから深夜の放送枠に回されるんだろうけど。
くだらないバラエティなんかよりよっぽどタメになるはずだと思うんだがなぁ。
タメになる番組がダメになるのはとても残念。
どうにかなりませんかフジテレビさん。
どうでもいいが、この番組に出てる“理系美人女子大生”はけして美人ではない。
もっと美人集めればゴールデンでも数字取れるんじゃないのフジテレビさん？
ほんとにどうでもいいな。
