@nauthiz

元数学専攻のエンジニア。Web系のアプリケーション開発がメインだが、HTMLやCSSよりはバックエンドロジックの分析などが得意。Haskell, Scala, Elmなどを嗜む程度に。

Coqなどによるプログラムの正しさの検証・証明に興味があります。

Hello, World.

こんにちは!

近藤です。よろしくおねがいします！

こんにちは。はてなでエンジニアをやっています。

実はVTuberです

プログラミング学習サイトの運営などなど。ハイラル王国を徘徊中。