Go to Qiita Advent Calendar Top
LoginSignup

Takahiro Nagao

@tnagao7

291Contributions
22
Posts5
Followees13
Followers

仕事でJakarta EE/MicroProfile関連の開発をしてます。学生のときは自動定理証明とかやってました。 Java/Scala/OCaml/Haskell/Coq (掲載内容は私個人の見解であり、所属する組織の公式見解ではありません。)

Participating Organizations(1)

fujitsu

Following Organizations(1)See all

fujitsu

Contributions

article is Stocked

正規表現の微分を Haskell で実装してみる

article is Liked

正規表現の微分を Haskell で実装してみる

article is Liked

正規表現の微分を Haskell で実装してみる

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 バックエンドを一足早く動かしてみる