khibino
(khibino)

利用開始日: 2013/04/17

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

2018

10/13

(土)

12:45〜

申込済

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

Metasepi

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

masterq masterq

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

15/18

2018

09/16

(日)

13:00〜

申込済

ML Day#2 開催前

ML勉強会

ML Day#2

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

東京都中央区銀座5-15-1 南海東京ビルディング3F

77/102

2018

08/20

(月)

19:00〜

申込済

HPC4PC読書会#16 開催前

Compiler Developers

HPC4PC読書会#16

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

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

5/8

2018

08/06

(月)

19:00〜

申込済

HPC4PC読書会#15 終了

Compiler Developers

HPC4PC読書会#15

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

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

6/8

2018

07/30

(月)

19:00〜

申込済

HPC4PC読書会#14 終了

Compiler Developers

HPC4PC読書会#14

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

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

7/8

2018

07/24

(火)

19:00〜

申込済

HPC4PC読書会#13 終了

Compiler Developers

HPC4PC読書会#13

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

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

7/8

2018

07/17

(火)

19:00〜

申込済

HPC4PC読書会#12 終了

Compiler Developers

HPC4PC読書会#12

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

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

8/8

2018

07/09

(月)

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