よくよむ会
よくよむ会は、テキストをその場で読み、
一文ずつ立ち止まりながら考える読書会です。
発言や質問、途中の違和感を歓迎し、
議論が広がっても、必ず本文に戻ります。
理解を急ぐことよりも、
「自分はいま、どう読んでいるのか」を言葉にすることを大切にしています。
予習は不要です。
途中からの参加や、発言しない参加も構いません。
講義とは異なる距離感で、
思考を続けるための土台となる場です。
現在募集中のコース
『プログラミング言語の形式的意味論』をよくよむ会
G. ウィンスケル著 The Formal Semantics of Programming Languages: An Introduction（『プログラミング言語の形式的意味論』）を読むコースです。
原著英語版・日本語版のどちらでの参加も可能です。ご自身の読みやすい版をご用意ください。
プログラミング言語の意味論を、定義を追い、例を確かめ、証明の流れをたどりながら丁寧に読み進めます。
一気に理解することを目指すというより、テキストの構造を見失わずに読み続けることを重視します。
形式的意味論、型理論、プログラミング言語論、証明や検証に関心のある方におすすめです。
月に4回の実施を予定しています。
詳細は参加者の皆様に合わせて決める予定です。
ぜひ気軽に以下のフォームよりお問い合わせください。
料金・定員について
- 定員は8名です。
- 最低催行人数は4名です。
- 先着4名は、開講記念価格として 月額 8,800円 でご参加いただけます。
- 5人目以降は、通常価格 月額 11,000円 となります。
少人数で、発言や質問を交えながら丁寧に読むことを重視しているため、定員を設けています。
ご関心のある方は、お早めにお申し込みください。
お申し込みの流れ
- 下記フォームよりお申し込み、またはお問い合わせください。
- 開催曜日・時間帯について、参加希望者の皆様にご都合を伺います。
- 最低催行人数に達し次第、開講日程とお支払い方法をご案内いたします。
- お支払い確認後、ご参加確定となります。
※ 開講記念価格は、お申し込み順で適用いたします。
※ 定員に達し次第、募集を締め切ります。
※ 最低催行人数に満たない場合は、開講を見送ることがあります。その際は個別にご連絡いたします。
途中参加について
- 各セッションの録画を残し共有する予定です。
- 途中参加・欠席者の方も全ての録画をご覧になれるようにいたします。
今後のコースについて
よくよむ会では今後、訳書だけでなく、邦訳ではない日本語文献を扱うコースも設置予定です。
日本語で書かれた論理学・計算機科学・関連分野の文献を、原文そのものに即して丁寧に読む場も順次ご案内していきます。
キャンセルポリシー
欠席時の返金は致しません。継続的な学びを促進するための措置ですので、ご了承ください。
お支払い方法
- 基本的にクレジットカードでのサブスクリプションによるお支払いです。
- 6, 12ヶ月単位でのご購入の場合のみ、銀行振込も対応可能です（下記フォームにご明記下さい）。
- 初回のみ一回払いを受け付けております（下記フォームにご明記ください）。
お申し込み方法
あなたもこの機会に、論理学・計算機科学・形式的意味論の世界に踏み込みませんか。
私たちの読書会の魅力をぜひ感じてみてください。皆さまのご参加をお待ちしております。
他の読書会の予定
- Restall and Standefer, Logical Methods, The MIT Press, 2023
- H. B. Enderton, A Mathematical Introduction to Logic, Elsevier, 2001
- H. B. エンダートン著、嘉田 勝訳『論理学への数学的手引き』、2020（上掲書の邦訳です）
- 邦訳ではない日本語文献を扱う読書会（詳細は後日告知予定）