  |
はてなキーワード: 数学とは
最近の本はつまらない気がする。例えば「頭が良くなる本」というテーマの本があるとして、新着の本を見てもありきたりな本しか見つからない
これはたぶん、私が30歳になるまでの間に一通り色々なテーマでどういった内容があり得るのか見てきてしまっているから
アルゴリズムの世界では「探索と活用のトレードオフ」というものがある
初期フェーズでは情報集めのために探索をするのが良しとされるが、後半ではむしろ集めた情報を活用するのが良しとされる
未熟な若者が馬鹿なことをやろうとするのは、単に探索のフェーズにいるからで、情報が足りないから
一方歳をとった人たちが保守的になるのは、探索によって学習済みだから
私は年齢的に「探索」のフェーズではないのかもしれない。この年齢になって、何か大成功しようという気は起こらないのだ
欲しい、必要、と思う量が少なければ満足は増えるし、それを超えるものを持っていても満足は増えない
ブラック企業が社員に「足るを知れ」と言った場合は注意が必要だが、個人的なレベルでは、足るを知るのは満足に生きるために良い指針だと思うわけである
本をたくさん読んでも、実践できなければ意味がないし、実践できる事柄は限られる
そう思うと、私のような負け犬を釣るための自己啓発本など、もう買う必要がないことがわかる
といっても、限度はある。必要な量は固定だし、欲しい量も人生を充実させるにはある程度は必要である
結局、私を悩ませているのは「満たされない何か」という本能であり、これが本を買ったり数学をやりたくなったりする誘因になっている
真面目に議論するなら、お好み焼きをクラスとするかも怪しくなる。
オフトピだがね。
オブジェクト指向が栄華を極めたあの時代、責任、関心、主体性、凝集、アイデンティティ、is-a has-a、… 研究者やギーク、仙人らによって、あらゆる説明がされたが、結局、オブジェクト指向は現実世界を捉える人間の感覚の応用でしかなかった。
「モノ」と思える奴をクラスにすればいい。
それ以上でも以下でもなく、あとはプログラミングの構造を整理するために有効に使えるケース・バイ・ケースの妥協点を探すことになる。どうモデリングすべきかの議論は収穫が少ない。いや、極めれば霧の向こうで信じがたい洞察を垣間見れる可能性はあるにはあるが…、しかし多人数でソフトウェアを維持管理するのが正解だと分かった今、属人性を排除するためには霊感を説明するよりシンプルに留めるのがベスト・プラクティスだ。
プログラマーの関心が関数型に移ったのは、そういう経緯もある。数学をバックグラウンドに持つ関数型言語をバックグラウンドにする方が、ミーハーな技術屋連中の興味を引けた。
ああ！はあ！ああ！はあ！ああ！はあ！ああ！はあ！ああ！はあ！ああ！はあ！ああ！はあ！
80年経っても銅像が残ってる⁈⁈⁈⁈⁈
はぁっ！！！あっ！！！はぁっ！！！あっ！！！はぁっ！！！あっ！！！はぁっ！！！あっ！！！はぁっ！！！あっ！！！はぁっ！！！あっ！！！はぁっ！！！あっ！！！はぁっ！！！あっ！！！はぁっ！！！あっ！！！はぁっ！！！あっ！！！はぁっ！！！あっ！！！はぁっ！！！あっ！！！はぁっ！！！あっ！！！はぁっ！！！あっ！！！はぁっ！！！あっ！！！はぁっ！！！あっ！！！
今から同期で一番早く課長になって部長や区長になって局長になって！！！！！
定年後も市政に影響するような男になれたとしても！！！！！！！！！！！
俺の親父だって俺と同じ顔で背も低い高卒郵便局員！！！！！！！
現代に生まれていたら結婚も不可能だったに決まっている！！！！！！！！
現代の結婚には性格や学歴や収入と同様に顔や身長が不可欠だから！！！！！！！！
子供がいなくともその名が残るニュートンのように！！！！！！！！！！！！！！！！
大学生の時に社会に出られず何も成し遂げられず白血病で死んだ従兄のように！！！！！！
郵便局を定年退職した後に毎日ボケっと刑事ドラマ観て病気でポックリ死んだ親父のように！！！！！
ぼく「どうしたら今死んでも後悔しないような偉業を成し遂げて、後世に名前を残し人生の生きた証を残せますか？」
大馬鹿クソボケ発達「良い焼肉を食べて旅行に行って良い温泉につかりな。幸せになれるから」
友人と良い焼肉食って旅行行って温泉浸かったら！！！！！！！！！
今末期癌を宣告されても！！！！！
「我が生涯にいっぺんの悔いなし！」って言って！！！！
その場で自害できるような人生のモニュメントを築けるか！！！！！！
消えたくない！！！！
残れ！！！！！
ヒンメル！！！！
立派な像が立つ！！！！！
なりたくない！！！！！
消えたくない！！！！！
人生は虚しい。
なんか似てるなぁ？
手の混んだことをやる人はどんどん減っていく
ゲームもクリアに時間がかかりすぎるようなのは誰もやらなくなるし、小説も手の混んだ文学手法を使ってるようなのは誰も読まない
例えばチェスについて考えると、「チェスの地元グループに参加して、そこから練習して、大会に出て、レートを上げて」というタイプのめんどくさい道を通る人はいなくなり、
オンラインでテキトーにゲストとして参加して気晴らしにやる人が増える
あるいは数学を趣味にする場合も「コホモロジーとはなにか」みたいなめんどうくさい理論を理解しようとする人は減り、組み合わせ論のアルゴリズム問題のように、前提知識がそれほどなくても取り組める題材を選ぶ人が増える
知っているけど子供の東大生に受けないし言う必要がないから言っていない。そもそも東京大学の数学の問題に実質がないのは、よかれという趣旨で、仮に理想的で完成した問題であっても
受験生が発見するのが難しい箇所は問題文に記載するという方針を採用し、受験生にさせないという様々な配慮に出たものであるし、この、ぺちらぼ（糞ラボ）の技術吏員って結局は、
おぺちとかで構成されるクソガキだけど、一般世間に迷惑をかけているだけじゃん。なんで理解できないんだこいつ？ 実用数学検定１級で事務処理能力と実用問題が出来ただけで、
純粋数学が出来るわけじゃないだろ。何が言いたいんだよこいつ。ただの出来上がっていて座っているだけの糞なのに、自分には実力があると思い込んでいて何もいいところがない。
Vermaltungsactは、行政処分、受理、 それ以外の行政庁の行為自体を一括する。これをしているのは、例えば、久保田智恵子、板橋区長の坂本健、延岡警察署の課長、課長代理
なお、関東信越厚生局社会保険審査官、中島康弘、および、 厚生労働省社会保険審査調整室の高野伸がしている裁決は、行政処分であると解されている。
社会保険審査官は、さいたま県合同庁舎の４階あたりにあるが、禿げていて大きなジジイが、３０人くらいで集まっており、そこの部屋で事務をしている老人は全て社会保険審査官
である。
官会法というのは、 社会保険審査会のどの部分をとったのか分からないのがそのように呼ばれており、ここで、数学上の技術は、 隠れている必要最小限の補助線を引く、
隠れているものを発見して数式をさばく、隠れている特殊な数学的美的抽象概念に従った特殊な数式の並べ替えをするといったようなものがあるが、 ゲーテが、 美は隠れた自然の法である。
数学ではまず基本的な初等的な問題分野に関する考察から初めて、 そこで発見されている色々なものを整備しておくことから始まる。そこで研究を深めて完全なものを整備しておくとその
完全無欠と一般に観念されているものは後々色々な問題に出て来ることになるから、なおざりにしてはならない。 これが中学校までにやることである。 しかし、高等学校の数学となると
毛色が違ってくる。 高等学校の数学とは何か？というとよく分からないのである。 二次関数という分野が特に文科省が分類をしているが、二次関数はただの関数であってそこに何か
定理があるかというとそういうものはない。定理のないところに技術もない。従って、二次関数という分野を特に重点的にやったところで論理学思考の何も成長しない。ならば二次関数とは何か
ということである。微分積分、サインコサイン何になるというのが昭和５０年代に流行った。サインコサインつまり三角比の分野には、定理が大量にある。さらには複素数。しかし、定理があるかないか
でいうなら、三角比の分野である。しかし、その証明にあたって、いわゆる驚愕的な証明はない。平成時代に２ちゃんねるにいる数学マニアが、そういうものは知っていても沈黙というスッドレが
流行った
これでは話にならない。 数学の偉大な定理は発表されたときに驚愕されるが数学の技術は、 定理による技術と、数式の計算それ自体の技術がある。組み合わせ論的な議論で、
円はしょっちゅう出て来るから、組み合わせをやるなら、円が出て来ることは覚悟しなければいけませんよと、ブレジスとかオレインなどが言っていた。そういう技術的着想の意味で私のころは
フェッファマンがスターだった。数学的帰納法でも、 帰納法背理法は完全無欠で有名な論法だから、出て来るときがある。そういうのを出せると、界隈では、スターと呼ばれる。
私の感想で、代ゼミの荻野のぶや先生のYoutubeの講義の中に、 えー、-af(a)+bf(b) という部分が出て来るし、東大の入試問題にも、 最近、数学的帰納法で示せ、
という問題がある。しかしその問題はいわゆる超絶難問ではない。だから眠くて仕方がない。
数学の世界では結局何が課題になっているかと言うとまだ分かっていない。フェルマーの最後の定理は定理であって問題とされてない。しかし現代数学の場合は何かを作ること自体が問題化
されている場合もありまだ判明していない。弁護士の鴨田譲は、そういうようなものであるというが、それは噓であって検事は、技術であるというネタをばらした。しかしばらすとともに技術は難しいから
存在していないといった。技術と言うのは要するに、出すということであってそれが非常に難しい。ここで出す、というのは、肛門を通じてうんこが出て来るというとは違って、証明の中に昔からある
完全な無欠なものが出て来ることで証明になるということだから、ママの言っているうんこを出すことと、証明の中に完全無欠なものが出て来ることは技術的助言として違う。東京都知事の小池百合子が
技術的助言をするときは法律解釈構成においてどこの条文を出すかといったことがほとんどである。 品田幸雄が民事訴訟法を適用する以前の話として民事訴訟法自体の規定が多分に技術である
ので、どこかで作っていた完全無欠なものを出すことで条文が出来ているので、民事訴訟法の事件を論じる前に民事訴訟法の立法技術を勉強しなければいけない。
俺は引きこもりで数学ばっかやってたから、浮世離れしてたんだよね
はてな匿名ダイアリーはポンポンと次から次へと反応があるから、世間(の一部)を知るには役立ってる
そんで、使い続けたら性格が丸くなった
＞BLが好きってことは世間で「普通」とみなされている恋愛に反感を持っているってことじゃないの？
ここで一気に論理が飛躍していて草。そして男と女の差がかなりあることがわかる。
元エントリというか男性のオタクだと「世間で「普通」とみなされている恋愛」というものを喉から手が出るほどに欲しているが絶対に手に入らない！だからオタク趣味を拠り所にしている！
『なのに何故普通の恋愛を手に入れているお前がオタク面をしているのか！』という思いを持っているのに対しこのエントリ書いた女性BLオタクは
なんかキモイオスが寄ってくる！普通の恋愛なんかいらん！オタク趣味こそ至高！『なのに何故普通の恋愛を手に入れて(幸せを感じて)いるお前がオタク面をしているのか！』
って感じがするんだよな。逆向きのベクトルなんだけど同じ量の熱量なんだと思う(スカラー量かなと思ったけど数学的にあってるか分からん)。
さて、このまえ「Elasticsearchのpython版を趣味で作ろうかな」と迷っていたが、作らないことにした。
やはりプログラミングは仕事で飽きるほどやっているので、楽しむための趣味にはならない。
趣味というなら、もっとこう、受動的なものがいいのだ。動画鑑賞、読書、ネットサーフィン、等。
なにかアウトプットをする趣味というのは、基本的にゴミやCO2を出しているだけだと考えていい。
いや、コンピュータを使っている時点で、すでにCO2を出しているか。書籍も資源を使っているしね。
料理ならば自分で摂取するのでまだ良いと思ったが、料理動画や画像をSNSでアップなんてことをすると、自称グルメのクソジジイに叩かれるのでやめたほうがいい。
ウォーキング、ランニング、筋トレ、ヨガ、水泳、など、一人でできる運動を趣味とする場合はその爽快感で完結するので社会との繋がりを意識せずに済む。
傷病手当で休んでいるときは脳トレとして数学を趣味としてやっていたが、仕事をしている生活だとそのぐらいの気力がない。
たまにゲストプレイでchess.comを使うこともあるが、本格的にやっていないのでずっと初心者レベルである。
自作のTODOリスト管理ツールを作って、少し仕事が楽になった。頭に「すべきこと」を溜めておかなくていいので、精神を浪費せずに済む。
あとついでに作ったポモドーロタイマーも、休憩のタイマーがなるたびに階段を登り降りしたり、ストレッチしたりするようにしたので腰痛が軽減したと感じる。
そういえば、朝食がここずっとTKGだけだ。
数学の構造に従って順次検討する。 定理・・・発見されたときに驚愕される有用なものであるが、大したことがなく、研究が深まっておらず、完全無欠とは言い難い定理は、公式と呼ばれる
ようになって、証明の技術に使用できない。例えば、 sin^2+cos^2=1 は高校の教科書の当たり前の定理であるが、公式と呼ばれる。 加法定理も公式化している。完全無欠でそれ以上に
ないところまで進化していないと、使い物にならない。パスカルの定理とか、 対称にして消すといった概念は、数学では完全無欠の象徴とされ、計算の技術の中に出て来る。円もそうである。
しかしこの辺りの技術は平成の者は誰も教えられていないので、具体的に、いかなる概念、定理が完全無欠と言われているかについても、その種の本が絶滅しているため、知りようがない。
この辺のことは、FF9のウイユヴェールにあるといって、平成２６年１１月１３日頃に強制にやっていたような感じがあるが、その秘術は、ウイユヴェールの部屋の中にあるので、誰も知りようがないということ
である。ウイユヴェールの老人でその夜に存在するかどうか分からない人間が全部封印したので分からないということであり、板橋区志村福祉事務所も、そこがウイユヴェールであると言っているが、
事務所に行ってもウイユヴェールの顔見たいな人は見当たらなかった。よって、この定理が進化して完全無欠な形態になるといっても、最終的に、何が完全無欠な概念であるかは不分明であり、
現代法、現代憲法の解釈論の中にそれがある可能性もあるが、いかなる定理が、完全無欠であって、他の問題の構成に出て来るのかは全く分からない。なんらかの恐るべき科学技術が存在し、
完全無欠な定理や、計算技術がそこに使用されている可能性があって、その恐るべき結論を導出している可能性が高いが、その種の装置は、存在する場所が隠されており、外部から見ても
分からない。
平成１５年の東大入試で数学０～２０点だった人が出て来るか、その人に捌いてもらえばいいのにその人が出て来ない時点で終わってるな。
木内満のＢ＆Ｗに入っていたデブは、Ｈ１４年の世界史が劇難問だったのに、中国から東南アジアの、輸出入プッシュ要因かけて入学できたらしいが
法律上の証明は、 ①疎明 ②自由な証明 ③厳格な証明 の３種類があるが、 ③は刑事法で採用され、判例があるが、 放火事件で犯人が突っ張り棒をしたかしなかったかに
関する、平成５年ごろの、 井上正仁の判例集に掲載がある ②は簡単で、民事法における裁判官の社会に関する洞察的な人徳的判断
民訴法８２条１項本文に該当するかどうかを裁判官が判断するときに、 民事訴訟規則で、疎明が必要であると書いている。 しかし原告が、現在の収支状況を書いた回答書を提出した程度
では、真正かどうか分からないので疎明できているかどうかは争いがある
最近の東京の５ちゃんねるでは、驚愕ばやりだが、数学の定理は、真実に対する深い愛情と研究とにおいて、驚愕的な体験によって、定理自体は、 出版されたときに驚愕されるので
その後は陳腐化すると書いていた。 だから、定理と言うものはそんなに大したものではないのだと思った。何で人間が定理を発見するのかは分からない。私が工場にいたときはただ
常識だから突然紙に書いたということで、当たり前のように発見した気がする。それに来して、技術上の驚愕的というのは、要するに、昔みつかっていた論法やものが、そこに突然出て来るという
内容のもので、だいぶんに難しいと思った。散々に問題を適切に追い詰めていって、出て来るべきところに激甚な方法によって出すというようなことではないかと思う。哲学ではそれを美しい技術
数学の証明の技術は次の種類があるが、私は専門家ではないので、全てを知っているわけではない。幾何学をするといいですよと言う風に阪大の富田先生から教わった。
（１）必要最小限の隠れている補助線を引くとただちに答えが見つかる。
（２）補助線を一本引いて出来る。
（３）例えば Induction and Contradiction のように、大昔に発見されていた鉄板だろうと思われるようなもので一見使えそうにないときに使用できる。
他に、特例的な発見と言ったものがあるがまだ議論されていない。
（１）定理は作業中に発見した。しかし、 （３）に該当するものは発見できなかった。 宮地先生は、補完によって出て来るといってますが、 補完定理も、特例的な奴になると
次に、次の事項をこれから強制する。 日向市に住んでいてエロ落ちしているらしいけれど、延岡西高校に、 末永祐治という数学の先生がいた。その者に言わせれば、そんなものは
教えていない。 有村芳郎はバクサイにいて、 ～よ、が口癖である。
警察が強制しているから、 私と、 里見先生や田辺先生が会うことが実現しないようになっている。
法の実質は、暴力による強制であり、 法自体が フィクションという人もいるが、 フィクションを強調しているだけで、フィクションではない。 法はただ法である。
でも教養のあるなしについての議論ばかりで、そもそも何をもってして「明確に教養があると言えるのか？」という話にはならない気がするんだ。
俺自身こうした疑問を学生時代に抱いたことがあって、そのとき優秀な友人と遅くまで議論したことがある。
その友人の発言が印象的かつ具体的だったので、今でも覚えている。
友人曰く、「ノイマンの『量子力学の数学的基礎』をちゃんと理解できる人間は、教養があると言えるだろうね」とのことだった。
俺は今でもノイマンの『量子力学の数学的基礎』を理解しようとこの本を読んでいる。
Xで共有された動画で塾講師の先生が「要領が悪い奴は定数を動かそうとする、変数をどうにかすべき、だからこういうところが数学を学ぶ意味だ」とか言ってんのよ
いいか、数学ってのは公理から演繹的に体系を導き出す「芸術」だ
証明法にもエレガントさってものがあるし、第一、美しくない公理体系は見向きもされない
定数ってのは物理学の話だ。物理学にはプランク定数h、光の速度c、重力定数G、という基本的な3つの定数があるが、たしかにこれらを「動かそう」という話はしない
あるいは数学にもπやeのような定数はあるが、要領の良さとは無関係であり、動かそうという話もない
しかしそれは常識レベルの話だ、「誰も神の力を持っていない」と言うようなものだからだ
線型回帰を適用したら定数項が出るかも知れないが、これは変数に依存しないというだけの話で、データが変われば動く
政治に対しては努力次第で影響を与えられるし、人間関係だってそうだろう
「努力の大きさに見合わないほど、それを動かすのが難しい」という話をしたいなら、残念ながらそれは「定数」の話ではない、むしろ現象が変数に対して持つ感度の問題である
しかし俺がいいたいのはそういうことじゃない。芸術であるはずのものを「要領の良さ」という低俗なトピックに落とし込むその感性が全く同意できないのである
例えばラングランズ・プログラムの先にあるものはなにか、と考えれば、それは驚愕的な数学の繋がりを示すことであり、陳腐とも言える「要領のいい」応用を目指したものではないだろう
要領の良さというのは、要するに経済学の話であり、数学ではない
わかったか？
私も旧帝工学部の修士卒です。正社員として現在まで10年以上働いています (IT系職種です)。中小企業にもメーカーにも在籍経験がありますし、結婚も出産もしています。配偶者もフルタイムで働いています。偉そうにみえたら大変申し訳ありませんが、あなたの書いた内容に、個人的には違和感のある点がいくつかあり、コメントさせてください。
あなたが大学入学後に感じたことに共感します。実は私も講義に出づらくなり、専攻推薦を受ける自信を最初からなくし、新卒では自由応募で中小企業に就職しました。ただその後転職し、メーカーなどを経験しています。その上で、やはり一般に大企業の方が労働時間面も給与面も条件がよいとは思います。特に、メーカーというかいわゆる日系大手企業には、扶養手当や住宅手当が手厚く、家庭をもつ社員が多い企業も多くあると思います (手当については、夫婦のうち収入が大きい方という支給条件が多いことに留意)。手当の他に育児のための特別休暇を設ける企業もありますが、いくら休めても自分だけ休んだら落ちこぼれるだけなので、個人的にはそもそもの有給日数の方が重要だと思います。中小企業については、色々な企業がありすぎて何ともいえません。行政書士はわかりません。家庭と両立しやすかったら教えてください。
大切だと思うのは、推薦にせよ自由応募にせよ、面接で「御社で何をしたい」と語れるくらいには、各企業が何をしているのかを調べ、そこで自分が何をしたいのか考え、その根拠を自分の経験に照らして説得力があるように言えるようにして選考に臨むことだと思います。私は新卒のとき志望度が高い企業に悉く不採用になったのですが、旧帝大生であることに慢心していたのか、業界や企業の比較調査が甘かったと思います。想定していた業界に内定が出ないこともあるかもしれないので、理系院卒カードを捨てるとか捨てないとかいう以前に、広く検討した方がよいとは思います (現在はリーマンショック当時より売り手市場ではあるでしょうが……)。信頼をおいて就職活動の相談ができる同期や先輩の女性があまりに少ない/いないという点では、理工系女性が苦しいということに大いに同意します。
ただ、あなたの「理工系女性は苦しみを味わう」という主張については、家庭をもつことを前提にしているのもさておき、男性に対しても理工系でない女性に対しても理工系女性に対しても決めつけが大きいので、もっともらしいのか判断できません (私は学力が低い学生が混ざることで現場の教員の負担が増えるなら女子枠に反対ではあります)。
