情報更新

last update 03/29 05:19

ツイート検索

 

@kadamasaru
サイトメニュー
Twilogユーザー検索

Twilog

 

@kadamasaru

嘉田 勝@kadamasaru

Stats Twitter歴
4,368日(2012/04/14より)
ツイート数
79,692(18.2件/日)

ツイートの並び順 :

表示するツイート :

2020年05月31日(日)12 tweetssource

5月31日

@kadamasaru

嘉田 勝@kadamasaru

「文」という語は数理論理学では時として「閉論理式」を意味するからちょっとよくないかもだけど。。。

posted at 22:16:12

5月31日

@kadamasaru

嘉田 勝@kadamasaru

@emptst 高校でも大学でも数学論文でも、読み手が好意的に解釈してやっと意味が通る論述なんてダメだと思います。数学教育ではあらゆる段階で「ふつうの書き言葉で論述する」ことを訓練してほしいと思ってます。数理論理学の記号の雑な借用も私なら高校大学関係なく咎めます。

posted at 22:00:58

5月31日

@kadamasaru

嘉田 勝@kadamasaru

@yukino520 ラーメンは北浜駅のカフェにもあるかもですが、3駅斜里寄りの止別駅の駅舎がラーメン屋で、食べたことあります。うまかった。もう15年前の記憶ですが、今もあるのかな。。。

posted at 21:53:29

5月31日

@kadamasaru

嘉田 勝@kadamasaru

学部の数理論理学授業の初回で私が必ず話すのが「もの」と「文」の区別。
1+1
157
1+1=2
157+1=2
のような記号列を板書して「分類するならどう分ける?それはどういう基準?」と学生に問いかける。そこから述語論理の項と論理式の話に入る。

posted at 21:50:34

5月31日

@kadamasaru

嘉田 勝@kadamasaru

@emptst なるほど RT の答案画像見て納得しました。P(a,b) で「P の座標が (a,b) である」という主張を表すこともイヤですし、記号 ∧ をむやみに使うのも(高校では扱わないということを別にしても)私は好みませんね。。。

posted at 21:45:17

5月31日

@kadamasaru

嘉田 勝@kadamasaru

@emptst え、そうなんですか? 私はなんとなく「点 P すなわち座標 (a,b) の点」という感じで全体として名詞句だと解釈しますが。。。

posted at 21:41:59

5月31日

@kadamasaru

嘉田 勝@kadamasaru

ピザ屋広告の "Buy one get one free" 、ストレートに
「一枚買って、もう一枚もらおう!」
とか
「一枚買ったら、もう一枚あげちゃう!」
とかにすればいいものを。。。

posted at 10:21:03

2020年05月30日(土)17 tweetssource

5月30日

@Narodovlastiye

異邦人@Narodovlastiye

持続化給付金事業でパソナ関連会社が殆ど電通に丸投げして得た20億円の何が凄いって、1次補正予算で困窮学生への授業料減免措置に付けられた予算である7億円の、実に3倍近い税金という事実ですよ。安倍政権の税金の使い方は、ハッキリ言って狂っていますよ。

Retweeted by 嘉田 勝

retweeted at 22:07:24

 

表示拒否

retweeted at xx:xx:xx

 

非公開

retweeted at xx:xx:xx

 

表示拒否

retweeted at xx:xx:xx

5月30日

@akimi_o

akimi_o @名古屋@akimi_o

昨日のブルーインパルスの件、もやもやしていた理由がやっと分かった。「患者さんや社会からの感謝が心の支え」という医師の高潔な使命感に甘えて、36時間連続勤務とか、まともに診療していたら病院の経営が立ち行かないとか、そういうのを看過してきたのが国であり、国民だからだ。

Retweeted by 嘉田 勝

retweeted at 10:16:06

5月30日

@723oshi_kaz

かず@723oshi_kaz

@tacowasabi0141 明らかに新型コロナ対策に成功しているのは大村知事なのに

大村知事の論理的発言に対し
「吉村府知事は一生懸命頑張っているのに酷い事を言う」
と、無条件で吉村府知事を擁護する
ファン層が増えて来た様に感じます

Retweeted by 嘉田 勝

retweeted at 01:19:49

 

非公開

retweeted at xx:xx:xx

 

非公開

retweeted at xx:xx:xx

5月30日

@shiikazuo

志位和夫@shiikazuo

政府の新型コロナ・専門家会議の議事録が作成されていないことは重大だ。
首相が、「専門家会議の助言を得て」と繰り返すように、コロナ対応の政策決定に決定的影響を与えている会議の議事録がなくては、国民は検証する術がなくなる。
尾身副座長も「公開に問題ない」と。
今からでも公開すべきです。

Retweeted by 嘉田 勝

retweeted at 00:22:57

2020年05月29日(金)21 tweetssource

5月29日

@souji04261

souji@souji04261

