「フォー」を含む日記 RSS

はてなキーワード: フォーとは

2025-12-08

anond:20251208184944

侵攻を始めたのはロシアで、他の誰がどう思ったか関係なくロシアがそう思ったから侵攻したんだ

他人の行動を法と倫理否定すること自体が間違っているとは言わないよ、実際に違法で非倫理的な行動だしね

でもロシアがなぜそのような行動をしたのかどう考えたかはまた別の話なんだ

1991年ソ連崩壊に伴いウクライナ独立。すぐにNATOの「北大西洋協力評議会(NACC)」に参加し、対話を開始。エリツィン政権は当初は西側との関係改善を重視し、将来的なロシア自身NATO加入に言及するような発言もあったが、NATO拡大そのものには国内で反発も生じ始める。
1994年パートナーシップフォーピースPfP)」に参加し、NATOと本格的な協力枠組みに入る。同年、ロシアPfPに参加し、表向きは協力・対話路線。ただしNATO東方拡大には政界世論から懸念が繰り返し表明される。
1994年ブダペスト覚書:核兵器放棄する代わりに、ロシア・米・英からウクライナ主権領土保全の「安全保障に関する確約」を得る。ロシアは覚書の署名国となり、ウクライナ国境尊重約束。ただし後に2014年クリミア併合でこの約束事実上破ることになる。
1997年NATOと「NATOウクライナ間の特別パートナーシップに関する憲章(マドリード憲章)」を締結。NATOウクライナ委員会が設置され、関係制度化。同年、NATOロシア基本文書署名エリツィンは後に、この文書受け入れはNATO拡大が止まらない中での「やむを得ない一歩」だったと回想しており、拡大そのものには強い不満を抱いていた。
2000年プーチン大統領就任
2002年クチマ政権下で、ウクライナ政府が正式に「NATO加盟を目指す」方針を打ち出す。NATOウクライナ委員会での協議も活発化。プーチン政権初期は、西側と協力しつつもNATO拡大を脅威とみなす姿勢を強める。ウクライナの加盟志向には一貫して否定的。
2004–05年オレンジ革命」で親欧米派のユシチェンコ大統領就任NATO加盟志向明確化し、NATOは「加盟行動計画MAP)」を巡る議論を開始プーチンオレンジ革命西側による「カラー革命」と見なし、ロシア勢力圏への干渉と強く非難ウクライナNATO加盟志向ロシア安全保障への脅威として語り始める。
2008年2月当時の駐ロ米大使バーンズが、ラブロフ外相らとの会談を踏まえて、ロシアNATO拡大に関する“redlines”を整理し、特にウクライナグルジアの加盟に強い反対を示していたと報告
2008年4月ブカレストNATO首脳会議NATOは「ウクライナグルジアは将来NATO加盟国になる」と明記するが、ドイツフランスの慎重論でMAP付与は先送り。プーチン会議に出席し、「ウクライナは真の国家ではない」「領土の多くは歴史的ロシアのもの」などと発言し、ウクライナNATO加盟はロシアにとって重大な脅威だと警告。MAPが見送られたことには一定の安堵を示す
2010年ヤヌコビッチ政権が「非同盟法」を成立させ、NATO加盟を目指す条項を削除し「非同盟(どの軍事ブロックにも入らない)」を国家方針にする。これはロシアとの関係改善を狙ったもので、モスクワは概ね歓迎。NATO拡大を止める「成果」として受け止められる。
2013–14年ヤヌコビッチEU協定破棄きっかけにユーロマイダン革命が発生し、政権崩壊。直後にロシアクリミア軍事占領し、住民投票を経て一方的併合。これが現在まで続く露ウ戦争の起点となる。ロシア自国民保護や「NATOの脅威」を口実に併合正当化。一方で欧米ウクライナはこれを明白な侵略とみなし、ロシアブダペスト覚書を踏みにじったと批判

2025-12-07

ぼっちおっさん休日

俺は毎日働いているんだから、せめて土曜くらいはたっぷり休まなきゃなとか頭の中で言い訳

