kawa1128のアンテナ

おとなりアンテナ | おすすめページ

1. 2025/06/04 14:31:54 檜山正幸のキマイラ飼育記

   2025-06-04
   色々な包含的圏
   雑記／備忘
   包含的圏〈inclusive category〉の定義は人により色々です。型理論やインスティチューション理論に使うことを目的にして、包含的圏に関して整理しておきます。$`\newcommand{\cat}[1]{\mathcal{#1}} \newcommand{\mrm}[1]{\mathrm{#1}} \newcommand{\mbf}[1]…
2. 2025/06/01 23:31:03 もわ爛漫 四式

   2025-06-01
   エルデンリング ナイトレイン
   直感が「発売後すぐにやるか、やらないかのどっちか」と告げていたのでやることにした。今は見方が強かった回に1体目と2体目のクリア（3夜生き残る）ができたところ。
   例によってハードルの高さに苦言を呈している人もいる
   これはかなりそうだなと思ったナイトレインのレビュー。上級者というか、エルデンリング一周くらいして一通りの操作には慣れ親しんでる人以外お断

3. 2025/02/12 03:21:08 teruyastarはかく語りき

   先延ばしグセを解消する考え方
   

4. 2024/03/27 20:25:51 デー

   デー
   読者になる
   

5. 2024/03/27 17:46:15 最速転職研究会

   最速転職研究会
   読者になる
   

6. 2024/03/25 18:16:37 kaisehのブログ

   kaisehのブログ
   読者になる
   

7. 2011/09/06 21:59:44 女教師ブログ

   Twitter / @ukoko28
   Twitter / @tanag0k0r0
   Twitter / @kayano55