日比野 啓

ソフトウェア

Haskell Relational Record

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

DNS ライブラリ, DNS フルリゾルバ

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

記事、発表資料

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

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

リンク

個人Web

https://khibino.github.io/

個人Blog

https://zenn.dev/khibino

https://khibino.hatenadiary.jp/

個人GitHub

https://github.com/khibino