から(あるいは昼からネット動画視聴(海外ドラマスポーツYoutubeなど)をソファに寝転んで見続けて夕方くらいにようやくメシどうしようかなと考え始める。

ご飯だけ炊いて近所のスーパーに買い出し。だいたいリュウジのレシピとかで気になってたのをやってみたり、それすらダルい日は近所でなんか食ったりする。

料理は一人用の電気鍋とかホットプレートを使ってテーブルの上で調理することが多い。

以前はキッチンでしっかりめに作るのにハマったこともあるが、だいたい量が多すぎて持て余すのでしなくなっていった。

食器類などもキャンプで使うような道具が多くてなぜかテーブル上で完結させるようなセッティングになりつつある。

包丁使えばいいのにわざわざフォールディングナイフとかでちまちまやったりして、そのほうが楽しいから

最近スーパーとかでもカット野菜や一人分での材料が書いやすくなったので、そういうのでちょっとだけ料理してる気分になってる。

みりんとか料理酒みたいなものはない。砂糖と塩コショウガーリックパウダー、あとはソースケチャップマヨネース、そんくらいあればなんかそれっぽくはなる。

最近はひき肉ダイレクトに焼いたなんちゃってハンバーグみたいなのにハマってる。

このなんてことな料理食事時間休みの日で一番充実してる時間だと思う。

外食で一人でメシ食うほうが寂しい気持ちになるので家で食べたほうがいい。

食べる時はできるだけどうでもいいテレビやABEMAのエンタメ番組とか見ながら食べてる。

食って風呂入った後はいよいよもうもう動けない。

steamの安くて面白いゲームやったり、エロ動画漁ったりしつつ夜を過ごす。

たまに急に思い立ってPCソフトについて調べてあれこれやったりしだして、異様な集中力を発揮するときもある。

朝方近くようやく寝ないとなとベッドに潜り込む。昔の色んな思い出が勝手に蘇ってきて浸ったりする。

ここで仕事の事とか親兄弟のことが頭をよぎってしまうと寝れなくなる。この場合は寝るのを諦めてPCに向かって他事で気を紛らわせ、そのまま寝落ちする。

いい時は幸せだった思い出に浸ったり、違う世界線妄想しながらそのまま眠る

日曜は泥のように起きて最低限やるべきことだけなんとかこなして、あとはあーもう明日仕事かあ働きたくないなあと憂鬱に過ごす。

たまに思い立って街に出てみたりもするけど、大して使えるお金もないしなんにもすることないなと思って喫茶店だけ寄ってなにもせず帰ったりする。

それでも普段よりは歩き回ったということで満足感はあったりする。

街の中の人々を見ながら、連れ合いがいる人は色んなところに行けていいなあと思う。

海外映画ドラマで、家の前の庭やウッドデッキ椅子出して座ってビール飲みながらだらだらしてるおっさんのシーンとかよく見るけど、

あいうのやれたらいいんだけどなと思ったりする。

昔の元カノで一人だけ今でもたまに連絡を取る人がいて、いったいどんな暮らしをしてるのと聞かれたことがある。

元カノ結婚して子供もできて色々ありながらも充実した人生を送っている。

その彼女からしたら俺が休日一人でなにをしてるのか不思議になってしまうらしい。

これはマウントを取られてるのか?と被害妄想かられつつ、「いやあのんびり過ごしてるよ気楽なもんだよ」と答えている。

アパートの一階に住んでる時にベランダに現れた野良猫に餌を上げたら、しょっちゅう顔を出すようになったことがある。

そのうち半野良みたいになって家の中にも入れるようになっていった。

ある時からぱったり来なくなった。毎日ベランダに来てないか外を見ていたがまったく現れなくなった。

どこかで事故にでもあって死んじゃったのか、それとも自分死ぬことを感じて寄り付かなくなったのか。

最後に一回だけでも顔を出してくれよ、そんなことを思いながら二度とは会えなかった。

人間も、野良猫みたいに死ぬ時は誰にも知られず死ぬのが当たり前、みたいになってたら良かったのになと思う。

昨日録画してたFNS歌謡祭を見た。ほとんど飛ばしながらみたけどASKAが歌ってるとこだけじっくり見た。

この人は色々やばい感じになってたんじゃなかったっけと思いながら、歌声が心に響いて聞き入ってしまった。

歌詞意味がよくわからない。でもメロディ歌声が素晴らしくてなんていい曲なんだと思った。

晴天を褒めるなら夕暮れにしろとかなんとかそんな歌。

夕焼けを眺めてきれいだねーなんつって笑い合う相手がいたらいいのになあと、

そんな事を思い出しながら日曜の夕方を過ごしている。

他人からすれば寂しい姿かもだが、実はけっこう楽しんでいる。寂しさを感じることは嬉しい。

2025-12-05

反乱者たち見終わった

S1アソーカダースベイダー登場、

S2モールの登場とアソーカベイダーの戦い、

S3でまさかスローン提督登場に オビワンとの決闘で終わるモールの長かった戦いと今までクソ長いCW見てきた集大成っぽかった。

あとは時代が進んだのもあってEP4以降のキャラもちょくちょく出てるのも新鮮味。

  

前半はあんだけ出ずっぱりだった尋問官たちの霊圧が綺麗に消えちゃったのは気になった。規模が小規模な反抗から反乱軍としての立ち上げ以降大きくなっちゃったからなんだろうけど。

というかそもそもただの敵役って以上のキャラクター性がなかった気がする。大尋問官とか強いはずなのに、精神ブーストが入ってたとはいえまだ覚醒前で並みのジェダイくらいのケイナンに負けてるし。

フォールンオーダーで強敵かつ、悲哀に満ちたキャラクター性が描写されてたのを見てからだったので割と扱いにはションボリだった。

最後最後は今までのゲスト大集合で熱かった。

  

あと、どうしてもストームトルーパーみたいな中身人相手だと酷い倒され方する場合かわいそう感でちゃうなと思った。

トルドロイドは程々に知性があって見た目ほどほどに非人間的でその辺いい雑魚キャラしてたなと思った。

2025-11-30

「近くの雰囲気のいいサウナ」ってこれ・・・

GoogleCMで毎回言ってますけど、

エッチすぎませんか!?!?!?!???!!111??!

なんで男友達サウナに行く話になるんですか???!?!?!!!!?

はっきりわかんだね。ワカンダ・フォーエバ

動画

あなたGoogle 検索サウナ篇」

https://www.youtube.com/watch?v=d5nxsOllLjU

2025-11-29

クソ長いクローンウォーズ見てたけど、

SWを昔見た気がするって程度なのに安かったからとやってたフォールンオーダーやサバイバーで出てきた場所人物出てきてワクワクしてしまった

ダソミアとか、ソウ・ゲレラとかライトセーバー作る所とかゲームのまんまで感激しちゃった

本当は逆なんだろうけど

そんな長かったCWも、主役の一人だったアソーカジェダイオーダーから離脱で終わったシーズン5、シーズン6まで見終わったけど一話目からオーダー66の話でめっちゃ不穏だったり過去キャラ死んだりボケた扱いされたヨーダの今後の話やったりとの締めのシーズンって感じだった。

そんな中で挟まれジャージャーとメイスの珍道中。

そんでいよいよシーズン7で、散々クローン兵たちに愛着持たせといてのためにためたオーダー66はホントお辛い

2025-11-28

ちょっと前に職場20歳年下の後輩女とサシ飲みしたらビックリするほど性欲が湧かなかった

ミドフォーオッサン俺。別部署大卒3年目の社員(女・以下Aとする)と、たまたま故郷がかなり近いということが発覚してからちょいちょい話すようになり1年くらい。

この前、Aの方からちょっと愚痴を聞いてもらいたい、俺さんくらいの年代の人から意見を聞きたい、だから飲みに行きましょうと誘われ、1対1はリスク管理的にいかがなものかと思い他にも若手を誘おうとしたら、むしろ他の人に聞かれたくないので1対1がいいと言われ、そこまで言うならと実際に行ったわけよ。

ところで俺は妻子持ちだし、Aも実は既婚である最近の若者、早い奴は本当に学生時代から彼氏彼女とすぐ結婚するよなー)。

俺的にはAに対する特段の気持ちはない。てか20歳くらい離れてる年下の若者・後輩社員そもそも男女問わず可愛いという意味では可愛く思ってはいるが、その程度である

ただし本当に万が一にもエロいことにならないよう、店は敢えてチェーン店で当然に個室は避け、ムードとか一切ない感じになるよう事前準備しておいた。

そして自分の性欲がいきなり燃え盛ったりしないように、当日朝にシコっておくという対策まで実施した。

で、実際に飲みに行って色々と話というか仕事愚痴を聞いた。

そういう事前準備が功を奏したのかもしれんが、本当にビックリするほど性欲が湧かなかった。

話を聞いて気の毒に思う部分と、それはお前頑張れよと思う部分がそれぞれあり、ちゃんとAをいい気分で家に帰すというミッションを完遂した満足感だけがあった。

多分だけどこれって加齢のせいなんだよな。自分が歳とってそもそも性欲が落ちてるとか、あとやっぱ年代が違い過ぎてそういう対象と思えない的な。

から20代の女に対して真剣に性欲燃やせる40代以上のオッサン・爺さんってクソだけどすげーなと思った。

他で書く内容でもないため増田匿名放流。

2025-11-25

イマーシブフォートとジャングリアで絶賛爆死中の『あの人』

でもUSJって言う信者居るけど、そこまで『あの人』の成果かな?

ちょっと課題評価しすぎたんじゃない?直近の失敗見ても外的要因以前に基礎能力すら低いんじゃない?

もし違うなら教えてよ

2025-11-19

anond:20251119160651

ねじくれ曲がりを例えるならタンパク質フォールディングの方がいいですよね

