×
You are not logged in
Bluesky Profile
Ichiro Hasuo 蓮尾 一郎
Registered: 2 Dec 2024 08:36
Last post:4 Mar 2026
情報学の研究者・大学教員．研究分野はソフトウェア科学，特に，数学的基礎・論理学応用・形式検証・論理と統計の融合による実システムの安全性保証．
国立情報学研究所，総合研究大学院大学，株式会社イミロン，他
https://group-mmm.org/~ichiro/
This account allows followers on Bluesky to be notified of new posts from this account.
| ichirohasuo.bsky.social PDS: poisonpie.us-west.host.bsky.network 2024-12-02 08:32:48 |