スコーピオン描けたよ
#ドールズフロントライン #少女前線
読んでた．おもしろい．
【インタビュー】定理をいきなり思いつくってホント? - 「数学者」に話を聞いてみた - ライブドアニュース
http://news.livedoor.com/article/detail/10995740/
「「○○ならば××」という形の証明の必要な主張を「定理」と呼びます。「定理を思いつく」というのは面白い仮定「○○」と結論「××」のペアに気づくことを言います。この段階では正確には「問題を思いついた」と表現すべきでしょうが、証明できたことにして、先走って「定理を思いついた」と言ってしまうことがあります。もちろん、ちゃんと証明もできた後は「定理を思いついた」と堂々と言っています。一方、「○○ならば××」という主張は先にあって、その証明をしようとするときに、計算の難しさなどの理由で、途中で行き詰まることがあります。その証明の困難を突破できたときは「定理が得られた」や「定理の証明を思いついた」という表現になりますね。」
岩波文庫（1995年）から原文です．
「数学が演繹的であるというが，それは既成数学の修業にのみ通用するのである．自然科学に於ても一つの学説が出来てしまえば，その学説に基づいて演繹をする．しかし論理は当り前なのだから，演繹のみから新しい物は何も出て来ないのが当り前であろう．若しも学問が演繹のみにたよるならば，その学問は小さな環の上を永遠に週期的に廻転する外はないであろう．我々は空虚なる一般論に捉われないで，帰納の一途に精進すべきではあるまいか」（『近世数学史談』「書かれなかった楕円函数論」p. 69）
栗原さんがシュティルナーの話ししてるじゃん．この本は把握してなかったので今度買おう．
「とにかく、「役に立たなければ」「評価される人間であらねば」という思いに縛られている。まるで奴隷のように。でも、それって本当にそれほど大切なことなのか？疑問に思いませんか？……『何ものにも縛られないための政治学――権力の脱構成』で紹介したドイツの哲学者、マックス・シュティルナー（1806‐1856年）は、100年以上も前にその疑問に答えています。かれは、いまいった問題について、「人道的自由主義」という言葉で批判をしています。」
昔書いたシュティルナー紹介のような何かです（もう4年前だよ，びっくりだね！）
https://www.stromateis.info/zib/stirner.html
これ「誰か『Mastodonとシュティルナー――個人インスタンス＝唯一者（der Einzige）とその交通（Verkehr）――』みたいなタイトルで論文書いて」
https://twitter.com/ncrt035/status/943467108259708929
マンガで学ぶ AWS 『なな転び八起の AWS 開発日記』| AWS
https://aws.amazon.com/jp/campaigns/manga/intro/
AWSがこんな漫画連載をはじめていた。