2025-11-18

高市外交の成果

 

・使えなくなるサービス

tiktok

Temu

アリエク

EPIC Games

 

・遊べなくなるゲーム

原神

崩壊スターレイル

ZZZ

鳴潮

アークナイツ

ドールズフロントライン

フォーナイト

League of Legend

Nikke

 

・買えなくなる製品

Xiaomi

Huawei

TPLink

DJI

Insta360

Anker

Ugreen

 

※有名どころのみ

※その他、中国製造の製品中国原材料依存する製品サービスが利用不可能になる

さようならgooブログ

昔はよくジオシティーズホームページを見ていた

インフォーシークには不思議なことを知っている人がいた

gooブログでよく挨拶を交わしていた

全て痕跡すら残さず消えてしまった

さようなら

2025-11-14

anond:20251114100855

リスキリングってリス・キリングに聞こえるから使うのやめるべき。再教育とか言うべき。

4Kだってフォーケーだと包茎に聞こえるからヨンケーと言ってるんだし。

2025-11-13

[]

僕は木曜日の朝10時に、昨日(水曜日)の出来事を記録している。

朝の儀式はいつも通り分解可能位相のように正確で、目覚めてからコーヒーを淹れるまでの操作は一切の可換性を許さない。

コーヒーを注ぐ手順は一種群作用であって、器具の順序を入れ替えると結果が異なる。ルームメイトは朝食の皿を台所に残して出かけ、隣人は玄関先でいつもの微笑を投げかけるが、僕はそこに意味を見出そうとはしない。

友人二人とは夜に議論を交わした。彼らはいつも通り凡庸経験則に頼るが、僕はそれをシグナルとノイズの分解として扱い、統計的有意な部分だけを抽出する。

昨晩の中心は超弦理論に関する、かなり極端に抽象化した議論だった。僕は議論を、漸近的自由性や陽に書かれたラグランジアンから出発する代わりに、代数的・圏論的な位相幾何学の言葉再構成した。

第一に、空間時間背景を古典的マンフォールドと見なすのではなく、∞-スタック(∞-stack)として扱い、その上の場のセクションがモノイド圏の対象として振る舞うという観点を導入した。

局所的な場作用素代数は、従来の演算子代数特にvon Neumann因子のタイプ分類)では捉えきれない高次的相互作用を持つため、因子化代数(factorization algebras)と導来代数幾何(derived algebraic geometry)の融合的言語を使って再記述する方が自然だと主張した。

これにより、弦のモードは単なる振動モードではなく、∞-圏における自然変換の族として表現され、双対性は単に物理量の再表現ではなく、ホモトピー同値(homotopical equivalence)として扱われる。

さらに踏み込んで、僕は散逸しうるエネルギー流や界面効果を射影的モチーフ(projective motives)の外延として扱う仮説を提示した。

要するに、弦空間局所構造モチーフホモトピー理論ファイバーとして復元できるかもしれない、という直感だ。

これをより形式的に述べると、弦場の状態空間はある種の導来圏(derived category)における可逆的自己同型の固定点集合と同値であり、これらの固定点は局所的な因子化ホモロジーを通じて計算可能である

ただしここから先はかなり実験的で、既知の定理保証されるものではない。

こうした再定式化は、物理予測を即座に導くものではなく、言語を変えることで見えてくる構造的制約と分類問題を明確にすることを目的としている。

議論の途中で僕は、ある種の高次圏論的〈接続〉の不変量が、宇宙論エントロピーの一側面を説明するのではないか仮定したが、それは現時点では推論の枝の一本に過ぎない。

専門用語の集合(∞-圏、導来スキーム、因子化代数、von Neumann因子、AQFT的制約など)は、表層的には難解に見えるが、それぞれは明確な計算規則と変換法則を持っている点が重要だ。

僕はこうした抽象体系を鍛えることを、理論物理学における概念的清掃と呼んでいる。

日常についても触れておく。僕の朝の配置には位相的な不変量が埋め込まれている。椅子の角度、ノートパソコンキーボード配列ティーカップの向き、すべてが同相写像の下で保存されるべき量だと僕は考える。

隣人が鍵を落としたとき、僕はそれを拾って元の位置に戻すが、それは単なる親切心ではなく、系の秩序を保つための位相補正である

服を着替える順序は群作用対応し、順序逆転は精神的な不快感を生じさせる。

ルームメイトが不可逆的な混乱を台所に残していると、僕はその破線を見つけて正規化する。

友人の一人は夜の研究会で新しいデッキ構築の確率最適化について話していたが、僕はその確率遷移行列スペクトル分解し、期待値分散を明確に分離して提示した。

僕はふだんから、あらゆる趣味活動マルコフ過程情報理論の枠組みで再解釈してしまう悪癖がある。

昨夜は対戦型カードルールインタラクションについても議論になった。

カード対戦におけるターンの構成勝利条件、行動の順序といった基礎的仕様は、公式ルールブックや包括的規則に明確に定められており、例えばあるゲームではカードやパーツの状態を示すタップアンタップなどの操作が定式化されている(公式の包括規則でこれらの操作とそれに付随するステップ定義されている)。

僕はそれらを単純な操作列としてではなく、状態遷移系として表現し、スタックや応答の仕組みは可逆操作の非可換な合成として表現することを提案した。

実際の公式文書での定義を参照すると、タップアンタップ基本的説明やターンの段階が明らかにされている。

同様に、カード型対戦の別の主要系統では、プレイヤーセットアップドロー、行動の制約、そして賞品カードノックアウトに基づく勝利条件が規定されている(公式ルールブック参照)。

僕はこれらを、戦略的決定が行なわれる「有限確率過程」として解析し、ナッシュ均衡的な構成を列挙する計算を試みた。

また、連載グラフィック作品について話題が及んだ。出版社公式リリースや週次の刊行カレンダーを見れば、新刊重要事件がどう配置されているかは明確だ。

たとえば最近の週次リリース情報には新シリーズ重要な続刊が含まれていて、それらは物語トーンやマーケティング構造を読み解く手掛かりになる。

僕は物語的変動を頻度分析し、登場人物の出現頻度や相互作用ネットワークを解析して、有意プロットポイント予測する手法を示した。

夜遅く、友人たちは僕の提案する抽象化が読む側に何も還元しない玩具言語遊びではないか嘲笑したが、僕はそれを否定した。

抽象化とは情報の粗視化ではなく、対称性と保存則を露わにするための道具だ。

実際、位相的・圏論表現は具体的計算を単に圧縮するだけでなく、異なる物理問題戦略問題の間に自然対応(functorial correspondence)を見出すための鍵を与える。

昨夜書き残したノートには、導来圏のある種の自己同型から生じる不変量を用いて、特定ゲーム的状況の最適戦略を分類するアルゴリズムスケッチが含まれている。

これを実装するにはまだ時間がかかるが、理論的な枠組みとしては整合性がある。

