Atsushi Igarashi

@okuk.bsky.social

熊本/京都/神奈川/Coq/SSReflect/

@kiszk.bsky.social

@sigplan.bsky.social

The ACM Special Interest Group on Programming Languages.

@garriguejej.bsky.social

@sigplan-pldi.bsky.social

The ACM SIGPLAN Conference on Programming Language Design and Implementation. Website: https://pldi25.sigplan.org/. Official hashtag this year: #PLDI2025. Posts by @konstantinoskallas.bsky.social and @lastland.bsky.social.

@pirapira.bsky.social

interested in computation and logic.

@ichirohasuo.bsky.social

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

@golden-lucky.net

Lambda Note Ltd. https://twitter.com/golden_lucky 「本とかを読む」フィードを作りました https://bsky.app/profile/did:plc:lzkfak6yj3oejircw76wcj3z/feed/aaajb3wpagd26

@keigoi.bsky.social

@gfngfn.bsky.social

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

@ksuenaga.bsky.social

@jun.dailambda.jp

Fishing, Kyoto, OCaml, No Phishing 釣り、京都

@ocaml.org

https://ocaml.org

@univkyoto.bsky.social

京都大学公式Blueskyアカウントです。京都大学のイベント、ニュース、研究成果など「京大の今」をお伝えします。個別のご質問にはお答えできませんのでご了承ください。部局公認アカウントをフォローしていますので、ぜひフォロー中リストもチェックしてください。

@bsky.app

official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app