Go to Qiita Advent Calendar 2024 Top

@onote2

0
Posts 4
Followees 7
Followers

プログラマ

Mailonote2.jp@gmail.com

Following Organizations

No Organizations you are following

Following tags(4)See all

Rails Go Rust Ruby

Followees

tatsuo sakurai@tatsuoSakurai
Hiroko Tamagawa@nkns165
MIZUNO Hiroki@mzp
Coqなどによるプログラムの正しさの検証・証明に興味があります。
@todesking
<marquee>