CodeIQについてのお知らせ
2018年4月25日をもちまして、 『CodeIQ』のプログラミング腕試しサービス、年収確約スカウトサービスは、 ITエンジニアのための年収確約スカウトサービス『moffers by CodeIQ』https://moffers.jp/ へ一本化いたしました。 これまで多くのITエンジニアの方に『CodeIQ』をご利用いただきまして、 改めて心より深く御礼申し上げます。 また、エンジニアのためのWebマガジン「CodeIQ MAGAZINE」は、 リクナビNEXTジャーナル( https://next.rikunabi.com/journal/ )に一部の記事の移行を予定しております。 今後は『moffers by CodeIQ』にて、 ITエンジニアの皆様のより良い転職をサポートするために、より一層努めてまいりますので、 引き続きご愛顧のほど何卒よろしくお願い申し上げます。 また、Cod
数学を教える人が読んでおきたい論理の本 - hiroyukikojima’s blog
ぼくは、以前から、論理とゲーム理論とをクロスオーバーさせた本を書きたい、というテーマを持っており、それは拙著『数学的推論が世界を変える〜金融・ゲーム・コンピューター』NHKブックスで果たすことができた。 この本を書くために、今まで、けっこうな冊数の数理論理学の教科書を読んできた。その中でめぐりあったのが、ゲンツェンの自然演繹と呼ばれる推論規則のセットであった。推論規則というのは、数学の証明で用いられる推論をできるだけ少ない数でセットにしたもので、おおわくではヒルベルトの体系、ゲンツェンのシークエント計算、ゲンツェンの自然演繹、というのがあって、それぞれの演繹能力は同じだけど、体系自体は異なるので、何をしたいかによって有利不利(向き不向き)がある。この３つの中で、普通の数学の証明で利用されている推論の方法は自然演繹が最も近いものである。 ぼくは自然演繹の体系を、鹿島亮『数理論理学』朝倉書店で
伝説の入試問題（数学）＠受験の月
伝説の入試問題（数学）について 良問・難問・奇問であるが故に伝説となっている(と個人的に思う)大学入試の数学の問題を集めてみた。 2013年 センター試験 つかれた盲点！1ヶ所で27点が奪われた！ 2010年 センター試験 センターレベルを超えた高難度の問題2連発がもたらした惨劇 2006年 京都大学 最も短い入試問題 2003年 東京大学 円周率を３にしようとするゆとり教育への警告？ 2002年 静岡大学 正確なグラフの図示で現れる世界遺産 1999年 東京大学 公式丸暗記に対する警告？ 1998年 東京大学 大学入試史上No.1の超難問 1998年 信州大学 フェルマーの最終定理 1995年 京都大学 自分の点数を自分で決められる？ 1993/2008年 東京工業大学 15年の時をまたいで難問再び！1行の記述で30点満点の10点？ この問題の図を描いてみると下のようになる。APの長さは
算数、数学の宿題を爆速で終わらせる「Microsoft Mathematics」を紹介する - しがない学生の雑記
こんばんは。艦これのメンテが伸びてしまったのでTwitterをダラダラ見ていたら、こんなソフトが紹介されていました。 Download Microsoft Mathematics 4.0 (英語) from Official Microsoft Download Center （英語）とか書かれていますけど、ページに行けば普通に日本語版がダウンロードできます。 試しに起動してみたんですが、こいつが相当にすごい。数学のソフトで無料のものと言ったら、自分が知ってるものではscilabとかfunctionViewとかぐらいしかなかったんですが、このMicrosoft Mathematicsは数学の宿題を消すために生まれてきたかのようなソフトです。 たとえば、とても簡単な例として、ｘを０～１で定積分を求めると、 こんな感じで回答が出るんですが、注目すべきはこの中央の「解法」ってところです。試しに押
大学の「数論」（初等整数論と，代数的数論）の講義ノートPDF。独学用のオンライン参考書 - 主に言語とシステム開発に関して
講義ノートの目次へ 大学の数学で勉強する，数論（Number Theory）の入門に役立つPDF。 （１）整数を扱う初等整数論と， （２）群・環・体を使った代数的数論（Algebraic number Theory） の２つに分類。 前者は，いわゆる「整数問題」というやつの体系と思ってよい。 後者はもっと本格的で，「代数的な数」を扱い，自然な流れでガロア理論が出てくる。 ※群・環・体（抽象代数学）の知識は，こちらのノートで学ぶとよい。 ※数論の続きは，リーマン・ゼータ関数のノートで学ぶとよい。 （１）初等整数論・数論入門の講義ノート しっかり学べる教科書PDF： 数論入門 April 28, 2011 http://www.osaka-kyoiku.ac.jp/~ybaba/... 大阪教育大，６４ページ。 1.自然数について 2.数学的帰納法，整列原理 3.整除法 4.約数，倍数 5.ユ
「数学の概念」を視覚的かつ美しく表現したグラフィックいろいろ
「数学の美しさ」というものは、数学を深く理解することで初めて得られる感覚と言われます。美しさが伝わると数学嫌いも少しはマシになるのかもしれませんが、数学嫌いの人にはそもそも美しさを伝えることができないということで、歯がゆい思いをしている数学愛好家は多いもの。そんなときに便利な、「数学の概念」を視覚的に理解できるグラフィック集は以下の通りです。 soft question - Visually stunning math concepts which are easy to explain - Mathematics Stack Exchange http://math.stackexchange.com/questions/733754/visually-stunning-math-concepts-which-are-easy-to-explain ◆01：奇数の和 奇数の和が平方数にな
数の帝国 - 数学ツール
1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16,
第５章，第６章
１．語り手 複素数は数学の中でもっとも美しいものであり，現在では科学にとって 必須のものになっている． 複素数の発見への道は困難なもので，その名前自体がその経過を表している：不可能数，虚数（想像上の数）と呼ばれたし，複素数（複雑な数）という名前は， 理解するのが難しい印象を与えている． 幸いなことに現在では，もうそんなに難しいものではない：今は比較的易しく教えることができる． アドリアン・ドゥアディーがこの章の語り手だ．優れた数学者で，多く の分野に貢献しているが，自分の研究はすべて複素数に関係するものだというのを好んだ． 彼は後で説明する複素力学系の理論を再生させた数学者の一人として名高い． 複素力学系理論に特徴的なことのひとつは，現在では計算機の助けを借りて表示できる非常に美しいフラクタル集 合を生成することである． アドリアン・ドゥアディーはこのような画像の作成を先頭に立って進めた数
atpages.jp - このウェブサイトは販売用です！ - atpages リソースおよび情報
This webpage was generated by the domain owner using Sedo Domain Parking. Disclaimer: Sedo maintains no relationship with third party advertisers. Reference to any specific service or trade mark is not controlled by Sedo nor does it constitute or imply its association, endorsement or recommendation.
海城学園 数学科
海城の教育・数学科 数学学習における意欲の源 数学が得意な生徒にとっても、難しくてなかなか解けない問題は存在します。そういった難しい問題に出会ったとき、興味をもって粘り強く考えていけるような、いわば“意欲の源”を育むことが大切であると私どもは考えます。ときに、意欲の落ちた生徒から、「数学をなぜ学ぶのですか？」という問いかけを耳にすることがあります。これに対し、各担当者が明確に自己の意見と信念を述べつつ、お互いに考えた上で、質問者が納得し、意欲を再び取り戻せることを指導の目標の一つとしております。 数学学習の原動力 また、数学はその存在自体に価値があり、美しいものでもあります。言うなれば、数学の“崇高なる美”を感じる心を中学・高校において育みたい、そして、もっと知りたい、探ってみたいという探求の心が、数学学習における原動力となるように願ってやみません。 読み・書き・計算，そして論証する力 さ
高校生にお勧めする３０冊の物理学、数学書籍 - とね日記
理数系ネタ、パソコン、フランス語の話が中心。 量子テレポーテーションや超弦理論の理解を目指して勉強を続けています！ 「２００冊の理数系書籍を読んで得られたこと」という記事に対し、高校生の読者の方から「高校生向きの本も選んでほしい。」という要望があったので、取り急ぎピックアップして紹介することにした。当初１０冊のつもりだったが、あっという間に３０冊になってしまったのでそのまま紹介する。 高校までの授業内容にとらわれず、意欲的な高校生のために読んでワクワクできる本という基準で選んでいる。値段の高い本については、図書館を利用するか、ご両親に頼んでアマゾンから格安の中古本をお買い求めになるとよいだろう。 なお高校までは学校の教科書や授業が基本になるので、これをおろそかにしてはならないことを強調しておく。特に受験生はこの時期、この手の本は禁物だ。入試が終わるまで我慢してほしい。 ----------
理系インデックス
理系インデックスは自然科学に関する問題を解答解説付きで公開しています。 内容は 『 基本的で大学の授業や試験に出そうな定番の問題 』 を作成するように目指しています。 ２０１０年１月ＯＰＥN サイトの作成環境の変更に伴い、リニューアルＯＰＥＮしました。 （※ 量子化学に関する内容が一部工事中になっています。） 数学 微分積分 線形代数 微分方程式 応用解析 確率・統計学 物理学 量子力学 熱力学 統計力学 力学・解析力学 電磁気学 化学 量子化学 化学熱力学 有機化学 無機化学 高分子化学 生物学 生物学 癌治療・再生医療・老化寿命制御 複雑系 複雑系 （ 非線形、カオス、非平衡熱力学、生物振動 ） その他 アクセス数推移 リンク集 当サイトの内容について、損害・トラブル等が発生した場合、賠償・保障責任は一切負いません。 また、当サイトに掲載されている内容の無断転載、無断使用
書評（数理論理学）
教科書など 準備 数理論理学を習得するためには、その前に、数学の言葉を操り数学の考え方を駆使できるようになる必要があります。数理論理学は数学の一分野ですので、それについては数学の他の分野と変わることはありません。 幸い、数学の言葉と数学の考え方を学ぶことに特化して使える教科書が出版されています。目についたものを並べてみます。おそらく、他にもあるでしょう。 個人的に特に気にいっているもの 嘉田勝：論理と集合から始める数学の基礎，日本評論社, 2008. (版元による紹介) 鈴木登志雄：例題で学ぶ集合と論理, 森北出版, 2016. (版元による紹介) その他 渡辺治・北野晃朗・木村泰紀・谷口雅治：数学の言葉と論理, 朝倉書店, 2008. (版元による紹介) 中島匠一：集合・写像・論理—数学の基本を学ぶ—, 共立出版, 2012. (版元による紹介) 石川剛郎：論理・集合・数学語, 共立出版
お勧めの数理論理の本を２冊＋新刊の予告 - hiroyukikojima’s blog
下の方に、付記を書きました(11月24日) 来月に刊行される新書を書くためと、ゲーム理論の研究のためとで、ずっと数理論理の勉強をしてきた。このブログでも、何冊かの数理論理の本を紹介してきた(例えば、ゲーデル本食い歩き - hiroyukikojimaの日記など）。そんな中、最近読んだものの中に、お勧めの本が2冊見つかったので、今回はそれを紹介しようと思う。 一冊目は、鹿島亮『数理論理学』朝倉書店だ。 数理論理学 (現代基礎数学) 作者: 鹿島亮出版社/メーカー: 朝倉書店発売日: 2009/10/01メディア: 単行本購入: 11人 クリック: 367回この商品を含むブログ (5件) を見るこの本は、序文に「千葉大学の古森雄一先生とディスカッションして書いた」というようなことが書いてあったので、信頼できる本だろうという予想の下で購入することとしたのだ。(古森先生については、ロックバンドZF
方程式を追放して図形で解いてみた ー 数学となら、できること
少女：小さい頃、図形の証明とか得意だったけど、数式がいっぱい出るようになって数学が嫌いになった、って人、結構いますよね？ 禁煙：ええ。 少女：前に数式は、自然言語（ことば）より簡潔に表せる表現手段なんだ、 問：数学を何故学ぶか？ 答：言葉で伝えきれないものを伝えるため／数学となら、できること／図書館となら、できること番外編 読書猿Classic: between / beyond readers って禁煙さん言ってたけど、それって数式で楽になるって話ですよね？ 禁煙：あまり楽になる感じがしない？ 少女：数学で楽できたことなんてないです。 禁煙：そうかしら。でも確かに学校だと、大変な方のやり方を教えないものね。 少女：大変な方？ 禁煙：比較の対象がないと、どれくらい楽になったのか分かりにくいでしょ？ 少女：それはそうかもしれないけど・・・。 禁煙：じゃあ、方程式のことは一旦忘れて、それ以前の
数学解釈のための方言講座ー数学特有の、慣れないと不思議な言い回しを解説する 読書猿Classic: between / beyond readers
以前「教科書は教えてくれないけれど知らないと教科書が読めない学習語リスト」という記事を書いた。 教科書は教えてくれないけれど知らないと教科書が読めない学習語リスト 読書猿Classic: between / beyond readers 専門用語は、教科書の中で説明してあるし、専門辞書を引くこともできる。 けれども、教科書や専門辞書の説明の中には、特に説明なく使われる言葉がある。 前の記事では、これを〈学習語〉と呼んだ。 〈学習語〉は、（とくに子どもたちが交わす）日常の話し言葉には登場しにくい抽象語などが含まれている。 教科書や専門辞書の説明は、そうした〈学習語〉を知っていることが前提になっている。 知っていないと、日々の学習でつまずき、後れを取ることになってしまう。 今回取り上げるのは、〈学習語〉と似ているが、もう少しやっかいな言葉たちである。 〈学習語〉は、そうはいっても一般語であって
無料で自宅でやりなおす→小学校の算数・数学 | 学校・教育算数から大学数学までweb上教材をリストにした 読書猿Classic: between / beyond readers
先日の記事 誰もがどこかでつまずいた→小学校の算数から大学数学まで126の難所を16種類に分類した 読書猿Classic: between / beyond readers を読んだ人から「やりなおし魂に火をつけるだけつけて放置するのは無責任だ、何をやればいいのか教えろ」という問い合わせがあった。 小学校の算数レベルから微積分など高校＋αまで、ついている予備テストをやれば、どの章は飛ばしていいか、どこの章のどの問題を勉強すればよいかを教えてくれる往年の名著（が復刻してた） を紹介しようと思ったが（科学を志さない人にも勧められる）、買い損なった場合と人のために、web上の教材をリストにして、先の記事の補いとする。 （2017.9.6 リンク切れ等、訂正しました） 小学校〜高校 小学校の算数 中学校の数学 高校数学 大学数学基礎 小学校〜高校 小学校「算数科」，中学校・高等学校「数学科」の内容
グレッグ・ジャクソンは数学を格闘技に持ち込み、実戦経験ゼロで「最強のトレーナー」になった。嘘の様な実話。 - INVISIBLE D. ーQUIET & COLORFUL PLACE-
http://sadironman.seesaa.net/article/292677467.html ランペイジ「グレッグ・ジャクソンがMMAをつまらなくした」 「MMAは退屈だ。ぶっちゃけグレッグ・ジャクソンがファイターたちを変えてしまい、このスポーツをクソつまらなくしてしまった」（ランペイジ） と、名指しで批判されるグレッグ・ジャクソン。UFCのニック・ディアスvsカーロス・コンディットで、グレッグ門下のカーロスがアウトボクシングによりニックを完封したことが、既に勝率の高さで有名だった同ジムをさらに有名にし、また「ああいう試合はつまらないか否か」の賛否の論争に引きずり込んだ。 ところが、仮に「つまらない」試合だったとしても･･･グレッグはこんなものすごい発想と理論で、その「つまらない」試合を行い、勝利し･･･ふつう、つまらないならプロモーターは選手を干すわけだが･･･勝っているので次
AWK Users JP :: おっぱい曲面方程式による長さ計算
hirax.net::「Cカップのバストなんて実在するわけがない！」ことの数学的証明 にインスパイヤされて、引き続き書いてみます。 そこで、おっぱい解析に欠かすことのできない「おっぱい曲面方程式」を示します。 (6 * exp(-((2 / 3 * abs(x) - 1) ^ 2 + (2 / 3 * y) ^ 2) - 1 / 3 * (2 / 3 * y + 0.5) ^ 3) \ + 2 / 3 * exp(-2.818 ^ 11 * ((abs(2 / 3 * x) - 1) ^ 2 + (2 / 3 * y) ^ 2) ^ 2) \ - (2 / 3 * x) ^ 4) / 8 とても複雑な方程式ですが、第 1 項が胸の大きさを示し、第 2 項が乳首の大きさを示していて、大人になってから学ぶとても重要な公式です。 実際にパラメトリックに係数を変化させてみると楽しい (?) と思い
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
青空学園数学科