khibino
(khibino)

利用開始日: 2013/04/17

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

2018

06/25

(月)

19:00〜

申込済

HPC4PC読書会#11 開催前

Compiler Developers

HPC4PC読書会#11

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

東京都千代田区神田神保町1丁目13( CONVEX神保町)

6/7

2018

06/18

(月)

19:00〜

申込済

HPC4PC読書会#10 終了

Compiler Developers

HPC4PC読書会#10

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

東京都千代田区神田神保町1丁目13( CONVEX神保町)

5/7

2018

06/12

(火)

18:30〜

申込済

The History of Software Engineering -Grady Booch- 終了

The History of Software Engineering -Grady Booch-

manami_aoyama manami_aoyama

東京都中央区日本橋箱崎町19-21

77

2018

06/11

(月)

19:00〜

申込済

HPC4PC読書会#10 終了

Compiler Developers

HPC4PC読書会#10

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

東京都千代田区神田神保町1丁目13( CONVEX神保町)

7/7

2018

06/08

(金)

19:00〜

キャンセル

#idcon vol.24 ~ #fidcon 再び 終了

#idcon

#idcon vol.24 ~ #fidcon 再び

nov nov

〒150-0011 東京都渋谷区東1-2-20 住友不動産渋谷ファーストタワー7F

107/100

2018

06/04

(月)

19:00〜

申込済

HPC4PC読書会#9 終了

Compiler Developers

HPC4PC読書会#9

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

東京都千代田区神田神保町1丁目13( CONVEX神保町)

7/7

2018

05/28

(月)

19:00〜

申込済

HPC4PC読書会#8 終了

Compiler Developers

HPC4PC読書会#8

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

東京都千代田区神田神保町1丁目13( CONVEX神保町)

6/7

2018

05/21

(月)

19:00〜

申込済

HPC4PC読書会#7 終了

Compiler Developers

HPC4PC読書会#7

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

東京都千代田区神田神保町1丁目13( CONVEX神保町)

7/7

2018

05/14

(月)

19:00〜

申込済

HPC4PC読書会#6 終了

Compiler Developers

HPC4PC読書会#6

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

東京都千代田区神田神保町1丁目13( CONVEX神保町)

7/7

2018

05/12

(土)

12:45〜

申込済

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

Metasepi

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

masterq masterq

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

8/18