khibino

khibino

(khibino)
Usage start date: 04/17/2013

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

2024

/

02/12

(Mon)20:00〜

Attending

SF.lean勉強会 Ended

SF.lean勉強会

YAMAMOTO Yuji YAMAMOTO Yuji

オンライン

8

2024

/

01/29

(Mon)20:00〜

Attending

Lean勉強会 Ended

Lean勉強会

YAMAMOTO Yuji YAMAMOTO Yuji

オンライン

17

2023

/

12/23

(Sat)13:00〜

2023

/

09/23

(Sat)13:00〜

2023

/

09/09

(Sat)13:00〜

Attending

DNS 温泉 8 Ended

DNS温泉

DNS 温泉 8

浸透いうな 浸透いうな

岐阜県下呂市森971-1

22/25

2023

/

08/26

(Sat)13:00〜

2023

/

07/22

(Sat)12:30〜

Attending

Kernel/VM探検隊@東京 No16 Ended

カーネル/VM探検隊

Kernel/VM探検隊@東京 No16

nekomatu nekomatu

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

326/65685

2023

/

06/23

(Fri)10:00〜

Attending

DNS Summer Day 2023 Ended

DNSOPS.jp

DNS Summer Day 2023

mikiT_T mikiT_T

東京都千代田区外神田1-7-5 フロントプレイス秋葉原 2階・3階

86/130

2023

/

04/21

(Fri)14:00〜

Attending

2023

/

04/15

(Sat)13:00〜

khibino