khibino
(khibino)

利用開始日: 2013/04/17

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

2017

04/30

(日)

09:30〜

申込済

Shinjuku.hs #15 開催前

Shinjuku.hs

Shinjuku.hs #15

TomohisaKuranari TomohisaKuranari

東京都新宿区西新宿8-17-1 (住友不動産新宿グランドタワー12F)

10/16

2017

03/26

(日)

09:30〜

申込済

Shinjuku.hs #14 終了

Shinjuku.hs

Shinjuku.hs #14

TomohisaKuranari TomohisaKuranari

東京都新宿区西新宿8-17-1 (住友不動産新宿グランドタワー12F)

8/16

2017

02/26

(日)

09:30〜

キャンセル

Shinjuku.hs #13 終了

Shinjuku.hs

Shinjuku.hs #13

TomohisaKuranari TomohisaKuranari

東京都新宿区西新宿8-17-1 (住友不動産新宿グランドタワー12F)

10/16

2017

01/28

(土)

14:00〜

申込済

コンパイラ勉強会 終了

コンパイラ勉強会

κeen κeen

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

82/75

2017

01/22

(日)

09:30〜

申込済

Shinjuku.hs #12 終了

Shinjuku.hs

Shinjuku.hs #12

TomohisaKuranari TomohisaKuranari

東京都新宿区西新宿8-17-1 (住友不動産新宿グランドタワー12F)

12/12

2017

01/10

(火)

18:00〜

申込済

TLS 1.3 終了

iijlabセミナー

TLS 1.3

Keiichi SHIMA Keiichi SHIMA

東京都千代田区富士見2-10-2

35/50

2016

12/18

(日)

09:30〜

申込済

Shinjuku.hs #11 終了

Shinjuku.hs

Shinjuku.hs #11

TomohisaKuranari TomohisaKuranari

東京都新宿区西新宿8-17-1 (住友不動産新宿グランドタワー12F)

8/12

2016

12/15

(木)

19:00〜

申込済

Nagoya.Testing in Tokyo -テストを強いられている人達の話- 終了

Nagoya.Testing in Tokyo -テストを強いられている人達の話-

pocketberserker pocketberserker

東京都中央区築地1丁目13−1 ADK松竹スクエア

71/101

2016

11/05

(土)

14:00〜

主催

申込済

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

readcoqart

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

tmiya_ tmiya_

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

4

2016

10/08

(土)

13:30〜

申込済

Haskell Talk & Session[ghcjs][Luite][原宿] 終了

Remote.hs

Haskell Talk & Session[ghcjs][Luite][原宿]

kayhide kayhide

東京都渋谷区千駄ヶ谷3-61-11 303

21/20