khibino
(khibino)

利用開始日: 04/17/2013

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

2019

11/09

(Sat)

10:00〜

Organizing

2019

10/20

(Sun)

13:30〜

Organizing

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

ヘイヘイHaskell騎士団

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

nobsun nobsun

東京都千代田区神田神保町1丁目105番(神保町三井ビルディング10階)

4/9

2019

10/14

(Mon)

14:30〜

Organizing

Attending

Coq勉強会 -  #6 Ended

readcoqart

Coq勉強会 - #6

tmiya_ tmiya_

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

12

2019

09/29

(Sun)

11:00〜

Organizing

Attending

Proof Summit 2019 Ended

Proof Summit

Proof Summit 2019

tmiya_ tmiya_

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

66/69

2019

08/31

(Sat)

14:00〜

Organizing

Attending

Coq勉強会 -  #5 Ended

readcoqart

Coq勉強会 - #5

tmiya_ tmiya_

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

11

2019

07/28

(Sun)

14:00〜

Organizing

Attending

Coq勉強会 -  #4 Ended

readcoqart

Coq勉強会 - #4

tmiya_ tmiya_

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

10

2019

06/23

(Sun)

14:00〜

Organizing

Coq勉強会 -  #3 Ended

readcoqart

Coq勉強会 - #3

tmiya_ tmiya_

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

10

2019

05/26

(Sun)

14:00〜

Organizing

Coq勉強会 -  #2 Ended

readcoqart

Coq勉強会 - #2

tmiya_ tmiya_

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

10

2019

04/29

(Mon)

14:00〜

Organizing

Attending

Coq勉強会 -  #1 Ended

readcoqart

Coq勉強会 - #1

tmiya_ tmiya_

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

23

2019

03/21

(Thu)

14:00〜

Organizing

Attending

Coq勉強会 -  #56 Ended

readcoqart

Coq勉強会 - #56

tmiya_ tmiya_

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

20