Vocatus atque non vocatus, Dei classis aderit. (呼ばれようと呼ばれまいと神は存在している。クラス定義で見た。)

(SWIPL)について、うるさい人です。

HaskellとAgdaを学び始めた大学院生

男子大学生の暇人です。ブログで活動していましたが。VPSオタク。アンチGCPとAWS。国内外のサーバーをたくさん借りてました。JavaとPythonを主に使います。 アイコンはらてちさんから。

ゲームの企画やデザインを長いことやっています。

型と圏がすきです Qiitaはほぼ見る専です