khibino
(khibino)

利用開始日: 2013/04/17

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

2018

02/10

(土)

14:00〜

主催

Coq勉強会 -  #46 開催前

readcoqart

Coq勉強会 - #46

tmiya_ tmiya_

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

1

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

2017

12/03

(日)

13:00〜

主催

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

ヘイヘイHaskell騎士団

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

nobsun nobsun

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

8/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