Pinned
私は全然ツイート見えてるのであれなんだけど、みんな見れてるか知らないが一応アカウントは
Instagram: _impredicativity
discord: alwe_logic
mathtodon: [email protected]
です。Lineはあったことある人なら訊いてくれれば多分だいたい教えます。
学びたい、ことばかり
107.3K posts
学びたい、ことばかり
@Alwe_Logic
初星学園情報学研究科
Joined August 2017
- 渋谷の坂がきつすぎて「坂がきつすぎる……坂 of the year 受賞です」みたいなことを言ってたら一般通行ギャルに「坂 of the yearだってwww」って笑われたのがトラウマになっています。しかも馬鹿にした感じの笑いではなくて、普通に爆笑されたのが余計に……
- "trick or treat" (trick ∨ treat) は日本語だと「お菓子くれなきゃいたずらするぞ」(¬trick→treat) と訳されていて、古典論理的な推論がされているんですよねというネタツイを去年したら、自然言語と形式論理を混同するのは良くないと炎上して叩かれたのまだ納得いってない
- Replying to @Alwe_Logicリプライや引用をみていると、大阪人マインド的には誇ったほうが良いらしい(？)ので文化の違いを感じる(なるほどなぁ)
- Replying to @Alwe_Logic一応補足をしておくと、その場には友人といて、友人が坂で腰を痛めていたので茶化すつもりで坂 of the yearといったつもりでした。友人とは全く関係ない人に聞かれていて、その時点で少し恥ずかしくないですか(？)
- 「『トリックオアトリート』は論理和 or じゃなくて排他的論理和 xor だろ」という指摘はよく見るけど「お菓子くれなきゃいたずらするぞ」に対応する¬treat→trickと同値なのはtrick ∨ treatの方なんだよな……。やっぱり自然言語と数学におけるならばは区別しないといけないということか。
- 「簡単のため」とか「あるxが存在して」とかは英文の構造を保存したまま直接的に日本語にしようとしている背景がありそうよね
- 「∀はAnyのAです」みたいなのは本当に嘘で、∀という記号が導入されたGentzenの元論文でAllzeichenのAってしっかり言ってある
- 数学、一般人が思うよりは厳密だけど、形式主義者が思うよりな雑だよ
- 高校生のとき情報の授業でNANDだけでXOR作ってみてくださいね〜みたいなこと言われて愚直にDe Morganとか使ってNANDを64個くらい使って作ったら❌️付けられたの思い出した (模範解答は4つのもので、それは天才にならないとおもいつかない？って気持ちになった)
- プログラミングから定理証明を経て数学に入った人が、私がなんどもこんな感じで証明できるよね、って説明しているのに理解して貰えず、何度も対話を重ねた結果、相手側が排中律を知らなかった、というオチだった話などもある。
