このエントリーをはてなブックマークに追加

Dec

20

「基礎」理論の題材1を決める

題材・日程・進め方

Registration info

参加枠1

Free

FCFS
3/10

Description

概要

来年の最初 (2020年01月~) に取扱う、題材と日程及び方法を決定します。

参加要項

  1. この connpass のページより参加登録を行なってください

  2. 当日は、Discord のグループ DM にて議事進行します。前回 (2019-12-13) のイベントに参加したか否かで、当日までの参加手続きが異なります:

    • 前回のイベントに参加した場合: 手続きは不要です

    • 前回のイベントに参加していなかった 場合: グループ DM のメンバーに追加する必要があります。Discord にて、グループ DM に追加するように @lawtwai 宛てに催促 をしてください

  3. 当日の 22:00 頃に 上記2.に記載したグループDM にて待機 してください。時間になりしだい、始める旨の書き込みをします

備考

  • 必ずしもグループ DM で進行する必要はないとは思っています。しかし、無関係な方が乱入して進行を妨げられるのを避けたいです。そのため、仕方なくグループ DM を使用することにしました

  • 当日 参加しないけれども意見や案がある方は 12-19 (木) の 22:00 までテキストチャット に、当日問い合わせができないため出来るだけ具体的な意見や案 を書いてください。可能ならば、意見や案に関する理由も記載していただくと大変助かります。

  • 前項を含めた 題材, 日程, 進め方 に関する挙がっている案を、グループDMに当日までに転記 (一部抜粋を含む) しておきます。それを参考にして決めていきます

  • 当日参加されない方は、当日参加した方に決定事項に関して委任したものとみなします

  • 当日誰も参加しない場合は、私に全てを委任したものと判断して 私が「勝手に」決裁します

内容

以下の内容を順に決めます:

  1. 題材: プログラミング言語の「基礎」理論にあたるもの

    分類 形式 題名 備考
    意味論 Web書籍 Software Foundation Vol.2: Programming Language Foundations Coq, 随時更新
    論文 P. Downen, L. Maurer, Zela M. Ariola, S. Peyton Jones. 2016. Sequent calculus as a compiler intermediate language. Microsoft
    辞書的 H. Barendregt. The Lambda Calculus. Its Syntax and Semantics. 2012. College Publications 辞書的らしいので候補にしづらいかも
    書籍 横内寛文. プログラム意味論. 1994. 共立出版 会話で挙がった記憶あり
    型理論 書籍 大堀淳. 新装版 プログラミング言語の基礎理論. 2019. 共立出版
    論文 D. Vytiniotis, S. Peyton Jones, T. Schrijvers, M. Sulzmann. 2011. OutsideIn(X) modular type inference with local assumptions. Microsoft
    • 前回終了時点では 意味論 -> 型理論 の順に進めようという話になっています

    • 個人的に気になっている書籍:

    • TaPL (翻訳本: 『型システム入門』) : 各自が内容を一定程度理解している (理解していない部分は各自でカバーする)ということで話が落ち着いたと、私は認識しております。そのため、ここに掲載しておりません

  2. 日程:

    • 頻度(毎週、隔週、毎月)

    • 曜日、時間

  3. 進め方:

    • どういう形式で読み進めるか: (例) 輪読

    • 何かのツールを使うか

    • 「問題」や「演習」がある場合、その扱いをどうするか

注意事項

以下に該当する方は、グループから BAN することがあります ので注意してください:

  • 特に関心もなく参加登録された方
  • 参加登録したけども当日無断欠席された方
  • 明らかな議事妨害と見受けられる行為を繰り返し行なった方
  • 酩酊状態など、他人への迷惑行為が想定されうる状態で参加した方

その他

  • TypeAppliactions に関する ghc-proposals の内容を拾う予定でしたが、諸事情により辞めました

  • タイプ速度は遅い方だけど、1時間も不要なはずだ。さっさと決めて、さっさと終わろう

Media View all Media

If you add event media, up to 3 items will be shown here.

Feed

lawtwai

lawtwai published 「基礎」理論の題材1を決める.

12/15/2019 21:32

「基礎」理論の題材1を決める を公開しました!

Group

Haskell with Skype

Number of events 153

Members 64

Ended

2019/12/20(Fri)

22:00
23:00

Registration Period
2019/12/15(Sun) 21:30 〜
2019/12/20(Fri) 22:30

Location

Discord (グループDM)

オンライン

Discord (グループDM)

Organizer

Attendees(3)

lawtwai

lawtwai

「基礎」理論の題材1を決める に参加を申し込みました!

Mizunashi_Mana

Mizunashi_Mana

「基礎」理論の題材1を決めるに参加を申し込みました!

fishii

fishii

「基礎」理論の題材1をキメる に参加を申し込みました!

Attendees (3)