記号計算大濠社中

Symbolic Computation Ohori Shachu

Group Description

記号推論、制約充足(SAT, SMT)、解集合プログラミング、型計算、関数型言語、プログラム意味論といった、広い意味の記号に関する計算・推論に関する勉強(読書)会です。

  • 平日の天神界隈でもくもく読書
  • 休日の大濠公園でもくもく読書
読書リスト
Hackathon candidates
  • Lens & Prism, Pipes, Template Haskell, Servant
  • Nix scripting

Finished Events View all events (9)

Ended 2018/06/30(Sat) 15:30〜

"Category Theory for Programmers" 読書会 #05

shnarazk shnarazk

長崎県長崎市興善町1-1

1/4

Ended 2018/06/14(Thu) 18:00〜

"Potassco User Guide" 読書会 #04

shnarazk shnarazk

長崎県長崎市興善町1-1

1/4

Ended 2018/05/30(Wed) 18:30〜

"Category Theory for Programmers" 読書会 #04

shnarazk shnarazk

長崎県長崎市興善町1-1

1/4

Ended 2018/05/25(Fri) 18:00〜

"Potassco User Guide" 読書会 #03

shnarazk shnarazk

長崎県長崎市興善町1-1

1/4

Ended 2018/04/28(Sat) 17:00〜

"Category Theory for Programmers" 読書会 #03

shnarazk shnarazk

長崎県長崎市興善町1-1

1/4

Ended 2018/04/21(Sat) 15:30〜

"Potassco User Guide" 読書会 #02

shnarazk shnarazk

長崎県長崎市尾上町3番1号

1/4

Ended 2018/04/12(Thu) 18:30〜

"Category Theory for Programmers" 読書会 #02

shnarazk shnarazk

長崎県長崎市興善町1-1

1/4

Ended 2018/03/29(Thu) 18:30〜

"Potassco User Guide" 読書会 #01

shnarazk shnarazk

長崎県長崎市興善町1-1

1/4

Ended 2018/03/22(Thu) 18:30〜

"Category Theory for Programmers" 読書会 #01

shnarazk shnarazk

長崎県長崎市尾上町3番1号

1/4