継続勉強会

開催前イベント もっと見る

2018/12/18(火) 第2回継続勉強会

グループの説明

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

まずは、浅井先生の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

次回イベント

開催前 2018/12/18(火) 19:00〜

第2回継続勉強会

bleis-tift bleis-tift

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

9/10

終了したイベント 全てのイベントを見る(2件)

終了 2018/12/04(火) 19:00〜

第1回継続勉強会

bleis-tift bleis-tift

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

10/10

メンバー 13人)

管理者

  • bleis-tift
  • ざっきー

他のメンバー

  • Kazuki Hanai
  • shinichi_higashino
  • its_out_of_tune
  • keita44_f4
  • yama__moto
  • ryokayan
  • zabio3
  • MeganezaruDev
  • shela
  • ねの
  • dico_leque

資料(0件)

    グループに紐付いているイベントページで資料が投稿されると、最近10件まで表示されます。