@tnagao7

288Contributions

22
Posts 5
Followees 13
Followers

仕事でJakarta EE/MicroProfile関連の開発をしてます。学生のときは自動定理証明とかやってました。Java/Scala/OCaml/Haskell/Coq

Following Organizations(1)See all

Following tags(21)See all

Kotlin Java LaTeX 型 Docker TypeScript Haxe Clojure 圏論 F#Rust .NET Isabelle Coq Scala 関数型プログラミング関数型言語 OCaml Erlang Haskell

Contributions

article is Liked

Scala 3 で導入されたカインド多相 (kind polymorphism) とは

article is Stocked

Scala 3 で導入されたカインド多相 (kind polymorphism) とは

article is Liked

Haskell の 3 つのバナナ

article is Liked

Scala プログラムの再帰関数を 3 つの方法でコンパイル時計算しようとしてみた

article is Liked

Scala プログラムの再帰関数を 3 つの方法でコンパイル時計算しようとしてみた

posted an article

Scala プログラムの再帰関数を 3 つの方法でコンパイル時計算しようとしてみた

article is Stocked

Glasgow Haskell Compiler の WebAssembly バックエンドを一足早く動かしてみる

article is Liked

Glasgow Haskell Compiler の WebAssembly バックエンドを一足早く動かしてみる

article is Stocked

Coq のカリー・ハワード同型周辺について

article is Liked

Scala 3 で導入されたカインド多相 (kind polymorphism) とは