khibino
(khibino)

利用開始日: 2013/04/17

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

2017

07/22

(土)

13:00〜

申込済

ML勉強会 #2 開催前

ML勉強会

ML勉強会 #2

インターネットの闇 インターネットの闇

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

39/108

2017

06/24

(土)

13:00〜

申込済

ジェネリクス勉強会 開催前

ジェネリクス勉強会

pocketberserker pocketberserker

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

94/96

2017

06/20

(火)

2017

05/25

(木)

19:00〜

申込済

Rust入門者向けハンズオン #3 終了

Rust

Rust入門者向けハンズオン #3

n0bisuke n0bisuke

東京都渋谷区渋谷2-21-1 渋谷ヒカリエ17F

51/57

2017

04/30

(日)

09:30〜

申込済

Shinjuku.hs #15 終了

Shinjuku.hs

Shinjuku.hs #15

TomohisaKuranari TomohisaKuranari

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

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