RT @wint7: これ後件肯定の誤謬なんだけど、あながちバカとも言いづらい。今井むつみ曰く、人が発達の過程で言語を習得できるのも、この対称性バイアスのおかげらしい。 ref. https://t.co/XH8p8VJUfi ref. https://t.co/WqNgZSm…

Gradual TypingのFetherweight Javaなんていうのを見つけた

RT @Iceland_jack: interesting? (Type Classes) Resolving Ambiguous Types in #Haskell by Checking Uniqueness of Type Variable Assignments un…

RT @Lugendre: @meteor_saan https://t.co/69Jv7HieYb

@kobae964 https://t.co/m6qp7ZerGh ここでモナドモナド（俗称）についての記事を執筆したのですが（唐突な宣伝） ここ https://t.co/MkvaWEZzPa あとはここ https://t.co/1vBYvFJPIT を参考にしました！

もしかしてState sとState s'をモナドモフィズムで変換するなのかー？ > CiNii 論文 -  Monad Morphismによる局所的状態の表現 https://t.co/YGzmW6DQCK

RT @tanakh: ブ ラ ジ ャ ー 着用 時 と非 着用 時 の 運 動 中の 乳房振動特性 / “CiNii 論文 -  ブラジャー着用時と非着用時の運動中の乳房振動特性” https://t.co/y7f0V2Zzt3

RT @iTchan_3: 卒論テーマを決める時期かも知れませんが、ここでCiNiiで公開されている非常に興味深い論文をシェアしておきますね。 [link] CiNii 論文 -  走行中のブラジャー着用時の乳房振動とずれの特性 : https://t.co/NjrBo1XzOL

RT @iTchan_3: 卒論テーマを決める時期かも知れませんが、ここでCiNiiで公開されている非常に興味深い論文をシェアしておきますね。 [link] CiNii 論文 -  走行中のブラジャー着用時の乳房振動とずれの特性 : https://t.co/NjrBo1XzOL

これ後件肯定の誤謬なんだけど、あながちバカとも言いづらい。今井むつみ曰く、人が発達の過程で言語を習得できるのも、この対称性バイアスのおかげらしい。 ref. https://t.co/XH8p8VJUfi ref. https://t.co/WqNgZSmI3w p. 230 https://t.co/rytCedl2Wp

interesting? (Type Classes) Resolving Ambiguous Types in #Haskell by Checking Uniqueness of Type Variable Assignments under Type Class Constraints https://t.co/UnU7p49GTs https://t.co/nWqJU69O3S

@meteor_saan https://t.co/69Jv7HieYb