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-7-1 (東京日本橋タワー27F)

23/18

2018

12/18

(火)

19:00〜

申込済

HPC4PC読書会#32 開催前

Compiler Developers

HPC4PC読書会#32

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

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

7/9

2018

12/11

(火)

19:00〜

申込済

HPC4PC読書会#31 終了

Compiler Developers

HPC4PC読書会#31

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

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

5/9

2018

12/04

(火)

19:00〜

申込済

HPC4PC読書会#30 終了

Compiler Developers

HPC4PC読書会#30

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

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

8/9

2018

12/02

(日)

13:00〜

申込済

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

Haskell-jp

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

Yuji Yamamoto Yuji Yamamoto

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

12/30

2018

12/01

(土)

14:00〜

主催

申込済

Coq勉強会 -  #53 終了

readcoqart

Coq勉強会 - #53

tmiya_ tmiya_

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

5

2018

11/27

(火)

19:00〜

申込済

HPC4PC読書会#29 終了

Compiler Developers

HPC4PC読書会#29

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

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

6/9

2018

11/20

(火)

19:00〜

申込済

HPC4PC読書会#28 終了

Compiler Developers

HPC4PC読書会#28

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

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

8/9

2018

11/18

(日)

10:00〜

申込済

東京芋煮会 終了

東京芋煮

東京芋煮会

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

東京都江東区新木場2丁目

14/14