ここを読んでいるような方は良いと思いますが、トラックバックもしていただいて、普段と違う読者の方が心配になってきたので、「帰納的定義ということ」に追記しました。ついでに帰納的定義の双対である余帰納的定義の紹介。 「x = nilか、x = (cons i y)の…

すでに引っ越しの手続きは済んでいるのだが、過去に「２回も申し込み書を送ったのに受け付けられていない」「火曜に電話するといって水曜まで連絡がない」等の経験があったので、工事の予定を電話で確認…してみたら「午前じゃなくて午後になっています」「担…

親元にオレオレ詐欺みたいな電話がかかってきたらしい。一応、名前だけは正しく名乗ったらしい。職場でいじめられているので死ぬとか何とか。きっと後でいじめ役から「振り込め」という電話が来るに違いない。暇だったら警察に通報して逆探知＆録音でも仕込…