Help us understand the problem. What are the problem?
@tnagao7
仕事でJavaの開発しています。学生のときは自動定理証明とかやってました。Java/Scala/OCaml/Haskell/Coq
Followees
  • 岡崎 心一
    @johnny-shaman

    稚拙ですが、関数型プログラミングをするためのライブラリを公開しています。 https://www.npmjs.com/package/cte https://www.npmjs.com/package/dsand 日曜プログラミングのお供にでもいかがですか?(笑) プログラミングカフェ 札幌 主催

  • Tanabe Haruto
    @haruto167

    2018年から技術メモ残したいと思いQiitaはじめました!

  • 吉村 優
    @yyu

    暗号やプログラム言語の記事をよく書きます。 最近ではZenn.devにも投稿してます。 https://zenn.dev/yyu

  • 1 / 1