K.Hirata

@smallkirby.bsky.social

🐶my dog is @smallkirby-bot 🐶 https://github.com/smallkirby

@moratorium.bsky.social

ret2bed https://x.com/moratorium08

@kimworrall.bsky.social

@ichirohasuo.bsky.social

情報学の研究者・大学教員．研究分野はソフトウェア科学，特に，数学的基礎・論理学応用・形式検証・論理と統計の融合による実システムの安全性保証． 国立情報学研究所，総合研究大学院大学，株式会社イミロン，他 https://group-mmm.org/~ichiro/

@diliberti.bsky.social

Academic at Gothenburg University. Mathematician. Late millennial.

@azaika.bsky.social

何かをしている場合もある C++/Rust/形式検証

@1997-takahashi.bsky.social

サクラは、一斉に咲いて、一斉に散るからこそ美しいのであります。

@yukihiro0036.bsky.social

Specially appointed research fellow at Tohoku Univ. Logic/Software verification/Cyclic proofs

@mono-cat.bsky.social

interested in chromatic homotopy theory and ∞-category theory

@alwe-logic.bsky.social

@mitton5772.bsky.social

RIMSで圏論ソルジャー アイコンは4巻カラー絵のアルトちゃん(かわいい)

@catjigary.bsky.social

Rims Keisuke Hoshino

@yutokawase.bsky.social

RIMS, Kyoto University / Category theory / Academic

@mit00042.bsky.social

数学と言語をする アイコンは1巻カラー絵のアルトちゃん(かわいい)

@ngaastue.bsky.social

Kyoto Japan / KU RIMS D1, CS group/ Math, Categorical Logic,Category Theory, Mathematical Logic, Type theory Homepage: https://hayatonasu.github.io/hayatonasu/

@khronos2106.bsky.social

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

@sanataka.bsky.social

@piano2683.bsky.social

ID確保だけしておきます

@gfngfn.bsky.social

https://github.com/gfngfn https://twitter.com/bd_gfngfn https://gfngfn.github.io/ja/

@suibaka.bsky.social

@uishig.bsky.social

イラストレーターのしぐれういです！※本物 pixiv: https://www.pixiv.net/users/431873 Youtube: https://www.youtube.com/channel/UCt30jJgChL8qeT9VPadidSw