TAU

画像のような螺旋を描画してください。

MICE-GCで特定されたダークマターハロー特性の新しいカタログ-I.密度プロファイル分布の分析 宇宙は私たちの動きの方向に明るくなっています：銀河の数とフラックスはCMB双極子と一致しています デシヘルツ重力波検出器によるダークサイレン宇宙論 SNe Ia Pantheonサンプルからハッブル定数を実行していますか？ Parkesパルサータイミングアレイの2番目のデータリリースで宇宙ひもから重力波の背景を検索 ディープラーニングによる高解像度CMBレンズ再構成 湾曲した空間での有限のインフレーション R500を超える激しい生活：SRG/eROSITAを使用したかみのけ座銀河団のX線写真。 I…

機械学習からのハロー質量プロファイルの起源への洞察 確率的重力波異方性内の原始時計 天体物理学の前景の存在下でのCMBのレイリー散乱に対する地上ベースの感度の予測 レイリー散乱の将来の検出に対する前景の影響の推定 $ z 赤方偏移空間銀河バイスペクトルのモーダル圧縮 機械学習からのミリオンクエーサーカタログの無線ソースの赤方偏移 再電離電力スペクトルの時代への拡張無線源の寄与の調査 宇宙マイクロ波背景放射による重力のテスト：2つのテンソル自由度による修正重力の制約 $ \ Lambda$CDMは健在です プロジェクトライラ：1I/'オウムアムアへの別の可能な軌道 惑星外大気中の選択された雲組成…

「デカルト・モノイド圏のあいだの関手、そして自然変換」にて： デカルト圏をモノイド圏として定義したもの、つまり、デカルト・モノイド圏の定義はハッキリしています。が、デカルト・モノイド圏のあいだのデカルト構造を保つ関手、そのような関手のあいだの自然変換の定義って、意外に目にしないですね。 というわけで、デカルト・モノイド圏のあいだのデカルト・モノイド関手を定義しようと思ったのですが、前の記事で定義したデカルト・モノイド関手は条件がキツすぎて実用的じゃなかったです。状況を眺めてみると、「これがTHE・デカルト・モノイド関手だ」という規準的な定義は出来そうにありません。結局、目的・用途に応じて色々な…

4/28(木） ゴールデンウィーク前夜祭 本来なら有給だったはずが、仕事のトラブルで残業して結局退勤したのは夜の21時だった。これから夕飯を作るのもしんどいので、夫を誘って近所のコンビニへ。 コンビニに行くとガンプラが置いてあったので「ガンプラだ！」と言うと、夫ではなくレジの向こうにいた店員さんが「そうなんですよ！」と返事をしてきて驚いた。店員さんのガンダム愛を聞くイベントが突如として発生し、これも何かの縁だからということで購入する。 帰宅してコンビニのお惣菜を食べ、その後は自室で資格の勉強。疲れていたのか寝落ちしてしまい、目を覚ますと机の上に出来上がったガンプラが置いてあった。 4/29(金…

デカルト圏をモノイド圏として定義したもの、つまり、デカルト・モノイド圏の定義はハッキリしています。が、デカルト・モノイド圏のあいだのデカルト構造を保つ関手、そのような関手のあいだの自然変換の定義って、意外に目にしないですね。デカルト・モノイド圏、デカルト・モノイド関手、デカルト・モノイド自然変換の定義を明示的に述べてみます。背後にある問題意識はデカルト・モノイド・モナドを調べることです。$`\newcommand{\lax}{\mathrm{lax}} \newcommand{\cat}[1]{\mathcal{#1} } \newcommand{\u}[1]{\underline{#1} }…

よくわからないことに、300アクセスとかこの日記にあった日があって怖いわ。 そんな大したこと書いてないし。 まぁなんか日記書くモチベがあまり上がらない。 面白いことを基本的に書きたいとは思うが、イマイチ生活に面白さが見いだせない。 久しぶりになんか気分が落ち込み気味で、腎臓は腫れるし、なんか調子の良くない4月だった。 まぁGWは母親の相手をしていたりしたけど、そうだなぁ、まだ頑張ってると思うけど、そこかしこににじむ衰えを感じるとどうしても気分は沈みがちになる。 買ってたおやつを一人で食べてしまったのを怒ったら、ゲラゲラ笑い出すし。 はぁ、話が通じぬ。 加齢をいくら勉強して知識を得ても、感情はつ…