情報更新

last update 09/16 14:55

ツイート検索

 

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

Twilog

 

@osa_k

埒外物理学@osa_k

Stats Twitter歴
3,479日(2010/03/09より)
ツイート数
123,859(35.6件/日)

ツイートの並び順 :

表示するツイート :

2019年09月16日(月)9 tweetssource

19時間前

@osa_k

埒外物理学@osa_k

「定義」という言葉の意味が食い違っている状況を検出するにはどうすればいいか考えてたけど全然分からん

posted at 03:40:30

19時間前

@imasuyo

いちさん@imasuyo

@groebner_basis 一部の人文社会科学系では「定義」の意味が先鋭化していて,well-definedのことを単に「定義」と言いがちのようで,よって,
理系「先に定義をしろ(=用語等の前提を整えろ)」
文系「できるかボケ(=まさに議論中のその概念を固められるわけがない」
という言い合いが……
twitter.com/imasuyo/status

Retweeted by 埒外物理学

retweeted at 03:15:24

2019年09月15日(日)14 tweetssource

9月15日

@tmaehara

™ ?@tmaehara

「筋が悪い証明・方針」みたいなのは日常的に使う言葉だと思っており、特にネガティブな印象がないです(伊理さんあたりが使ってた話を聞くので、たぶん六号館では伝統的に使われてた表現)。

Retweeted by 埒外物理学

retweeted at 15:55:33

2019年09月14日(土)32 tweetssource

9月14日

@osa_k

埒外物理学@osa_k

MTGのカードで一括と分割とリボ払いの説明するの絶対に可能だと思うけど、カード知識が無なので例を出せない

posted at 18:10:14

9月14日

@osa_k

埒外物理学@osa_k

Twitterで湯西川をおすすめされたのでのんびりしに行こうかと思ったけど、インターネットが整ってないっぽくて厳しみあるな

posted at 15:02:24

9月14日

@osa_k

埒外物理学@osa_k

@kudzu_naoki Thin Cake Pattern知らなかったけど、Rubyでincludeを使った実装をよく見る気がする(型システムの極北)
DIされる値の実体がちゃんと定義されてることをどうやって型レベルで保証するか的な話?

posted at 14:32:37

9月14日

@osa_k

埒外物理学@osa_k

そういう人の存在を構成できそうな気がしてきた。短絡評価は副作用が絡むと見た目からはあまり直感的でない動きをするキャッチーな挙動なので、コンパイルと実行の違いを意識してない段階で、Twitterの引っ掛け問題的なやつで短絡評価に対して強烈な印象を覚えるとそういう人にできそう

posted at 13:25:24

9月14日

@osa_k

埒外物理学@osa_k

えー、演算子の優先順位と短絡評価がごっちゃになってる人とかいるんか……?今まで見たことないが

posted at 13:16:22

9月14日

@kmizu

Kota Mizushima (on a diet)@kmizu

実感としては、型チェックはともかく、構文解析の優先順位と評価がごっちゃになってるケースは多い気がしています。
x < 25 || x >= 50 && y != 100 (x = 12, y = 100)で、評価結果がtrueになる理由として短絡評価が~という説明をした話とか(本来は構文解析レベルでの優先順位の話)

Retweeted by 埒外物理学

retweeted at 13:15:06

9月14日

@osa_k

埒外物理学@osa_k

旅館の食事付き宿泊プランってほとんどが朝食+夕食か朝食のみだけど、夜型人間としては夕食のみプランがあると嬉しい

posted at 13:09:43

このページの先頭へ