9月15日(金)のつぶやき

上長と面談中止 goo.gl/zhiNSD

— ナカナカピエロ (@NakanakaPierrot) 2017年9月15日 - 00:00

物語はBaudetが予想し、van der Waerdenが証明したvan der Waerdenの定理から始まります。
integers.hatenablog.com/entry/2017/03/…

— せきゅーん (@integers_blog) 2017年9月14日 - 23:58

リーマンのゼータ関数の数値計算コード(複素平面)
slpr.sakura.ne.jp/qp/code-rieman…
のアルゴリズムを最適化しました。以前のものに比べて約50倍速く計算できます。ゼータ関数による複素力学系を考えた綺麗な画像も得られまし… twitter.com/i/web/status/8…

— シキノ (@sikinote) 2017年1月13日 - 22:52

心の奥底から私を感動させてくれる素数に関する大定理 "Green-Tao Theorem".
天才数学者Terence Taoがフィールズ賞を受賞する主業績となったその証明を完全解説します。
integers.hatenablog.com/entry/2017/09/…

— せきゅーん (@integers_blog) 2017年9月15日 - 00:14

グレ妹①読み終わった。面白かった。今後が楽しみ♪

— ナカナカピエロ (@NakanakaPierrot) 2017年9月15日 - 11:37

well-definedって結構便利な言葉だけど、実際問題どうだろうか。。。

— ナカナカピエロ (@NakanakaPierrot) 2017年9月15日 - 14:14

何故か行き着く先は楕円曲線。

— ナカナカピエロ (@NakanakaPierrot) 2017年9月15日 - 14:16

昔、数学の講義で証明をほとんど全てtrivialで済ます教授がいて面食らった記憶がある。

— ナカナカピエロ (@NakanakaPierrot) 2017年9月15日 - 14:19

これは熟読ですね
▼黒柳徹子さんのアンドロイド、ついに誕生　42年分の会話を元に... - Engadget 日本版
japanese.engadget.com/2017/09/14/42/
#AI

— 人工知能,機械学習関係ニュース研究所 (@AI_m_lab) 2017年9月15日 - 15:42

【宣伝】今度のぶつりがく徒のつどいで話をする「作用素環論による量子力学の定式化」のレジュメを公開し(てもらい)ました。間違い・わかりにくいところ・質問等ありましたらTwitterなどで指摘していただけると大変助かります:
physicstsudoi.client.jp/6th_doc/ooyama…

— りがくらげ (@rigakurage) 2017年9月14日 - 23:35

Szemerédiの定理を関数の期待値の言葉に翻訳したヴァージョンを示すことが一般化する際に重要な視点となります。そして、Szemerédiの定理の証明では関数を"ランダム部分"と"構造化部分"に分けることが重要です。
integers.hatenablog.com/entry/2017/09/…

— せきゅーん (@integers_blog) 2017年9月15日 - 19:22

圏論と基礎論とホモロジー代数と、どこから手をつけようかなって悩んでる。そんなことで悩んでる自分は幸せだと感じる。

— ナカナカピエロ (@NakanakaPierrot) 2017年9月15日 - 21:25

@ta_to_co ネーミングってセンス入りますよねえ。。。

— ナカナカピエロ (@NakanakaPierrot) 2017年9月15日 - 21:50

@ta_to_co 私はネーミングセンスがないので、ありさんの言ってることに共感持てます。昔の上司にセンスがいい人がいたので羨ましかったことがあります。名前を上手くつけるだけでコードの可読性もあがりますし、保守性も良くなりますしね。

— ナカナカピエロ (@NakanakaPierrot) 2017年9月15日 - 22:26

NHKドラマ10『この声をきみに』、前回途中緊急放送が入ったので改めて放送。竹野内豊扮する主人公は結び目理論専攻の准教授。ジョーンズ多項式とヤン・バクスター方程式とかでてくる。

— [1..100]＞＞=pen (@1to100pen) 2017年9月15日 - 22:06

悪夢 goo.gl/rHbKFm

— ナカナカピエロ (@NakanakaPierrot) 2017年9月15日 - 22:51

エレベーター goo.gl/2pkaHD

— ナカナカピエロ (@NakanakaPierrot) 2017年9月15日 - 22:59

ワイングラス goo.gl/YrT24o

— ナカナカピエロ (@NakanakaPierrot) 2017年9月15日 - 23:06

回顧 goo.gl/ZLuEk3

— ナカナカピエロ (@NakanakaPierrot) 2017年9月15日 - 23:19

眼差し goo.gl/v8KDKY

— ナカナカピエロ (@NakanakaPierrot) 2017年9月15日 - 23:27

終わりに goo.gl/FvLC9w

— ナカナカピエロ (@NakanakaPierrot) 2017年9月15日 - 23:40

新鮮な果実 goo.gl/BG4Xez

— ナカナカピエロ (@NakanakaPierrot) 2017年9月15日 - 23:51

自由 goo.gl/2DmQSn

— ナカナカピエロ (@NakanakaPierrot) 2017年9月15日 - 23:59

海辺

海辺

おませな貴女は
パラオの水着を着て
透き通った海のビーチで
夏の日差しを避けながら
浜辺を歩く
どうやらそれが
彼女の夏の日課らしい

真水

真水

ほらっ、
こうやって
コップに入れた水を
光に当てると
きらきらと光って
きれいでしょう
あなたはそう思わなくって？
わたしはこの水を飲むの
そうやってわたしは
わたしの身体を浄化させるのだわ

crime

crime

あなたが犯した罪は
償わなくてはいけません
罰などを与えても
あなたには何の意味もないでしょう
償うことが唯一
あなたに残された道なのです
何もかもが
あなた次第ということになります

正義

正義

追い詰められる
食うか食われるか
この世界は残酷だ
自分が殺される前に
相手を殺す
残念ながら
これが正義というやつなのさ
そうやって
俺は何人もの人間を殺してきた
そしてどうにもならなくなって
最期は自閉して自殺に追い込まれる
結局追い詰めたのも
追い詰められたのも
自分自身だったって訳さ

やっと週末

やっと週末

金曜日。

4時半起床。あまりよく眠れなかった。姉夫婦宅リフォーム30日目。8時前にアジト。以下読書。
・「わかりやすい類体論と虚数乗法入門」
　（繭野孝和著）（P.366/444読了）
・「わかりやすいリーマン面と代数曲線」
　（繭野孝和著）（P.214/394読了）
・「わかりやすい方程式とガロア理論入門」
　（繭野孝和著）（P.90/198読了）
・「妹がグレブナー基底に興味をもちはじめたのだが。①」
　（グレブナー基底大好きbot著）読了（祝）
・「100分de名著　ハンナ・アーレント　全体主義の起源」
　（仲正昌樹解説）（P.42/109読了）

何かめちゃ疲れた。ちょっと偏頭痛がするのでバファリン飲みます。明日は７時半起き。

寝る。