  |
はてなキーワード: イオとは
夕食前 84.1キロ 夕食+腐りそうなので残りサニーレタスとプチトマト一パック+ベビーチーズ1本 実就寝時間：01:00
実起床時間：07:00 朝食前 84キロ 朝食は納豆、油揚げ、ごはん、味噌汁、胡麻和え、しゃけ
午前中は尿のみ。うんこはなし。
昼食 水漬けパスタに半額お惣菜のエビの素揚げとホタテと半額だったスイートバジルを追加してオイルで和える
（水漬け10時間+3分茹でだと柔らかすぎだったので今後はもう少し短めに茹でること）
15:30 寝不足で頭がぼんやりしていて重力方向が変。今日は21時までに寝ること。→仕事の残りがあるので変更。
夕食は芋とキノコと玉ねぎと鶏の焼いたやつ と もやしとラディッシュの酢漬け
うんこはまだ出ていない
読書：
測度・確率・ルベーグ積分：40～59Pを行き来。具体的な証明とかは全然わからないのでどっかで手書き必要そう。「そもそも積分する対象といったものを有限加法性を持つかどうかなどで正しく構成しないと色んな不整合が生じるので自分がどんな対象に対して積分したいのかをよく認識してね」といったメッセージは読み取れたが、有限加法性やσ加法族、完備化やルベーグ可測、ルベーグ可測でないといったことがまだ頭の中で宙ぶらりんな状態で正しく事例と結びつかないのでその辺が要確認。
気になった言葉：相落手形、アイオロス（風の操縦者）、アイオワシティー（アイオワ州の州都ではない。州都はデモイン）、愛語摂→四摂事
視聴動画：
https://www.youtube.com/watch?v=DaDxCx2-hDc
https://www.youtube.com/watch?v=jfk42-0meJQ
実起床：7:35、84.3キロ（朝食前）。うんこなし。朝食はにんじん、ソーセージ、ブレッドプディング
11時8分 うんこが出る。少し柔らかそうだったが割合健康的な長うんこ。うんこ後体重は84.4
基本的にはリーマン積分のこれまでの過程をルベーグ積分でやり直してみようの回
最後の条件付き確率については加法族での確率空間の再構成という新しい概念が出ていて新鮮だった
実起床：6:30、84.2（朝食前）。朝食はごはん、納豆、味噌汁
海底二万マイルを少し読み進める。海底の森→潜水艇の日常風景→座礁→パプアの島という感じで冒険のステージが切り替わった感じ
海底二万マイルという言葉自体はまだ全く出ていない。下巻になってから？ 不明。
12:30 ニンジン1/2本、蒸しじゃがいものちっちゃいの五個、半額総菜のサバのしょうゆ？煮みたいなやつ
COMIC DAYSとgoogle playの課金機能が動かなくなる。原因不明。
海底二万マイルをパプアで人食い人種が出てくるところまで読了。
0:30就寝
7:00実起床 朝食：ピーナッツバタートーストとソーセージとレタス
18:30 のりまき
読書はキングキラー・クロニクル 風の名前 宿屋の主人との会話まで完了。
腰の痛みで何度も起きてしまった。ポケモンスリープ1日目は1時間半しか寝ていないことに。
10:30に耳鼻咽喉科へ聴力健診。風邪で混んでいたので11:40まで待つ。ルベーグ積分を読み終えてしまったが、内容として読み終えただけで関数などの証明には至っていないのでまだまだ読めそう。内容としては中心極限定理や大数の法則についてを数学的に積分論の言葉を使って書き表す、というもの。一点気になったのは作者は大数の法則について「経験的な法則というだけでなく＜しっかりと数学的な証明を持った考え方～」という話をしていたが、どちらかというと経験の方が大事なのではないかと思った。
また食と文化の本についてアジア編とインド編が読了し、アジアは米と魚、インドは（麦と米と）豆とミルク、遊牧文化圏以西は麦とミルク、みたいなまとめまで読んだ。納得できる。
12:30に中華弁当。中身はごはん、味玉、メンチカツ、じゃがいもとえびのあんかけ炒めみたいなもの。最後の料理は食べたことがある気がするが名前は思い出せない。炒土豆絲？
19:00までジム
ルワンダ銀行総裁日記を読了。改めてこれを読んでからルワンダ内戦について確認すると、服部も当時の政権側なのでその色眼鏡が入っているが、RPF側が勝利したので残念な結果だったのかもしれない。特に服部は当時の政権で仲のいい人たちがたくさんいただろうからやはりそれには心を痛めていたのかなという感じ。一方で調べてみるとRPF側が開戦した（ハビャリマナが殺された事件の犯人）というのも正しくはなさそう。
実際その後の難民の挙動はどうだっただろうというのは気になる。
15:00 うんこ
もうさ、
毎回毎回NIKKEの話で申し訳ないんだけど、
先日アップデートがあったの。
今月のスマホのギガがアップデートの際に全部いかれちゃったわ！
一気にNIKKEのアップデートで持って行かれちゃって、
これはもしかして昨日のアップデートのときにワイファイオフにしていてギガ全部持って行かれちゃった？
えー！
案の定そうだったわ。
さすがにこれでは今月まだ残り日数あるので
NIKKEには課金しないつってるのに、
自分でも笑っちゃったわ。
こんな事態に。
なんたるちゃー！って感じよね。
買いたいのは「コアダスト」なのよ！
あ！NIKKEの中の話で「コアダスト」ってニケたちにレヴェルアップに必要な素材があって、
ここに来て一気に急に「コアダスト」が枯渇！
うーん、
レヴェルアップもうかうかできないわ。
ギガが補充できたというのに。
なんか「NIKKEには課金しない！」って確固たる意志をカッコをくくってまでいう勢いなんだけど、
本編ではまだ課金していないというのに！
だから早くきてー！『ステラーブレイド』コラボでのイヴ！待ってるわ。
だから
ギガバイトを売っているの。
そんなことしないのよ。
なんかギガのやり取りって意外とこの世の中できなくない？
案外ギガ取引通信容量の余剰分が取引対象としての経済圏もあってもそれなんてエスエフ？って思うわ。
だれも買ってくれないわ。
通信量が無くなってしまうとほわんとその灯した暖炉の暖かい灯りは儚く消えてしまうの。
誰も買ってくれないギガバイトを自分でマッチを擦って手を温めるようなギガバイト売りの少女なの。
同情するならギガバイト買って！
しくしく。
誰も買ってくれないわ。
でもあっと言う間にギガを消費してしまってまた儚く消える暖かい暖炉のあかり。
私が手をかざして温めようとする前に消えてしまったわ。
誰も買ってくれないわ。
みんなギガを持て余しているのよ。
先日、
いや言えなかったけれど、
今月のこり90ギガバイト！
しかも使っている消費した通信量は1ギガバイトも満たない感じ。
私は街角でギガバイト売りの少女を辞めようか迷ってしまったわ。
そう思いながら、
街を通りすぎる人は持て余してたくさん持っているギガバイトがあるので、
私は自分が本来売るはずのギガバイトをまたインターネッツの動画サイトの暖炉の動画を再生したの。
でもまた私がそのインターネッツ暖炉動画に手をかざして温めようとする前に儚く炎は消えてしまったわ。
ああ、
だれもこんな持て余しているギガバイトなんて買ってくれないのよ。
だって今月まだ90ギガものこって1ギガバイトしか使っていないんだもの。
そんな人がギガを買ってくれるわけないわ。
ドン！
きゃー！
私は誰も買ってくれないギガをよそにもう帰り支度をしていると
突然誰かにぶつかったの。
そのぶつかった人がギガを拾うのを手伝ってくれたの。
1つギガを買ってくれたの。
毎度あり！
うふふ。
豆乳切らしちゃって買わなくちゃと思いながら忘れてて、
猫舌なのでコーンポタージュスープの温度を緩和させるために冷たいトマトジュースを入れるとちょうどいい私の舌の温度になるの。
6時間後に沸くように仕掛けておけば
朝飲み頃の温度のホッツ白湯ストレートウォーラーがもうできあがってるの！
わくわく！
すいすいすいようび～
今日も頑張りましょう！
超弦理論を数学的に抽象化するために、場の理論を高次圏（∞-圏）の関手として定式化する。
𝒵: 𝐵𝑜𝑟𝑑ₙᵒʳ → 𝒞ᵒᵗⁿ
ここで、𝒞ᵒᵗⁿ は対称モノイダル (∞, n)-圏（例：鎖複体の圏、導来圏など）。
超弦理論におけるフィールドのモジュライ空間を、導来代数幾何の枠組みで記述する。
BV形式はゲージ対称性と量子化を扱うためにホモトピー代数を使用する。
Δ exp(𝑖/ℏ 𝑆) = 0
ミラー対称性はシンプレクティック幾何学と複素幾何学を関連付ける。
𝓕(𝑋) ≃ 𝐷ᵇ(𝒞𝑜ʰ(𝑌))
以上の数学的構造を用いて、超弦理論における重要な定理である「ホモロジカル・ミラー対称性の定理」を証明する。
ミラー対称なカラビ・ヤウ多様体 𝑋 と 𝑌 があるとき、𝑋 のフクヤ圏 𝓕(𝑋) は 𝑌 の連接層の有界導来圏 𝐷ᵇ(𝒞𝑜ʰ(𝑌)) と三角圏として同値である。
𝓕(𝑋) ≅ 𝐷ᵇ(𝒞𝑜ʰ(𝑌))
1. フクヤ圏の構築：
- 対象：𝑋 上のラグランジアン部分多様体 𝐿 で、適切な条件（例えば、スピン構造やマスロフ指数の消失）を満たすもの。
- 射：ラグランジアン間のフロアーコホモロジー群 𝐻𝐹*(𝐿₀, 𝐿₁)。
2. 導来圏の構築：
- 射：Ext群 𝐻𝐨𝐦*(𝒜, 𝐵) = Ext*(𝒜, 𝐵)。
- 合成：連接層の射の合成。
- ファンクターの構成：ラグランジアン部分多様体から連接層への対応を定義する関手 𝐹: 𝓕(𝑋) → 𝐷ᵇ(𝒞𝑜ʰ(𝑌)) を構築する。
- 構造の保存：この関手が 𝐴∞ 構造や三角圏の構造を保存することを示す。
- 物理的対応：𝑋 上の 𝐴-モデルと 𝑌 上の 𝐵-モデルの物理的計算が一致することを利用。
- Gromov–Witten 不変量と周期：𝑋 の種数ゼロのグロモフ–ウィッテン不変量が、𝑌 上のホロモルフィック 3-形式の周期の計算と対応する。
5. 数学的厳密性：
- シンプレクティック幾何学の結果：ラグランジアン部分多様体のフロアーコホモロジーの性質を利用。
- 代数幾何学の結果：連接層の導来圏の性質、特にセール双対性やベクトル束の完全性を利用。
結論：
以上により、フクヤ圏と導来圏の間の同値性が確立され、ホモロジカル・ミラー対称性の定理が証明される。
ラグランジアン部分多様体 𝐿₀, 𝐿₁ に対し、フロアー境界演算子 ∂ を用いてコホモロジーを定義：
∂² = 0
𝐻𝐹*(𝐿₀, 𝐿₁) = ker ∂ / im ∂
∑ₖ₌₁ⁿ ∑ᵢ₌₁ⁿ₋ₖ₊₁ (-1)ᵉ 𝑚ₙ₋ₖ₊₁(𝑎₁, …, 𝑎ᵢ₋₁, 𝑚ₖ(𝑎ᵢ, …, 𝑎ᵢ₊ₖ₋₁), 𝑎ᵢ₊ₖ, …, 𝑎ₙ) = 0
Extⁱ(𝒜, 𝐵) ⊗ Extʲ(𝐵, 𝒞) → Extⁱ⁺ʲ(𝒜, 𝒞)
https://anond.hatelabo.jp/20240829222653
思ったよりも反応があり答えていく。
### 自分の両親を頼らなかったのは何故か？
頼るのも面倒くさすぎて、もう考えるのも嫌だったから。
・自分の両親の方が頼れそうだったが、あくまでワイフの両親と比べて、という点。
・自分の実家まで片道1時間半。ワイフの実家より近いが気軽に行くには遠い。
・両親共に働く現役世代。子どもをみてもらうのなら、仕事を休んでもらうか、仕事終わってからになる。両親にも生活があるので、それと両立させなければいけない。
・世話を頼むにしても休みのタイミングで一時的にきてもらうか、僕らが実家に行くしかない。
・一時的なものだったら親を頼るのもありだったが、ワイフの産後うつの状態をみると、数回やたまに見る程度では良くならないのは明らか。
・僕らが実家に住むとなると、僕は職場までの通勤が問題に、ワイフだけ僕の実家に置いても遠慮して自分でやってしまうので良くならない気がした。
・僕自身が4人兄弟、母は保育士、子育てに関して常に最新情報をいれてるスペシャリストで、口移しやハチミツなどの地雷を踏むことはないが、それが故に気になることが多く、母の愚痴が激しくなる気がした。母はワイフに遠慮してる部分もあり、僕の家庭に関する文句は基本僕に言ってくる。精神的に消耗してる僕がそれを受け止めることができる気がしなかったし、そこで僕が逃げたらワイフがやられるし、文句を誰にも言わなかったら母がやられる気がした。
・事前に準備してあれば、多少頼りやすかったのかもしれなかったが、その準備は全くやれてなかった。母は「今は昔に比べ子育てに関わる事情が変わって考えることやることが多くて昔の1人分多めで見てる感覚で大変だよ」とも言ってて理解があったが、理解があるが故に大変さも分かっており、実家との調整を考えるだけで、あーめんどくせー、というものが勝ってしまった。そういう点では、ワイフが、というよりも、僕自身が面倒くさ過ぎて止めた、というのが正しいのかも。
そうしたかったが、できなかった。
うつで休んでたのは、仕事&プライベートでのストレスが許容値を超えていたからで。
1番ストレスが少ない状況はなにか？となった場合、その答えが僕が子育てに積極的に関わるということだった。
結局休んだ後、半月はまともに動けなかったので、相当疲れてたのだと思う。
このテの意見みて、最初の僕の反応は、「オイオイ、それ産後の女性には絶対に言うなよ、殺られるぞ、大丈夫か」という感じ。
産後1ヶ月、ワイフは自分の実家に帰っていたので、そこまで致命的に大変だと当時気付いていなかったのだが、自然分娩or帝王切開をすると女性は文字通り身体がガタガタになり数日動けなくなる。
帝王切開は文字通り切るわけだし、自然分娩だと20時間以上りきみっぱなしなんてこともザラなので、全身筋肉痛の酷いやつとか血管があちこちブチ切れてたりする。
その状態の産後すぐから、赤ん坊を見ることになるので、母親の方がもっと酷い状態からスタートすることも多いんやで………
と反射的に思ったわけだが「健康だったら」という点に関してはそれはそうだな、と思う部分も。
身体がしんどいのが続くから精神的にもつらくなるので、身体がしんどくなければつらくなくなる！？とも考えることができる。
よく4人も育てられるな、と言われるが、精神的にしんどい、の前の、身体がしんどい、を色々駆使して軽減してきたからこそやれたわけで。
ココに書きたかった理由も、その事例をいくつか紹介して参考にできれば、と思ったから。
結局うちはやらなかったのだが、その点オススメしたいのが、無痛分娩。
色々なママさんネットワークで見聞きする限り、産後の母親の体調が明らかに良いようで、子育ての最初のスタートダッシュは健康である分、だいぶ良くなると思う。
もし次産むんだったら、絶対無痛分娩だわー、もう絶対嫌だけど、とワイフは言っている。
### 正常性バイアスだろ
まさにその通りで1人目でやったノウハウをそのまま他人に展開するのはかなり危険だと思ってるし、どちらかというとちゃんと働きながら育てた2人目以降の話の方が皆には参考になると思う。
ただ大変だよねーツライよねー、男性目線から見た子育てって？という話は1人目の話の方が分かりやすいので、まずは1人目の時の話を書いた。
これは当時ワイフにも同じこと言われたのだが、結果的に欲しいとは思わなかったかな。
何やっても大人しくならないのに、乳首を使えば一発で大人しくなる、マジで便利、マジで救世主。
だが故に、乳首を外せばまた泣いてしまう、泣いている→乳首を！！という感じになり、他の人に渡していても泣き声聞くだけで落ち着かなくなってしまう。
超便利な乳首が一人に依存するという状況が、母親が休めない要因になってるようにも思う。
その点僕は、土日の昼にお昼寝して、ワイフに預ける時、安心してぐっすり眠れた。
きっと僕に便利な乳首があったのなら、気になって眠れなかったかもしれないし、土日の昼間眠れなかったら僕も子育てで病んでたかもしれない。
コレ言う人全般に関しての所感なんだけど、産後の恨みはどのようなものなのか？の重さを理解できていない気がしたので、ココに書いた次第。
確かに社会的には罪の重さに対してのトレードオフが釣り合ってないのかもしれない。
しかし、夫婦は加害者/被害者の関係ではなく良き伴侶なのだから、贖罪/刑期を終えたから良いッショ！と開き直るのでなく、つらかったことを分け合って寄り添うが大事。
一方で、夫婦は加害者/被害者の関係では無い、というのは妻側にも言えることなので、夫だけが完全に悪いわけでなく、夫婦の問題だと思う。
ただ、夫側はそこで開き直る態度がでがちなので批判されるような気がする。
### どうして4人も……
おかげさまで、夫婦仲は良く、身体の関係もちゃんと続いていて……
子どもができないように、ってゴムを常備するんですが、ちょこちょこ買い足すのを忘れることがあり、テンションが上がったまま、今回だけなら……というのをやって、結果的に……
結婚したら避妊とか気にしなくても良いんじゃないの？とか馬鹿なこと考えていた過去の自分が恨めしい。
子どもができた、と分かった時、いつも経済的にやっていけるのか？という試算を一緒に見直して大丈夫そうなら、どうする？→あー産むか！！みたいな感じでなぁなぁの勢いで決まる感じなので、完全に褒められる状況じゃない。
ワイフの最後の一言で決まる感じなので、何故産んだのか、の真意は僕には分からない。
けど、いつも産前産後には、産むのも産んだ後の世話もあまりにつらすぎる記憶だから記憶に残ってない、忘れるんだよね、でもその時になってくると段々思い出してきてもう嫌だー！！ってなる、と言ってる。
今思えば笑える話なのだが、付き合っていた当時、ワイフに子宮筋腫が見つかり手術をすることになり、将来的に子どもができる可能性が下がるかもしれないから別れよう、と別れ話を打診されたことがある。
その時僕はとっさに、子どもができる確率が1/10になるのなら他の夫婦の10倍やればいい、僕らが仲良くやっていければ何があっても問題ないよ、と返した。
確率1/10なら10倍、というフレーズとともに僕ら夫婦の思い出深い一幕になったわけだが、今や子どもが増えすぎないように心配する事態になるなんて……
母や子どもらは無邪気に、5人目は？みたいに聞いてくるが、流石に歳を重ねてきて体力的にも経済的にも厳しい。
### 次に書こうと思ってた内容
ネタはまだまだ大量にあるのだが、書き続ける精神力が足りなさそうで、ここまで長く書きすぎて何書くかを今さら迷子になってる。
もうわけわからんから、書きたかったであろう内容を適当に。気になるやつがあれば深掘りするかも。
・専業主夫、2週間目あたりから急にしんどくなる問題。疲れとストック管理、誰にも指示されず自分で決めるコストがしんどい。
・専業主夫をやっていて良かったこと。メインとサブ、でなく、メインと（メインもやれる）サブに。つらさが分かるので寄り添いやすい。
・子どもの寝かしつけや大人しくさせるテクニックは哺乳類の輸送反応に起因してるようなものが多い。背中スイッチでなくお腹スイッチ。
・寝かしつけるためにやった事例集、苦労話。上の子を夜中寝かしつけるため、抱っこ紐で背中に背負い、自転車で走るのを毎晩のようにやっていた。
・1人目と2人目の間に1人子どもが流れてしまった話。流産の確率は15%くらいなので普通にありうる。それも外からみて妊娠したと分からない妊娠初期がほとんど。
・同じ遺伝子から始まったはずなのに4人とも個性が違いすぎる、子どもに対するテクニックは相性があるので探り探り開発してくしかない
・両親を頼るのも良いが、子どもの世話は想像以上に体力を使う。頼り過ぎると両親が病むのでほどほどに。
・子どもに関する情報はノイズが多すぎる。NHK「すくすく子育て」が一番バランスが良い。
・この10年で育児グッズは大分便利になった。新しく出てきて助かったもの。おむつのゴミ箱、1歳から飲めるゼリー、丸いスタイ、傾けても飲めるコップ、サマーシューズ、缶のミルク、
・家事の負担を減らすと、育児も楽になる。家電など札束で叩く選択肢も入れる。食洗機、乾燥機、ロボット掃除、電鍋等。
・ご飯を食べる子は色々楽。ご飯食べないことを起因に色々な問題が誘発する。
・体調不良が家族の崩壊の危機をもたらす。体調不良は新生児でなくとも、世話が大変になる。それが連続コンボだと……
・子どもとのトラブルエピソード。不測の事態が起きるのが日常に。出先での非日常はトラブルが起きやすい。
・子どもがいるのが何が良いのか、単純に楽しいよ、大変なことも多いけど刺激にあふれている日々は最大級の娯楽といえるかも。
・子どもの姿を見て自分の忘れていた過去を振り返ることになる、ちょうどゼルダBoWみたいな感じで急に思い出す。それがきっかけで自分の親に対する目線が変わったり、それを夫婦で話すことで何年一緒にいても知らなかった面を知ることになる
・結果的に仕事へフィードバックされた能力。精神的に追い込まれた人へのケア、トラブル発生時の安定感落ち着き具合、パワハラ気質の人への対応力胆力など。
他にもある気がするが、もうわけわからんので、またそのうち続きでも……