僕の関心は常に形式実装の橋渡しにある。日常儀式形式実験場であり、超弦理論の再定式化は理論検算台だ。

隣人の小さな挨拶も、ルームメイトの不作法も、友人たちの軽口も、すべてが情報理論的に扱える符号であり、そこからノイズを取り除く作業が僕の幸福の一部だ。

午後には彼らとまた表面的には雑談をするだろうが、心の中ではいものように位相写像圏論随伴関手の組を反芻しているに違いない。

2025-11-11

anond:20251110213148

フォーナム&メイソン、味薄くね?

ルピシアの方がまだ美味いんだが

anond:20251110201639

紅茶ラヴァー視点経験を、以下の構成構造しました。

紅茶ラヴァーの苦悩:オフィスでの冷遇

1. オフィス環境コーヒー偏重への不満

* 出勤再開とオフィス提供物: リモート生活が終わり出勤者が増加。オフィスにはウォーターサーバー、運が良ければコーヒースープサービスがある。

* 筆者の状況:

* オフィスは水とインスタントコーヒー飲み放題

* 筆者はコーヒーブラックで飲みすぎた結果、体質的に合わなくなり、紅茶派に転向

* 午後の「ホッと」を求めて:

* 当初は朝淹れた紅茶タンブラーで持参(タンブラー利用への自己ツッコミあり)。

* 昼過ぎ紅茶がなくなり、寒い時期になり、ウォーターサーバーのお湯では物足りなくなる。

* 「お湯を飲んでもホッとはしない」。寒さによる鬱の小さな版として、**淹れたての紅茶による「ホッ」**を午後に求める。

2. 紅茶調達の試練:コンビニ専門店の残念な現実

* コンビニでの挫折:

* コンビニではティーバッグすら売っていないことがある。

* 別のコンビニで見つけたリプトンイエローベルは「あまりのまずさ」に飲むのを断念。

* 洋菓子店での失望:

* オフィスの近くの洋菓子店は、1pc 250円もするのに「鼻が曲がりそうなほど臭いフレーバーティーしかなかった」。

3. 紅茶ブランド選定論:ルピシア一択理由

* ルピシアへの回帰:

* 古のインターネットでの「にわか批判認識しつつも、ルピシア一択

* 理由: 安価で、駅ビルにあって利便性が高い。

* 愛飲銘柄: ベルエポックダージリンブレンド)。

* 店舗でのモヤモヤ: 店員に「贈り物ですか?」と聞かれることへの違和感紅茶好きは自分で選びたいため、プレゼントは「ナンセンス」だと考えている。

* 他ブランドへの評価辛口):

* マリアージュフレール: 「素敵なマダムイケメンから紅茶を買うという体験を得るための店」(最近はそうでもない)。味が好きならルピシアのメルシーミルフォアで代替可能

* ティーポンド: ストレートティーを買うには悪くないが、ブレンドは高価で、立地も不便。

* その他: フォーナム&メイソンはデパ地下で素通り、カルディのジャンナッツは「架空ブランド」。

* 個人経営専門店: 昔のレビューで「ダージリンは高いのでやめたら?」と嫌味を言われた例から、斜に構えたイメージを持ち敬遠

4. 100円均一での決定的な悲哀

* 茶葉の購入と百均への移動:

* オフィスに置く用のベルエポック(茶葉50g)を購入後、百均へ。

* (後悔: コスパ呪いティーバッグで買うことに気づかなかった。)

* 紅茶用品の冷遇:

* ティーバッグ用ではない、球体や深型のティーストレーナーを探すが見つからない。

* コーヒー用品: 5種類のドリッパーなど豊富

* 紅茶用品: 昔ながらの取っ手付きの茶漉し一つのみ(「紅茶にも使える」程度)。

* 感情: 「しんみりと悲しい気持ちになった」。便利なグッズが並ぶ百均で、紅茶用品は昔ながらの台所で眠っているような茶漉し」だけ。

💡 結論冷遇される気難しい紅茶ラヴァー

* **「世の中の紅茶飲みは冷遇されている」**という主張。

* 自己認識考察: 冷遇は我々紅茶飲み側の**「こだわりが強い」**ことの裏返しかもしれない。

* ルピシアで茶葉を買う、百均で茶漉しを買う、といったユーザーは想定されていない可能性。

* こだわり事例(独自進化):

* 汎用の茶器ではなく、特定口径の茶漉しをハンズAmazonで購入。

* 愛用アイテム: サーモスの保温ティーポット。

* ガラスジャンピングを見る演出や、陶器ティージーといった「ほっこりした演出」は不要

* 「2杯目もあったかいまま」で「飲むときステンレス匂いがする心配もなし」

* 「やはりサーモスしか勝たん」

* 最終的な結論: 我々紅茶ラヴァーは、気難しいのだ。

この構造で、筆者の主張と経験が明確になりました

2025-11-10

最高のティーコージー見つけた

単なる隙自語だが、もっと意識低い系紅茶飲みだっているで

冬になるとティーポット🫖で淹れたお茶って、ほんとすぐに冷めるんだわ、

で、ティーコージーっていって、ティーポットにかぶせて冷めないようにするカバーがあるのね、

作るのも大変だし、買うのも仰々しくて高いし、なんかい方法いかなーと思ってたら、見つけた

https://jp.daisonet.com/products/4550480568232

ダイソーのシンサレートニットキャップってやつ

300円

本来ティーポットじゃなくて人間の頭にかぶせるものなんだけどね、

二重構造になってて、内側の生地が断熱素材でできてるのね、

で、ティーポットにはめると、ジャストサイズ

断熱性も最高! 30分経ってもまだポットのお茶が熱々!


あとついでに、お茶葉について一言

フォーナム&メイソンとか、お高いお茶はそれは美味しいけど、

紅茶大事なのはじつは葉っぱの鮮度だと思っていて、

高級なお茶で数年前の葉っぱよりも、スーパーとかで売ってる製造年月日が新しい葉っぱの方が美味しいことが多い

その点、業スーで売ってるセイロンティー(一箱158円のやつ)は在庫の回転がめちゃくちゃ早いので、いつ飲んでもお値段の割にとても美味しい

あと、酒のやまやでも、質がいいわりにお安い紅茶がたくさん売ってるのでぜひ試してみて

おすすめは缶に入っているリーフティーの方かな

みんなもお手軽に美味しい紅茶ライフ楽しんでな〜☕️

https://anond.hatelabo.jp/20251110201639

anond:20251110201639

ルピシア紅茶、貰ってガッカリするものの一つ。

大して旨くないし。

人にあげるのならフォーナム&メイソンくらいにしてくれよ。

紅茶界隈の冷遇

紅茶ラヴァー世間冷遇されている。


長いリモート生活が終わり、会社毎日出勤する人も増えたことだろう。私もその一人である

オフィスには大概ウォーターサーバーとかがあり、運がよければコーヒースープまで出てくるやつが置いてある。

