khibino
(khibino)

利用開始日: 2013/04/17

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

2017

09/30

(土)

13:00〜

申込済

型システム論文読書会 Vol.1 開催前

型システム論文読書会 Vol.1

kmizu kmizu

松竹スクエア13F

43/46

2017

09/23

(土)

12:45〜

申込済

#静的コード解析の会 第5回 開催前

Metasepi

#静的コード解析の会 第5回

masterq masterq

東京都千代田区神田須田町2-3-1 NBF神田須田町ビル7F

15/18

2017

08/26

(土)

13:00〜

申込済

ICST 2017 まるわかりDay! 終了

SIGSTJ

ICST 2017 まるわかりDay!

かわにし かわにし

東京都新宿区早稲田町27

41/130

2017

08/22

(火)

19:30〜

申込済

Elm Tokyo Meetup #4 終了

Elm Tokyo

Elm Tokyo Meetup #4

jinjor jinjor

東京都港区六本木6-10-1 六本木ヒルズ森タワー8F

31/40

2017

07/28

(金)

19:00〜

キャンセル

2017

07/23

(日)

11:00〜

申込済

Proof Summit 2017 終了

Proof Summit

Proof Summit 2017

tmiya_ tmiya_

東京都中央区築地1-13-1(銀座松竹スクエア13F)

64/108

2017

07/22

(土)

13:00〜

申込済

ML勉強会 #2 終了

ML勉強会

ML勉強会 #2

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

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

59/108

2017

07/21

(金)

19:30〜

申込済

歌舞伎座.tech#13 「フロントエンドアーキテクチャ勉強会」 終了

歌舞伎座.tech

歌舞伎座.tech#13 「フロントエンドアーキテクチャ勉強会」

kwappa kwappa

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

84/94

2017

07/15

(土)

12:45〜

申込済

Haskell入門ハンズオン! 終了

Shinjuku.hs

Haskell入門ハンズオン!

n0bisuke n0bisuke

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

40/57