@cannorin

星と鉄道と車が好きなプログラマ。 ゆめみちゃんのようなAIを創る事が夢。

はてなブログ: http://yuchiki1000yen.hatenablog.com/ C#や型理論、形式検証に興味があります

😄 言語実装とWebアプリ開発と競技プログラミングをやってます。よく使う言語は C#/F#/TypeScript/Rust。競プロ参戦記を連載中。

コード書け! コード!

ひねくれたコードを書くことで無名。自称17歳学生。