プロローグ 1日目 2日目 3日目 4日目 5日目 エピローグ 終了
mode : 人 狼 墓 全昼間は人間のふりをして、夜に正体を現すという人狼。
その人狼が、この村に紛れ込んでいるという噂が広がった。
村人達は半信半疑ながらも、村はずれの宿に集められることになった。
その人狼が、この村に紛れ込んでいるという噂が広がった。
村人達は半信半疑ながらも、村はずれの宿に集められることになった。
1人目、楽天家 ゲルト。
2人目、少年 ペーター。
3. 少年 ペーター 12:30
皆に宿題を出すよ〜。 ■1.コアタイム 不定期。でも更新間際は基本いるよ! ■2.仮決定/本決定 20:45/21:15 ■3.やりたいこと/やりたくないこと 皆で楽しく仲良く議論したいなあ。 |
3人目、神父 ジムゾン。
4人目、旅人 ニコラス。
5人目、村娘 パメラ。
6人目、宿屋の女主人 レジーナ。
7人目、少女 リーザ。
まだ村人達は揃っていないようだ。
8人目、パン屋 オットー。
9人目、木こり トーマス。
13. 木こり トーマス 13:59
というわけで俺、色んな麺が食えるという噂を聞いて この村に立ち寄ってみたのだが…… 麺が食える店はなかなか見当たらないな。 おーい、誰か知らないか? あの分厚いくせに舌触りのいいきしめん食ってみたいんだよ。 |
10人目、ならず者 ディーター。
神父 ジムゾン は、宿を去った。
旅人 ニコラス は、宿を去った。
村娘 パメラ は、宿を去った。
宿屋の女主人 レジーナ は、宿を去った。
少女 リーザ は、宿を去った。
6人目、村娘 パメラ。
まだ村人達は揃っていないようだ。
7人目、少女 リーザ。
28. 少女 リーザ 23:55
ツォルンは選択公理と同値命題なので、公理の資格をもっている命題です。選択公理とはX、Yが集合として、全射f:X→Yに対して、右逆者像が存在することです。選択射像で定義するのもありです。それと同値なの。 |
29. 少女 リーザ 23:56
■順序集合 集合Xの元の間の関係<が次の性質を満たすとき、Xの順序という [1]任意のx∈Xに対して、x<x [2]x<y、y<z ならば、x<z [3]x<yかつy<xならば、x=y 集合Xと順序<を一緒に考えて(X、<)を順序集合という。 |
30. 少女 リーザ 23:56
■比較可能 順序集合(X、<)において x、y∈Xにたいし、x<yまたはy<xのとき x,yは比較可能であるという。 ■全順序集合 順序集合(X、<)において、任意のx,y∈Xが比較可能であるとき 順序集合(X、<)を全順序集合という。 また全順序集合(X、<)の<を集合Xの全順序という。 |
31. 少女 リーザ 23:57
以下イメージしやすいように様々な例をご紹介する。 例がないとイメージがわかないないでしょう。 ●例1 順序集合(X、<)において、Xの部分集合Yは同じ順序<において順序集合となる。 このような順序集合をXの順序部分集合という。 ●例2 実数の集合Rは≦に関して全順序(R、≦) とくに、Q、Z、Nは全順序部分集合になっている。 |
32. 少女 リーザ 23:57
●例3:積順序 順序集合(X、<1)(Y、<2)の積集合X×Yは (x1、y1)、(x2、y2)∈X×Yとして (x1,y1)<(x2、y2) をx1 <1 x2 かつ y1 <2 y2 と定めることで、順序集合になる。当然全順序ではない。 よって、一般に 順序集合(X1、<1)、(X2、<2)、、、、、(Xn、<n) によって、その積集合ΠXk (n=1,2,,,,,n) (x1,x2,,,,x |
33. 少女 リーザ 23:57
●例4:射像の順序 ある集合族Γにたいして、X∈ΓからYへの射像f:X→Yの全体をM(Γ、Y)とする。 つまり、 M(Γ、Y)={ f l f;X→Y、X∈Γ} M(Γ、Y)の要素f;X→Y、g;Z→Yに対して f<g⇔X⊂Zでgがfの拡張である。 と定める。このとき(M(Γ、f)、<)は順序集合となる。 実際に (1)fはfの拡張であるので、f<f (2)f<g、g<fなら |
34. 少女 リーザ 23:58
f<g、g<hならX⊂Z、Z⊂Wなので、X⊂Wよって f<h よって(M(Γ、f)、<)は順序集合となっている。 ■極小元、極大元、最小元、最大元 順序集合(X、<)の部分Aにおいて、Aの要素αがAの極小元であるとは a∈Aに対して、(a<αかつa≠α)となるようなαが存在しないときをいう。 (つまり、比較可能なものの中で最小ということ) a∈Aに対して、α<aのとき、αを最小元という。 |
35. 少女 リーザ 23:58
同様に、極大元、最大元を定義する。 ■極大元、最大元 順序集合(X、<)の部分Aにおいて、Aの要素αがAの極小元であるとは a∈Aにたいして、(a>αかつa≠α)となるようなαが存在しないときをいう。 αが最小元というのは (すべての)a∈Aに対して、a<αのとき、αを最大元という。 ■上界、下界、有界 順序集合(X、<)の部分Aにおいて、x∈XがAの上界であるとは すべての、a∈Aにたいして、 |
36. 少女 リーザ 23:58
順序部分集合Aに上界が存在するとき、Aは上に有界であるという。 また、 順序部分集合Aに下界が存在するとき、Aは下に有界であるという。 順序部分集合Aに上界と下界がともに存在するとき、Aは有界という。 ■maxA,minAの定義 順序集合(X、<)の部分Aにおいて、a∈Aが上界であるとき aは最大元である。(上界の定義と最大元の定義から自明) また、bが下界であるとき、bは最小元である。 そのと |
37. 少女 リーザ 23:59
注意:実数と違いあきらかにこのa,bは数値ではないこともありえる。 一般の順序集合で定義しているからです。(*´∀`*)誤解しないでね。 例えば例4ならmax B(Γ、Y)=f:X→Y、となる。 min B(Γ、Y)は存在しない。 〇1:順序集合(X、<)の部分Aに最大元があれば唯一、最小元があれば唯一である。それを示せ ■上限、下限 順序集合(X、<)の部分AにおいてAの上界すべての集合を u |
38. 少女 リーザ 23:59
u(A) Aの下界すべての集合を l(A) で表すことにする。これをそれぞれ Aの上界部分、Aの下界部分という。 u(A)に最小値、l(A)に最大値が存在するとき、これをAの上限、下限という。 そして、そのとき sup A= min(u(A)) inf A= max(l(A)) |
39. 少女 リーザ 23:59
〇問2:順序集合(X、<)の部分Aにおいて Aに最大元があるとき、それがsupA, Aに最小限があるとき、それがinf A であることを示せ ●例2の続き (R、<)の有界な部分集合AとするとはsupAが存在するというのが実数の連続性の公理 R自身は上限も下限も存在しない。 Rの部分集合Q、Zも同様である。 |
40. 少女 リーザ 00:00
●例5:倍数、約数での順序 同値類の所で説明したことについて 整数nが整数mの倍数であるとき、 nlm と表す。このとき、mはnの約数、mはmの倍数という(ことは皆さんご存知でしょう。) ここで、 (N、l)は順序集合である。 m∈Nに対して、 {m}の下界はmの正の約数(mlnとなるようなn) |
41. 少女 リーザ 00:00
m}の上界はmの正の倍数(nlmとなるようなm) である。 Nの有界部分集合Mを M={m1、m2、m3、、、、、mi}とすると u(M)はm1、m2、m3、、、miの最小公倍数の倍数の集合 l(M)はm1、m2、m3、、、、miの最大公約数の約数の集合 になる。 sup Mは、m1、m2、m3、、、miの最小公倍数 inf Mは、m1、m2、m3、、、miの最大公約数 |
42. 少女 リーザ 00:01
ついでに、このとき最小公倍数の倍数の集合は、 m1、m2、m3、、、miを生成するイデアルという言い方もする。 そこらへんきちんとお勉強したいかたは、初等整数論講義(高木貞治)をお読みください。 ■帰納的 順序集合(X、<)の全順序部分(A、<)は、鎖と呼ぶ。 順序集合(X、<)において、任意の鎖が上に有界であるとき、 順序集合(X、<)は、帰納的といわれる。 |
43. 少女 リーザ 00:01
●例4の続き (M(Γ、f)、<)は帰納的である。 M(Γ、f)の定義や、順序<の定義は例4を読み返してほしい。全く同様のことです。 F⊂M(Γ、f)が鎖とするとき F={f;A→YlA∈⊿⊂2^X} (2^XはXの部分集合全体の集合という意味) とすると、 fM;U⊿:→Y をa∈A∈⊿に対して、f:A→B∈Fによって fM(a)=f(a) |
44. 少女 リーザ 00:02
として定めることが出来る(∵鎖だから全順序だから) これは、あきらかにMの上界になっている。つまり有界だから帰納的である。 一応 U⊿が最大元になっているとは限らない。X=U⊿のとき最大元になる。 さんすうのお勉強はここまで@0 |
8人目、旅人 ニコラス。
9人目、村長 ヴァルター。
10人目、司書 クララ。
11人目、老人 モーリッツ。
51. ならず者 ディーター 08:19
しかし、リーザはつまらなそうなおけいこをしているな。仕方ない。骨がおれそうだけど、村のいけめんとして、目をさまさしてあげよう。 素人の僕がそのつまらないツォルンの補題がいかにつまらないものか、しょうめいしたらリーザもわかってくれるかな? ところでツォルンて何だ? |
52. ならず者 ディーター 08:58
ぺたにラーメンに村長にじーさんにピコちゃん、よろしく。 ラーメンかわいいな。絶妙なタイミングで20発言、全部ラーメンのひとこと繰り出してほしいな。期待してます。 どうやら、ツォルンてのは集合の話ぽいな。 てかゾーンだろ、どうみても。 ストレイツァー、的な感じだからイタリア人?(てきとう |
57. 木こり トーマス 14:43
おぅ爺さん。象形文字か… あ、あれか? ピラミッドの壁画にあるようなやつか? 見ているうちに文字が勝手に踊りだしそうな錯覚におちいるぜ。 (Xn、<n)とか∈⊿⊂とか、だんだん人の顔に見えてくるんだ… |
58. 老人 モーリッツ 14:46
それじゃよとます君 ああ、わかるわかる。じいちゃんもそうみえた…… じいちゃんは睡魔に襲われてのぉ…… そういやぎだいってどこじゃったかの。物忘れが最近激しくなって(ry |
60. 老人 モーリッツ 14:54
おお、とますは優しいのう。ありがとうの……むにゃむにゃ ■1.コアタイムはじじい昼過ぎからふていき。眠いのじゃ ■2.仮決定更新1時間前/本決定30分前でよいのでは? ■3.やりたいことは昼寝じゃな/やりたくないことははやり病に倒れる事じゃの 皆で楽しい村になればよいのぅ……らーめんつけめん……むにゃ |
12人目、農夫 ヤコブ。
62. 司書 クララ 15:50
■1.コアタイムは不定期ピコ ■2.仮決定/本決定は進行さんに任せるピコ。いつでも構わないピコ ■3.終わってから友達になって欲しいピコ。/RP剥げだけは回避したいピコ。 |
13人目、羊飼い カタリナ。
64. 羊飼い カタリナ 16:56
よろしくお願いするモフ。 ■1.夜しか時間取れないが頑張るモフ。 ■2.仮決定/本決定はまとめ役がいるならその人のスケジュールによるモフモフ。 ■3.突然の死は避けたいモフ。やりたい事は…ジンギスカン食い放題モフ。 |
69. ならず者 ディーター 19:55
アキレスのうさぎかー お、みんなよろしくな。 ある時間のうさぎとかめの中間地点までに亀がつくころにはうさぎは比較できないくらいの速さでさきにすすんでいる。 しかし、時間が経てばその時点での中間地点に亀は到着する。しかし、人参を得たうさぎは加速して途方もない距離を進んでいる。 一生、亀は追い付けない。 そこで亀は考え、思い付いた。時間を止めればいいんだ、と。 |
70. 老人 モーリッツ 19:59
ときよとまれおまえはうつくしいだったか? それはファウストだな。じじいには数学とか小難しい話はわからんのでお布団かぶってもそもそしておこう…。 新しい人らはよろしくなのじゃよ。 |
71. 木こり トーマス 20:00
お、今夜始まるんだ。良かったな。カタリナもよろしく。 オットーからパンをいただきつつ、クララの本を読んで待つとしよう。 [深淵を求めて]って聞いたことあるようなないような。 湖で水面に顔を映すやつとか? (ガチッ!!) おい、これフライパンだな。はっはっは。 これで料理作れってか。ヤコブ、何か手ごろな野菜はないかー? |
72. 老人 モーリッツ 20:03
料理なら歯に優しいフェットチーネのパスタ料理がよいのぅ……ちーずたっぷり鶏肉とパプリカが入った とますが夕ご飯は用意してくれるのかの?じいちゃんすごく楽しみに待っておるぞ。 [椅子にちょこんと座ってまっている] |
73. 木こり トーマス 20:10
(熱い視線を感じる…!!) 簡単なものしか作れないが、 その…フェットチーネ…とやらは俺でもできそうだな。 せっかくだからカルボナーラ味にしよう。 ヤコブー、いないのかー?ちょっと失礼するぜ。 […はヤコブの家からほうれん草ときのこと鮭を持ち出した] |
74. 老人 モーリッツ 20:12
[...はトーマス(の持つフライパンの中身)に熱い視線を送っている!] ほうれんそうときのこと鮭かの?じいちゃんちぃずもほしいのじゃ。ちーずすきなの。食べたいの。 [凄くキラキラした瞳で待っている] |
75. 木こり トーマス 20:15
(チーズも!!って聞こえた気がする…!!) えぇと、チーズは…そうだ。羊飼いの家にならあるかもしれない。 カタリナー、ちょっとだけ借りるぜー。 […はフェットチーネを茹でている間に、家からチーズを持ち出した] |
77. 木こり トーマス 20:19
よし、これで準備おーけー… […は茹った鍋のなかに塩を加えた] 具は全部切って、オリーブオイルで炒めるぜ!(ジュッ!!) チーズは生クリームと卵黄とまぜまぜ。ふむ、良い匂いだ… コショウも忘れずに(パッパッ) |
79. 木こり トーマス 20:24
(グツ…グツグツグツッ!!) おっ、麺のほうもいい感じか?ちょい味見だ。 …はむはむ。これぐらい柔らかかったら大丈夫だろう(サッ!!) あち、あちあち……[…はフェットチーネを皿に移した] 炒めた具をかけて…仕上げはやっぱり黒コショウだな!(パッパッ) 出来たぜ!!みんな食べな!! [フェットチーネのカルボナーラ] |
82. 老人 モーリッツ 20:34
うれしいのぅ。いただきますじゃ。とます [はぐ……あちちはぐっもぐっ] ん、美味しいのぅ……とますは良い婿さんになれるのぅ あれ?嫁じゃったか?最近はぼけていていかん。 [ちゅるちゅるごっくん。もきゅもきゅっ] |
86. 木こり トーマス 20:41
やぁ、そう褒めるなって。照れるぜ。 でもちょっとだけ自信ついた、二人ともさんきゅー! (俺もいつか嫁を迎えるのかなぁ…) (はっはっは、何だか恥ずかしいな) もぐもぐ…ふはぁ。 |
91. 木こり トーマス 21:01
(俺が嫁側なのか…) (一瞬でもアリだと思った俺…ナウいぜ…!!) おっ共有が一名COした? もう一名潜伏ってことはあれか。トラップか。 そういうのって浪漫あるよな。応援してるぜ(非共ブラフ) |
92. 老人 モーリッツ 21:04
(ありなのか……とますの好みのタイプはだれじゃろの。りなちゃん?ぱめちゃん?まさかのょうじょ?) ブラフはのいじぃじゃのぅ……よし今日はここにりんご玉をあててもらおうか●とますでていしゅつじゃ |
95. 木こり トーマス 21:14
(好み…うーん…そんなに年の離れてない、優しい人がいいな…ホワホワ) おっと爺さん、そんな安直でいいのか? これは占い希望を考える理由をサボった人外の可能性があるんじゃないか? いや、待て…共有者は占われても構わないという態度をとっているはず とすれば、爺さんのこの動きは潜伏共有あるんだろうか… ううむ…[…は考え事している] |
村娘 パメラ は、宿を去った。
99. 木こり トーマス 21:23
(だっ!にやにやすんなって、こっちが恥ずかしくなるだろうー) (でもそういう人って何だか良いよな。はっはっは!) むっ、俺は別に寡黙じゃないぜ。 爺さんはたぶん水晶玉なくても大丈夫だろうなと 俺の野生の勘が言ってるんだ。 ここは不在騙りをしているであろう●ヤコブあたりで提出だ! パメラはまた今度なー。(手ふり) |
100. ならず者 ディーター 21:23
うまく相方が潜伏してくれてる。誇りに思う。 そういや、リーザのツォルンさん全く手につけてないや。 この一週間でつまらなさを僕は理解できるのだろうか。 ラーメンいけめん、僕つけめん |
102. 老人 モーリッツ 21:27
だいじょうぶ、じじいも鳩だからめっさおそい 皆鳩なら皆怖くない(じじいこころのはいく) ところでじじいが一人称だと文字がめっさ多くとられるからわしでええよな(1文字しかかわらないのだった) |
103. 木こり トーマス 21:29
ディタがつけめんになってしまったのか… いや、これは見方を変えれば ラーメン氏とディタが、麺類を注文しているシチュエーションかもしれない。 つまりラーメンは麺であり人である…!! ディタはフル鳩か、すごいな。ファイトだ。 |
109. 老人 モーリッツ 21:36
そういやそうじゃな。てれり [ほめられてうれしそうなじいちゃんは椅子に座ってほっこりしている] でぃーたぁはまよらーで共有者なのは覚えたぞじじい とます、じじい輝くって頭なら輝けるけど……(きらっ☆ |
112. ならず者 ディーター 21:43
次の日へ
ピコぉー? なにを諦めるんだろうねー そういや、学生時代、諦めることを知りなさいと言われたなあ。 あの頃は諦めるなんてバカなことはしない!と思っていたが、一体いくついろんなことを諦めてきただろうか、僕は… |
広告