残念ながらうちは水オンリーだが、インスタントコーヒー飲み放題となっている。

あいにく、私はコーヒーが飲めない体質で、もっぱら紅茶派だ。

コーヒーも好きなのだが、ストレートコーヒーにハマってブラックで飲みまくっていたら腹を下すようになってしまった。

からオフィスでも紅茶が飲みたい。

しかも、淹れたてのやつだ。

しか最初は、淹れたてにこだわっていたわけではなかった。

最初は朝家で淹れてタンブラーに詰めて持ってきていた。

タンブラー紅茶飲むなと怒られそうだが、カップを持っていくほどではなかった。

だがそれは気温が高いうちだけだった。

朝淹れのお茶は、昼頃にはなくなる。

その後はウォーターサーバー胡散臭い水素水とかを飲んでいたが、最近寒い。だから赤い栓から出るお湯を飲む。

でもなんか、違うのだ。

お湯を飲んでもホッとはしない。

人間は寒くなると鬱になるとか言うが、それの小さい版だ。ホッとしたい。

から、午後も紅茶を飲みたい。


そして紅茶を求めてコンビニへ行ったが、下手するとティーバッグすら売っていない。

私ははしごをして別のコンビニへ行き、リプトンイエローベルを手に入れたが、

まりのまずさに飲むことを断念した。

また次の日も午後になってもお茶が飲みたくなり、

オフィスの近くにある洋菓子店を訪れたが、1pc250円はするくせに鼻が曲がりそうなほど臭いフレーバーティーしかなかった。

私は諦めてルピシアへ行った。


ルピシアなんかで紅茶を買うやつはにわかだ、と古のインターネットではよく叩かれてた気がするのだが、

私は基本的ルピシアしか紅茶を買わない。

安くて、駅ビルなんかに入ってて使いやすいからだ。

茶園ものストレートティーは当時から評価されていた気がするし、私も買ってるが、

よく飲むのはベルエポックというタージリン系のブレンドティーだ。

背伸びをしてストレートティーを買いに行っているうちに福袋に入ってたかなんかで飲んで、これでいいやってなった。

ルピシアに行くと特徴的な声の店員が贈りものですか?お伺いしましょうか?みたいなことを言いながらやってくるが、

贈り物なんか買ったことはない。この駅ビル新装開店した当初からずっとだ。

お茶プレゼントするなんて多分ナンセンスだ。おそらくは紅茶好きは自分で選んだお茶を飲みたい。

からはいとだけ答えてベルエポックを買う。

というか、店のちょっと入り組んだところでストレートティーを物色してる客が贈り物を選んでいると思うか?

お前たちの顧客入り口の一番目立つ棚にあるギフトボックススルーして、袋入りの茶葉を見ている客が、

誰かのためのプレゼントを迷っていると思うか?


というもやっとした気持ちはあるが、とりあえずルピシア一択だ。

マリアージュフレールは素敵なマダムイケメンから紅茶を買うという体験を得るための店だと思っており、

まり飲んだことはない。

というか、いつから店員イケメンオンリーではなくなった。

今は垢抜けないモブの男、垢抜けないモブの女が店になんとなく立っているし、

制服も素敵なイエロースーツでもなくなった気がする。店によるかもしれないが。

ブランド価値みたいなものはかなり減ったのではないかと思う。

マルコポーロとか素直にうまいと思うが、

マルコポーロを飲んでいる自分ではなくマルコポーロの味が好きなら、

ルピシアでメルシーミルフォアでも飲んでいればいい。

ティーポンド清澄にできた当初、またハイソぶってる小綺麗な店ができたと思ったが、

ストレートティーを買うなら悪くない。ブレンドは高いので飲んだことない。店もターミナル駅にあるわけじゃないし。

フォーナム&メイソンなんかの大御所デパ地下で素通りしたことしかないし、カルディにあるジャンナッツ架空ブランド

更には個人経営専門店なんてもってのほか

喫茶ができる専門店レビューを見たら、

ダージリンは高いのでやめたら?と嫌味を言われたと低評価をつけられているのを見たことがある。

自分が行ったときはなかったし、セイロンを飲んだ。

でも個人全般にそういう斜に構えたジジイがやっているイメージを持ったからわざわざ行こうとは思わない。


ここまで書いて、私自身もその嫌味なジジイじみていることに気がつく。もうすぐでこの日記は終わりにする。

それで、会社に置く用のベルエポック(袋入り茶葉50g)を買って、

百均に来た。よく考えたらティーバッグで買えばいいのだが、コスパ呪いにかかっているので気が付かなかった。

今やディスカウントショップ互換となった百円均一。日本国民暮らしを支える一部になっていることは間違いない。

だってちょっとした茶器を買う店が思いつかないんだから。(よく考えたらあったけど)

私はティーストレーナーを求めて食器売り場を見る。

ただの"茶漉し"ではなく、なんか球体になっててカップに鎮められるやつか、カップで直接淹れられる深いやつ。

でもなかった。

コーヒー用品は5種類くらいの素材の違うドリッパーやペーパーフィルターなどの小道具がたくさん。

紅茶用品といえば、昔ながらの取っ手付きの茶漉しだけ。紅茶用品というか、紅茶にも使えるって感じ。

それを百均で買ってどうする?

我が家にも長らく使わなくなったただの茶漉しくらいある。

百均っていろんな便利グッズが売っている店じゃなかったのか。

インスタグラマーがバカの一つ覚えみたいにこれ欲しかった!って動画にして、

即完売するようなグッズが売りではなかったのか。

それが、こんな台所で眠っているような茶漉し。

私はしんみりと悲しい気持ちになった。


世の中の紅茶飲みは冷遇されている。

でも、それは違うかもしれない。

贈り物で紅茶なんてナンセンスと言うように、我々のこだわりが強いのかもしれない。

ルピシアで茶葉を買う、百均で茶漉しを買う、

そんなユーザーはもはや想定されていないのかもしれない。

しかに、ヴィンテージのポットに合う口径の茶漉しをハンズまで買いに行ったり、なくてAmazonで買ったりしていた。

Amazonにはたくさんの茶器が揃っている。

なかでも私のお気に入りは、サーモスの保温ティーポット。

発売当時に偶然見つけて以来、ずっと使っている。

我々がガラス製でジャンピングを見て喜ぶと思うか?陶器ティージーを着せていた頃もあった。

でもそういうほっこりした演出もいらない。

これさえあれば、2杯目もあったかいままだ。

飲むときステンレス匂いがする心配もなし。

やはりサーモスしか勝たん。


このように、我々は気難しいのだ。

PS Portal リモートプレーヤーは、ソニー2023年に発売したPS5ゲーム専用携帯機です。当初はリモートプレイ機能のみでしたが、2025年11月6日の大型アップデートにより、PlayStation Plus プレミアムクラウドストリーミング機能正式実装されました。

PS5本体不要になるのか?

