khibino
(khibino)

利用開始日: 2013/04/17

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

2019

02/09

(土)

12:45〜

申込済

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

Metasepi

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

masterq masterq

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

15/18

2018

11/10

(土)

10:00〜

申込済

Haskell Day 2018 開催前

Haskell-jp

Haskell Day 2018

Yuji Yamamoto Yuji Yamamoto

東京都千代田区富士見2-10-2(飯田橋グラン・ブルーム 13F)

224/160

2018

11/04

(日)

13:00〜

申込済

(学生は懇親会無料!)第16回Haskell-jpもくもく会 @ 朝日ネット 開催前

Haskell-jp

(学生は懇親会無料!)第16回Haskell-jpもくもく会 @ 朝日ネット

Yuji Yamamoto Yuji Yamamoto

東京都中央区銀座 4-12-15 歌舞伎座タワー21階

5/30

2018

11/03

(土)

14:00〜

主催

申込済

Coq勉強会 -  #52 開催前

readcoqart

Coq勉強会 - #52

tmiya_ tmiya_

東京都中央区銀座 4-12-15 歌舞伎座タワー21階

4

2018

10/22

(月)

19:00〜

申込済

HPC4PC読書会#24 開催前

Compiler Developers

HPC4PC読書会#24

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

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

9/9

2018

10/19

(金)

18:30〜

抽選中

Facebook Glow Compiler のソースコードをグダグダ語る会 中止

LeapMind株式会社

Facebook Glow Compiler のソースコードをグダグダ語る会

Yukako_Nagatome Yukako_Nagatome

東京都渋谷区円山町28-1 渋谷道玄坂スカイビル 5F

42/30

2018

10/15

(月)

19:00〜

申込済

HPC4PC読書会#23 終了

Compiler Developers

HPC4PC読書会#23

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

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

9/9

2018

10/13

(土)

12:45〜

申込済

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

Metasepi

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

masterq masterq

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

9/18

2018

10/07

(日)

13:00〜

申込済

(学生は懇親会無料!)第15回Haskell-jpもくもく会 @ 朝日ネット 終了

Haskell-jp

(学生は懇親会無料!)第15回Haskell-jpもくもく会 @ 朝日ネット

Yuji Yamamoto Yuji Yamamoto

東京都中央区銀座 4-12-15 歌舞伎座タワー21階

19/30

2018

10/02

(火)

19:00〜

申込済

HPC4PC読書会#22 終了

Compiler Developers

HPC4PC読書会#22

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

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

7/9