2018年3月15日のブックマーク (5件)

  • 大学数学へのかけ橋!『高校数学+α:基礎と論理の物語』トップページ

    「負×負は正」は証明できることでしょうか?『高校数学+α:基礎と論理の物語』は基礎を重視し,論理的能力を鍛える学習参考書です.

  • Math book

    メインページ / 更新履歴 数学:物理を学び楽しむために 更新日 2024 年 3 月 18 日 (半永久的に)執筆中の数学の教科書の草稿を公開しています。どうぞご活用ください。著作権等についてはこのページの一番下をご覧ください。 これは、主として物理学(とそれに関連する分野)を学ぶ方を対象にした、大学レベルの数学の入門的な教科書である。 高校数学の知識を前提にして、大学生が学ぶべき数学をじっくりと解説する。 最終的には、大学で物理を学ぶために必須の基的な数学すべてを一冊で完全にカバーする教科書をつくることを夢見ているが、その目標が果たして達成されるのかはわからない。 今は、書き上げた範囲をこうやって公開している。 詳しい内容については目次をご覧いただきたいが、現段階では ■ 論理、集合、そして関数や収束についての基(2 章) ■ 一変数関数の微分とその応用(3 章) ■ 一変数関数の

  • 正しさを前提としない|棚橋弘季 Hiroki Tanahashi

    世の中には2つのタイプがいる。 正しさを前提として議論をする人と、決まった正しさなどはないからその前提で議論の中で何を選択するかを決めようとする人と。 僕は明らかに後者だ。 正しさというものを前提にしようと思うことはほとんどない。何かを決めなくてはいけないのだとしたら、その取り決めに影響がある人、責任を持つ人で話し合って決めればよいと思ってるし、話し合って決めるしかないと思ってる。その話し合いにおいて基準になるような正しさなんてないと思っている。 それは多神教の国の人だからとか言ってみたいが、残念ながら多神教の国にも何か明らかな正しさがあると仮定して自分の議論の正しさを主張する人がいる。神以外に正しさを求めているとしたら、一体なににその根拠を認めているのだろうか?と不思議に思う。 ルールは正しくなさだけを明示するもちろん、僕も社会にはいろんなルールが存在していて、そのルールにおいて正しくな

    正しさを前提としない|棚橋弘季 Hiroki Tanahashi
    turanukimaru
    turanukimaru 2018/03/15
    ちょっと前までは外部の正しさは実際に正しかった。なぜ正しいと言えるのかという論理があり共有・合意もされていたからだ。いつからか「正しさに理由は要らない」と言う人が多くなり正しさはその正当性を失った。
  • プログラミング経験がない経営者のためのソフトウェア開発 11の事実 | Social Change!

    今やどんなビジネスでもITが関係している。ITを支えているのはソフトウェアだ。あらゆるものがソフトウェアで実現される時代になった。そんな事業や生活に密接に関わるソフトウェアだが、その開発について知られていないことも多い。 とくに経営者がプログラミング経験がないことで、ソフトウェア開発のリーダーシップをとるときに的外れなマネジメントをしてしまうことがある。あまねく経営者がプログラミング経験があれば良いのかもしれないが、それは現実的ではない。 プログラミング経験がなくても、せめてソフトウェア開発の特性について知っておくと良さそうなこともあると思い、なるべく専門用語を使わずに稿を書いた。 プログラミングは製造ではなく、設計である いまだにソフトウェア開発を、ビルや家屋の建築に喩える人がいるし、工場でモノを製造するようにプログラムが作られると思っている人もいる。 ここが間違いのもとだ。ハードウェ

    プログラミング経験がない経営者のためのソフトウェア開発 11の事実 | Social Change!
    turanukimaru
    turanukimaru 2018/03/15
    結局のところビジネスのソフトと言うのは業務を文書化したものに過ぎないからアナロジーは説明の助けでしかない。問題は業務を100%漏れなく正しく後日追記や差し替えても矛盾しないよう書くことはとても大変という事
  • 北朝鮮 在韓米軍の無条件撤収を要求 首脳会談を前に | NHKニュース

    北朝鮮の国営メディアは、韓国に駐留するアメリカ軍について、「南の人民が願うのは、朝鮮半島の平和を脅かすアメリカ軍の無条件撤収だ」と主張し、ことし5月までに開かれる見通しの米朝首脳会談を前に、従来の立場を改めて示しました。 そのうえで、「南の人民が望むのは、朝鮮半島の平和と安全を脅かすアメリカ軍の無条件撤収だ」として、ことし5月までに開かれる見通しの米朝首脳会談を前に、従来の立場を改めて示しました。 韓国政府によりますと、キム・ジョンウン(金正恩)委員長は先に会談した大統領の特使に対し、「軍事的な脅威が解消されて体制が保証されるならば、核を保有する理由はない」と表明したということで、専門家などからは、北朝鮮が非核化の条件として、アメリカ軍の撤退を要求するのではないかという見方が出ています。

    北朝鮮 在韓米軍の無条件撤収を要求 首脳会談を前に | NHKニュース
    turanukimaru
    turanukimaru 2018/03/15
    今までも韓国内で統帥権を取り戻すべきとか在韓米軍撤収への話は有ったが韓国政府が踏みとどまってた。今までと違うのはオリンピックで融和ムードができたことと韓国政府が在韓米軍撤収を要求する可能性があること。