「文」という語は数理論理学では時として「閉論理式」を意味するからちょっとよくないかもだけど。。。
posted at 22:16:12
Stats | Twitter歴 4,368日(2012/04/14より) |
ツイート数 79,692(18.2件/日) |
表示するツイート :
「文」という語は数理論理学では時として「閉論理式」を意味するからちょっとよくないかもだけど。。。
posted at 22:16:12
@emptst 高校でも大学でも数学論文でも、読み手が好意的に解釈してやっと意味が通る論述なんてダメだと思います。数学教育ではあらゆる段階で「ふつうの書き言葉で論述する」ことを訓練してほしいと思ってます。数理論理学の記号の雑な借用も私なら高校大学関係なく咎めます。
posted at 22:00:58
@yukino520 ラーメンは北浜駅のカフェにもあるかもですが、3駅斜里寄りの止別駅の駅舎がラーメン屋で、食べたことあります。うまかった。もう15年前の記憶ですが、今もあるのかな。。。
posted at 21:53:29
学部の数理論理学授業の初回で私が必ず話すのが「もの」と「文」の区別。
1+1
157
1+1=2
157+1=2
のような記号列を板書して「分類するならどう分ける?それはどういう基準?」と学生に問いかける。そこから述語論理の項と論理式の話に入る。
posted at 21:50:34
@emptst なるほど RT の答案画像見て納得しました。P(a,b) で「P の座標が (a,b) である」という主張を表すこともイヤですし、記号 ∧ をむやみに使うのも(高校では扱わないということを別にしても)私は好みませんね。。。
posted at 21:45:17
@emptst え、そうなんですか? 私はなんとなく「点 P すなわち座標 (a,b) の点」という感じで全体として名詞句だと解釈しますが。。。
posted at 21:41:59
いや実は輝美さんという日本人女性(もういい) https://twitter.com/ubieman/status/1266822815644344320…
posted at 13:31:40
再掲。 https://twitter.com/kadamasaru/status/744745384564514817…
posted at 10:34:10
ピザ屋広告の "Buy one get one free" 、ストレートに
「一枚買って、もう一枚もらおう!」
とか
「一枚買ったら、もう一枚あげちゃう!」
とかにすればいいものを。。。
posted at 10:21:03
前RT これですね。。。 https://twitter.com/nolimbre/status/522626492644089856…
posted at 10:17:52
いち数学徒の意見だが「2枚目0円」だけでwell-definedだと思う。1枚しか買わなくても2枚目が0円であることに違いはなく、3枚以上買っても0円になるのはあくまで2枚目で固定と考えると美しい。プログラミングでもそう書くのがよいのでは? https://twitter.com/seikoito/status/1266783218671349760…
Retweeted by 嘉田 勝
retweeted at 10:17:31
これは片方で手を消毒したら普通に入館できるが、もう一方を使ったら「連れていけ!」されるやつに違いない https://twitter.com/SciCafeShizuoka/status/1266678875808886786…
Retweeted by 嘉田 勝
retweeted at 10:10:08
持続化給付金事業でパソナ関連会社が殆ど電通に丸投げして得た20億円の何が凄いって、1次補正予算で困窮学生への授業料減免措置に付けられた予算である7億円の、実に3倍近い税金という事実ですよ。安倍政権の税金の使い方は、ハッキリ言って狂っていますよ。
Retweeted by 嘉田 勝
retweeted at 22:07:24
表示拒否
retweeted at xx:xx:xx
Fumiharu Kato 加藤文元(Bungen)@FumiharuKato
そういえば、今日はガロアの決闘の日だった。188年前の今ごろ、すでにガロアは決闘で深い傷を負っている…
#ロマンティック数学ナイト
Retweeted by 嘉田 勝
retweeted at 21:41:50
オンライン学習、ゲームよりも疲労度高い? 特にスマホ:朝日新聞デジタル https://www.asahi.com/articles/ASN5Y3JH8N5XUHNB00N.html… #新型コロナウイルス
(有料記事ですが)
Retweeted by 嘉田 勝
retweeted at 12:34:05
非公開
retweeted at xx:xx:xx
それ効果のほどはともかく高校「数学I」でやってます。あらゆる科で必修のはず。ただ中央値にとどまらず四分位数とか箱ひげ図とかまでやっててあまり評判よろしくないようです。 https://twitter.com/fujisyu/status/1266521197929365506…
posted at 10:26:29
表示拒否
retweeted at xx:xx:xx
昨日のブルーインパルスの件、もやもやしていた理由がやっと分かった。「患者さんや社会からの感謝が心の支え」という医師の高潔な使命感に甘えて、36時間連続勤務とか、まともに診療していたら病院の経営が立ち行かないとか、そういうのを看過してきたのが国であり、国民だからだ。
Retweeted by 嘉田 勝
retweeted at 10:16:06
ねる。
posted at 01:37:19
↓こういう地口ばかり呟いていられれば気楽なんだけど。 https://twitter.com/kadamasaru/status/1265198503786995712…
posted at 01:36:33
@paulerdosh TLが殺伐としてる。。。
posted at 01:33:32
大阪の人たち、これ、根拠なきオラオラヤンキーメンタルではなく、データとロジックで新型コロナ対応しなければ大変なことになりますよ、という大村知事の大阪を見かねての忠告やで。逆ギレしてる場合ちゃうで。 https://twitter.com/asahicom/status/1265935048580034561…
Retweeted by 嘉田 勝
retweeted at 01:24:06
@tacowasabi0141 明らかに新型コロナ対策に成功しているのは大村知事なのに
大村知事の論理的発言に対し
「吉村府知事は一生懸命頑張っているのに酷い事を言う」
と、無条件で吉村府知事を擁護する
ファン層が増えて来た様に感じます
Retweeted by 嘉田 勝
retweeted at 01:19:49
またツイッターから1ヶ月ぐらい姿消そうかな。。。
posted at 01:03:49
非公開
retweeted at xx:xx:xx
非公開
retweeted at xx:xx:xx
政府の新型コロナ・専門家会議の議事録が作成されていないことは重大だ。
首相が、「専門家会議の助言を得て」と繰り返すように、コロナ対応の政策決定に決定的影響を与えている会議の議事録がなくては、国民は検証する術がなくなる。
尾身副座長も「公開に問題ない」と。
今からでも公開すべきです。
Retweeted by 嘉田 勝
retweeted at 00:22:57
ヒコーキ飛ばしたり、太陽の塔光らせたり
金がかかったかどうかじゃなくて、そもそも意味あるんかっていう
そういう主催者と小さな周辺だけが気持ち良くなって満足みたいな催しは高校の文化祭までに終わらせておけよっていう
Retweeted by 嘉田 勝
retweeted at 23:00:33
大石あきこ(れいわ新選組)Akiko Oishi@oishiakiko
すり替えないで。
大阪の医療崩壊の現実を隠すことこそが、大阪の医療従事者に失礼なのです。
なにより府民の信頼を裏切る行為です。
雨がっぱ、クオカード、現場に矛盾は山積み。
マスコミの中に真実を伝えたい記者がまだいることを信じる。
https://www.jiji.com/sp/article?k=2020041701129&g=soc… https://twitter.com/hiroyoshimura/status/1265582978496737282…
Retweeted by 嘉田 勝
retweeted at 20:03:38
兵庫県加西市が全職員から10万円寄付前提でコロナ予算を組むという暴挙。そもそも給付金10万円は「医療現場をはじめとして全国各地のあらゆる現場で取り組んでおられる方々へ」(閣議決定)のもの。そして加西市の全職員の半分以上が「医師・看護師等の病院職員」です。加西市はただちに撤回すべきです https://pic.twitter.com/4tBKTPI93D
Retweeted by 嘉田 勝
retweeted at 20:03:07
非公開
retweeted at xx:xx:xx
コロナ禍フードロスレスキューの商品に
搾りたてドデカ牛乳10リッター
というのがあった。12L じゃないのか。(←そこじゃない)
https://www.facebook.com/groups/248092736319363/permalink/280261309769172/…
posted at 19:10:10
適菜収(新刊『安倍晋三の正体』発売2ヵ月で5刷)@tekina_osamu
安倍晋三「原爆でたくさんのシイの方が亡くなった」。
なにかと思ったら「市井(しせい)」だった。
Retweeted by 嘉田 勝
retweeted at 19:01:15
またか。現場無視のトップダウン。
『松井市長の突然の給食再開表明に「寝耳に水」と大阪市立小学校の校長。事前通達がなく、午前と午後の2回に分けての給食とした場合「午後の授業開始が早くても午後2時半になる。どうすればいいのか」と対応に頭を抱えていた。』
https://headlines.yahoo.co.jp/hl?a=20200521-00000248-spnannex-soci…
Retweeted by 嘉田 勝
retweeted at 19:00:25
「学会を追放された」ってかっこいいんだけれど、学会費を滞納すれば誰でもなれるんだよね。
Retweeted by 嘉田 勝
retweeted at 19:00:02
指導教員選びは人格破綻者を避けるのが必須事項で、Twitterをやっている教員は人格キエエエエエエエエエエエエッ
Retweeted by 嘉田 勝
retweeted at 17:56:54
確かに,1909年のLandauのオリジナルの表記
https://archive.org/details/handbuchderlehre01landuoft/page/60/mode/2up…
に100年経った今こだわる理由はないと思っている。集合なり同値類なりの概念が固まりつつあった当時なら,雑な表記でよかったのでしょう。
ただ,歴史のある記号に対して,代わる良い表記を定着させるのは難しい。 https://twitter.com/MarriageTheorem/status/1266199534125715456…
Retweeted by 嘉田 勝
retweeted at 15:52:13
なみはや病院のクラスター感染は酷かったよね。感染者130人って、日本一だと思うのに市民も知らない人が多い。済生会泉尾病院も、病院側は早くから発表してましたけど貴方から一言も無し。 https://twitter.com/gogoichiro/status/1265590056875552772…
Retweeted by 嘉田 勝
retweeted at 15:47:52
千里の児童文学館と大阪府との関係も同じ。 https://twitter.com/lematin/status/1266130817446641664…
posted at 15:47:25
なんか俺、根本から誤解していた。
「きはじ」とかは塾で教わってくる点数アップ技術という理解だったが、今は小学校で教えていて塾側から批判されているだなんて…。
https://twitter.com/miyuki_MathT/status/1265644847244800002?s=20…
Retweeted by 嘉田 勝
retweeted at 12:22:52
いくらコロナ対策だからといって予備費10兆円はありえないです。予備費はあくまで予備です。補正が必要になったら補正予算組めばいいのです。予算決めるのは、内閣じゃなくて、あくまで国会の機能です。こんなの通ったら、歯止めも何もあったものじゃなくて、まさに独裁国家になってしまいますよ。
Retweeted by 嘉田 勝
retweeted at 12:20:16
MarriageTheorem@MarriageTheorem
今書いている本では、ランダウの記号の定義は「f(n) \in O(n)」型にしておいて、「f(n) = O(n)」型の表記については「O(n)で「O(n)に入る何らかの関数」を表すこともある」といった説明にしています。(これだと「O(n) = O(n^2)」のような場合に破綻するのですがそこには目を瞑ることとしまして) https://twitter.com/tmaehara/status/1265982153717723136…
Retweeted by 嘉田 勝
retweeted at 12:00:43
これに尽きる。自治体を民間企業のように見立て、公共の概念が決定的に欠落してるから、公共材や行政サービスを私有財産や私的利益に還元し、収益を上げそう(かつ集票アピールになりそう)なことには熱心だが、利益を生まないものは自己責任・自助努力と切り捨てる。ここからの連続ツイートは必読。 https://twitter.com/akisumitomo/status/1265997803764895744…
Retweeted by 嘉田 勝
retweeted at 11:58:10
O notation, 個人的には "f(n) in O(n)" とか "O(n) \subset O(n^2)" とかにしたいんだけど,分野の慣習が "f(n) = O(n)" とか "O(n) = O(n^2)" なので,できるだけ数式にしない方向の "f(n) is O(n)" や "O(n) is O(n^2)" で回避しようとしてます…….
Retweeted by 嘉田 勝
retweeted at 09:47:56
Permission Deniedを脳内では「パーミッション出ないど」と読んでる
Retweeted by 嘉田 勝
retweeted at 09:44:25
#敬礼を禁じ得ない https://twitter.com/emptst/status/1266065772209561601…
posted at 09:39:54
やっぱり、首長が誰かは大事。
「愛知県の大村秀章知事は26日、感染者のみ受け入れる専門病院を県内に開設する準備を進めていることを明らかにした」
愛知県、感染者専門病院を開設へ 「第2波」見据え - 毎日新聞 https://mainichi.jp/articles/20200526/k00/00m/040/177000c…
Retweeted by 嘉田 勝
retweeted at 09:34:58
今後のために東京も大阪も受け入れ拒否の情報公開をすべきだ。
大村知事「ただ単に言い訳」 医療崩壊否定の吉村知事に
大村氏「病院に入れない、救急を断るというのは医療崩壊で、それが東京と大阪で起きた。医療崩壊を起こしたら行政としては負け、何を言っても結果だ」 https://www.asahi.com/articles/ASN5X4357N5XOIPE006.html…
Retweeted by 嘉田 勝
retweeted at 09:30:53