PS Portalクラウドストリーミング機能により、特定の条件下ではPS5本体なしでゲームプレイできるようになりました。ただし「完全にPS5不要」とは言い切れません。

クラウドストリーミング利用の前提条件

  - 最低5Mbps接続確立必要

  - 7Mbps以上:720p画質

  - 13Mbps以上:1080p画質

  - 推奨:15Mbps以上

PS Portalの二つのモード

PS Portalは実はハイブリッドデバイスで、二つの使い分けが可能です。

リモートプレイモード

クラウドストリーミングモード

対応・非対応タイトル(主要作)

対応している主要タイトル

アクションアドベンチャー
  • 『BIOHAZARD RE:4』

RPG

シューティングオンライン
  • 『Cyberpunk 2077』

その他の人気作
  • 『Ratchet & Clank: Rift Apart』

対応動作不安定な主要タイトル

  • 『The Witcher 3』
  • 『Uncharted Collection
  • 『Control』
  • 『Valhalla』

HDMI等での外部出力について

PS PortalにはHDMI出力機能はなく、TVモニター接続公式には非対応です。背面のUSB Type-C端子は充電専用で、ビデオ出力には対応していません。

迂回手段非公式不安定

iPadでのPS Remote Playとの比較

### コントローラー接続すればiPadでもPS Portalに近い体験可能

iPadPS5リモートプレイの設定

PS Portalipad+DualSenseの比較

項目 PS PortaliPad + DualSense
画質・安定性 ハードウェア最適化により高画質・低遅延 ソフトウェアレベルで若干劣る
遅延 最小化、接続速度が「一瞬」 わずかに遅延あり
画面サイズ 8インチ11インチ以上(iPad Proなら優位)
画面品質 専用最適化ディスプレイ 高精細だが汎用ディスプレイ
セットアップ 電源入れてすぐプレイアプリ起動→接続ログイン毎回必要
携帯 専用コンパクト設計 重く、スタンド必須
コスト 約3万円 + 月額1,550円無料(既にiPadコントローラー所有時)
PS5本体電源 クラウドモード時は不要リモートプレイ時は必須

実務的な判断

iPadでいい人
  • 既にiPadとDualSenseを持ってる

PS Portal推奨

ランニングコスト比較

PS Portalランニングコスト

初期投資(1年目)
  • 初年度合計:43,880円(月額換算:約3,656円)

2年目以降(毎年度)

iPadでのランニングコスト

既にiPadを所有している場合

PS5本体電気代(リモートプレイ使用時)
  • 月額概算:200〜300円程度の追加電気

年間コスト比較

項目 PS PortaliPad(既所有)
初年度総額 43,880円 0〜12,000円
2年目以降/年 13,900円 200〜300円
5年累計 113,680円 800〜1,500円
10年累計 183,480円 1,600〜3,000円

クラウドストリーミング対応プラットフォーム

現在対応しているデバイス

対応プラットフォーム

結論

クラウドストリーミング機能が実際に使えるのは、現在のところPS Portalのみです。スマートフォンへのクラウドストリーミング対応は、ソニーの発表では「計画中」ですが、実装は遅れており、実用段階には達していません。

PS5の主要独占タイトル

完全PS5独占タイトルPCなし)

2024年以降の新作

初期〜中期タイトル
  • 『Returnal』
  • 『Ratchet & Clank: Rift Apart』
  • 『Destruction AllStars』(バトルカーゲーム

PlayStation独占(PC版後発)

ソニー1st Party製

サードパーティ期間限定独占)

次期独占予定(未発売)

  • 『Intergalactic: The Heretic Prophet』

Steam移植トレンドと優位性の変化

### PS5の優位性は失われつつあります。徐々にSteam移植が進んでおり、ソニーは既に「Only on PlayStation戦略放棄したと言っていい段階です。

PC移植歴史的推移

初期(2020年):テスト段階
  • 当時は「試験的」な展開と見なされた

加速期(2022-2023):本格化
  • Uncharted: Legacy of Thieves Collection
  • Returnal

本格化(2024-2025):「Only on PlayStation」の死

ソニー経営層の戦略転換

ソニー経営層が明確に戦略転換を表明しました。PCリリースPlayStation Studios収益の大きな部分を占めるようになり、Horizon Forbidden WestやSpider-Man Remasteredが特に好調です。

PC移植利益性は無視できず、ファーストパーティタイトルはかつてはPS本体を売るためのマーケティングツール(独占独占)だったものが、今後は「強いタイトル」をPS向けだけでなく、PCなどにも展開していくことがマージン利益率)の大きな改善に繋がるという経営判断です。

PC移植の「タイムラインパターン

現在ソニー戦略明確化しており、最新作ほどPC移植が早いという傾向があります

タイトルPS5発売時期 PC移植時期 独占期間
God of War Ragnarök 2022年112024年9月 約2年
Ghost of Tsushima20207月2025年5月 約4.8年(PS4含む)
The Last of Us Part II Remastered 2024年1月PS5版) 2025年2月 約1年

傾向:最新作ほどPC移植が早い。これは「PC需要が急速に高まっている」ことを示唆しています

完全独占が残っている例

なぜ、まだ独占のままか?

これらについても、ユーザー要望は根強く、ソニー自体が「いずれPC化も検討中」と示唆しているとの報道があります

Steamが優位になった理由

1. ゲーム購入の自由度Steam版はPS Plus不要、完全な買い切り

2. MOD対応PCMODコミュニティ活動PS5では不可)

3. 将来プレイ保証PCゲームはサブスク廃止後も遊べるが、PS Plus Premiumサービス終了時の権利が不確定

4. 価格競争Steamセール戦略PS Storeより厳しい

結論

PS5の優位性が失われている」という分析は正確です。

実質的には:

ゲーム業界評価も「The "Only on PlayStation" era is a relic」と宣言しており、Steamの優位性指摘はゲーム業界現実を正しく捉えています

ただし1点:PS Plus Premiumのクラウドストリーミングゲームカタログは、まだPS Portalしか体験できない利点として残っています

2025-11-09

anond:20251109105107

パンツァーフォー!って聞くとレイザーラモンHGパンティかぶってふぉーっ!って雄たけび挙げている絵しかかばないんだ。

2025-11-08

ミュージカル『ウィ・ウィルロック・ユー』について

2005年ときは、まだTwitterもないので、個人Webサイトブログ情報発信の主たる手段だった。

大きなプラットフォームというと、2ちゃんねる

