khibino
(khibino)

利用開始日: 2013/04/17

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

2017

09/23

(土)

12:45〜

申込済

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

Metasepi

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

masterq masterq

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

14/17

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

2017

06/24

(土)

13:00〜

申込済

ジェネリクス勉強会 終了

ジェネリクス勉強会

pocketberserker pocketberserker

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

82/95

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