~/keiya

#About Me

低レイヤー、検証、インフラ、Web を一つの流れとして扱う。

私は日本を拠点に、低レイヤー実装から Web フロントエンドまでを一貫して扱う開発者です。単に機能を作るのではなく、整数、メモリ、バイナリ、検証、運用の境界面まで含めて設計し、自分で確かめながら積み上げるスタイルを取っています。

Philosophy

理解したい対象があるなら、一段下の層を自分で作る。コンパイラ、Wasm runtime、形式検証、CI、監視、デプロイまでを分断せず、同じ設計問題として扱うのが基本姿勢です。

Technical Focus

主軸は Rust と Lean 4。そこに LLVM、WebAssembly、TLA+、SPARK、TypeScript / Next.js、Kubernetes、Terraform を重ねて、プロダクトと基盤の両側から詰めています。

Development Style

どう作るか。

  • //仕様、実装、検証、運用を別々にせず、一続きの設計として扱う。
  • //境界条件や失敗時のふるまいを先に詰め、後から表面だけ整える作り方をしない。
  • //形式検証が使えるところは Lean 4 や TLA+ を使い、使えないところも named trust assumptions として明示する。
  • //フロントエンドもシステムの表面の一つとして捉え、情報設計と実装を切り離さない。

>_ cat .vscode/settings.json

json16 lines
{
  "dev.environment": {
    "os": [
      "Arch Linux",
      "Ubuntu",
      "Windows 11"
    ],
    "shell": [
      "Bash",
      "PowerShell"
    ],
    "editor": "Visual Studio Code"
  },
  "workbench.colorTheme": "Dark High Contrast",
  "editor.fontFamily": "Fira Code, Consolas, monospace"
}

>_ echo $STACK

Lang
RustGoTypeScriptCC++
System
LLVMWebAssemblyTLA+SPARKLean 4
Infra
KubernetesDockerTerraformNginxGitHub ActionsPrometheus
Web
ReactNext.jsTailwind CSSNode.jsGraphQL
Data
PostgreSQLMySQLRedis

Basic Info

  • Handlekeiya
  • RoleFull Cycle Engineer
  • EnvironmentArch Linux / Ubuntu / Windows 11

Interests

RustLean 4Compiler DesignWasm RuntimeKubernetesFormal VerificationLLVMWebAssembly