2017-12-17

数学カフェ「素数！！」回を振り返る

この記事は数学カフェ Advent Calendar 2017 の 17 日目の記事です。

　今日は数学カフェアドベントカレンダーとして

第13回数学カフェ「素数！！」

の振り返り記事を書きたいと思います。

イベントページ：
第１３回数学カフェ「素数！！」｜IT勉強会・セミナーなどのイベント情報検索サービス - TECH PLAY［テックプレイ］

　実は、第13回数学カフェが開催されたのは、2016 年 5 月 7 日。なんと１年半も前の企画です。今更感はありますが、企画の内容を簡単に紹介しつつ、どんな回であったかを数学カフェ素数回の講演者である「私」の視点から振り返りたいと思います。

　この記事の主旨ですが「私自身の思い出記録用」ということにしたいと思います（アドベントカレンダーの貴重な場を使ってしまって申し訳ありません）。あとから思い出せるように記録を残しておこうという意図で書いています。今回の数学カフェは、準備の期間、本当にいろいろなことを考えて臨んだ会だったので、そのときの考え・思いを書きとどめておきたいのです。

　また講演では、上手くできた点もあれば失敗した点もありました。実は、終わってからだいぶ落ち込んでいたのです。普段はこうした「ネガティブなこと」は書かないようにしているのですが、今回はそういった部分にも触れています。失敗し、落ち込んだ過程があって、今の自分に繋がっている部分もあると強く感じたので、落ち込んだ事を正直に書くことにもいくらかの価値があると思ったのです。

　という感じで、取り留めのない記事になりますが、よろしければお付き合いください。

　そういえば、イベントが終わった後落ち込んでいたので、聴講者に数学カフェ素数回の感想を聞くのを忘れていました。。。今更ながら、もったいなかったなと感じています。よろしければ、参加された方で感想を覚えている方がおられましたら、こっそり教えていただけると凄く嬉しいです。

2017-12-10

「INTEGERS: 孙智伟による素数表現関数」を確認してみた

素数アドベントカレンダー数学

日曜数学アドベントカレンダーの本日の記事は integers_blog さんによる「孙智伟による素数表現関数」です。
integers.hatenablog.com

大変興味深いお話なので、ぜひ多くの人に読んでいただきたいです！

2017-12-07

補足：法2017における(-1)の平方根の計算

数学整数論

本日アップロードしたばかりのこちらの記事
tsujimotter.hatenablog.com

では

$X^2 \equiv -1 \pmod{2017}$

を計算する効率的な方法がわからない、と書いていました。

先ほど nishimura さんという方に*1効率的な方法を教えていただきましたので、その方法を補足したいと思います。

「オイラーの基準」や「平方剰余の相互法則」といった初等整数論の知識は仮定します。

*1:nishimuraさんには、こちらの記事のときなど、いろいろ教えてもらっています。

2017-12-07

2017を二つの平方数の和で表す方法 (1)

数学アドベントカレンダーフェルマー二次形式整数論

この記事は数学とコンピュータ Advent Calendar 2017 の 7 日目の記事です。

数学好きなITエンジニアの皆様こんにちは。

日曜数学者を名乗り、趣味で数学を学んでいるtsujimotterと申します。本業では情報系の研究者をしていて、日頃プログラミングには親しんでいます。

私は常々、数学という学問、特に整数論を学ぶにあたってプログラミングという道具は役に立つと考えているのですが、今日はその一端を垣間見せてくれる整数論のトピックをご紹介します。

今回の目標は、 $p$ を奇数の素数としたとき

「 $p = X^2 + Y^2$ なる整数 $X, Y$ を具体的に計算する方法」

を解説することです。

今回紹介するプログラムの言語としては Ruby を用いることにします。

2017-12-05

昨日話しておきたかった数学豆知識

数学素数イデアル類群・類数

「tsujimotterのノートブック」では、明日話しておきたい数学豆知識アドベントカレンダーという企画をやったことがあります。
adventar.org

この話を覚えておけば、明日は職場で大人気だぜ（？）、という数学豆知識を紹介する企画でした。

今日は、その逆で、

昨日知っておけばヒーローになれたかもしれない（？）

というお話を紹介したいと思います（いったい何の役に立つのか）。

2017-12-02

岩澤主予想

数学岩澤理論イデアル類群・類数ゼータ関数

tsujimotterのノートブックでは，これまで２回にわたって，岩澤理論の３本柱のうちの２つ「岩澤類数公式」「p進L関数」を紹介してきました。

今日は，３本柱の最後１つである

「岩澤主予想」

について紹介したいと思います。

参考記事（こちらの記事の知識を前提とします）
tsujimotter.hatenablog.com
tsujimotter.hatenablog.com

岩澤主予想は「予想」と呼ばれていますが，既に証明された定理です。したがって，本来は「定理」と呼ぶべきものですが，一般には「岩澤主予想」という呼び名で定着されていますので，本記事でもその呼び方でいきたいと思います。英語だと "Iwasawa Main Conjecture" で，"IMC" と略されることもあります。

岩澤主予想は現在ではかなり一般化されていますが，本記事ではこれまでの記事と同様「イデアル類群の岩澤理論」の範疇に留めたいと思います。また，この記事では「円分 $\newcommand{\zp}{\mathbb{Z}_p} \zp$ 拡大」における岩澤主予想に限定したお話となります。それでも結構難しいのですが，頑張ってついてきてもらえると嬉しいです。

2017-12-01

日曜数学アドベントカレンダー初日：2341 はスーパープライム

アドベントカレンダー数学素数自由研究・独自研究

この記事は日曜数学 Advent Calendar 2017 の 1 日目の記事です。

アドベントカレンダーの季節が始まりましたね！

2017年も「日曜数学アドベントカレンダー」は健在です！
adventar.org

嬉しいことに，既に投稿予定が全日埋まっております！これは嬉しいですね！みなさんの記事が投稿されるのを楽しみにしております！

パンパカパーン！！日曜数学アドベントカレンダー埋まりました！！
寄稿いただけるみなさまありがとうございます！！楽しみにしております！！！https://t.co/RCN6NHvade pic.twitter.com/N5VOA8Gb8J
— tsujimotter (@tsujimotter) 2017年11月30日