Kei Hibino

Softwares

Haskell Relational Record

https://khibino.github.io/haskell-relational-record/

DNS library, DNS full-resolver

https://github.com/khibino/dnsext/

Articles and Presentations

• Tagless-Final 辞書と Free Monad インタプリタは米田の補題でつながる
• Free Monad インタプリタは一段階分の解釈で決まる
• F X = Σᵢⁿ Aᵢ × (Rᵢ → X) を Container関手として読む
• DNSフルリゾルバの実装への DNSSEC の組み込み – DNSSEC と反復検索 (in Japanese)
• DNSフルリゾルバの実装への DNSSEC の組み込み – NSEC/NSEC3 による否定応答の証明 (in Japanese)

• フルリゾルバ bowline における KeyTrap 対策 (in Japanese)
• DNSフルリゾルバ bowline を支える検証技術について (in Japanese)
• DNSフルリゾルバの研究開発実装について (in Japanese)

Links

Personal Web

https://khibino.github.io/

Blog

https://zenn.dev/khibino

https://khibino.hatenadiary.jp/

GitHub

https://github.com/khibino