スキル

バックエンド Java Spring Framework GNU/Linux bash 自動テスト JUnit Groovy Kotlin

作ったもの

mutf-8	Modified UTF-8向けのエンコーダ／デコーダ TypeScript
piyojava	Java Virtual Machineの簡易実装 JVM C
dbsetup-spreadsheet	Excelを入力とするDbSetup拡張自動テスト Java Kotlin
dbsetup-csv	CSVを入力とするDbSetup拡張自動テスト Java Kotlin
gentzen-seqcalc	Sequent計算による命題論理の自動証明器 TypeScript