2ちゃんねるのWWRYの掲示板がすごく治安が良かったのを覚えている。治安が良すぎて、他の板の人たちから気味悪がられていたのを覚えている(´・ω・`)

ネガティブ意見はそういう他の板から来たくらいで、非常に情報収集にも役立った。

やはり個人サイトやブログよりもディープ情報2ちゃんねるのほうが集めやすかった。

 

来日公演ピーター・マーフィーという人が主演のガリレオ役だったけど、前年まではマイケルフォーゾンという人がやっていたっぽくて、パンフレット写真マイケルのものが使われていた。

来日中にピーターがケガして一部休演して、急遽マイケル来日して凌いだというのも2ちゃんねるで知った(マイケル来日前はもちろんアンダースタディで凌いだらしい)。

 

コマ劇場ってWWRYの開演タイミングリニューアルオープンして、歌舞伎町浄化シンボルみたいな位置づけをされていたけど、2008年クローズしているのねー٩(′д‵)۶

2025-11-04

ポンコツらいす

旦那27嫁40の歳の差カップル←うーん、苦笑

主に嫁が喋る性的ショート動画を上げる←うーん、苦笑

アムウェイで知り合った←アウト

連れ子に性的虐待←ツーアウト

連れ子がいなかったら結婚してなかったと公言スリーアウト

実子が女服着せたマネキンを撫で回す←フォーアウト

2025-10-22

最近Windowsの致命的な不具合多発は生成AIのせいのような気がしている

というか、それ以外に思いつかないんだよな。

localhostが消えるとか、あまりに初歩的で致命的な不具合、今まで正しく動いていたところに発生する不具合は、ここ1、2年で経験がある。

というか、ここ1、2年にしか経験がない(もちろん主犯はおいらではない。居合わせただけ)。

AIサジェストに従って書き換えた。

これ。

あと、

既存テストがないから、AI で追加した。

サジェストによる書き換えが危険なのはスコープ(フレーム)外での利用のされ方を AI が把握できない、部分(覗き穴/ピーホール)最適化しかできないと言う点と、こちらが本質的問題なのだが、そこの処理の仕組み、文脈理解してサジェストしているのではなく、学習データで多く組み合わされているパターン提示しているに過ぎない、と言う点だ。

これ、時間が経ってから致命的な事態引き起こし、原因究明に手こずる原因になる可能性がとてもとてもとても高いのだよな。

レビューすると、「AIサジェストがあったので」的な修正が入っていることがちょいちょいあるんだが、妥当でないサジェスト却下するだけの技術力がない場合、むしろLintとかパターンチェッカー的なのに留めておいた方が、思わぬ瑕疵を埋め込まずに済む。

できるエンジニア視点でも、スキャフォールドとして使おうとすると、細かく指定できそうで生成量が多いと見落としが発生しそうだし、確実なテンプレートで十分じゃん? という気しかしない。開発が進んだ時点では、さらに使い所がない。なぜなら、「新しいものを作っている」ので、既存パターン通用しないことが多いから。

AIの生成「量」が圧倒的なのは確かなんだが、このレベルコーディング能力を「神」と考えるレベルエンジニアからは実質制御不能で、これを使役できるレベルエンジニアから低能中途半端すぎて役に立たない、ってのが、呪術廻戦の摩虎羅やな、と感じる。

例えば絵の自動生成なら、登場人物の一人の指が6本になってようが、この線はどこに繋がってるんだ? とか、この漢字はなんだ? みたいなものが混じってようが、ぱっと見気づかないし、見直しおかしいのに気づいても、大勢に影響はしない。

けど、システム場合、下手すりゃ1ビットで致死的障害を発生させてしまったりする。

その違い、ヤバさを理解できてないエンジニアがこんなにゾロゾロ存在する、という現実絶望する。

加えて、「マジかよ……」ってなるのが、「既存テストがないから、AI で追加してカバレッジをあげた」ってドヤ顔で語るエンジニア

なんて言うか、なんとなく良さげなテスト理解しないでなんとなくマージしてるんだけど、何をテストしなきゃいけないか理解しないで、現状のコードを追認するだけだったりする。

それで必要十分かちゃん検討できるだけの技術力がないと、「命綱、巻きつけたよー」と言いつつ、その命綱が宙に垂れてるのに気づいてない、って状態になってたりするんだよね。

で、不具合が表面化したら、それ用のスペシャライズド監視の仕組みを追加して、手動テストを追加して、不具合が発生したら本番DB接続して手動で修正するって、そんなのが日を追うごとにどんどん増えていって、仕事の大半が不具合対応、ってうんこみたいな現場があちこち爆誕してるんよ。

でも、どのエンジニアも、自分たち現場が異常であることに気づくだけの技術力がなくて、毎日みんなで奴隷が回している謎の棒を回し続け、経営者は、なぜこんなにエンジニアの数が必要で、お金が湯水のように浪費されているか理解できなくて、ストレスを溜めまくってる。

それ、なんて地獄めぐり? w

マジでどの現場もさぁ……、ってなってる。

改善必要があるって、誰も気づいてない。

気づいた人はとっくにやめてるから

炎上してないけど、針の筵だよね。

2025-10-21

anond:20251021125002

絶対辞めるな。ワイも今年転職したミドフォーやけど最初は本当に苦しかったし、今も前職のように活躍できているかと問われれば出来てないし、正直給料分の働きが出来ているとも思えない。

でも出来るようになったことは確実に増えてるし、着実に成長している。

仕事って慣れの部分が実はすごい大きいけどその部分は過小評価されがちで、業務業界経験があればすぐに慣れて戦力になるという誤った認知の人多いんだよね。

元増田無能じゃない、ただ新しい環境に慣れてないだけ。性格きつい上司や同僚に詰められて辛いとかなら辞めるって選択肢もあると思うけど、そうじゃないんだから開き直って居座るべき。鈍感力大事よ。

数学の分類はこんな感じか

フェミニズムの分類が多すぎると聞いて

anond:20251020210124

0. 基礎・横断

集合論

公理集合論(ZFC, ZF, GCH, 大きな基数)

記述集合論(Borel階層, Projective階層, 汎加法族)

強制法フォーシング), 相対的一致・独立

理論理学

述語論理(完全性定理, コンパクト性)

モデル理論(型空間, o-極小, NIP, ステーブル理論

証明論(序数解析, カット除去, 直観主義論理

再帰理論/計算可能性(チューリング度, 0′, 相対計算可能性)

圏論

関手自然変換, 極限/余極限

加群圏, アーベル圏, 三角圏, 派生

トポス論, モナド, アジュンクション

数学基礎論哲学

構成主義, 直観主義, ユニバース問題, ホモトピー型理論(HoTT)

1. 代数学

群論

組み合わせ群論(表示, 小石定理, 自由群)

代数群/リー群表現, Cartan分解, ルート系)

幾何群論ハイパーリック群, Cayleyグラフ

環論

可換環論(イデアル, 局所化, 次元理論, 完備化)

可換環アルティン環, ヘルシュタイン環, 環上加群

体論・ガロア理論

体拡大, 分解体, 代数独立, 有限体

表現

群・リー代数表現(最高ウェイト, カズダン–ルスティグ)

既約表現, 調和解析との関連, 指標

ホモロジー代数

射影/入射解像度, Ext・Tor, 派生関手

K-理論

アルバースカルーア理論, トポロジカルK, 高次K

線形代数

ジョルダン標準形, 特異値分解, クリフォード代数

計算代数

Gröbner基底, 多項式時間アルゴリズム, 計算群論

2. 数論

初等数論(合同, 既約性判定, 二次剰余)

代数的数論(代数体, 整環, イデアル類群, 局所体)

解析数論(ゼータ/ L-関数, 素数定理, サークル法, 篩法)

p進数論(p進解析, Iwasawa理論, Hodge–Tate)

算術幾何楕円曲線, モジュラー形式, 代数多様体の高さ)

超越論(リンマンヴァイエルシュトラス, ベーカー理論

計算数論(楕円曲線法, AKS素数判定, 格子法)

3. 解析

実解析

測度論・ルベーグ積分, 凸解析, 幾何的測度論

複素解析

変数リーマン面, 留数, 近似定理

変数(Hartogs現象, 凸性, several complex variables)

関数解析

バナッハ/ヒルベルト空間, スペクトル理論, C*代数, von Neumann代数

調和解析

フーリエ解析, Littlewood–Paley理論, 擬微分作用素

確率解析

マルチンゲール, 伊藤積分, SDE, ギルサノフ, 反射原理

実関数論/特殊関数

ベッセル, 超幾何, 直交多項式, Rieszポテンシャル

4. 微分方程式力学系

常微分方程式(ODE)

安定性, 分岐, 正準系, 可積分系

偏微分方程式(PDE)

楕円型(正則性, 変分法, 最小曲面)

放物型(熱方程式, 最大原理, Harnack)

双曲型(波動, 伝播, 散乱理論

非線形PDE(Navier–Stokes, NLS, KdV, Allen–Cahn)

幾何解析

リッチ流, 平均曲率流, ヤンミルズ, モノポールインスタント

力学系

エルゴード理論(Birkhoff, Pesin), カオス, シンボリック力学

ハミルトン力学, KAM理論, トーラス崩壊

5. 幾何学・トポロジー

位相幾何

点集合位相, ホモトピーホモロジー, 基本群, スペクトル系列

幾何トポロジー

3次元多様体幾何化, 結び目理論, 写像類群)

4次元トポロジー(Donaldson/Seiberg–Witten理論

微分幾何

リーマン幾何(曲率, 比較幾何, 有界幾何

シンプレクティック幾何(モーメント写像, Floer理論

複素/ケーラー幾何(Calabi–Yau, Hodge理論

代数幾何

スキーム, 層・層係数コホモロジー, 変形理論, モジュライ空間

有理幾何(MMP, Fano/一般型, 代数曲線/曲面)

離散幾何・凸幾何

多面体, Helly/Carathéodory, 幾何極値問題

6. 組合せ論

極値組合せ論(Turán型, 正則性補題

ランダムグラフ/確率方法(Erdős–Rényi, nibble法)

加法組合せ論(Freiman, サムセット, Gowersノルム)

グラフ理論

彩色, マッチング, マイナー理論(Robertson–Seymour)

スペクトルグラフ理論, 拡張グラフ

組合設計ブロック設計, フィッシャーの不等式)

列・順序・格子(部分順序集合, モビウス反転)

7. 確率統計

確率論(純粋

測度確率, 極限定理, Lévy過程, Markov過程, 大偏差

統計

数理統計推定, 検定, 漸近理論, EM/MD/ベイズ

ベイズ統計MCMC, 変分推論, 事前分布理論

多変量解析(主成分, 因子, 判別, 正則化

ノンパラメトリックカーネル法, スプライン, ブーストラップ

実験計画/サーベイ, 因果推論(IV, PS, DiD, SCM

時系列(ARIMA, 状態空間, Kalman/粒子フィルタ

確率最適化/学習理論

PAC/VC理論, 一般境界, 統計学習

バンディット, オンライン学習, サンプル複雑度

8. 最適化オペレーションリサーチ(OR)

凸最適化

二次計画, 円錐計画(SOCP, SDP), 双対性, KKT

凸最適化

多峰性, 一階/二階法, 低ランク, 幾何的解析

離散最適化

整数計画, ネットワークフロー, マトロイド, 近似アルゴリズム

確率的/ロバスト最適化

チャンス制約, 分布ロバスト, サンプル平均近似

スケジューリング/在庫/待ち行列

Little法則, 重み付き遅延, M/M/1, Jackson網

ゲーム理論

ナッシュ均衡, 進化ゲーム, メカニズムデザイン

9. 数値解析・計算数学科学計算

数値線形代数(反復法, 直交化, プリコンディショニング)

常微分方程式の数値解法(Runge–Kutta, 構造保存)

PDE数値(有限要素/差分/体積, マルチグリッド

誤差解析・条件数, 区間演算, 随伴

高性能計算HPC)(並列アルゴリズム, スパー行列

シンボリック計算(CAS, 代数的簡約, 決定手続き

10. 情報計算暗号(数理情報

情報理論

エントロピー, 符号化(誤り訂正, LDPC, Polar), レート歪み

暗号理論

公開鍵RSA, 楕円曲線, LWE/格子), 証明可能安全性, MPC/ゼロ知識

計算複雑性

P vs NP, ランダム化・通信・回路複雑性, PCP

アルゴリズム理論

近似・オンライン確率的, 幾何アルゴリズム

機械学習の数理

カーネル法, 低次元構造, 最適輸送, 生成モデル理論

11. 数理物理

古典/量子力学の厳密理論

C*代数量子論, 散乱, 量子確率

量子場の数理

くりこみ群, 構成的QFT, 共形場理論CFT

統計力学の数理

相転移, くりこみ, Ising/Potts, 大偏差

可積分系

逆散乱法, ソリトン, 量子可積分モデル

理論幾何

鏡映対称性, Gromov–Witten, トポロジカル弦

12. 生命科学医学社会科学への応用数学

数理生物学

集団動態, 進化ゲーム, 反応拡散, 系統樹推定

数理神経科学

スパイキングモデル, ネットワーク同期, 神経場方程式

疫学感染症数理

SIR系, 推定制御, 非均質ネットワーク

計量経済金融工学

裁定, 確率ボラ, リスク測度, 最適ヘッジ, 高頻度データ

社会ネットワーク科学

拡散, 影響最大化, コミュニティ検出

13. シグナル・画像データ科学

信号処理

時間周波数解析, スパー表現, 圧縮センシング

画像処理/幾何処理

変動正則化, PDE法, 最適輸送, 形状解析

データ解析

多様体学習, 次元削減, トポロジカルデータ解析(TDA

統計機械学習回帰/分類/生成, 正則化, 汎化境界

14. 教育歴史方法

数学教育学(カリキュラム設計, 誤概念研究, 証明教育

数学史(分野別史, 人物研究, 原典講読)

計算支援定理証明

形式数学(Lean, Coq, Isabelle), SMT, 自動定理証明

科学哲学数学実在論/構成主義, 証明発見心理

ログイン ユーザー登録
ようこそ ゲスト さん