@Kory__3

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

あるてみかんです。

高校3年生，実務経験 2 年，プログラミング歴 4 年以上 Web 開発，デスクトップアプリなど AtCoderで競プロをしています。(kichi2004_, 青)

フィーリングでぷよぐやむかいてる組み込みプログラマ 句読点の入れ方がわからない

RustとHaskellとCLIツールと処理系好き。いつかRustで仕事をしてみたい初心者。 Twitterは@ogtkzkです。

きーた

初心者です。 興味を持って調べた知識を、気の向くままに書き連ねていきます。