ヒコーキ飛ばしたり、太陽の塔光らせたり
金がかかったかどうかじゃなくて、そもそも意味あるんかっていう
そういう主催者と小さな周辺だけが気持ち良くなって満足みたいな催しは高校の文化祭までに終わらせておけよっていう

Retweeted by 嘉田 勝

retweeted at 23:00:33

5月29日

@oishiakiko

大石あきこ(れいわ新選組)Akiko Oishi@oishiakiko

すり替えないで。
大阪の医療崩壊の現実を隠すことこそが、大阪の医療従事者に失礼なのです。
なにより府民の信頼を裏切る行為です。
雨がっぱ、クオカード、現場に矛盾は山積み。
マスコミの中に真実を伝えたい記者がまだいることを信じる。
www.jiji.com/sp/article?k=2 twitter.com/hiroyoshimura/

Retweeted by 嘉田 勝

retweeted at 20:03:38

5月29日

@inoueshin0

井上伸@雑誌KOKKO@inoueshin0

兵庫県加西市が全職員から10万円寄付前提でコロナ予算を組むという暴挙。そもそも給付金10万円は「医療現場をはじめとして全国各地のあらゆる現場で取り組んでおられる方々へ」(閣議決定)のもの。そして加西市の全職員の半分以上が「医師・看護師等の病院職員」です。加西市はただちに撤回すべきです pic.twitter.com/4tBKTPI93D

Retweeted by 嘉田 勝

retweeted at 20:03:07

 

非公開

retweeted at xx:xx:xx

5月29日

@jiro2109

ジーロ【公式】@jiro2109

またか。現場無視のトップダウン。

『松井市長の突然の給食再開表明に「寝耳に水」と大阪市立小学校の校長。事前通達がなく、午前と午後の2回に分けての給食とした場合「午後の授業開始が早くても午後2時半になる。どうすればいいのか」と対応に頭を抱えていた。』

headlines.yahoo.co.jp/hl?a=20200521-

Retweeted by 嘉田 勝

retweeted at 19:00:25

5月29日

@tmaehara

@tmaehara

指導教員選びは人格破綻者を避けるのが必須事項で、Twitterをやっている教員は人格キエエエエエエエエエエエエッ

Retweeted by 嘉田 勝

retweeted at 17:56:54

5月29日

@Paul_Painleve

Paul Painlevé@Paul_Painleve

確かに,1909年のLandauのオリジナルの表記
archive.org/details/handbu
に100年経った今こだわる理由はないと思っている。集合なり同値類なりの概念が固まりつつあった当時なら,雑な表記でよかったのでしょう。

ただ,歴史のある記号に対して,代わる良い表記を定着させるのは難しい。 twitter.com/MarriageTheore

Retweeted by 嘉田 勝

retweeted at 15:52:13

5月29日

@kenichioshima

大島堅一@kenichioshima

いくらコロナ対策だからといって予備費10兆円はありえないです。予備費はあくまで予備です。補正が必要になったら補正予算組めばいいのです。予算決めるのは、内閣じゃなくて、あくまで国会の機能です。こんなの通ったら、歯止めも何もあったものじゃなくて、まさに独裁国家になってしまいますよ。

Retweeted by 嘉田 勝

retweeted at 12:20:16

5月29日

@MarriageTheorem

MarriageTheorem@MarriageTheorem

今書いている本では、ランダウの記号の定義は「f(n) \in O(n)」型にしておいて、「f(n) = O(n)」型の表記については「O(n)で「O(n)に入る何らかの関数」を表すこともある」といった説明にしています。(これだと「O(n) = O(n^2)」のような場合に破綻するのですがそこには目を瞑ることとしまして) twitter.com/tmaehara/statu

Retweeted by 嘉田 勝

retweeted at 12:00:43

5月29日

@MatsumotohaJimu

松本創@MatsumotohaJimu

これに尽きる。自治体を民間企業のように見立て、公共の概念が決定的に欠落してるから、公共材や行政サービスを私有財産や私的利益に還元し、収益を上げそう(かつ集票アピールになりそう)なことには熱心だが、利益を生まないものは自己責任・自助努力と切り捨てる。ここからの連続ツイートは必読。 twitter.com/akisumitomo/st

Retweeted by 嘉田 勝

retweeted at 11:58:10

5月29日

@tmaehara

@tmaehara

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

5月29日

@ISOKO_MOCHIZUKI

望月衣塑子@ISOKO_MOCHIZUKI

今後のために東京も大阪も受け入れ拒否の情報公開をすべきだ。

大村知事「ただ単に言い訳」 医療崩壊否定の吉村知事に

大村氏「病院に入れない、救急を断るというのは医療崩壊で、それが東京と大阪で起きた。医療崩壊を起こしたら行政としては負け、何を言っても結果だ」 www.asahi.com/articles/ASN5X

Retweeted by 嘉田 勝

retweeted at 09:30:53

このページの先頭へ

×