7社の子育てエンジニアを招き、「多忙な育児・仕事をどのように両立をしているのか」「どのように時間を工夫をしながら育児をしているのか」などをLT形式で発表する「【7社登壇】子育てエンジニア達のLT大会」。ここでSTORES株式会社の森弘氏が登壇。子育てをしながら自由時間を確保するための工夫や、気づいたことついて話します。 森弘氏の自己紹介 森弘一茂氏（以下、森弘）：STORESより発表します。よろしくお願いします。 最初に自己紹介をさせてください。STORES 株式会社テクノロジー部門リテール開発本部でエンジニアリングマネージャーをしている森弘と申します。 簡単に私たちの紹介をします。STORES 株式会社は「お店のデジタルをまるっとサポート。」ということで、個人や中小事業者の方々に向けて、複数プロダクトを展開している会社です。 （スライドを示して）私はその中で「これ」と書いてある、ネットシ
この感染は拡大か収束か：再生産数 R の物理的意味と決定 ～単純なモデル方程式に基づく行動変容の判断のために～ | RAD-IT21
京都大学エネルギー理工学研究所 准教授 佐賀県立伊万里高等学校出身。京都大学理学部卒。九州大学大学院総合理工学研究科修了。博士（工学）。 自然科学研究機構核融合科学研究所助手（現助教）、東京大学高温プラズマ研究センター、東京大学大学院工学系研究科原子力国際専攻准教授を経て2013年2月より現職（宇治キャンパス）。 専門：プラズマ理工学、核融合学、プラズマ計測、分光学。科学教育。 趣味：ピアノ。囲碁。元フィギュアスケート選手。 ５回転ジャンプと核融合発電、人類はどちらを先に手にするでしょうか。世代を超えた継続的かつ効率的な育成システム構築が重要でしょう。 印刷用PDF 1. はじめに 2019年末、中国湖北省武漢で発生した新型コロナ肺炎（後にCOVID-19と命名）は、2020年2-3月現在、世界的な猛威を振い[1]、3月12日には、（遅きに失した感もあるが）世界保健機関（WHO）がパンデミ
機械学習・ディープラーニング関係の初心者が独学するのにオススメの書籍 - karaage. [からあげ]
機械学習・ディープラーニング関係の本を整理してみた 以下のような事情もあり、初心者向けに良い本って何だろうなと家にある機械学習・ディープラーニング関係の書籍を引っ張り出してきました。 新入社員としてAI人材が来るという話を聞いていたので「色々教えてもらおう！」と楽しみにしていたのですが、配属直前になって「ソフトウェアの経験は無いらしい、AI人材に育ててほしい」と言われたときの顔してます。そんなことある？— からあげ (@karaage0703) June 5, 2020 紙の書籍 電子書籍 正確には、紙の本も電子書籍もここに無いもの（noteやboothで買ったもの）が数冊あるので、全部入れて40冊程度でした。なんとなく100冊くらいは読んでるかと思っていたのですが全然でした。人間の感覚って当てにならないものですね。ただ、良く考えると、何か1つのジャンルで10冊も書籍持っているかというと、
![機械学習・ディープラーニング関係の初心者が独学するのにオススメの書籍 - karaage. [からあげ]](https://cdn-ak-scissors.b.st-hatena.com/image/square/d2c27fde8403965100126027d1906217e802281c/height=288;version=1;width=512/https%3A%2F%2Fcdn-ak.f.st-hatena.com%2Fimages%2Ffotolife%2Fk%2Fkaraage%2F20200613%2F20200613150727.jpg)
本エントリは社会人学生 Advent Calendar 2020の19日目です。ただ今月の後半は個人的事情で非常に忙しいことが予想されるので、本日書いてしまってまだ筆の熱が残っている内に公開してしまおうと思います。 改めて自己紹介をさせてください。37歳の職業ソフトウェア技術者です。現在フルタイムで働きながら、北陸先端科学技術大学院大学（通称JAIST）の博士前期課程で情報科学を専攻しています。実は本アドベントカレンダーは去年も参加しました。そちらには進学の動機や入学したばかりの初々しい気持ちが表明されているような気がします。 fushiroyama.hatenablog.com さて、本エントリで何を書こうか少し悩みました。考えた結果、前半で「1年目を終えた率直な感想」を、後半で「JAISTで社会人大学院生をやること」について書こうと思います。特に後半には、この1年でのべ100人ぐらいに
吉田弘幸 @y__hiroyuki 塾・予備校の講師（物理・数学）をやっています。 最近の著書『はじめて学ぶ物理学 上・下』（第2版），『道具としての高校数学』，『東大の入試問題で学ぶ高校物理』，『京大の入試問題で深める高校物理』（いずれも日本評論社） 『大学への数学』に物理の記事を連載中です。理学修士、法務博士
Computer Scienceの学位が取れる米国のオンライン大学University of the Peopleに入ってみた感想 - えんぴつぶろぐ
2020年1月に申し込み手続きをして、1月30日開始のTerm3から、英語力証明のためのコースを受講している。 正確には、正式なComputerScience専攻の学生ではまだなく、Non-degree seeking studentという扱いではあるが…。 （2020.10.10追記） 現在は無事正式な学部生（Degree Seeking Student）となり、日本の大学からも14コース（単位数で言うと48）の単位移行が承認され卒業までの期間を短縮できることになりました。 他のUoPeople関連の記事はこちら： UoPeople カテゴリーの記事一覧 - えんぴつぶろぐ また、他の海外オンライン大学・大学院との比較をこちらにまとめましたので参考になれば幸いです。 zenn.dev （2020.10.10追記） University of the Peopleとは 学部生になるまでのプ
真面目なプログラマのためのディープラーニング入門
はじめに: 本講座は「機械学習ってなんか面倒くさそう」と感じている プログラマのためのものである。本講座では 「そもそも機械が『学習する』とはどういうことか?」 「なぜニューラルネットワークで学習できるのか?」といった 根本的な疑問に答えることから始める。 そのうえで「ニューラルネットワークでどのようなことが学習できるのか?」 という疑問に対する具体例として、物体認識や奥行き認識などの問題を扱う。 最終的には、機械学習のブラックボックス性を解消し、所詮は ニューラルネットワークもただのソフトウェアであり、 固有の長所と短所をもっていることを学ぶことが目的である。 なお、この講座では機械学習のソフトウェア的な原理を中心に説明しており、 理論的・数学的な基礎はそれほど厳密には説明しない。 使用環境は Python + PyTorch を使っているが、一度原理を理解してしまえば 環境や使用言語が
ひとりでも勉強を続けるには「7割が○○な教材」を選ぶのが効果的。独学継続3つのコツ - STUDY HACKER（スタディーハッカー）｜社会人の勉強法＆英語学習
独学を始めてみたが、勉強が続かない。ひとりで勉強する習慣を身につけるのが難しく感じる。やっぱり、自分はスクールのようなところに通って強制的にやらないとダメな人間なのか……。 独学を始めてはみたものの、継続するのが難しいと悩んでいませんか？ でも大丈夫です。いくつかのコツを押さえれば、ひとりでも勉強を続けられるようになりますよ。 今回は独学を継続するコツを3つ紹介し、筆者も実践してみます。ぜひ、一緒に成功させましょう。 【ライタープロフィール】 橋本麻理香 大学では経営学を専攻。13年間の演劇経験から非言語コミュニケーションの知見があり、仕事での信頼関係の構築に役立てている。思考法や勉強法への関心が高く、最近はシステム思考を取り入れ、多角的な視点で仕事や勉強における課題を根本から解決している。 独学継続のコツ1：目標を「数値化」しよう 独学継続のコツ2：教材は 「7割知っている」ものを選ぼう
物理を学びたい人文学徒のための読書案内
人文系の学科に籍を置く大学生・大学院生や，現在大学に所属してない方など，物理のフォーマルな教育を受ける機会がない（あるいはなかった）方で，大学レベルの物理を学びたいと思っている方は多いと思う．しかし，カリキュラムを組んでくれる先生や，どのように学習を進めればいいのかについて情報交換してくれる友人・先輩がいない環境で，ゼロから物理を学ぶのは非常に難しい．知識がない状態では，あるトピックについて学ぶ上でどのような予備知識が要求されるのか分からないし，選んだ教科書が自分の知識レベルに合っているかどうかを判別することも難しいからだ．その結果，自分の知識レベルでは太刀打ちできない本を読もうとして，結局挫折することになる（私もそのような経験を何度かした）． この読書案内は，物理をこれから学ぼうと思う人が直面するこの最初の大きなハードルを乗り越える一助になればと思って書いた．もちろん人文系の学生に限らず
佐久間 @keisankionwykip 高2のとき「点と直線の距離の公式を証明しなさい」という宿題が出て、先生を驚かせようとして27通りの方法で証明したときの資料がボロボロになった状態で出土した。 n次元で考える方法と回転行列を使う部分以外は全て高校数学。 勝負のつもりじゃなかったけど先生が授業中「負けた」とか言ってきた。 pic.twitter.com/AsmzuxM0dR 2021-01-31 18:42:08
数学を楽しみながら独学できる本、究極の5冊
ブログ「読書猿 Classic: between/beyond readers」主宰。「読書猿」を名乗っているが、幼い頃から読書が大の苦手で、本を読んでも集中が切れるまでに20分かからず、1冊を読み終えるのに5年くらいかかっていた。 自分自身の苦手克服と学びの共有を兼ねて、1997年からインターネットでの発信（メルマガ）を開始。2008年にブログ「読書猿Classic」を開設。ギリシア時代の古典から最新の論文、個人のTwitterの投稿まで、先人たちが残してきたありとあらゆる知を「独学者の道具箱」「語学の道具箱」「探しものの道具箱」などカテゴリごとにまとめ、独自の視点で紹介し、人気を博す。現在も昼間はいち組織人として働きながら、朝夕の通勤時間と土日を利用して独学に励んでいる。 『アイデア大全』『問題解決大全』（共にフォレスト出版）はロングセラーとなっており、主婦から学生、学者まで幅広い層か
$$ \newcommand{\bm}[1]{\mathbf #1} $$ 主成分分析(PCA)の数学的な理論とPythonによる実装¶ Author: Yuki Takei (noppoMan) Github: https://github.com/noppoMan Twitter: https://twitter.com/noppoMan722 Blog: https://note.com/noppoman これは、noteの主成分分析の背景にある数学理論の話(最適化問題)の本文です。 主成分分析の数学的な理論の理解に必要な知識¶ 主成分分析は、アルゴリズム的な観点で見るとデータの分散を最大化させる最適化問題であり、その理論は数学（とくに微分学、線形代数）により与えられている。以下は、主成分分析で使われる数学の分野をざっくりとリストしたものである。 データ分析 分散、共分散 解析学 多
「組合せ」と言うくらいだから、その値は必ず整数になる。 つまり、組合せを計算する際の分子は必ず分母で割りきれるわけ。 これって、誰も言わないけど、かなり驚きのことだと思う。 例えば、10×9×8×7×6が5×4×3×2×1で割りきれるかって考えてみてほしいんだけど、計算しないですぐわかる？ 直感的にはわからないじゃん。でもこれって、10C5の分子と分母だから、割りきれるわけですよ。 他にも、111×110×99×98×97×96×95が7×6×5×4×3×2×1で割れるとか、わからないでしょ。 これも、111C7の分子と分母だから割りきれるの。 すごさがわかったよね？ もっとすごいのは、これが一般的に言えること。 すなわち、組合せnCrって、任意の整数nから下に連続するr個の整数を、r×r-1×…×2×1で割った値だけど、 こんな変な割り算が、自然数nとrがどんな値でも常に整数になるなんて
感染症についてSIRモデルから学んだこと
新型コロナウイルス感染症（以下では「新型感染症」）について1カ月前にコラムを書いたときに、不思議に思ったことがあった。時点ごとの感染者数が正規分布の曲線になっていたことだ[1]。厚生労働省と専門家会議が示した「新型コロナウイルス対策の目的」という資料でも時点ごとの患者数が正規分布の曲線になっている。どうして一定のピークを経て感染者数（患者数）が減少に向かうのかがよく分からなかった。 最近になって、SIRモデルという感染症のモデルを知った。とても興味深いので、私の理解を書き留めておくことにした。私は専門家ではないので、以下の話は批判的に読んでいただき、できれば専門家がもっと緻密で国民に分かりやすい解説をしていただくことを期待している。 SIRモデルでは、ある感染症について、S(susceptible)が感染症への免疫がない人々、I(infected)が感染症に現在かかっている人々、R(rec
頭の中に数学の地図を作ろう
頭の中に数学の地図を作ろう Make a mathematical map in your head 2023.07.03 Updated by Atsushi SHIBATA on July 3, 2023, 10:16 am JST 今回紹介する書籍：『数学と文化』赤 攝也（ちくま学芸文庫、2020） 抽象化の重要性 小学生の長男の勉強を見てやっていると、算数の教材に「□×4－3－5＝8」のような問題が出てきます。「穴あき算」「虫食い算」と呼ばれる計算です。この種の課題は、大人が見ると四角をｘ（エックス）に見立てた方程式に見えるので、数を移項して「ｘ＝」の式にすることで答えを出そうとします。 この「移項をすると符号が反転する」というのを、小学生くらいの子供に教えるのはとても大変なのですが、子供に理解してもらうには、計算を手順に分解して教えます。「最後に5を引いて8になったのだから、その
AI／機械学習、ディープラーニングを学び始めると、どこかで数式を読むことになる。それも偏微分や線形代数など大学レベルの数学である。この壁にぶつかって、数式を理解できないままスルーしたり、学ぶこと自体を諦めてしまったりする人も少なくないのではないだろうか？ 本書は、主にAI／機械学習の教材などに書かれている数式でつまずいたことがある初学者に向けた、「AIに最低限必要な数学を基礎の基礎からしっかりと、しかも効率的に学ぶ」ための電子書籍の第1部である。具体的には連載『AI・機械学習の数学入門 ― 中学・高校数学のキホンから学べる』を構成する、 という全4部の中の「第1部 中学数学からのおさらい編」を電子書籍（PDF）化したものである。 数学を学んでから10年以上のブランクがある場合は、本人が考えている以上に数学を忘れているものだ。偏微分や線形代数などのAI（特にディープラーニングのニューラルネッ
現代数学が難しいnつの理由
世の中には「大学での数学は哲学になる」という言説がある。この言説自体には多くの立場の人々から様々な賛否の意見があるだろうが、とにかく「大学で学ぶ数学は難しい」という事実は誰しもの共通認識であるように思われる。では、何故現代数学は難しいのか？その答えは必ずしも単一の理由ではないだろう。そして、その中のいくつかは現代のテクノロジーや一部の啓蒙家による新たな活動を活用すれば、乗り越えることができるものも多いと考える。以下に私見をまとめてみたい。 ●その1：まず、そもそも数学の厳密さは難しい 第一の理由として、数学の厳密さが挙げられるだろう。数学は、証明に至るまでの道に一つでも間違いがあれば全てが無となる学問である。世の中にここまで取り扱いに神経を使う仕事はなかなかないだろう。一般的な「頭脳労働」と呼ばれる仕事においては、「Done is better then perfect」という言葉があるよ
福田泰裕🏫高校数学教師&ブロガー📝月4万PV @fukuyasu1203 高校教師/数学/情報✍️34歳/2児の父👨👩👧👦 【教師×ブログ】授業グッズ、業務改善について執筆中📒 【授業改革】タブレットで個別最適な学びを📲 【教師の働き方改革】毎日定時ダッシュ💨便利グッズ&EXCEL講座などブログにて執筆中 ⭐登場する人物・団体はすべて架空のものであり、私の妄想です。 https://t.co/buU6zcznJR 福田泰裕🏫高校数学教師&ブロガー📝月4万PV @fukuyasu1203 付箋を貼って話し合いを進めていくアレ、効果があると思いますか？ 最後に完成したものは写真映えはしますが、終わったあとに何も得るものは無いと感じてしまいます。 残るのは、「みんなで何かすごいものを作り上げた」という達成感だけです。 みなさんは、どう思われますか？ pic.twitt
わたし、勉強できません。｜藤の よう
「勉強」という言葉の意味が今よりずっと狭かったころ、私は勉強が嫌いでした。義務教育の授業についていけないほどで、勉強が嫌いだったから授業についていけなかったのか、授業についていけないから勉強が嫌いになったのか、今でもよくわかりません。そんな子どもの世界に、本という窓があったという話をしようと思います。 勉強も、学校それ自体も苦手で、中学校を卒業してからはフリーターとなって勉強と離れた場所に身を置いていました。一般的な15歳の多くが高校へ進学するなか、学校に行かないという選択をすると、学歴が途絶えるのはもちろんのこと、自分で手に入れようとした情報しか手に入らなくなります。16歳フリーターが何も学んでいなかったのかといえば、それなりに見える範囲で社会を学んでいたと思いますが、得られる情報は高校に通っていた同世代よりも格段に少なかったはずです。私の場合、小説や漫画、インターネットが情報を得るため
目次-中学生から分かるAI数学 – E資格自習道場
ー目次ー 第一講： 活性化関数 （PDF全編） Step関数 ReLU関数 Softmax関数 Sigmoid関数 Tanh関数 第二講： 条件付き対数尤度と平均二乗誤差（PDF全編） 最小二乗法,平均二乗誤差 最尤法,条件付き確率,条件付き尤度,最尤推定量 条件付き対数尤度,対数 最尤法（GT版 主に対数） 最尤法（GT版 主に微分） 最尤法（母集団） 最尤法（母平均と母分散） 最尤法（最小二乗法との関係） 第三講： 確率分布（PDF全編） Bernoulli 分布 Gauss分布 正規分布（GT版） 二項分布1（GT版） 二項分布2（GT版） 二項分布3（GT版） 第四講： 損失関数 ～E資格元ネタ（Deep Learning” (2016) の6.2.1 節）の数式を予習 （PDF全編） 機械学習における損失関数とは？,カルバック・ライブラー情報量と交差エントロピー,損失関数としての
【TV出演】NHK（Eテレ）「テストの花道」～もどりま表の活用例他（数学って面白い！） - 永野裕之のBlog
昨日放送の『テストの花道（NHK Eテレ）』に出演させていただきました。8月、10月に続き3度目の機会に恵まれたことを感謝しています。今回のテーマは『数学って面白い！』。前回と前々回はインタビューでの出演でしたが、今回はスタジオでタレントさん相手に授業をさせてもらいました。 数学苦手克服のポイントとして今回お伝えしたかった事は ・公式を丸暗記せずに、証明を理解する。 ・『もどりま表』を使ってわかるところまで戻る。 の2点です。 公式を丸暗記せずに、証明を理解する 「授業」の中では、三平方の定理の証明をピタゴラスの方法とアインシュタインの方法で2通り行いました。ここではアインシュタイン式の法を紹介します。 アインシュタインの方法は3つの直角三角形の相似を使います。 今回生徒として来てくれたういさん（佐藤初さん）とほんぴぃさん（小林歩乃佳さん）は 「すごい！」 「はじめて数学にトキメキました♪
データサイエンスエキスパート ゲームクリア 攻略チートシート配布 攻略指針 図書館を巡ってアイテム収集 図書館の初見殺しトラップ攻略 参考書籍 統計基礎 統計学（初歩） 統計学（高度） ベイズ統計 分散分析 数学基礎 線形代数 微積分 計算基礎 情報全般 データベース アルゴリズム モデリング・AIと評価 歴史・応用分野・AIなど 多変量解析 時系列解析 グラフィカルモデル テキスト分析 因果推論 機械学習・モデル評価・ニューラルネットワーク データサイエンスエキスパート ゲームクリア 日本統計学会が主催するデータサイエンスエキスパート試験に合格した。 www.toukei-kentei.jp データサイエンスエキスパートは、統計検定より実践寄りであるデータサイエンスシリーズの最上位資格という位置付け。下位資格には「データサイエンス基礎」や「データサイエンス発展」があるが簡単そうだったので
話題沸騰！ 藤井聡太二冠に続く「将棋界の新風」登場 2020年の4月に晴れてプロ入りした将棋棋士の谷合廣紀（たにあい・ひろき）さん（26）は、東京大学大学院の博士課程に在籍する現役の大学院生でもあり、AI（人工知能）を使った研究を行っている。 「たとえば、自動車を運転している人間の様子がおかしくなったら、それを察知したコンピュータが人間の代わりに車を止めるといった自動運転技術や、路上に人がいることを検知する画像認識技術の研究などを行っています。自動運転技術や画像認識技術はまだまだこれから進んでいく分野なので面白みを感じています」 どちらかに専念することなく、棋士としての活動をしながら、今後も研究を続けるつもりだ。博士課程修了後は企業の研究所などで働きたいと考えているという。将棋棋士とAI研究者、二足のわらじをどちらも脱ぐつもりはない。 そんな谷合さんは、これまでの人生で将棋と勉強をどのよう
【一発で理解できる】高校数学の超難所「微分」を図解してみた！
2002年生まれ。2021年に東京大学に入学。中学1年生の時にプログラミングにハマり、中高生向けのプログラミング世界大会である国際情報オリンピック（IOI）では2018・2019・2020年の3年連続で金メダルを獲得。著書に『問題解決のための「アルゴリズム×数学」が基礎からしっかり身につく本』（技術評論社）『競技プログラミングの鉄則』（マイナビ出版）があり、わかりやすい解説が評判で、2023年6月時点で合計4万部突破のベストセラーに。 Twitter：@e869120 【フルカラー図解】高校数学の基礎が150分でわかる本 ★「これだけは覚えてほしい」高校数学の基礎内容が150分で楽しく学べる1冊！ ★はじめての人から大人の学び直しまで一度読んだら忘れない数学超入門！ 本書は数ある高校数学の入門書のなかでも、圧倒的にわかりやすくなっています。 そのわかりやすさには以下の理由があります。 ・2
ビッグデータの発展とともに、データサイエンスは今広く知られるようになりました。大学にデータサイエンスを学べる学部ができたり、データサイエンティストを目指している人もたくさんいるでしょう。この記事では、統計学から機械学習やマーケティングまで、初心者がデータサイエンスを学ぶのにおすすめの本を80冊紹介します！ Part I: データサイエンス概論1.『データサイエンス講義 』Rachel Schutt、Cathy O'Neil 著 本書では、データサイエンスを行う上で、どのようなプロセスが必要か、データサイエンティストとしてはどのようなスキルセットが必要で、どのような思考方法を選択する必要があるのかを実例を多数示しながら紹介します。 2.『戦略的データサイエンス入門 ―ビジネスに活かすコンセプトとテクニック』Foster Provost、Tom Fawcett著 本書は、データをビジネスに活か
フーリエ級数展開は関数の座標を決めている｜Dr. Kano
ほとんどの工学部の学生はフーリエ級数展開を学ぶと思うが，これが何をしているかということを，イメージを持って理解しておいて欲しい．というのも，何の因果か，大学３回生を対象にした，フーリエ級数展開やフーリエ変換の講義を担当しているからだ．これらに限らず，数学を勉強するときは，イメージを持つことが大切だ．式変形ができても，そのイメージを持てていないと，実際に使うのは難しい． あなたが今いる場所はｘ，ｙ，ｚの３つの座標 (x, y, z) で表現できる．この３つの座標を使うと，他の誰かの場所も特定できる．我々は３次元空間に生きているからだ．２人がどれだけ離れているかは距離を計算すればわかる．（時間は無視） さて，関数 f(x) も無限に存在する．x の多項式であったり，指数関数であったり，三角関数であったり，何でもありだ．それらの関数はどの程度似ていて（近くて），どの程度異なる（遠い）のだろうか．
「初等整数論は高校数学の知識があれば研究できるから、僕にとっては取っつきやすいんです」大好きな数学の話題になると、梶田光は冗舌になった。一見すると普通の中学生の彼は、13歳にして数学者の顔を持つ。常識外の才能を持つ者は天から授かったという意味で「ギフテッド」とも呼ばれるが、本人は「僕は天才じゃない。親が好きなことをさせてくれただけ」という。小学生で定理発見「最初にxまでの素数の個数を求める
はてなブックマークのブックマーク数が多い順に記事を紹介する「はてなブックマーク数ランキング」。2022年9月のトップ50です*1。 順位 タイトル 1位 150 分で学ぶ高校数学の基礎 - Speaker Deck 2位 【アメリカで話題】ただ座るだけ！股関節がみるみる柔らかくなる「90/90ストレッチ」 | ヨガジャーナルオンライン 3位 ハーバード大のコンピュータサイエンス講座「CS50」の日本語化が完了し、無償公開 LABOTがコロナ禍で影響を受けた学生に履修証明書ありの講座も開設 - こどもとIT 4位 「この食べ方に出会ったから、この食材を買うようになった」エピソードを教えてください - Togetter 5位 みんなが教えてくれたAmazonプライムビデオのマジのおすすめ | オモコロブロス！ 6位 「のどが渇いた」というユーザーに何を出す？ ユーザーの「欲しい」に惑わされない
哲学的視点からの直観主義論理入門 [前編]
古典命題/述語論理の証明論・モデル論や、健全性・完全性定理に多少触れたことがないと理解できない可能性が高いです。 また、哲学に関する前提知識は必要ありません(おそらく)。 分かっている人向けの説明 「金子先生や大西先生の文献を追いながら、ダメットの反実在論に関する議論をざっくり整理してスッキリしたい」という気持ちに突き動かされて書いた個人的なメモを、他人に見せられるように整形・拡張したものです。今年言語哲学について学んだことのメモにもなっています。 直観主義論理とはまず、今回のテーマである直観主義論理についての説明をしておきたいと思います(すでにご存じの方は次章に移ってくださって構いません)。いわゆる普通の論理学の体系、古典論理(classical logic)についての知識は前提としているので、知らない方は色々調べて見てください。 さて、直観主義論理を非常に簡単に説明するなら、古典論理の
![哲学的視点からの直観主義論理入門 [前編]](https://cdn-ak-scissors.b.st-hatena.com/image/square/e63fd1b69dcc0534e86c3d8e565ac66aa9c45634/height=288;version=1;width=512/https%3A%2F%2Fmathlog.info%2Fapi%2Fogp_image%3Ftitle%3D%25E5%2593%25B2%25E5%25AD%25A6%25E7%259A%2584%25E8%25A6%2596%25E7%2582%25B9%25E3%2581%258B%25E3%2582%2589%25E3%2581%25AE%25E7%259B%25B4%25E8%25A6%25B3%25E4%25B8%25BB%25E7%25BE%25A9%25E8%25AB%2596%25E7%2590%2586%25E5%2585%25A5%25E9%2596%2580%2B%255B%25E5%2589%258D%25E7%25B7%25A8%255D%26tags%3D%25E8%25AB%2596%25E7%2590%2586%25E5%25AD%25A6%252C%25E7%259B%25B4%25E8%25A6%25B3%25E4%25B8%25BB%25E7%25BE%25A9%25E8%25AB%2596%25E7%2590%2586%252C%25E8%25A8%2580%25E8%25AA%259E%25E5%2593%25B2%25E5%25AD%25A6%26profile_name%3D%25E2%258A%25A5%26profile_image%3Dhttps%253A%252F%252Ffirebasestorage.googleapis.com%252Fv0%252Fb%252Fmathlog-361213.appspot.com%252Fo%252Fuploads%25252Fprofile%25252F1464%25252F20210904221157.jpg%253Falt%253Dmedia)
ホームレスを死なすべきではない理由 - デマこい！
なぜ私たちの社会は、ホームレスを生かしておかなければならないのでしょうか？ あるいは、なぜ私たちの税金は、生活保護受給者のために使われなければならないのでしょうか？ テンプレ的説明は、こうでしょう：「将来のことは分からない。あなた自身だって、生活保護受給者やホームレスになる可能性がある。だから、経済的弱者は守るべきなのだ」と。 でも、この説明に、説得力を感じない人もいるでしょう。 いくら将来のことが分からないと言っても、現在の収入と資産残高を見れば「自分がホームレスになるリスク」を見積もることができます。そのリスクが極めて低いのなら、先述のテンプレ的説明は説得力を失います。小さなリスクのために多大な出費をする――たとえば巨大隕石の衝突に備えて自宅に地下シェルターを作る――ような人は、奇人・変人のレッテルを貼られがちです。 ではなぜ、今の世の中では「ホームレスを死なすべき」という主張は認めら
はじめに 今回の記事では、あくまで個人の独断と偏見に基づいて、プログラミング初心者向けに実務を経験する前に最低限やっておくべきことを5つ紹介する。 １．GitHub GitHubとは、世界中の人がプログラムやデータを保存したり、公開したり、評価したりできるSNSサービスである。GitHubは今や企業がアプリケーションを開発する際には必要不可欠だ。 企業など複数のプログラマーでアプリケーション等を開発する際には、同じファイルに対して同時に作業することがよくある。そのため、修正した箇所や進捗状況がわかりにくくなっている。GitHubはこのような問題を解決するために開発された。 それ故に、実務ではGitHubを扱えることが必須になる。 GitHubで最低限身につけておきたい知識は以下の通り。(Qiita記事「実務に入る前にやっておいた方がいいこと６選」参照。) ディレクトリ：簡潔に言えば、ファイ
東大生、ワイヤレスイヤホン片方を紛失→ 数学の知識を使って場所を10分で特定「脳汁止まらなかった」 - ライブドアニュース
恐るべし、の発想…！ワイヤレスを片方だけ落とし、数学を使って場所を特定した18歳の現役のエピソードが、SNS上で注目を集めている。Bluetooth機能を活用しながら、「三角形の外心の性質」という高校数学で習う知識を基に、10分ほどで場所を導き出したとという。「脳汁が止まらなかった」という方法とは。 「三角形の外心の性質」を活用東大理科一類1年で、X名・なんじゃこりゃてゃさん（@nenerushimo1919）。中学3年の時に買ってもらった数学の雑誌を読んでから数学が好きになり、授業のスピードを逸脱して高校範囲まで勉強を進めていた。「もともと理系科目が好きですが、数学は他の科学よりも自由度において優れていると思っています」と話す。 は4月末、東大の駒場キャンパスで落としたという。紛失に気付いたのは約30分後。「諦めかけていたんですが、落ち着いてBluetoothをONにして、来た道を辿って
東京オリンピック（東京五輪）が7月23日に始まり、柔道の阿部兄妹が金メダルを獲得するなど日本国内が盛り上がる中、18日から23日まで行われた「第62回国際数学オリンピック」でも日本勢が快挙を成し遂げた。日本代表の全選手がメダルを獲得し、中でも神尾悠陽さん（開成高）が金メダルに輝いた。 2020年に引き続きオンラインで開催された今大会には、神尾さんを含め6人の高校生が出場。金1、銀2、銅3の計6つのメダルを獲得した。日本勢が金メダルを獲得するのは、19年の英国大会以来2年振りという。前回は銀メダル5個、銅メダル1個だった。今大会には107の国と地域から619人が出場し、メダル獲得数最多は中国。ロシア、韓国が続き、日本は25位だった。 数学オリンピックは数学の問題を解く能力を競う大会。高校生以下を対象に、1959年から毎年開催されている。日本は90年大会以降、3月までの予選会などを勝ち抜いた6
この世には「関数電卓」と聞いて目が輝く人と、そうでない人がいるでしょう。エンジニアである私も含め、目が輝く人は、日本では少数派なのではないかと思います。残念なことです。 「電卓」がなくなって困る人は大勢いるはずですが、「関数」を知らなくても、普通に生きて行けるのも事実。でも関数がなかったら、株価を予測してお金儲けできないし、現代社会を支えるテクノロジーは明治か中世くらいに戻ってしまいます。関数は、社会科学を含む科学的現象を数学的に見るための「目」としてとても重要です。理系の学生は、「科学の目」を養うために関数電卓を使います。 「プログラミング」と聞いて目が輝く人は、関数電卓の場合よりちょっと多いかも知れません。なんと最近の関数電卓は、Pythonでプログラミングできるのです。「えっ、そうなの？」と思った人。私も同じ事を思いました。CASIOの関数電卓『fx-CG50』は、2018年に公開さ
2021年02月05日08:00 数学の雑学・小ネタで打線組んだ Tweet 1: 名無しさん＠おーぷん 20/10/23(金)19:15:24 ID:ToV ワイの独断と偏見で「面白い」「重要だ」「感動した」と思ったネタを選んだで 1(右) 四色定理 2(三) ハムサンドイッチの定理 3(二) 1+2+3+4+....=-1/12 4(一) モンティ・ホール問題 5(遊) 大数の法則 6(中) 巡回セールスマン問題 7(左) 二人零和有限確定完全情報ゲーム 8(指) ラムゼーの定理の系 9(捕) フェルマーの最終定理 先発 バナッハ・タルスキーのパラドックス 中継 ヒルベルトの無限ホテル 抑え ラッセルのパラドックス 監督 ゲーデルの不完全性定理 2: 名無しさん＠おーぷん 20/10/23(金)19:16:10 ID:QcW エキゾチック球面 11: 名無しさん＠おーぷん 20/10/
これの続きです！！！！！が、べつに論理的に順序立てた文章ではないので、このnoteから読んでもらってまっっったく問題ありません！！！ ご新規さんに軽く説明すると、この文章は「不登校だったVTuberりりむさんが家庭教師歴のあるVTuberグウェルさんに積分を教わるまで終われません」耐久配信の感想を、めちゃくちゃ細かく書いていくものです。 私は「数学ガール」というラノベ風数学読み物シリーズの大ファンで、この配信は「数学ガール」の作品内で行われている "学ぶための対話" が現実化したものじゃん！！！と感銘を受けたため、数学ガールを引き合いに出しつつ、配信で感動したところを語っていきます。 そのため、このnoteを読んでくださった皆さんに積分配信を観てもらいたいのはもちろんのこと、数学ガールにもぜひ手を出してもらいたいです。この配信を観てなにか感じられるのであれば、ぜっっっっったいに数学ガールを
高知工科大学特別講義「理工系学生のための現代倫理学入門のこころみ」 - shinichiroinaba's blog
理工系学生のための現代倫理学入門のこころみ （2021年2月12日 高知工科大学講義「日本人の教養」用原稿） 稲葉振一郎（明治学院大学） １．長めの導入 文系科目――人文科学とは？ 高校科目の「倫理」は大体道徳を中心とした日本思想史、東洋思想史、西洋思想史をざっと眺めたうえで、現代哲学を道徳哲学＝倫理学中心に瞥見し、それにプラスして青年心理学をちょこっと、という変な構成になっている。こんな風になったのにはそれなりに理由があるのだが、それには触れない。 高校時代の地歴公民――昔の社会科というのは変な構成になっている。高校数学は大学以降の数学の準備であり、高校理科の物理・化学・生物もおおむね大学以降の物理学・化学・生物学の準備段階である。しかし高校地歴公民は？ 地歴から行こう。世界史・日本史は一応大学以降の歴史学の準備になっていなくもない。しかし地理は大学の学問としての地理学への準備というわけ
再帰に対して多くの人が持つであろう苦手意識を払拭（ふっしょく）するために、再帰の基本から、その考え方とプログラミングの方法を見ていく。動的計画法を利用した最小コストの計算法などについても紹介する。 連載目次 前回は、積分の数値計算法を見ました。今回は、「計算」から少し趣を変えて、再帰呼び出し（以下、必要がなければ「再帰」と略記します）のPythonプログラミングを見ていきます。 再帰とは関数の定義の中でその関数を呼び出すプログラミングの方法です。自分自身を呼び出すようなイメージなので「訳が分からない」と再帰に苦手意識を持つ人も多いようですが、基本は高校で学んだ「漸化式（ぜんかしき）」をそのままコードとして表すだけです。漸化式も名前はいかめしいですが、要するに「芋づる式」に、順に値を求めていくことです。今回は、漸化式と再帰の基本的な考え方を押さえた後、応用例として、メモ化により計算量を減らす
非モテ男だけど英検と数学とジムに救われている
恋愛したくなったり、風俗に行きたくなったり、過去何度も敗退したマッチングアプリに登録してみたくなったりする 3年前くらいにここでこういう苦しみを吐露した時に「物理と筋トレをしろ」と言われた それ以来、異性への関心や渇望が湧いたら運動するか勉強することにしている 運動は市立体育館のジムをビジター利用 常にいるアルバイトのマッチョなお兄さんに教えてもらって筋トレするか、ランニングマシンで走る 勉強は英検か数学 英語歴は中学の英検、高校の大学受験、大学時代のTOEICくらいだったが、コツコツと勉強し続けたことによって英語検定一級を取得した 数学は大学受験（文系）のセンターと個別で利用した数学1A2Bまでで大学に入ってからは頭から吹っ飛んでいた 中学数学から始め、基礎問題精講や青チャートを使って記憶を辿り、数3にも手を出し、高校数学が終わった現在は解析、線形代数、確率の入門書を一冊ずつ購入してそれ
カシオの関数電卓､地味に2000万台売れる理由
落としても壊れない、G-SHOCK（Gショック）が絶対的な知名度を誇るカシオ計算機。Gショックはカシオの売上高の約3割を占め、利益率も20％を超える大黒柱だが、その陰に隠れた安定収益事業がある。 関数電卓や電子辞書などを扱う、主に学生向けの教育事業だ。 2021年度までに世界販売2割増を計画 カシオの教育事業は関数電卓と電子辞書のほか、電子ピアノなどの楽器で構成されている。この中で、社名どおりにもっとも得意としているのが関数電卓だ。2018年度の関数電卓の売上高営業利益率は16％と、全社の利益率10.1％と比べても高収益だ。 関数電卓とは、四則演算や百分率の計算機能以外に高校数学で学ぶ微積分や対数、三角関数などの機能がついた電卓のこと。通常の電卓は廉価品なら数百円で購入できるが、関数電卓は数千円、高いものでは数万円する高額商品だ。 カシオは2018年度の1年間に、世界100カ国以上で236
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
“時間と体力が揃う日”を有意義にするために 「前回の勉強内容を思い出す」だけで終わらせない、毎日5分のインプット
働きながら修士課程1年目を終えて - 怠惰を求めて勤勉に行き着く
大学入試では文理関係なく数学を課すべき。高校の数学を理解できないようでは大学での学習に耐えられない→「やめてクレメンス…」
高2の宿題『点と直線の距離の公式を証明しなさい』に27通りの証明で提出した強者と先生の反応が話題に「ガチで凄い」
主成分分析(PCA)の数学的な理論とPythonによる実装
組合せ（nCr）の分子が、分母で必ず割れるってすごくない？
AI・機械学習のための数学超入門 ～中学数学からのおさらい編～
「儀式だよなと感じる」話し合いのときに『付箋を貼って進めていくアレ』って効果があるの？本来の使い方から外れているとの指摘も
23/7/5 データサイエンスエキスパート合格 チートシートと攻略ガイド - LWのサイゼリヤ
｢睡眠は8～10時間｣プロ棋士&東大AI研究者の集中を維持する4つのコツ ダメなときはやる気になるまで待つ
2021年データサイエンスにオススメの本80冊！｜Octoparse Japan
13歳数学者、相棒は79歳教授 才ある子は好きにさせよ 孫正義を超えろ Z世代の天才たち（2） - 日本経済新聞
月間はてなブックマーク数ランキング（2022年9月） - はてなブックマーク開発ブログ
【プログラマー向け】実務を経験する前に最低限やっておくべきこと 5選
数学オリンピックで日本代表全員がメダル 開成高の神尾悠陽さんが金、日本勢2年ぶり
関数電卓でPythonを学ぶ理由 思考を深め、プログラミングの楽しみを味わう
数学の雑学・小ネタで打線組んだ : 哲学ニュースnwk
数学ガールオタクがりりむ&グウェルの積分配信にめちゃくちゃ感動したメモ2｜kqck
［数学×Python］再帰呼び出しをマスターしよう