概要

"Practical Foundations for Programming Languages" (PFPL. 2nd) の輪講会です。

目的

プログラミング言語の「基礎」理論を扱っている書籍を読んで内容を理解します。

内容

第1回限定の事項

1. 開始冒頭に、輪講会の方針の説明 (主にここに記載した内容) を行ないます。

2. 次に、次回の発表者を決めます。

3. その後、'1. Abstract Syntax' を lawtwai が読み進めます。

題材

"Practical Foundations for Programming Languages. Second Edition"(Robert Harper. 2016. Cambridge University Press)

備考: 題材のリンク先の内容について

• 'List of known mistakes, and their corrections' (注: PDFファイル): 書籍を読み始める前に、当該 PDF ファイルの内容を確認することを 推奨 します

• 'Abbreviated online edition, with corrections':

  This is an abbreviated version of a book published by Cambridge University Press(http://www.cambridge.org). This draft is made available for the personal use of a single individual. The reader may make one copy for personal use. No unauthorizeddistribution of any kind is allowed. No alterations are permitted.

• 'Sample solutions to the printed exercises': 現在はリンク切れとなっています (後述: 演習問題の扱いの留意点)

• その他の追記内容を含んだ PDF ファイル: 輪講会を進める過程において参加者で協議して扱いを検討することにします

進め方

1. 形式: 輪講形式

   • 事前に担当者を決めて、その担当者が内容を解説しながら読み進めます
   • 担当者は毎回変わります
   • 担当者ができる範囲のところまで進めます
     • 現状では最大 5 ページくらいを想定しています
     • 担当者および参加者に過度な負担をかけないようにしたいと思います
     • (追記: 2020-02-29) 時間までに終えることがあります

2. 演習問題の扱い:

   • 留意点: 演習問題を解くにあたり、以下の留意すべきことがあります
     1. 担当者が解くのを見ているだけでは内容を理解できない可能性があります
     2. 書籍の内容が問題を解いていることを前提としている可能性があります
     3. 参加者各自が個別に解くとしても解答が存在しない状況です
   • 対応: 参加者で協議して問題の扱いを個別に決定する方針です

3. 使用するツール

   • テキストチャット: Discord のテキストチャット '基礎理論' を使用します
     • 注意: DM グループではありません。DM グループを使用した場合、履歴が見れなくなる恐れがあるためです
     • テキストチャットを荒らす方に対しては、BAN を含めて厳正に対処します
   • 音声通話と画面共有: Discord の DM グループ を使用します
     • 注意: 画面共有は、画面共有を行なう人が デスクトップ環境(Windows, macOS) でなければ使用できません(Linux は未確認)。Android, iOS では使用できません。
   • 資料等の配布方法やホワイトボードなどのツール: 発表者の裁量とします
   • 輪読中の発表方法や進行方法: 基本的に発表者の裁量とします
     • 発表方法の例: プレゼン、日本語訳の口述、内容の再構成
   • 連絡(追記: 2020-01-31)
     • 早急: Twitter
     • 報告: connpass のイベント案内，Discord のテキストチャット

備考: 輪講会で使用するグループ DM について

• Discord のグループ DM の画面共有機能は、10 人までしかできません
• 輪講会で使用するグループ DM は私が作成して、そこに参加者の方を登録するようにします
• Discord の 既存のグループ DMが 11 人を超えてしまった場合は、新しいグループ DMを私が作成して参加者を登録します
• 以前にグループ DM に参加したことがない方 は、別途 Discord の「フレンズ」に登録する必要があります。その登録のために、Discord のアカウントを作成した上で、Discord のテキストチャット にて「グループ DM に登録するように」という旨の内容を輪講会当日までに @lawtwai 宛に書いてください。

日程

• 基本的に毎週金曜日
• 時間: 22:00 ~ 24:00

その他

• 管理者は、プログラミング言語の基礎理論の専門家ではなく、詳しいわけでもありません
• 上記の記載内容は、参加者と協議した上で変更する場合があります
• 上記の記載内容に変更があった場合は、変更があった次の回から変更点を反映するようにします