Group Description

継続について勉強する会です。 継続人口を増やして、継続に関する議論ができる環境を作ることが当面の目標です。

まずは、浅井先生のshift/resetプログラミング入門( http://pllab.is.ocha.ac.jp/~asai/cw2011tutorial/main-j.pdf )を丁寧に理解しながら読んでいきます(全6回、隔週開催程度を予定)。

そのあとは未定ですが、メモとして次のようなものがあります。

  • call/cc
  • shift resetとその派生(0, 1, 2とか)
  • control promptとその派生
  • 実装する、実装を読む
  • 意味 (形式的 ⇔ 直感的)
  • 型システム, answer type modification, 依存型
  • 二重否定の除去
  • 自然言語の意味論
  • 使い方(大域脱出, コルーチン, モナド, printf)
  • ラムダ計算 with continuation
  • 論文読む(Oleg)
  • CPS

Finished Events View all events (9)

Ended 2019/04/09(Tue) 19:00〜

第8回継続勉強会

bleis-tift bleis-tift

名古屋市中区錦1-19-24 (名古屋第一ビル 8F)

8/15

Ended 2019/03/26(Tue) 19:00〜

第7回継続勉強会

bleis-tift bleis-tift

名古屋市中区錦1-19-24 (名古屋第一ビル 8F)

5/15

Ended 2019/03/12(Tue) 19:00〜

第6回継続勉強会

bleis-tift bleis-tift

名古屋市中区錦1-19-24 (名古屋第一ビル 8F)

7/15

Ended 2019/02/26(Tue) 19:00〜

第5回継続勉強会

bleis-tift bleis-tift

名古屋市中区錦1-19-24 (名古屋第一ビル 8F)

6/15

Ended 2019/02/12(Tue) 19:00〜

第4回継続勉強会

bleis-tift bleis-tift

名古屋市中区錦1-19-24 (名古屋第一ビル 8F)

10/15

Ended 2019/01/15(Tue) 19:00〜

第3回継続勉強会

bleis-tift bleis-tift

名古屋市中区錦1-19-24 (名古屋第一ビル 8F)

9/11

Ended 2018/12/18(Tue) 19:00〜

第2回継続勉強会

bleis-tift bleis-tift

名古屋市中区錦1-19-24 (名古屋第一ビル 8F)

10/11

Ended 2018/12/04(Tue) 19:00〜

第1回継続勉強会

bleis-tift bleis-tift

名古屋市中区錦1-19-24 (名古屋第一ビル 8F)

10/10

Members 24

Organizer

  • bleis-tift
  • ざっきー
  • dico_leque

Other Members

  • ryusuke_narita
  • AkifumiTakata
  • bugyo
  • Yuki Kodama
  • nk-tamago
  • miyakawataku
  • oskimura
  • tsurumau
  • maeda_
  • yuji38kwmt
  • t6s
  • Kazuki Hanai
  • higashino
  • its_out_of_tune
  • keita44_f4
  • yama__moto
  • ryokayan
  • zabio3
  • MeganezaruDev
  • shela

Media(0)

    If you add media to group events the most recent 10 media items are shown.