株式会社ぺあのしすてむ
完全リモートワークで形式手法の普及を目指す、ちょっととんがったソフトウェア開発会社です。
For those interested in this Organization
@nloglogn
数学
統計学