くろの

RIMS, D3 / 数学, 圏論, 圏論的普遍代数, モナド, 局所表示可能圏 / ドミニオン / Minecraft / 作曲

[くろの @Khronos2106]

使いどころの分からない知識: monadを並び替えるとnomad(遊牧民)になる

[アニメ「魔法科高校の劣等生」シリーズ @mahouka_anime]

◤￣￣￣￣￣￣￣￣￣￣￣￣￣◥
『魔法科高校の劣等生』
アニメ第二部、制作始動―—。
◣＿＿＿＿＿＿＿＿＿＿＿＿＿◢

第二部制作始動ビジュアル解禁。

達也と深雪、
最強の兄妹が歩む未来は――。

https://t.co/hJW72njU1R

#mahouka

[くろの @Khronos2106]

エレベーターがエレベーターの見た目してない

[くろの @Khronos2106]

長靴買うべきでした

[くろの @Khronos2106]

雨やば

[くろの @Khronos2106]

学振の採用者情報が出たらしいので、"学振の専門家"の意見が待たれる

[くろの @Khronos2106]

Detexifyがいつのまにかめちゃめちゃ進化していた
https://t.co/4HC6tIewJe

[くろの @Khronos2106]

点検(壊れた状態から壊れる寸前の状態へ戻す作業)

[あお @galois915]

プレプリントを公開しました！
三角圏の2-クラスター傾対象でのイデアル商はアーベル圏になるという有名な結果を、アーベル d-切断DG圏（大体(d,1)-圏と呼ばれているもの）を用いて高次元一般化を与えたという結果です。

https://t.co/ht9825pbbg

[くろの @Khronos2106]

せっけん枠あつい

[『冰剣の魔術師が世界を統べる』TVアニメ公式 @hyouken_pr]

・‥━━━━━━━━━━□
◤❄#冰剣の魔術師 ⚔
TVアニメ第2期制作決定‼◢
□━━━━━━━━━━‥・

TVアニメ『冰剣の魔術師が世界を統べるⅡ』
2026年10月から放送開始🎉

第2期のティザービジュアルを公開🗡

https://t.co/MaOZN0H1OE

[くろの @Khronos2106]

いつのまにかパブリッシュされとる...

[くろの @Khronos2106]

@mit00042 left/rightは構文的な概念なのであって、どちらがpostであるかは意味的な解釈に過ぎないのでは

[くろの @Khronos2106]

非自明なregular quotientを持たない圏(単純圏?)は何があるだろうか。対象のクラスを取る関手Cat→Setが余極限を保つので、必然的に対象が1 or 2個になる。
1個なら単純モノイドだけど、2個ならどうなるだろうか

[くろの @Khronos2106]

名古屋大学って、研究費で専門書買うと大学帰属扱いになるのか...
https://t.co/cmeBNtSozY

[くろの @Khronos2106]

@paper3510mm discordのbotで見ましょう!

[くろの @Khronos2106]

これが作画を超えたアニメの可能性ってやつか...
(上伊那3話を観ながら)

[くろの @Khronos2106]

equalizerの双対はcompressorとかかな

[学びたい、ことばかり @Alwe_Logic]

equalizerについて調べようとして、単にequalizerって検索してしまい、圏論の方が出ずに音響のが出てくる失敗無限回繰り返している

[くろの @Khronos2106]

ディフェクトの「ホワイトノイズ64枚(複製)+無限コマ」デッキが熱すぎた

[くろの @Khronos2106]

これ勘違いしてたので、皆さんお気をつけて...

[ペーパー @paper3510mm]

学振の時期ですがみなさんいかがお過ごしでしょうか
学振PD申請の場合、所属機関ではなく受入研究機関から申請するので、受入研究機関でのアカウント発行が必要です。忘れずに（n=3）
申請書のコメントが必要ならいくらでもコメントします。お気軽に