日々の流転

λ. 避難所作成

研究室のサーバが落ちているので、 避難所を作成してみた。

λ. 人狼審問 : (1371)いんげんおいしいよね村　桜だ！

学者の村のエピローグで「いんげん村」について紹介されたので、観戦してみることにした。色々と面白そう。

ツッコミルール

クインジーが>>1:504で提案しているツッコミルールが独特で面白い。

■10. 占吊の決定は基本的に多数決で決める。俺が生きている間は明日から以下のツッコミルールを適用する事を提案する。

• 誰かの占い希望もしくは吊り希望どちらかにツッコミを入れなければならない。ツッコミ入れない人は占い希望および吊り希望の両方をカウントしない。
• ツッコミは自分の占い希望と吊り希望の両方出してからする事。
• ツッコミが入ったら、反論するか希望を変えること。どちらもしない場合は、その希望（占い希望へのツッコミであれば、占い希望）はカウントしない。
• 各自、何時までツッコミが受け付けられるか明示する事。そして、それまでに必ず占い希望と吊り希望を出す事。
• 目的は議論の早回しと議論の活性化ね。ある程度時間を拘束するけど。

守護者の護衛先騙り

なんて作戦があるとは思いもしなかった。人狼は襲撃失敗の理由が守護者の護衛によるものか襲撃先が妖魔だったからかを区別できない。そのため、護衛に成功した守護者が護衛先を騙ると、人狼からすると襲撃先が妖魔だったかのように見える。それによって、状況によっては人狼の妖魔告発を誘うことが出来る。具体的にはヘンリエッタの>>5:33と>>5:167を参照。

λ. f(f(n)) = n+1

以下のような関数 f が存在する場合は実装し、 存在しない場合はそのことを証明せよ:

1. nが整数なら f(n) は整数
2. nが整数なら、f(f(n))=n+1

• f(x+1) = f(f(f(x))) = f(x)+1 for x∈Z
• よって、f(x) = f(0)+x for x∈Z
• したがって、1 = f(f(0)) = f(0)+f(0) = 2 f(0) より f(0) = 1/2 だが、これは条件1に矛盾
• ゆえに、そのような関数は存在しない

λ. 風邪

風邪ひいたっぽい。 喉が痛いし、なんだかだるい。