khibino
(khibino)

利用開始日: 2013/04/17

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

2018

09/02

(日)

11:00〜

主催

Proof Summit 2018 開催前

Proof Summit

Proof Summit 2018

tmiya_ tmiya_

東京都中央区銀座5-15-1(南海東京ビル)

84/100

2018

07/29

(日)

14:00〜

主催

Coq勉強会 -  #50 開催前

readcoqart

Coq勉強会 - #50

tmiya_ tmiya_

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

5

2018

07/28

(土)

13:00〜

主催

(学生は懇親会無料!)第14回Haskell-jpもくもく会 @ 朝日ネット 開催前

Haskell-jp

(学生は懇親会無料!)第14回Haskell-jpもくもく会 @ 朝日ネット

Yuji Yamamoto Yuji Yamamoto

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

17/30

2018

06/23

(土)

13:00〜

主催

(学生は懇親会無料!)第13回Haskell-jpもくもく会 @ 朝日ネット 終了

Haskell-jp

(学生は懇親会無料!)第13回Haskell-jpもくもく会 @ 朝日ネット

Yuji Yamamoto Yuji Yamamoto

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

22/30

2018

06/10

(日)

14:00〜

主催

Coq勉強会 -  #49 終了

readcoqart

Coq勉強会 - #49

tmiya_ tmiya_

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

10

2018

05/27

(日)

13:00〜

主催

2018

05/06

(日)

14:00〜

主催

Coq勉強会 -  #48 終了

readcoqart

Coq勉強会 - #48

tmiya_ tmiya_

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

6

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