私たちについて
「The Dark Side of Forcing」は、名古屋大学の多元数理科学研究科と 情報科学研究科の大学院生が中心となって結成された、 数学同人サークルです。
元々は、強制法(Forcing)を、 前期はケネス・キューネンの『集合論ー独立性証明への案内』を便りに公理的集合論の側から、 後期はソンダース・マクレーンの『Sheaves in Geometry and Logic』を道標にトポス理論の側から、 概観してみよう、という勉強会から発生しました。
メンバーのそれぞれが面白いと思っていることを、 需要などを一切気にせず、好きなように書ける場所を提供しようとしています。
なので、内容としては大学院レベルの数学を要求するくらい高度なものですが、 ご安心を、実はみな専門がバラバラなので、メンバー同士でも他のメンバーが何をやっているかは、 理解しきれていないのです。
重要なことは、何をやっているかは理解できなくても、 何を面白がっているかは、理解できること。
互いのやっていることを、いちいち理解しなくてはいけないとしたら、それはひどい非効率というものです。
しかし、互いが何を面白がっているか理解しておけば、二度見三度見しないと車輪と気づけない車輪を 大量再発明してしまう、などという悲劇を未然に防げるのではないでしょうか。
だから皆さんも、本を初めから終わりまで理解しきろうなんて、堅苦しい気持ちは持たず、 気軽にひも解いて欲しいと思っています。
私たちも、内容はともかく、私たちが何を面白がっているかを、 一端でも届けたいと思っています。
このサークルの扱うジャンル
- 公理的集合論(強制法、巨大基数公理)
- 圏論(トポス、高次圏、fibered category)
- 論理学(型理論、HoTT、証明支援器、量子論理)
- 数学の哲学(論理主義、直観主義、可述算術)
- コホモロジー論(層論、線形代数の発展と応用、各種幾何、導来圏)
- 数学に関する創作(数学小説、数学童話、数学短歌、数学ジョーク)
- 数学による創作(創作の自動化及び半自動化 cf. Oulipo)
- ソフトウェア開発技法の同人誌製作への応用(VPS、git、redmine、Jenkins、etc)
- その他諸々(数学と認知科学、数学と教育、etc)
活動予定という名の未定
- 2020/05 C98に参加予定
活動記録
- 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を販売。今回も(ほぼ)完売。
- 2015/08/14 C88(1日目) The Dark Side of Forcing Vol.5を販売。50部中34部を売る。
- 2015/12/31 C89(3日目) The Dark Side of Forcing Vol.6を販売。50部完売。
- 2016/08/14 C90(3日目) The Dark Side of Forcing Vol.7を販売。50部完売。
- 2016/12/31 C91(3日目) The Dark SIde of Forcing vol.8を販売。50部完売。『アンジュ、線形代数を学ぶ』を委託販売。
- 2017/08/13 C92(3日目) The Dark Side of Forcing vol.9を販売。50部完売。『アンジュ、線形代数を学ぶ 完全版』を委託販売
- 2017/12/31 C93(3日目) The Dark Side of Forcing vol.10を販売。50部完売。『アンジュ、線形代数を学ぶ 完全版』『アンジュ、初等解析を学ぶ』を委託販売
- 2018/08/12 C94(3日目) The Dark Side of Forcing vol.11を販売。50部完売。
- 2018/12/31 C95(3日目) The Dark Side of Forcing vol.12を販売。50部中40部を売る。
- 2019/08/12 C96(3日目) The Dark Side of Forcing vol.13を販売。50部中40部を売る。
- 2019/12/30 C97(3日目) The Dark Side of Forcing vol.14, 30部完売(部数を絞った)。
- 2021/12/31 C99(2日目) The Dark Side of Forcing vol.15, 20部完売(コミケ自身が大幅規模縮小したため前回よりさらに部数を絞った)。
- 2022/08/14 C100(日目) 諸事情によりコミケ欠席、The Dark Side of Forcing vol.16はPDFを無料配布。
既刊同人誌
発行日 | 書名 | 執筆者(五十音順) | 概要 |
---|---|---|---|
2013/08/11 | The Dark Side of Forcing Vol.1(C84) PDF | 倉永崇, 古関恵太, 才川隆文, 淡中圏, 宮崎達也 | 強制法入門、ブラウアーの定理の脱神秘化、Todorcevicのwalkの解説、『数学の認知科学』の批判的書評、思い出話、数学小説 |
2013/12/28 | The Dark Side of Forcing Vol.2(C85) PDF | 倉永崇, 古賀実, 才川隆文, 淡中圏, 那須洋介, 宮崎達也 | 巨大基数入門、量子論理概説、フレーゲ算術解説、数学小説 |
2014/08/17 | The Dark Side of Forcing Vol.3(C86) PDF | 足立真訓, 倉永崇, 才川隆文, 鈴木佑京, 淡中圏, 宮崎達也 | 1変数複素関数論の見直しによる層係数コホモロジー入門、可述算術の解説、線形代数の多元的見方、企業との公理的集合論共同勉強会事始め、数学短歌 |
2014/12/30 | The Dark Side of Forcing Vol.4(C87) PDF | 古賀実、才川隆文、鈴木佑京、淡中圏 | 初等教育における掛け算の順序、ヒルベルトプログラムとゲーデルの不完全性定理、グロタンディーク・トポスに関するノート(英語)、数学リメリック(英語) |
2015/08/14 | The Dark Side of Forcing Vol.5(C88) PDF | 古賀実、才川隆文、鈴木佑京、淡中圏、平野智博 | 証明論解説、数学評論、グロタンディーク・トポスに関するノート 第2弾(英語)、スタート集合論ノート、数学小説 |
2015/12/31 | The Dark Side of Forcing Vol.6(C89) PDF | 古賀実、鈴木佑京、淡中圏 | 双曲線関数を作る、証明論的意味論への招待、Lawvere-Tierney位相・層化関手に関するノート(英語) |
2016/08/14 | The Dark Side of Forcing Vol.7(C90) PDF | 古賀実、才川隆文、鈴木佑京、淡中圏、宮崎達也 | 論理学者の神話、集合の作りかた事典、ここがヘンだよ直観主義(1)、Cohenトポスに関するノート(英語)、Ax-Grothendieckの定理 数学と論理学の共進化 |
2016/12/31 | The Dark Side of Forcing Vol.8(C91) PDF | 古賀実、才川隆文、鈴木佑京、淡中圏 | 論理の超準モデル、論理学小説、トポスの内部言語について |
2017/08/13 | The Dark Side of Forcing Vol.9(C92) PDF | 古賀実、才川隆文、鈴木佑京、淡中圏、龍孫江 | 選択公理の成立しない集合論における極大イデアルを持たない環論、フレーゲの集合観、圏論的集合論、モデル理論によるジェネリックな点の追加、数学怪談、数学小説 |
2017/12/31 | The Dark Side of Forcing Vol.10(C93) PDF | サショー☆シロカミ、木村允哉、淡中 圏 | マイリトルポニー公理的集合論SS、型理論におけるコヒーレンス空間、2n元数の帰納極限のHaskell実装、MLP風数学童話、モンティパイソン風数学スケッチ |
2018/08/12 | The Dark Side of Forcing Vol.11(C94) PDF | 淡中 圏 | 数学創世記、線形代数によう可換図式入門、モデル理論におけるタイプを実現するモデルと実現しないモデルの集合論による構成、数学黙示録 |
2018/12/31 | The Dark Side of Forcing Vol.12(C95) PDF | 龍孫江、木村 允哉、サショー☆シロカミ、淡中 圏 | フィボナッチ数列と作用の対象化、可換環 次元の奇妙な物語、束論日記、カルマモナド |
2019/08/12 | The Dark Side of Forcing Vol.13(C96) PDF | 淡中 圏 | ペアノ特集、ペアノ曲線による画像の一筆書きプログラム |
2019/12/30 | The Dark Side of Forcing Vol.14(C97) PDF | 淡中 圏 | 擬似乱数生成器メルセンヌ・ツイスターと有限体のガロア理論におけるフロベニウス自己準同型写像、鳩の巣原理SF、形式化された知識に関するエッセイ、「ぞうの卵はおいしいぞう」のTeX小ネタ |
2021/12/31 | The Dark Side of Forcing Vol.15(C99) PDF | 淡中 圏 | 株式会社ぺあのしすてむ倒産記念号 |
2022/08/14 | The Dark Side of Forcing Vol.16(C100) PDF | 淡中 圏 | 加速主義双六、数学にとって美とは何か プログラミングにとって美とは何か、Tikzで双六、『新月』宣伝小説 |
更新履歴
- 2014/09/30 暫定スタート
- 2014/11/15 活動記録と活動予定の更新
- 2014/12/30 C87の報告、バックナンバーの追加、及びwebデザインに手を加える。
- 2015/08/10 C87のバックナンバー追加、及びC88の表紙を追加
- 2016/01/06 C88のバックナンバー追加、及びC89の表紙を追加
- 2016/08/13 C89のバックナンバー追加、及びC90の表紙を追加
- 2016/12/30 C90のバックナンバー追加、及びC91の表紙を追加
- 2017/08/14 C91のバックナンバー追加、及びC92の表紙、C93の予定を追加
- 2017/10/06 C88のバックナンバーが無くなっていたので修正
- 2018/01/01 C92のバックナンバー追加、及び C93の表紙を追加
- 2018/08/08 C93のバックナンバー追加、及び C94の表紙とサンプルを追加
- 2018/08/29 C94のバックナンバー追加、及び C95の表紙とサンプルを追加
- 2019/12/30 C95とC96のバックナンバー追加、及び C97の表紙を追加
- 2020/04/07 コロナ禍によるC98中止に従ってC97のバックナンバーを追加
- 2021/01/03 C99の表紙を追加
- 2022/08/14 C99のバックナンバーとC100へ頒布予定だったvol.16を追加
リンク集
- 淡中 圏の脳髄(淡中 圏が自作運営しているよろずサイト)
- TLOE, experimental ambient project; Cantrash, trash can percussion project(倉永崇の運営しているプロジェクトをいくつか)