ぴあのん
@piano2683
以前翻訳させていただいた『数学の数学 「圏論」の世界』を日経サイエンス別冊の数学特集号に再録していただけるそうです！ぜひお手にとってみてください！ twitter.com/NikkeiScience/…
2024-02-16 00:27:02
日経サイエンス
@NikkeiScience
2/26発売！別冊日経サイエンス266 『数学の楽園 数独からトポロジー，圏論まで』 数学はどのように役立ち，いかに世界を変えてきた？数学者たちの関心はどこに向けられている？「美しい」と言われる数学の魅力とは？ 多彩な読み物を通して，数学が“楽しい体験”に変わります！nikkei-science.com/sci_book/bessa… pic.twitter.com/nVYSbBIZ37
2024-02-15 08:00:01
ぴあのん
@piano2683
【宣伝】3月25日発売の日経サイエンス2023年5月号に掲載されるEmily Riehl氏の記事の翻訳を担当いたしました！作図不可能性の証明に抽象数学が使われるという話から始まり、数学における抽象化とその有効性について、圏・群・∞-圏の概念と例に触れつつ解説されています。 twitter.com/NikkeiScience/…
2023-03-18 20:58:56
日経サイエンス
@NikkeiScience
📗3月25日発売！ 日経サイエンス2023年5月号 🤖特集：話すAI 描くAI 【特別解説：数学の数学「圏論」の世界】 ・クール・コンピューター 熱くならない計算機を作る amazon.co.jp/dp/B0BXQ2HMQ5/ #科学 #AI pic.twitter.com/eOWrqo8fw2
2023-03-18 12:00:01
ぴあのん
@piano2683
Scientific American掲載の原文はこちらです。 scientificamerican.com/article/infini… 本文の内容などについて、いろいろ訳者ノートとして補足させていただきました。ぜひお手にとっていただけたら幸いです。
2023-03-18 20:58:57
ぴあのん
@piano2683
というわけで #ロジックウィンタースクール2023 にて、圏論的論理学の講義（90分×4コマ）を務めさせていただきました！講義スライドはこちらです！ drive.google.com/drive/folders/… 圏論的論理学（と数学との関わり）に興味を持つ人が少しでも増えれば幸甚です。 twitter.com/tri_iro/status…
2023-02-25 20:42:17
ぴあのん
@piano2683
講義内容は微妙に変更もありましたが、概ねこちらの画像の通りです。ロジシャン向けということで圏論的な議論は大幅にカットしてしまっていますが、エッセンスだけでも伝われば嬉しいです。ちなみにスライドは8割くらいが書き下ろしです。 #ロジックウィンタースクール2023 pic.twitter.com/YHQxiL6kxd
2023-02-25 20:48:07
拡大
ぴあのん
@piano2683
圏論 Advent Calendar 2022 adventar.org/calendars/7888 に、4年前のコミケ合同誌に寄稿した『Schemes from a Functorial Viewpoint』の改訂版を投稿しました！代数幾何における“点の函手”による函手的なスキーム概念と通常の幾何的なスキームの等価性を示しています。直リンク↓ drive.google.com/file/d/1dDTFhM…
2022-12-09 00:04:14
ぴあのん
@piano2683
【宣伝】明日2月12日発売の『数学セミナー』2022年3月号の特集「圏論とその先」に、片岡俊基さん・丸山善宏さんとの共同執筆で記事を寄稿いたしました！タイトルは「数学のユニバースとしてのトポス理論とその拡張」です。 twitter.com/nippyo/status/…
2022-02-11 21:17:44
日本評論社
@nippyo
【刊行予告】『数学セミナー』2022年3月号、2月12日発売！ 特集＝圏論とその先 圏論ブームと言われておよそ10年、関心は今も増すばかりである。今回は #圏論 の基本から、いくつかの分野への応用など、その「少し先」までを紹介する。 nippyo.co.jp/shop/magazine/…
2022-02-09 09:00:02
ぴあのん
@piano2683
トポスがいかにして数学の宇宙と見做しうるのか、そのことが数学にとってどのような意味を持つのか、などについて論じています。また、トポスの幾何的側面やトポスの拡張としてのトライポス理論についても触れています。ぜひお手にとっていただければ幸いです。
2022-02-11 21:17:44
ぴあのん
@piano2683
【宣伝】本日6月11日発売の『数学セミナー』2021年7月号の特集「分野別 この数学書を薦めたい！」に圏論入門書の紹介記事を寄稿しました。 主にRiehl, Leinster, Awodey本について、特色や読む際の注意点・想定される読者層などをまとめました。ぜひお手にとっていただけたら幸いです。 twitter.com/nippyo/status/…
2021-06-11 10:59:53
日本評論社
@nippyo
『数学セミナー』7月号、本日発売です！ ◉ここに注目！ 読んでおきたい数学書🥰 微分積分／線形代数／集合・論理／位相／確率論／統計学／抽象代数／幾何（曲線・曲面）／微分方程式／トポロジー／グラフ理論・離散数学／測度論・ルベーグ積分／結び目理論／複素関数／圏論 nippyo.co.jp/shop/magazine/… pic.twitter.com/rdl5BuUzmw
2021-06-11 10:18:54
ぴあのん
@piano2683
すうがく徒のつどい@オンラインでの私の講演「ロケールによるpoint-free topology」で使うスライドです！ #tsudoionline drive.google.com/file/d/1zaSc8b…
2021-03-20 12:15:24
ぴあのん
@piano2683
【宣伝】6月26日発売の『現代思想』2020年7月号[特集 圏論の世界]に、「圏論的論理学への道案内――論理学と数学をつなぐトポス」というタイトルで記事を寄稿しました。 seidosha.co.jp/book/index.php… 特集には数学者の方々も多く寄稿されているので、数学界隈の皆様にも楽しんでいただけるかと思います。
2020-06-19 20:28:08
ぴあのん
@piano2683
私の記事では数学に多少馴染みのある方向けに、圏論的論理学の入門的解説を試みています。Lawvereの1960年代の研究に端を発する3つのパラダイム ・函手的意味論 ・論理式の圏論的解釈 ・圏の内部言語 についてできるだけ噛み砕いて説明し、圏論的論理学の雰囲気を理解していただくことが目標です。
2020-06-19 20:28:08
ぴあのん
@piano2683
また、タイトルにもあるように、記事の終盤では「圏論と論理学と数学とのつながり」について、トポス関連の話題を中心に語らせていただきました。好き勝手に書いたので個人的な妄想も多分に含みますが、「数学の言語」としての役割に留まらない圏論のポテンシャルを感じていただけたら幸いです。
2020-06-19 20:28:09