khibino
(khibino)

Usage start date: 04/17/2013

仕事でも趣味でも主に Haskell でプログラムを書いています。関数プログラミング、定理証明器、プログラミング言語処理系まわりに興味があります。
型検査しながら関係DBクエリを組み立てるライブラリ作りました: https://khibino.github.io/haskell-relational-record/

2020

04/26

(Sun)

13:00〜

Organizing

Attending

(オンライン) 第11回『Haskellによる関数プログラミングの思考法』読書会 Ended

ヘイヘイHaskell騎士団

(オンライン) 第11回『Haskellによる関数プログラミングの思考法』読書会

nobsun nobsun

東京都千代田区神田神保町1丁目105番(神保町三井ビルディング10階)

8/12

2020

03/29

(Sun)

13:00〜

Organizing

Attending

(オンライン) 第10回『Haskellによる関数プログラミングの思考法』読書会 Ended

ヘイヘイHaskell騎士団

(オンライン) 第10回『Haskellによる関数プログラミングの思考法』読書会

nobsun nobsun

東京都千代田区神田神保町1丁目105番(神保町三井ビルディング10階)

10/12

2020

01/13

(Mon)

14:00〜

Organizing

Attending

Coq勉強会 -  #9 Ended

readcoqart

Coq勉強会 - #9

tmiya_ tmiya_

東京都中央区銀座 4-12-15 歌舞伎座タワー21階

9

2020

01/12

(Sun)

13:00〜

Organizing

Attending

第9回『Haskellによる関数プログラミングの思考法』読書会 Ended

ヘイヘイHaskell騎士団

第9回『Haskellによる関数プログラミングの思考法』読書会

nobsun nobsun

東京都千代田区神田神保町1丁目105番(神保町三井ビルディング10階)

5/12