khibino
(khibino)

利用開始日: 2013/04/17

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

2018

05/12

(土)

12:45〜

申込済

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

Metasepi

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

masterq masterq

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

9/18

2018

04/23

(月)

19:00〜

申込済

HPC4PC読書会#4 開催前

Compiler Developers

HPC4PC読書会#4

κeen κeen

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

6/7

2018

04/16

(月)

19:00〜

申込済

HPC4PC読書会#3 終了

Compiler Developers

HPC4PC読書会#3

κeen κeen

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

7/7

2018

04/09

(月)

19:00〜

申込済

HPC4PC読書会#2 終了

Compiler Developers

HPC4PC読書会#2

κeen κeen

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

7/7

2018

04/02

(月)

19:00〜

申込済

HPC4PC読書会#1 終了

Compiler Developers

HPC4PC読書会#1

κeen κeen

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

6/6

2018

03/31

(土)

13:00〜

申込済

ML Day #1 終了

ML勉強会

ML Day #1

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

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

57/102

2018

03/11

(日)

12:45〜

申込済

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

Shinjuku.hs

Haskell入門ハンズオン! #3

n0bisuke n0bisuke

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

7/12

2018

02/17

(土)

13:30〜

申込済

x86/x64最適化勉強会8 終了

x86/x64最適化勉強会

x86/x64最適化勉強会8

herumi herumi

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

97/79

2018

01/20

(土)

12:45〜

申込済

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

Metasepi

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

masterq masterq

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

12/18

2017

11/19

(日)

12:45〜

申込済

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

Shinjuku.hs

Haskell入門ハンズオン! #2

n0bisuke n0bisuke

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

20/37