ayustate
23.7K posts
ayustate
@ayustate
ThinkPad E14 Gen3 (AMD), AS-KBPD66/LBK, M-XT4DR 使い。アイドルマスター→オーバードクターA→異動博士ポスドク→とある独法の契約職員（ニンキツキ）→JK
「◯◯ (in Japanese)」とでも書いておく。 >理系では通常修士論文は「公刊」とはみなされないため引用はしない 公刊であるか公刊でないかも関係ない。個人的なやりとりで教えてもらった事実を「Private communication」と書いて引用することもある。
修論を引用することはよくある。BibTeX にも masterthesis がある。「パブリッシュされていないと引用できない」という意見にも、たまたまでも見知っていたら文献リストに著者名 private communication と載せて本文に「◯◯が△△していた」とか書く。それが誠意だと思うし盗用を疑われたくもないし。
昔はこういうの多かったけど、今はprivate communicationをリファレンスに上げるのを許さない雑誌が多いよね。 「セミナーで聴いた」みたいなのが、通らなくなった
@emdowdayon @LimgTW @makaya_t_math 値という単語を聞くと、2×3=6=3×2を6=6=6と言っているようにに聞こえてしまうみたいで、このショートを解消しそうな説明 >「等式が両辺の結果を述べている」というのは「式の読み方の是非を等式が結果を表している下で判断する」 x.com/ayustate/statu… をしてみました。伝わりませんでしたが。
これなんですよねぇ。 >専門用語でワードサラダしてるせいで、素人がテキトーにツッコむと「ツッコむべきところはそこではない」と専門家が言わざるを得ない(これはヤツを擁護してるわけではない)というめんどくさい事態になる場合がある x.com/7danmoroboshi/…
一階述語論理 vs 高階直観論理、といった対比の怪しい言葉遣いをする人がいて、それにつられて誤用をしてしまっている人をたまに見かけるのでフルの表記を書き残しておくと、前者は古典一階述語論理であり、後者は直観主義高階述語論理である。
@shinji_kono これ高階直観倫理すら誤解してる可能性があるな 低階直観に固執してる 具体的には、「掛け算＝累加だけ」と主張してる これは実数・物理・連続量で破綻する 高階直観とは、 掛け算は構造を保つ写像、さらに双線形構造として見ることだ 高階直観「倫理」になると、どの直観が適切かを判断する基準だ
