「バッドエンドや〜だや〜だ！はっぴ〜なのがい〜〜い！」 かぐや「バッドえんどや〜だや〜だ！はっぴ〜なのがい〜〜い！」 ハッピーエンド。何度も繰り返される言葉である。当然、そのほうがいいに決まっている。 悲しいのは嫌だ、苦しいのも嫌い、ハッピー…
おはにゃー！。 帽子クイズを知っていますか？。 人間たちが何人かいます。 人間たちはそれぞれ何色かの帽子のうち、一色の帽子を割り当てられ、被っています。 人間たちは、自分以外の人のうち、いくらかの（これはルールにより異なります）人間の帽子をみ…
おはにゃー！。 特に断りのない場合、$X$ を位相空間としますのゃ♩。 定義 正則開集合 $A \subset X$ が正則開集合であるとは、$\mathrm{int}(\mathrm{cl}(A)) = A$ が成立することである。 ただし、$\mathrm{int}$ は内部を取る操作、$\mathrm{cl}$ は閉包…
ポテトを揚げました。 じゃがいもの中でも、細長くカットされたものを、 特にポテトと呼びます。 ポテトは畑には埋まっていません、 冷凍庫の底の方に埋まっています。 霜が降りていて。 1 kg という大きな文字と、蛍光レッド・イエローのパッケージ。 辛い…
スーパーでおさかなと出会いました。 おさかなは美味しいです。 なぜって、美味しくないおさかなは、 食べ物だと認識されていないから。 ああ、今日もまた一つ、推論上の誤謬を犯してしまいました*1。 毎日おさかなを食べても、日付がかわるとまた、食べたく…
路地裏ねこ（精神）をねこと呼ぼうとおもう。 ねこは、ひとりで死ぬために、死の直前には姿を消すらしい。ほんとうかどうかは知らない、けど、そういうのは、美しく・かっこいいとおもう。 だから、私はそういうものを・そういう精神を、ねこと呼ぼうとおも…
おはにゃー！。私は嘘吐きです。 $0 = 1$ をしめします。 $\log(e^{2\pi i})$を二通りの方法で計算します。 先ず、$\log z$ は $e^z$ の逆函数ですから、 $$\log(e^{2\pi i}) = 2\pi i$$ です。一方、$e^{2\pi i} = 1$ なので、 $$\log(e^{2\pi i}) = \log 1…
おへその裏側を覗いてみました。 私は、昔からお腹が黒いと言われてきました。 お風呂にはいるときに自分のお腹を見下ろしても、白っぽくて、どうにも黒いようには見えませんでした。 でもやっぱり、黒い、黒いと言われるので、そのうちお腹を見せるのが厭に…
※ 残酷 / グロテスク / ショッキングな描写があります。 ※ 残酷 / グロテスク / ショッキングな描写があります。 ※ 残酷 / グロテスク / ショッキングな描写があります。 7月3日 : 私の肉体が転がっていました。 社会科準備室。 私は、先生に頼まれて教材を…
長命種さんに会いました。 ฅ^•ω•^ฅ 朝起きたつもりが、もう夕方でした。ダメでした。 ちょっとだけダメじゃなくなりたかったので、夕方の風を探しに部屋を出ました。 お土産に風を持って帰ってこれるように、ビニール袋をもって出ました。 あたりはすでに真…
夜中探検をしました。 光の中に見えないものが、闇の中に浮かんで見えます。 例えば、夜空に浮かぶ星々がそうです。 夜は、闇だけで構成されるのではなく、そういった闇の中に浮かんだものたちでも構成されているのだと知りました： 霧のひと ✓ 霧のひとは素…
追記 : 最下部に提示していた論点を削除しました。検討し、納得のいくものが得られれば公開したいと思います。 雪は、音もなく、私のいる場所に降り落ちてきます。 雪の降る音、というものは存在しません。 しかし、しんしんと、という擬音語を使うことがで…
生きていると（私は！生きているから）、片道切符でしか行けない場所に、行かねばならないときがあります。 ここで、「片道切符でしか行けない」とは、形容ではなく定義です。私がもし、帰りの切符を握りしめていたなら、或いは、帰ってくるだけのお金をポッ…
気づいてしまいました 。 気付いた。ハッとした。 hat 下？。 それは、どう考えても、頭、ということではありませんか。 そういうことだったんですね。 気づくというイベントは、完全に頭によって起きている。 なるほど。 四肢や、指の爪を、排除するよう…
ヘッドホンを外したことがありますか？。 ヘッドホンでなくとも、例えば、イヤホンにも同じことが言えます。 或いはVRゴーグル。 そうでなければ、一気読みのファンタジー小説が終わって本を閉じるとき、花火大会の余韻を掻き乱すように動き出した人々の気配…
テプラを買ってきました。 店にて ペンのインクを切らしてしまったので、 今日は近所の文房具屋さんを訪れました。 文房具屋さんは、家から10分ほどのところ、 小学校の南門を出たちょうど目の前にあります。 そのお店は私が生まれるよりずっと前からあるら…
おはにゃ。 逆数学のセミナーで、 RCA$_0$に於いて再帰定義ができるのかわからず困ってしまったので覚書を作りました。 RCA$_0$ とは、離散的順序半環の公理であるところの PA$^-$ に$\Delta_0$ comprehension axiom と $\Sigma_10$ 式までの帰納法を認めた…
私が私に命じるものの一覧: 帰ってきたら先ず始めに手を洗いなさい。爪ブラシを使って爪の間もきれいにしなさい。ついでにうがいもしなさい。イソジンを使う必要はないけれど、ちゃんと上を向いてガラガラしなさい。 感染症を予防することは大切です。しかし…
おはにゃー！。 これは、くりーむ Advent Calender 20日目の記事です。 くりーむ Advent Calendar 2024 - Adventar 0. やること この記事では次のことを示します : 示したいこと 公理的集合論における和集合公理は、その他の公理から導くことはできない。 こ…
おはにゃー！。 なんですか くりーむAdvent Calender、というアドベントカレンダーを始めます(2024/12/17)。 adventar.org わかりました 日記やら、記事やらをごった煮にしたカレンダーでございます。 いまのところ、 生活にまつわる記事 日記 数学や物理に…
おはにゃー！。 この記事は、くりーむAdvent Calender 2024 18日目のものです。 くりーむ Advent Calendar 2024 - Adventar 駒場カンプスにはヲーターサーバーがあります。 はい、あります。 https://www.c.u-tokyo.ac.jp/zenki/WaterServersMap202310.pdf …
主人公の飾り気のない愛の言葉がキュンキュン来ちゃって！ 小枝けいの新作、おすすめですから読んでください へえ……きみは飾り気のない言葉が好きなのかい 何十にもゴテゴテと装った言葉なんかじゃなく ……なんで先輩すねてるんですか？ べつに まあ、そうで…
尻尾切断前夜。 ぼくは渋谷の街が好きだ。 もちろん、そういう気分のときだけだけど。 スクランブル交差点から公園通りへ。 たくさんの声が耳に入ってくる。 「えー！まだ尻尾切ってないの！！？」 たぶん流行に敏感な高校生の声だとおもう。 いや、ほんとう…
おはにゃー！。 やること 次の命題が成立します: 命題 (Compositional Product の結合性) $P, Q, R$ を problem とする。2つの compositional product $R * (Q * P)$ と $(R * Q) * P$ は strongly Weihrauch equivalent である: \begin{equation} R * (Q * …
我が名は中耳、この人の名は瞳といいます。 瞳は古くからの中耳の友人です。 瞳は、――中耳めが言うのも可笑しいかもしれませんが――変なやつですので、いつかみなさまに紹介したいと思っていたところです。 今日のように偶然お目にかかることも滅多にないでし…
ホロミニウムの床を歩きました。 朝起きると、背中や腕、ふくらはぎのあたりに、ぬたっ……とした感じを覚えます。起き上がって確認してみると、薄黄色の物質が泥のような粘り気をもって布団に広がっているのがわかります。また今日も出てきたんだ、と思いなが…
旧式のワードプロセッサーさんとお話をしました。 祖父の家には、旧式のワードプロセッサーさんがいます。 ワードプロセッサーさんは、人間と簡易的な会話をしてくれる機械です。 祖父の話によれば、40年ほど前に使っていたようです。 私はワードプロセッサ…
おはにゃ。 やること 実数列のなす実ベクトル空間 $V = \mathbb{R}^\mathbb{N}$ に、可算濃度の基底が存在しないことを示します。 きもち 手法としては、対角線論法に近いです。 基底のどんな有限部分集合 $S$ に対しても、その線形結合で書けない部分を含む…
Roth and Vande Vate (1990)「安定マッチングへの道は常に開かれていますよ」 以下では、Roth と Vande Vate による 1990年 の論文に於ける主定理の証明を紹介します。 マッチング理論に於ける一般的な概念の定義は最下部で行います。 マッチング理論の概念…
おはにゃ。 やること モノイド $M $ から、モノイドではない半群 $S$ への半群準同型の例を与えます。 やります モノイド $M $ は $M = (\mathbb{N}, +, 0)$ とし、 半群 $S$ は $S = (\{a, b\}, \cdot)$ とします。だたし、$S$ の演算は、 \begin{array}{c|…
