khibino
(khibino)

利用開始日: 04/17/2013

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

2019

10/26

(Sat)

13:30〜

Attending

決定不能の会 2nd Season Vol.1 Canceled

ゆるゆる技術勉強会

決定不能の会 2nd Season Vol.1

kmizu kmizu

東京都千代田区四番町6番 東急番町ビル

22/30

2019

10/16

(Wed)

19:00〜

Attending

HPC4PC読書会#64 Ended

Compiler Developers

HPC4PC読書会#64

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

東京都千代田区神田神保町1-105 神保町三井ビルディング10F

5/10

2019

10/14

(Mon)

14:30〜

Organizing

Attending

Coq勉強会 -  #6 Ended

readcoqart

Coq勉強会 - #6

tmiya_ tmiya_

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

12

2019

10/01

(Tue)

19:30〜

Attending

HPC4PC読書会#62 Ended

Compiler Developers

HPC4PC読書会#62

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

東京都千代田区神田神保町1-105 神保町三井ビルディング10F

4/10

2019

09/29

(Sun)

11:00〜

Organizing

Attending

Proof Summit 2019 Ended

Proof Summit

Proof Summit 2019

tmiya_ tmiya_

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

66/69

2019

09/28

(Sat)

17:30〜

Cancel

DLAccel#2 懇親会 Ended

Idein株式会社

DLAccel#2 懇親会

bonotake bonotake

東京都品川区大崎1-11-1 ゲートシティ大崎ウエストタワー18階

37/60

2019

09/28

(Sat)

13:20〜

Cancel

2019

09/28

(Sat)

13:00〜

Attending

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

Haskell-jp

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

Yuji Yamamoto Yuji Yamamoto

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

14/30

2019

09/24

(Tue)

19:30〜

Attending

HPC4PC読書会#61_2 Ended

Compiler Developers

HPC4PC読書会#61_2

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

東京都千代田区神田神保町1-105 神保町三井ビルディング10F

4/10

2019

09/17

(Tue)

19:30〜

Attending

HPC4PC読書会#61 Canceled

Compiler Developers

HPC4PC読書会#61

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

東京都千代田区神田神保町1-105 神保町三井ビルディング10F

6/10