概要

来年の最初 (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

   • 前回終了時点では 意味論 -> 型理論 の順に進めようという話になっています

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

     • R. Nederpelt, H Geuverst. Type Theory and Formal Proof. 2014. Cambridge University Press: 高額かつ入手に手間取るかもしれないことがネック、良書か否かもわかりません

     • G. Winskel. The Formal Semantics of Programming Languages. 1993. MIT: 意味論

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

2. 日程:

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

   • 曜日、時間

3. 進め方:

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

   • 何かのツールを使うか

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

注意事項

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

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

その他

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

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