khibino
(khibino)

利用開始日: 2013/04/17

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

2017

10/14

(土)

13:00〜

主催

2017

10/01

(日)

13:00〜

主催

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

ヘイヘイHaskell騎士団

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

nobsun nobsun

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

16/50

2017

09/16

(土)

14:00〜

主催

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

readcoqart

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

tmiya_ tmiya_

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

3

2017

09/10

(日)

13:00〜

主催

2017

09/04

(月)

19:40〜

主催

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

ヘイヘイHaskell騎士団

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

nobsun nobsun

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

22/50

2017

08/20

(日)

14:00〜

主催

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

readcoqart

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

tmiya_ tmiya_

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

5

2017

08/13

(日)

13:00〜

主催

2017

07/30

(日)

13:00〜

主催

第3回Haskell-jpもくもく会 @ 朝日ネット 終了

Haskell-jp

第3回Haskell-jpもくもく会 @ 朝日ネット

Yuji Yamamoto Yuji Yamamoto

104-0061 東京都中央区銀座4-12-15

20/30

2017

07/01

(土)

14:00〜

主催

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

readcoqart

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

tmiya_ tmiya_

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

5

2017

06/18

(日)

13:00〜

主催

第2回Haskell-jpもくもく会 @ 朝日ネット 終了

Haskell-jp

第2回Haskell-jpもくもく会 @ 朝日ネット

Yuji Yamamoto Yuji Yamamoto

104-0061 東京都中央区銀座4-12-15

22/30