黒木玄 Gen Kuroki
- いいね数 389,756/311,170
- フォロー 995 フォロワー 14,556 ツイート 293,980
- 現在地 (^-^)/
- Web https://genkuroki.github.io/documents/
- 自己紹介 私については https://twilog.org/genkuroki と https://genkuroki.github.io と https://github.com/genkuroki と https://github.com/genkuroki/public を見て下さい。
2015年08月31日(月)
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
残念！合掌→時事ドットコム8/31：オリバー・サックス氏（英作家・脳神経科医）米紙ニューヨーク・タイムズ（電子版）によると、３０日、がんのためニューヨークの自宅で死去、８２歳。
→www.jiji.com/jc/ci?g=int&k=...
タグ：
posted at 05:28:16
#初等幾何 メモ
www.gutenberg.org/files/17384/17...
[PDF]Project Gutenberg's The Foundations of Geometry, by David Hilbert
ヒルベルトの『幾何学の基礎』のProject Gutenberg版
タグ： 初等幾何
posted at 05:57:48
@genkuroki #初等幾何 メモ
www.michaelbeeson.com/research/paper...
[PDF]Proving Hilbert's axioms in Tarski geometry
Michael Beeson
タグ： 初等幾何
posted at 06:12:27
@genkuroki #初等幾何 メモ
citeseerx.ist.psu.edu/viewdoc/downlo...
Tarski's system of geometry
Alfred Tarski , Steven Givant
タグ： 初等幾何
posted at 06:18:07
訃報が届いたオリバー・サックスさん。専門の神経医学などに関する著書はもちろんだけど、私が最も好きなのは「タングステンおじさん」。遺作となったのかな、「見てしまう人びと 幻覚の脳科学」は未読なので、探しておこう。
タグ：
posted at 06:29:49
@genkuroki #初等幾何 メモ
archive.org/details/thirte...
The thirteen books of Euclid's Elements
タグ： 初等幾何
posted at 06:30:37
ユークリッドの幾何の現代的公理化について、こんなのもあります
repository.cmu.edu/cgi/viewconten...
2009年のアヴィガドによる形式化です。
日本語の解説はこちら：
www.jstage.jst.go.jp/article/jpssj/...
@genkuroki @kamo_hiroyasu
タグ：
posted at 06:58:21
@temmusu_n #初等幾何 そうなんですよね。二等辺三角形の底角が等しいことの証明にどうしてわざわざ補助線を引く遠回りな証明を紹介することが多いんでしょうかね？二辺夾角が等しいなら合同であることを認めるなら、二等辺三角形の底角が等しいことの証明に補助線はいらない。
タグ： 初等幾何
posted at 07:35:01
@temmusu_n #初等幾何 三角形の合同条件の「二辺夾角」を認めて使う中学校数学では「△ABCにおいてAB=ACが成立していると仮定する。AB=AC、AC=AB、∠A=∠Aが成立しているので、△ABC≡△ACBとなる。ゆえに∠B=∠Cである。」で問題無しだと思う。
タグ： 初等幾何
posted at 07:40:21
@genkuroki #初等幾何 あっ、そこまで簡潔にできますね。パタンとひっくり返すイメージが好きで余計なことを書いてしまいました。これ、私が中学で習った方法です。当時は騙されたーぐらいに思ったはずですが、今になってありがたさがわかりました。
タグ： 初等幾何
posted at 07:47:46
非公開
タグ：
posted at xx:xx:xx
@temmusu_n #初等幾何 中学校の数学の教科書では、回転、平行移動、線対称変換（パタンとひっくり返す！）に関する直観を前提としているように見えます。パタンとひっくり返すイメージで考えていることがわかる証明の書き方で問題がないと思う。ポイントは補助線がいらないこと。
タグ： 初等幾何
posted at 07:56:17
@GreatDemon1701 何を言いたいのかわかりません。「αならばβ」の証明の基本フォーマットは「αが成立していると仮定する。～推論～ ゆえにβが成立する」ですよね？ @temmusu_n
タグ：
posted at 08:19:13
非公開
タグ：
posted at xx:xx:xx
「等分除」「包含除」という算数教育「学」の妖怪２ ～大日本図書『たのしい算数３』より blog.goo.ne.jp/mh0920-yh/e/7f...
#掛算
タグ： 掛算
posted at 09:30:43
These world maps show how the most popular web browsers have battled for dominance since 2008
www.businessinsider.com/history-of-web...
日本が…。ぼくはFirefox。
タグ：
posted at 09:37:39
#函数 twitter.com/yoshitakeh/sta... 【サイン・コサイン・タンジェントで数学が苦手になる人って結構いるんじゃないか。】算数の段階で「公式を全部覚えて、公式を使って問題を解く」というダメな思考法を身に付けてしまうと、三角函数で爆死する可能性が高い。
タグ： 函数
posted at 09:44:15
@fujinamicocorob arithmetic.archivs.org/keisan/amari.h... の「9÷4＝□…0.2」という問題の出し方は好ましくないと思います。「9=4×□+0.2」なら意味は明瞭。「a…b」という記号法を勝手に拡張して問題文で使用するのはまずいです。続く
タグ：
posted at 11:26:06
@fujinamicocorob 続き。「商を小数点以下第1位まで求めたときの余り」は「9=4q+r、qはある整数の0.1倍、0≦r<0.1×4」のような条件で正当化できます。そういうことをきちんと教えるのは悪いことではないです。小学生には難しくなってしまいますが。
タグ：
posted at 11:30:11
4/7と2/3の大小関係をちゃんと答えられたのは５００人に１人 #掛算
これでは割合教育は失敗するわな。
＞世の中の「数学嫌い」「数学できない」は想像以上
kwatch.houkagoteatime.net/blog/2015/08/3...
タグ： 掛算
posted at 12:44:38
@kankichi573 #掛算 同URLの後部のΣiの再帰的定義のやつ、わからん人にはわからんねんやろうね。（こないだTWしたmixi内の初期値と増分を混同してたやつは論外としても）
タグ： 掛算
posted at 12:52:55
@genkuroki @temmusu_n 「仮に」定めた訳ではなく「AB=AC」のもとでスタートしているよね、という確認のつもりです。前段が偽なら話にならない。
タグ：
posted at 17:19:20
@GreatDemon1701 「仮に」でも証明されたことは何も変わらないですよね。「αならばβ」を示したいのだから、αが真であろうが偽であろうが関係ないです。
タグ：
posted at 17:25:29
@GreatDemon1701 「x=2ならばx^2+x=6である」の証明の最初に「x=2であると仮定する」と書いて何か問題があると思っているのですか？何を問題にしたいのか、クリアに説明して下さい。
タグ：
posted at 18:33:46
“「Windows 10のPCが夜中、勝手にスリープから復帰する」原因と対策”／ほんとこれ、困る。何が困るってスリープにしてかばんに入れてたPCが勝手に起動して中で熱暴走して死んでるってパターン。 htn.to/5svCci
タグ：
posted at 18:56:42
非公開
タグ：
posted at xx:xx:xx
@fujinamicocorob 9=4×2+1なのでq=2ならｒ=１>0.1×4となります。q=2.1ならr=0.6>0.1×4となり、q=2.3ならr<0となります。
タグ：
posted at 20:27:42
@sekibunnteisuu @genkuroki 産経の正論とか読むと、足利尊氏を肯定的に書くのはまずいとか、そういうことを大真面目に議論している人がいることが分かりますね。
タグ：
posted at 22:59:13
