Following
@50storms.bsky.socialBluesky日本語（公式） @jp.bsky.app Bluesky日本語公式アカウントです（ユーザー名をチェック👆）。 バグのご報告、機能リクエスト、フィードバックはこちらへ → support@bsky.app
K.Hirata @venriched.bsky.social 豊穣圏
mora @moratorium.bsky.social 人生の落とし穴はどこにあるかわからない https://x.com/moratorium08
おく(@OKU_K) @okuk.bsky.social 熊本/京都/神奈川/Coq/SSReflect/
@kiszk.bsky.social @kiszk.bsky.social
SIGPLAN @sigplan.bsky.social The ACM Special Interest Group on Programming Languages.
@garriguejej.bsky.social @garriguejej.bsky.social
PLDI @sigplan-pldi.bsky.social The ACM SIGPLAN Conference on Programming Language Design and Implementation. Website: https://pldi26.sigplan.org/. Official hashtag this year: #PLDI2026. Posts by @jcenzo.bsky.social and @konstantinoskallas.bsky.social.
Yoichi Hirai @pirapira.bsky.social interested in computation and logic.
Ichiro Hasuo 蓮尾 一郎 @ichirohasuo.bsky.social 情報学の研究者・大学教員．研究分野はソフトウェア科学，特に，数学的基礎・論理学応用・形式検証・論理と統計の融合による実システムの安全性保証． 国立情報学研究所，総合研究大学院大学，株式会社イミロン，他 https://group-mmm.org/~ichiro/
Keiichiro Shikano @golden-lucky.net Lambda Note Ltd. https://twitter.com/golden_lucky 「本とかを読む」フィードを作りました https://bsky.app/profile/did:plc:lzkfak6yj3oejircw76wcj3z/feed/aaajb3wpagd26
Keigo Imai @keigoi.bsky.social
画力・博士号・油田 @gfngfn.bsky.social Website: https://gfngfn.github.io/ja/ GitHub: https://github.com/gfngfn Twitter (”X”): https://twitter.com/bd_gfngfn
Kohei Suenaga @ksuenaga.bsky.social
Jun Furuse @jun.dailambda.jp Fishing, Kyoto, OCaml, No Phishing 釣り、京都
OCaml @ocaml.org https://ocaml.org
京都大学 @univkyoto.bsky.social 京都大学公式Blueskyアカウントです。京都大学のイベント、ニュース、研究成果など「京大の今」をお伝えします。個別のご質問にはお答えできませんのでご了承ください。部局公認アカウントをフォローしていますので、ぜひフォロー中リストもチェックしてください。
Bluesky @bsky.app official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app