khibino
(khibino)

利用開始日: 2013/04/17

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

2018

05/06

(日)

14:00〜

主催

Coq勉強会 -  #48 開催前

readcoqart

Coq勉強会 - #48

tmiya_ tmiya_

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

3

2018

04/28

(土)

13:00〜

主催

2018

03/18

(日)

13:00〜

主催

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

ヘイヘイHaskell騎士団

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

nobsun nobsun

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

10/50

2018

03/10

(土)

14:00〜

主催

Coq勉強会 -  #47 終了

readcoqart

Coq勉強会 - #47

tmiya_ tmiya_

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

7

2018

02/25

(日)

13:00〜

主催

2018

02/10

(土)

14:00〜

主催

Coq勉強会 -  #46 終了

readcoqart

Coq勉強会 - #46

tmiya_ tmiya_

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

4

2018

01/21

(日)

13:00〜

主催

2018

01/13

(土)

14:00〜

主催

Coq勉強会 - (SF読み進捗ダメです会議) -  #45 終了

readcoqart

Coq勉強会 - (SF読み進捗ダメです会議) - #45

tmiya_ tmiya_

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

6

2017

12/17

(日)

13:00〜

主催

2017

12/09

(土)

14:00〜

主催

Coq勉強会 - (SF読み進捗ダメです会議) -  #44 終了

readcoqart

Coq勉強会 - (SF読み進捗ダメです会議) - #44

tmiya_ tmiya_

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

3