黒木玄 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年09月01日(火)
@genkuroki #初等幾何 ヒルベルトさんによるユークリッド幾何の定式化はもう拡散する意義は小さいと思う。
しかし、タルスキーさんによる定式化はもっと拡散されてしかるべきだと思いました。(鴨さんに説得された！)
そしてユークリッド『原論』のスタイルにもっと〜続く
タグ： 初等幾何
posted at 23:58:16
@genkuroki #初等幾何 数学教育で使う幾何は定規とコンパスにこだわらずに何でもありにしておかないと色々困ったことになると思う。
しかし、それとは別に、ユークリッドの幾何の現代版定式化に関する情報はもっと広めた方が良さそうな感じ。結果的に色々な誤解は減ると思う。
タグ： 初等幾何
posted at 23:55:03
@genkuroki #初等幾何 中学校の教科書で採用している方針は、R^2で成立していることの中から視覚的にわかりやすいものを見繕って出発点として採用していると考えるとわかりやすいと思います。ユークリッド『原論』とも、返答連鎖の中に見付かる資料たちの方針とも異なります。
タグ： 初等幾何
posted at 23:45:05
@genkuroki #初等幾何 所謂ユークリッド幾何を扱う枠組みも複数あることがわかっている人以外には「本当は循環論法だ」と言うことを禁止するべきだと思う。(おそらくわかっている人はそう言わなくなる。) そうしないと数学教育的に害が生じると思う。
タグ： 初等幾何
posted at 23:41:31
@genkuroki #初等幾何 「本当は循環論法だ」とか言いたいなら、どのような枠組みの中でそうなのかについて神経質になるべきだと思う。ユークリッドの『原論』の権威に頼っている人達はその時点で非論理的なのでアウト。枠組みの詳細については返答連鎖に並んでいる資料を見てください。
タグ： 初等幾何
posted at 23:38:44
#掛算 「分数と整数のかけ算のやり方は？」と質問されたことがある。「分数のかけ算は分母どうし・分子どうし×」と覚えていたが、整数がでてきたので「分母も分子もないからできなぁ～い！！」という深刻な事態に陥ってしまたそうである。 twitter.com/kankichi573/st...
タグ： 掛算
posted at 23:37:22
@genkuroki #初等幾何 すでに紹介済みの scholar.google.co.jp/scholar?cluste... (タルスキーさんによるユークリッド幾何の公理化)の話の続き→ www.kirj.ee/public/Phys_Ma...
タグ： 初等幾何
posted at 23:31:07
"Quantum Computation with Topological Codes
-From Qubit to Topological Fault-Tolerance-"
www.springer.com/jp/book/978981...
タグ：
posted at 23:03:41
Sさんは arxiv.org/abs/1508.03918 を読んでおくべきだと思った。そしてその仕事が楕円◯◯の世界の中でどのように位置付けられるかをぼくに教えて欲しいと思った。
タグ：
posted at 22:54:03
「シェルスクリプトWebスクレイピング」による「通報支援ボランティア向けサイト」構築の際は、ターミナル上でシェル・sed・awkを駆使してプロトタイピングしながら開発したのですが、手軽で、すぐにリリース出来ました。
問題は、ソフトウエアの保守性の低さ。これは、実感済みです(苦笑)
タグ：
posted at 22:50:39
震災直後、「数百行のシェルスクリプト」で半日で開発した「救助要請ツィート一覧表示・通報支援サイト」(現在は公開終了)が、サイト公開1か月後の4月13日・15:22:53時刻分( web.archive.org/web/2011041306... )から、インターネットアーカイブに残されていました。
タグ：
posted at 22:44:04
ちなみにヒュパティアさんの名言を。
「思考する、というあなたの権利を大切になさい。たとえそれで間違ったとしても、思考を放棄して全く考えないよりはずっと良いのです」
タグ：
posted at 21:59:16
この論考はそうしたヒュパティアのイメージを史実から見直すもので、短いものだが非常に読ませる、面白いものだった。さくさく読めるので興味のある人には是非読んで欲しいが、つまるところ彼女はキリスト教団内部の政治抗争の巻き添えを喰って殺されたのだ、ということらしい。
タグ：
posted at 21:49:06
その最期は悲劇的なものだった。その異教的教養と声望、そして女性の身でありながら高名な学者であるということ自体を憎悪したキリスト教徒たちによって極めて惨たらしい方法で殺されたのだ。拉致され、全裸にされ、生きたまま全身の肉を牡蠣の殻で削ぎ落とされた、と。
タグ：
posted at 21:46:21
ヒュパティアは日本ではともかく欧米では非常に有名な人で、アレクサンドリア図書館の最後の館長にして優れた哲学者・数学者・科学者であり、高潔な人柄を備えた若い美貌の女性としてイメージされる。
タグ：
posted at 21:44:30
俺的サーヴァント候補な歴史上人物の上位にランクされる女性哲学者、ヒュパティアに関する論考を見つけた。非常に面白い。 repo.nara-u.ac.jp/modules/xoonip...
タグ：
posted at 21:41:28
twitter.com/t_ishin/status...
「デモで国家の意思が決定されるのは絶対にダメだ。」
「デモで国家の意思が決定される」の意味が全く分からないが、国会議員の多数がデモを見て反対になったり、内閣がデモを見て廃案にした場合、どこがどう「民主主義の否定」なのか？
タグ：
posted at 20:48:20
@genkuroki @GreatDemon1701 さらに訂正。【各々の文が「仮定」に属するのか「結論」に属するのか曖昧な人がかなり感じ】の「かなり感じ」は正しくは「かなりいる感じ」です。(文脈的には不適切だと思いますが)たぶんこういう問題を指摘したかったのだと思います。
タグ：
posted at 20:25:08
@genkuroki @GreatDemon1701 誤植の訂正。
twitter.com/genkuroki/stat... の「∠B=∠Cが導かれてることを示せ」を「∠B=∠Cが成立していることを示せ」に訂正します。もしくは原文から「て」を一つ削る。
タグ：
posted at 20:20:39
@genkuroki @GreatDemon1701 証明で書いた各々の文が「仮定」に属するのか「結論」に属するのか曖昧な人がかなり感じです。だから、学生には「～とする、～とおく、～と仮定するなんですか？それとも～となる、～であるなんですか？」とよく質問しています。
タグ：
posted at 20:17:03
@GreatDemon1701 大学で教えているε-δ式の証明でも最初に「正の実数εを任意に取る。」とか「εは任意の正の実数であると仮定する。」と最初に文を切ってはっきり書いて欲しいです。「任意の正の実数εについて～」と文を切らずに続けるのは原則として止めた方がよいです。
タグ：
posted at 19:41:16
@GreatDemon1701 脱線。「偶数と偶数の和は偶数」では「2n+2n=4n」と書く人が続出するが、「偶数と偶数の*差*は偶数」なら「2nと2nの差はゼロになる。あれ？」となって両方の偶数を2nと書くとまずいことに気づく確率が高くなるという話がありましたね。
タグ：
posted at 19:37:46
@GreatDemon1701 続き。「偶数と偶数の和は偶数になることを示せ」という問題も「整数a,bが偶数であると仮定するときa+bも偶数であることを示せ」と解釈して、初学者には最初になにはともあれ「整数a,ｂは偶数であると仮定する」と書いて欲しいと思います。続く
タグ：
posted at 19:36:52
@GreatDemon1701 続き。「二等辺三角形の底角は等しい」という文章から「△ABCにおいてAB=ACが成立していると仮定する」という文を生成するのはかなり非自明な行為。そういうことをできるようになってもらうためには、数学教育現場では仮定を明瞭に書かせるべきなのです。
タグ：
posted at 19:24:26
@GreatDemon1701 続き。「二等辺三角形の底辺が等しいことを示せ」は「△ABCがAB=ACを満たしていると仮定すると、∠B=∠Cが導かれてることを示せ」という問題だと解釈できないとまずいです。だから丁寧な説明をするときには仮定を証明の中にきちんと書いた方がよいです。
タグ：
posted at 18:48:03
@GreatDemon1701 続き。「仮定より」「～とおくと云々」「与式より」「題意より」などなどの決まり文句は論理をわかっていない人ほど使いたがる印象があります。しかし、「仮定しなければいけないことを仮定して何が悪いのか」というのが私が感じていることです。続く
タグ：
posted at 18:44:04
@GreatDemon1701 続き。「二等辺三角形の底角は等しいことを示せ」という問題を見て、「△ABCがAB=ACを満たしているという仮定のもとで∠B=∠Cを示せ」という問題だということが読み取れないと手も足も出ないように思うのですが、どうでしょうか？続く
タグ：
posted at 18:38:50
@GreatDemon1701 【「三角形ABCが二等辺三角形ならば」は解答者からみると仮定ではない】
より正確に言えば、単なる「解答者」ではなく、「論理を理解していないダメな解答者」ですよね。まともな解答者にはそういう仮定が見えているはずです。続く
タグ：
posted at 18:36:51
@genkuroki
(3)TeXworksで使う辞書を置くべき場所にコピー
(4)pdfpLaTeX.batを作成し、TeXworksに登録
(5)dvipdfmx.defをdvipdfm.deｆにコピーしてmktexlsr
(6)TeXworksの細かな設定をこれからやる
タグ：
posted at 18:32:07
@genkuroki 続き。TeX Liveを入れた後の作業
(1)c:\texlive\2015\texmf\fonts\map\dvipdfmx\cid-x.map の変更
(2)updmap-sys --enable KanjiMap=ptex-ipa.map
続く
タグ：
posted at 18:29:40
@genkuroki 続き～して、mktexlsrを実行してしまった。これからはdvipdfmx.defの方を使うようにLaTeXソースを書くことにしよう。続く
タグ：
posted at 18:26:39
@genkuroki 続き～、LaTeXソース中のdvipdfmと書いてあった部分を適当にdvipdfmxに書き換える(xを1文字追加する)だけなのですが、古いLaTeXソースのままでコンパイルできるようにdvipdfmx.defをdvipdfm.defにコピー～続く
タグ：
posted at 18:24:51
@genkuroki 久々にTeX Liveを入れた。ずっと2012を使ってました(^_^;)。2015にしたらdvipdfm.defがないと言われた。時代遅れなのでdvipdfmx.defを使えということらしい。LaTeXソース中のdvipdfmと書いてあった部分を～続く
タグ：
posted at 18:23:11
@genkuroki 高校入試の解答で「仮定から～」、「～～とおくと云々」をただの決まり文句として使っているだけのものがあり、「仮定じゃないし・・・」、「そうはおけないし・・・」と突っ込みをいれつつ採点をすることがあるのですよ。黒木氏の反応はちょっと予想外でした。
タグ：
posted at 17:18:14
@genkuroki もちろんそれは承知していますが、職業柄、問題を見ると出題者と解答者という構図に見えてしまうことがあり、「三角形ABCが二等辺三角形ならば」は解答者からみると仮定ではないということです。
タグ：
posted at 17:16:22
育鵬社教科書の採択運動「強要され苦痛」 勤務先を提訴
www.asahi.com/articles/ASH8W...
教科書の採択運動どころの話じゃないな。常軌を逸してる感じ。
タグ：
posted at 16:24:45
🔖 史上最大。iOSのマルウェアでAppleアカウント22.5万件が盗まれる www.gizmodo.jp/2015/09/iosapp...
すべて脱獄（jailbreak）した悪い子だから，良い子は心配しないでよい。こんなに脱獄する人いるのか
タグ：
posted at 13:55:35
日曜数学会に参加しました＆「プログラミングのための線形代数」を読みました - 下町柚子黄昏記 yuzutas0.hatenablog.com/entry/2015/08/...
タグ：
posted at 10:01:38
@fujinamicocorob そういうことです。一般に、正の実数a>0について、実数bをaで割った商を小数点以下第n位まで求めたときの余りは0以上10^{-n}×a未満の実数になると考えることになります。
タグ：
posted at 08:17:42
@GreatDemon1701 「二等辺三角形の底辺は等しい」は「仮に△ABCにおいてAB=ACが成立しているならば、∠B=∠Cが成立している」と同じ意味です。これに同意できるなら、最初から「仮に」の話だったことを納得できると思います。
タグ：
posted at 08:07:06
@GreatDemon1701 悪いけど、妙なことを言っていることに気づいていないならば、論理について勉強し直した方がよいと思います。
「9！が5ケタの整数なら10！は6ケタの整数」も命題としては真と言われても、私は単に「その通り」と答えて何も困りません。続く
タグ：
posted at 07:57:33
不正告発者への人権問題にも発展しており、世論を動かしていくしかないので、ご協力をお願いします。
【研究不正疑義】岡山大学医学部不正調査の問題点
d.hatena.ne.jp/warbler/201509...
嫌疑不詳の自宅待機が長期間継続しており、告発者の研究室の学生さんたちにも影響が出ています。
タグ：
posted at 07:54:54
本件に対して、文科省と岡山大学の適切な対応を期待して様子を見ていましたが、告発者である2名の教授に対する嫌疑不詳の自宅待機命令が3か月以上継続し、解除の見通しがない事から、公開に踏み切りました。
d.hatena.ne.jp/warbler/201509...
タグ：
posted at 07:46:15
この岡山大学医学部の不正疑義に関連して、
d.hatena.ne.jp/warbler/201509...
本件の告発者である2名の教授に対し、岡山大学から不正告発への報復とみられる嫌疑不詳の自宅待機命令が今年5月末に出されて3か月以上継続しています。
sites.google.com/site/investiga...
タグ：
posted at 07:42:39
【研究不正疑義】岡山大学医学部不正調査の問題点
d.hatena.ne.jp/warbler/201509...
今年3月末に不正なしと報告された岡山大学医学部から出された論文の不正疑義に関して、情報開示請求をして各調査報告書等を入手しました。特に本調査での論文1と論文30の判定に疑問があります。
タグ：
posted at 07:40:16
出た、育鵬社案件！ だから危険な教科書なんだってーーー！
文書配布は精神的苦痛
mainichi.jp/select/news/20...
教育再生機構【今井光郎 フジ住宅(株)代表取締役会長】
www.kyoiku-saisei.jp/kiko/kiko.html... pic.twitter.com/VTDFwKCi4E
タグ：
posted at 01:49:05
非公開
タグ：
posted at xx:xx:xx
