khibino
(khibino)

利用開始日: 2013/04/17

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

2018

02/17

(土)

13:30〜

補欠

x86/x64最適化勉強会8 開催前

x86/x64最適化勉強会

x86/x64最適化勉強会8

herumi herumi

〒103-6028 東京都中央区日本橋2-7-1 東京日本橋タワー 27階

113/60

2018

01/20

(土)

12:45〜

申込済

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

Metasepi

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

masterq masterq

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

13/18

2017

11/19

(日)

12:45〜

申込済

Haskell入門ハンズオン! #2 終了

Shinjuku.hs

Haskell入門ハンズオン! #2

n0bisuke n0bisuke

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

20/37

2017

11/18

(土)

13:30〜

申込済

東京エリアDebian勉強会@横浜(2017/11/18(土)) 終了

Debian JP

東京エリアDebian勉強会@横浜(2017/11/18(土))

koedoyoshida koedoyoshida

神奈川県横浜市西区高島2-6-32 (横浜東口ウィスポートビル11F)

14/20

2017

09/30

(土)

13:00〜

申込済

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

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

kmizu kmizu

松竹スクエア13F

36/46

2017

09/23

(土)

12:45〜

申込済

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

Metasepi

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

masterq masterq

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

16/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〜

キャンセル