shnarazk
(shnarazk)

利用開始日: 01/26/2018

- As a SAT solver researcher: Rust, Haskell, R, luaLatex
- As a programmer Git, NixOS, Linux, Emacs, VScode, bash
- As a web developer: Nuxt.js, Vue.js, MongoDB, Firebase, Now, Docker
- As an engineer, category theory, type theory, logics, macOS
- https://gitlab.com/shnarazk/
- https://shnarazk.now.sh/

2019

07/20

(Sat)

09:30〜

Attending

FUKUOKA Engineers Day 2019 ~Summer~ Ended

FUKUOKA Engineers Day

FUKUOKA Engineers Day 2019 ~Summer~

Takaaki Tanaka Takaaki Tanaka

福岡県福岡市博多区博多駅中央街8-1 JRJP博多ビル12F

177/157

2019

07/11

(Thu)

2019

07/06

(Sat)

14:00〜

Attending

第20回 CoderDojo 福岡 Ended

CoderDojo福岡

第20回 CoderDojo 福岡

coderdojo-fukuoka coderdojo-fukuoka

福岡市中央区大名2-6-11

17/21

2019

06/21

(Fri)

19:30〜

Attending

こわくない関数型プログラミング勉強会@福岡 #1 Ended

こわくない関数型プログラミング勉強会@福岡

こわくない関数型プログラミング勉強会@福岡 #1

Masanori Fujita Masanori Fujita

福岡県福岡市博多区 祇園町7−20 博多祇園センタープレイス9F (株式会社ベガコーポレーション)

34/35

2019

06/05

(Wed)

18:30〜

Bookmarked

Attending

fukuoka.R #14 Ended

R勉強会@福岡(fukuoka.R)

fukuoka.R #14

nonki1974 nonki1974

福岡市中央区大名1-1-29

22/28

2019

06/01

(Sat)

18:30〜

Attending

FGNエンジニアMeetup vol.1 Ended

Fukuoka Growth Next

FGNエンジニアMeetup vol.1

Fukuoka Growth Next Fukuoka Growth Next

福岡県福岡市中央区大名2丁目6−11

72/110

2019

05/29

(Wed)

19:00〜

Attending

Fukuoka.rs vol.4 〜TRPL勉強会〜 Ended

Fukuoka.rs

Fukuoka.rs vol.4 〜TRPL勉強会〜

Shumpei URABE Shumpei URABE

福岡県福岡市博多区祇園町7-20 (博多祇園センタープレイス9F)

12/20

2018

06/30

(Sat)

15:30〜

Organizing

Attending

2018

06/14

(Thu)

18:00〜

Organizing

Attending

2018

05/30

(Wed)

18:30〜

Organizing

Attending

shnarazk