7931
- いいね数 45,477/48,405
- フォロー 253 フォロワー 1,023 ツイート 68,505
- 現在地 チーバくんのみぞおち付近
- Web http://wed7931.hatenablog.com/
- 自己紹介 大学院数学専攻→インフラ系システムエンジニア→ちょっとお休み→新しい職場で心機一転。いろんな #数学 を勉強中。専門はリー群の表現論。妻と息子2人で日ハム応援中 #lovefighters 。 #水曜どうでしょう と #ゴリパラ見聞録 が好き。北海道出身/千葉県在住/松坂世代。
2023年01月04日(水)
非順序体の存在公理
∀a∀b∃c∀x(x∈c⇔x＝a∨x＝b)
「任意の集合a,bに対してa,bを元として含み、それら以外の元を含まない集合cが存在する」
まずはこの論理式をこの日本語の通り読めるようになるところからです😅
タグ：
posted at 22:18:57
量子コンピュータ使った場合が「人間の手作業」の半分程度にしかならない段階でいろいろ使い方を間違えている気がする。そもそも手作業で半日で終わる程度のタスクなら、大学の研究室にある程度のクラスタマシンでも瞬殺すると思う。
twitter.com/snmr_s/status/...
タグ：
posted at 22:01:05
そういえばおみくじって著作権あるんだろうか。そもそもあれはどこの誰が作ってるんだ。複数の神社で同じデザインのおみくじを見かけることもあるが、おみくじを作る専門の会社でもあるんだろうか。
タグ：
posted at 20:03:25
ふぁぼん(Фабон Ильич Фав @syobon_hinata
小学生の頃に「『全然』という言葉は否定語なしで使ってはならない」というルールを強固に内面化していた私が今では「全然ある」みたいな言葉遣いを平気でやっているのだが、間に「あえて誤りとなる言葉をネタとして多様する」フェーズを挟んでたと思う 多様した結果ネタ抜きで普通に受容して今に至る
タグ：
posted at 20:00:44
紅白を見た。
子どもと一緒にみた。
一歳の子どもである。
子どもは面白い。
当たり前だが、遠慮がない。
自由に行動する。
興味あるところに自由に動く。
ただ同じ人間ではある。
歌が上手い下手がわかるのだろうか。
note.com/rozansuga/n/ne...
タグ：
posted at 20:00:03
趣味の研究と言いつつ、何かしら形にするためには、仕事以外の時間を使うことになる。
いつも考え事をしていて、家族との時間がおろそかになっていることに気づき、素人がそこまでしてやることだろうか・・・と思ったことが見直すキッカケ。何事もほどほどにしておかないと。
タグ：
posted at 19:46:12
こんばんは。分数の話、正しい定義はTwitterで話題にすれば良いと思うのですが、間違った人の話は指摘したい人が直接ご本人とやりとりしたら良いと思うのですが。僕が甘っちょろいのでしょうか。これだけ話題になったら十分かと。今から桑名に帰ります。
タグ：
posted at 18:19:45
なるほど，そうすればよいのですね！ありがとうございます。お見事です。
円周率の値は，3.1415... とか細かい値を用いているわけではないので，問題なさそうです。
※ tan1º > π/180, tan2θ = 120/119 は既知としています。 twitter.com/ysmemoirs/stat... pic.twitter.com/cf0HrFIvzd
タグ：
posted at 16:54:38
ちなみに初手で戯れに tan2𝜃 を求めにいくと「tan2𝜃＝120/119」とかいう目を疑う結果が出ます（ほぼ出オチ） twitter.com/884_96/status/...
タグ：
posted at 15:54:20
なんやかんやで表現論の論文でゲルファンドのやつ読まないといけない場面ありそうだし、代数幾何とかでもロシア語読めた方がアドい場面ありそうなので今読んで練習してる pic.twitter.com/RZrZFCG9vv
タグ：
posted at 15:44:57
取り組んでみたらこんな感じになりました。
正しい角度が 22.5º より僅かに大きいという意味で，数値設定がよくできていると思いました。(小並感)
※実際は θ ≒ 22.62º のようです。 twitter.com/ysmemoirs/stat... pic.twitter.com/2uTK4MHlFE
タグ：
posted at 15:12:15
質問（クラウドストレージ）
Amazon S3がメインで、あとはDropboxとiCloudくらい。全部有料です。S3は長期的なものはGlacierに沈めていますのでそんなに高くはありません。
#結城浩に聞いてみよう
ask.hyuki.net/q/20230104123720 pic.twitter.com/f7rXRwY0ZE
タグ： 結城浩に聞いてみよう
posted at 12:39:37
ゆる言語学ラジオ@著書『言語沼』発売中！ @yuru_gengo
一般財団法人言語交流研究所ヒッポファミリークラブ（@lex_hippo ）さんから、新刊『赤ちゃんと話そう！』をご恵贈いただきました。
JAPAN AKACHAN'S MISTAKE AWARDSの思想ともすごく似ているアプローチで、おもしろそう！ pic.twitter.com/bEqmz5XJeW
タグ：
posted at 12:38:32
「失踪（行方不明）」航空便が定期的に現れる理由は、基本的には「たまたま墜落した場所が『大海原のど真ん中の深海領域』『高山地帯の山中深く』など残骸の捜索自体が困難を極める場所であるケースが確率的に生じるから」です
jp.quora.com/%E3%81%9F%E3%8...
タグ：
posted at 12:00:42
明日また10時半頃到着予定です〜
よろしくお願いします
#ゴリパラ
#冷泉公園 pic.twitter.com/7LtbrCR8PX
posted at 11:44:56
定義と聞くと「こうあるもの」と絶対的に考える人は少なくない。数学となると、「決まっている」「覚えろ」と言われやすい。
しかし実は共通見解を採用しているに過ぎない。定義の採用次第で立場が割れうる。その共通見解を探るのが、良いコミュニケーション（必ず見解一致するとは言ってない）。
タグ：
posted at 11:21:01
この質問ツリー面白い。英語圏でも「分数」の扱いに、日本のそれと同様の混乱が見られる。
「小数」でも本質的に同じトラブルが起こってるよね、そういえば。
Are all integers fractions?
math.stackexchange.com/questions/3189...
タグ：
posted at 10:59:56
本日より💻書泉オンライン楽天市場店💻にて
【オンライン配信イベント付き『グリーン・タオの定理』】4400円 \販売開始/
1/20開催の【関真一朗先生刊行記念トークイベント】ZOOMによる配信をご覧頂けます。
アーカイブは1か月ほど閲覧可能
書泉オンライン楽天市場店⇩
item.rakuten.co.jp/shosen/9784254... pic.twitter.com/DVAHJgJjOw
タグ：
posted at 10:03:01
あけましておめでとうございます。厳しい寒さと共に2023年が始まりました。年の初めに素因数分解はいかがでしょうか。ネット上の安全を守る暗号などに活用されているそうです。本年もどうぞよろしくお願いいたします。 pic.twitter.com/UZGJvPY7u4
タグ：
posted at 09:41:55
TikZの公式マニュアルはでかすぎてどこから手を付けたらいいか分からないという人のために、たったの33ページで日本語でまとめた「TikZの使い方(圏論編)」があるんだねぇ
alg-d.com/math/kan_exten... pic.twitter.com/z5Sfm6dVVI
タグ：
posted at 09:10:19
「分数」は辞書（日本）だと整数の比って書かれてて、
「fraction」は辞書（英英）だと全体の数のうちの一部のように、整数には限定されてなさそう？
というか辞書によっても異なるだろうし、一般的な意味と数学的な意味に多少の異なりはありそう。
タグ：
posted at 05:00:48
遅ればせながら大忘年会イベントレポート第2弾を描きました！もう年変わっちゃったよ！！（ちなみにまだ続きます）
2022年もいろいろありましたが、2023年はさらに楽しいことが増えそうで今からワクワクです。
素敵な一年になりますように……！
#ゆる言語学ラジオ大忘年会 pic.twitter.com/Czb4Z02MSC
タグ： ゆる言語学ラジオ大忘年会
posted at 01:10:54
「自分たちのためにチャレンジを」春高バレーで益子直美さん提言 www.sankei.com/article/202301... @Sankei_newsより
タグ：
posted at 00:54:27
