高階 射

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

記事にしてアウトプットすることで、少しでも知識や知恵を身に着けられたらなぁと。 ゆるく好奇心にしたがっていきたい。

RustとAndroidとCLIツールと離散構造好き。いつかRustかAndroidアプリ開発で仕事をしてみたい万年初心者。 Twitter（自称X）は@ogtkzkです。

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

Just a Rustacean. I recommend to use dev.to or Stack Overflow instead of Qiita.

きーた

ソフトウェア開発職してます． 大学時代は，理論計算機科学に興味を持っていましたが，興味を持っただけで終わった．．．

プログラミング言語処理系が好き。古い記事にもコメントなど大歓迎です

東北大 通信工学→東北大大学院 情報科学→21卒 SIer。 プログラミング言語理論の研究をしていました。好きな言語はOCaml。最近はアルゴリズムが好きです。AtCoder Algo青＆Heur水。

数値計算屋さん．

Neovim, 型システム, Haskell, Idris, TypeScript, Monad, 圏論, Claude Code, Devin, Vue, Nuxt, 自動テスト, メンテナンス性, フロントエンド, フルスタック, Effect System, React, Scala, YazawaNico

Programmer. I love (VR) games, programming, and hardcore-techno. I often go to the nightclub in Tokyo. Ruby / golang / Python / Valve Index / 日本人だよ

凝った記事は Zenn <https://zenn.dev/lotz> に書いていきます

EmacsとかLispとかHaskellが好きです。最近はRust。 最近はScrapboxでメモをよく書いてます。 https://scrapbox.io/pogi-log/

好きなもの…Haskell, Scheme, Ruby

Full-stack Software Engineer

Golangで仕事をしているWebアプリケーションエンジニア