khibino
(khibino)

利用開始日: 2013/04/17

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

2017

12/03

(日)

13:00〜

主催

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

ヘイヘイHaskell騎士団

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

nobsun nobsun

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

9/50

2017

11/26

(日)

13:00〜

主催

2017

11/04

(土)

14:00〜

主催

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

readcoqart

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

tmiya_ tmiya_

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

4

2017

10/14

(土)

13:00〜

主催

2017

10/01

(日)

13:00〜

主催

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

ヘイヘイHaskell騎士団

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

nobsun nobsun

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

13/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〜

主催