黒木玄 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年01月11日(日)
“言論の自由？有害情報を流す自由がありすぎる。自由の敵は無責任な放言者。）”・食品安全情報blog「シドニーの会場が米国の反ワクチン活動家Sherri Tenpennyのセミナーをキャンセル」d.hatena.ne.jp/uneyama/201501...
タグ：
posted at 01:42:28
保育園に、という保護者には必ず説明。学校でも悲しい事例を何度も聞いてますので。
「母子感染以外のB型肝炎」 （読売新聞 子どもの予防接種:3） blog.goo.ne.jp/idconsult/e/c7...
タグ：
posted at 02:20:45
.@kenbor さんの「「輸出戻し税は問題だ」「輸出戻し税って問題なの？」と思われる方は、ぜひこれを読んで内容で判断してみて下さい。」をお気に入りにしました。 togetter.com/li/658303
タグ：
posted at 07:57:13
あかん / 他33コメント b.hatena.ne.jp/entry/www.jiji... “時事ドットコム：岡田氏「きちんと消費再増税を」＝民主代表３候補インタビュー” htn.to/cxcoTT
タグ：
posted at 08:35:09
#と教 bit.ly/14Huyh4からの連ツイ。またいつもの話かと自分でも思います。しかし、教育に浸透しようとしている言説の中には、サムシング・グレートや天孫降臨のように、言論の自由にかなり危険なものがあり、それらがあまり批判されていない状況があります。
タグ： と教
posted at 12:13:40
非公開
タグ：
posted at xx:xx:xx
日本は輸出国。国内で麻疹はニュースにならないし。“米国でははしかは２０００年に撲滅したとされており、保健局は「ディズニーランドには世界中から観光客が訪れており、局地的に流行している国から持ち込まれた可能性がある」としている”・ apital.asahi.com/article/news/2...
タグ：
posted at 13:40:30
@genkuroki 昨日の続き。さらなる反響があったのようですが、まだ、ほとんど読んでないです。
まず、最初におさえておくべきことは、目標や目的が変われば日本語による適切な表現の仕方も変わるということです。この点はもっとも重要な点なので、忘れないようにしてもらいたい。続く
タグ：
posted at 15:41:04
@genkuroki たとえば「あるxについてP(x)」で存在を意味することにするスタイルの是非は目的や目標などを決めないと何とも言えません。
「∃x P(x)」の読み方をひとつ決めておきたい人が「『あるxについてP(x)』と読むことにしよう」と提案するのはOKだと思う。続く
タグ：
posted at 15:49:40
@genkuroki 続き。しかし大学新入生程度の人たちに「∃x P(x)」の概念を説明するときに主要な典型的例文として「あるxについて〜」とか「ある◯◯は〜である」のタイプの文を使うのはかなりまずいと思う。ぼくならそういうことをやっている教科書は使わない。続く
タグ：
posted at 15:58:04
@genkuroki 続き。件の嘉田さんの本は述語論理の意味での存在の概念を説明する段階で「あるxについてP(x)」の型の文を典型的例文として利用してしまっている。だから私はこれはダメだと断言したのだ。内容的には他の選択肢がない本なので非常にもったいないことをしていると思う。続く
タグ：
posted at 16:06:28
@genkuroki 続き。以下は雑感。
任意・存在・一意について理解できない人は難しく考え過ぎておかしなことになっていることが多いと思う。単に条件P(x)をみたす集合Aの要素xがどれだけあるかを問題にしているだけなのに、難しく考え過ぎ。続く
タグ：
posted at 16:29:36
@genkuroki 続き
∀x∈A(P(x))は「集合Aのすべての要素が条件Pを満たす」の意味で、
∃x∈A(P(x))は「集合Aの中に少なくとも一つ以上条件Pをみたすものが存在する」の意味です。続く
タグ：
posted at 16:48:35
@genkuroki 続き。「全部」と「存在」=「少なくとも一つ以上ある」とnotの組み合わせで、「一つもない」とか「全部ではない」も表現可能。さらにちょっと工夫すれば「あるとしても高々一つしかない(全然ないかもしれない)」や「唯一存在」も表現可能。続く
タグ：
posted at 17:06:29
@genkuroki 続き。大体、以上のようなことを理解していれば、∀∃について習いたての立場では次の段階に進んでもいいかなという感じ。ポイントは、「条件Pをみたす集合Aの要素がどれだけあるか」という基本的な事柄について、∀∃だけでどれだけ表現できるかを知っておくこと。続く
タグ：
posted at 17:11:00
@genkuroki 続き。もしも集合Aの部分集合のサイズを測ることができる状況であれば(たとえば測度が与えられているとか)、集合Aの要素で条件Pをみたすものがどれだけあるかについて部分集合のサイズで表現することも可能になるわけです。これも以上の話と同類だと思うことができる。続く
タグ：
posted at 17:15:02
@genkuroki 続き。全称命題や存在命題の否定の話をスムーズに理解できない人は、それが「集合Aの要素で条件Pをみたすものがどれだけあるか」の表現というより一般的な問題の特殊な場合であるという基本的なことを理解せずに、難しく考えているからではないか。続く
タグ：
posted at 17:19:20
@genkuroki 以上のような考え方のもとで、ぼくはよく次のような問題を出します。
「ほとんどすべての星は赤い」の否定文を作ってみてください。
わざと「ほとんど」という語句を入れて、「not∀は∃notだから〜」のような浅い理解では正解できないようにしてある。続き
タグ：
posted at 17:23:54
@genkuroki 続き。一つ前のツイートの問題だと、測度論で「ほとんどいたるところ」のような言い方を習った数学科卒業生が不当に有利になるので、問題を少し変えて、
「大部分の星は赤い」の否定文を作ってください。
のように問題を出した方がよいですかね。 続き
タグ：
posted at 17:27:11
@genkuroki 続き。ぼくが採点基準で重視することは、じょうずな日本語でうまく表現できているかよりも、正しくイメージしている、説明の仕方がうまくなかったとしても内容的に正しいことを言おうとしていることがわかるかどうかの方。問題の答えに関する返信はしない予定。
タグ：
posted at 17:31:48
@genkuroki #掛算 １２番 【「ある」＝「∃」という機械的な思い込みを一旦捨てて下さい。】【「∃ｘ」を、「あるｘ」ではなくて、「少なくとも１つのｘについて」と考えると分かりやすいと思います。】、この考えは当時と余り変わっていない。
タグ： 掛算
posted at 17:58:42
@genkuroki #掛算 mixi.jp/view_bbs.pl?co... 参考書の文言の細かいところに拘る人がいるが、数学的帰納法それ自体を理解すればいいだけのこと。ややこしく考える必要はない。
タグ： 掛算
posted at 18:04:35
Re: RT 政治に関する議論では、経済政策に関する話題を避けて通れないので、政治経済に関する議論で経済に関する無知のせいでボコられることを防ぎたい人はきちんと大学新入生レベルの真っ当な経済本を読んでおいた方がいいかも。
タグ：
posted at 18:13:50
.@sekibunnteisuu #掛算 なるほど！∃x P(x)を「少なくとも一つのxについてP(x)」と読む方が誤解が少なくなりそうですね。
特定の語句が入っていれば◯◯の意味になると考えるのは浅はかな態度。教える側はその手の浅はかさを明瞭に否定し続けないとまずい。
タグ： 掛算
posted at 18:26:11
カオナシ(T. MATSUMOTO) @CharStream
@genkuroki ∃x∈A(P(x))というのは、∃x(x∈A→P(x))のことですか、∃x(x∈A∧P(x))のことですか、それとも他の命題なんでしょうか？ ∃x∈A(P(x))は厳密にいうと古典一階述語論理の構文に反していて、非文ということになるんですが。
タグ：
posted at 18:39:52
非公開
タグ：
posted at xx:xx:xx
“@sekibunnteisuu: @genkuroki #掛算 mixi.jp/view_bbs.pl?co... 参考書の文言の細かいところに拘る人がいるが、数学的帰納法それ自体を理解すればいいだけのこと。ややこしく考える必要はない。” これは酷いなぁ
タグ： 掛算
posted at 20:29:53
@CharStream 記号論理学もしくは数学をかじったことのある人ならば知っている標準的な記号法です。
bounded quantifier についてぐぐってみて下さい。日本語訳は有界量化子かな。
タグ：
posted at 21:20:43
カオナシ(T. MATSUMOTO) @CharStream
@genkurokiおっと失礼しました。Bounded quantifiers in set theoryですか。∃x∈A(P(x))は∃x(x∈A∧P(x))の略記、∀x∈A(P(x))は∃x(x∈A→P(x))の略記だということですね。わたしの早とちりだったようで、すいません
タグ：
posted at 21:36:10
