The Dark Side of Forcing

私たちについて

「The Dark Side of Forcing」は、名古屋大学の多元数理科学研究科と 情報科学研究科の大学院生が中心となって結成された、 数学同人サークルです。

元々は、強制法(Forcing)を、 前期はケネス・キューネンの『集合論ー独立性証明への案内』を便りに公理的集合論の側から、 後期はソンダース・マクレーンの『Sheaves in Geometry and Logic』を道標にトポス理論の側から、 概観してみよう、という勉強会から発生しました。

メンバーのそれぞれが面白いと思っていることを、 需要などを一切気にせず、好きなように書ける場所を提供しようとしています。

なので、内容としては大学院レベルの数学を要求するくらい高度なものですが、 ご安心を、実はみな専門がバラバラなので、メンバー同士でも他のメンバーが何をやっているかは、 理解しきれていないのです。

重要なことは、何をやっているかは理解できなくても、 何を面白がっているかは、理解できること。

互いのやっていることを、いちいち理解しなくてはいけないとしたら、それはひどい非効率というものです。

しかし、互いが何を面白がっているか理解しておけば、二度見三度見しないと車輪と気づけない車輪を 大量再発明してしまう、などという悲劇を未然に防げるのではないでしょうか。

だから皆さんも、本を初めから終わりまで理解しきろうなんて、堅苦しい気持ちは持たず、 気軽にひも解いて欲しいと思っています。

私たちも、内容はともかく、私たちが何を面白がっているかを、 一端でも届けたいと思っています。

このサークルの扱うジャンル

• 公理的集合論（強制法、巨大基数公理）
• 圏論（トポス、高次圏、fibered category）
• 論理学（型理論、HoTT、証明支援器、量子論理）
• 数学の哲学（論理主義、直感主義、可述算術）
• コホモロジー論（層論、線形代数の発展と応用、各種幾何、導来圏）
• 数学に関する創作（数学小説、数学童話、数学短歌、数学ジョーク）
• 数学による創作（創作の自動化及び半自動化 cf. Oulipo)
• ソフトウェア開発技法の同人誌製作への応用（VPS、git、redmine、Jenkins、etc）
• その他諸々（数学と認知科学、数学と教育、etc)

活動予定という名の未定

• 2014/08/中盤頃 C88に参加予定(抽選受かったら)

活動記録

• 2013/08/12 C84(3日目) The Dark Side of Forcing Vol.1を販売。50部中40部を売る。コミケ雲を目撃
• 2013/12/31 C85(3日目) The Dark Side of Forcing Vol.2を販売。50部中30部を売る。
• 2014/08/17 C86(3日目) The Dark Side of Forcing Vol.3を販売。初めての50部完売。
• 2014/12/30 C87(3日目) The Dark Side of Forcing Vol.4を販売。今回も（ほぼ）完売。

既刊同人誌

更新履歴

• 2014/09/30 暫定スタート
• 2014/11/15 活動記録と活動予定の更新
• 2014/12/30 C87の報告、バックナンバーの追加、及びwebデザインに手を加える。

リンク集

• けんさく。のブログ（淡中圏の運営しているブログ）
• TLOE, experimental ambient project; Cantrash, trash can percussion project（倉永崇の運営しているプロジェクトをいくつか）