「RT @esumii: @esumii 例えば「f(x)+g(y)」の意味が「f(x)の値とg(y)の値の和」じゃなくて「fに現在のストアとxを渡すと整数aと新しいストアσ1が返ってきて、gにσ1とyを渡すと整数bとストアσ2が返ってきて、式全体はaとbの和とσ2を返す」みたい…」他についてのつぶやき
- [09:39] RT @esumii: @esumii 例えば「f(x)+g(y)」の意味が「f(x)の値とg(y)の値の和」じゃなくて「fに現在のストアとxを渡すと整数aと新しいストアσ1が返ってきて、gにσ1とyを渡すと整数bとストアσ2が返ってきて、式全体はaとbの和とσ2を返す」みたい…
- [09:39] RT @esumii: これが最も本質的だと思うので再掲：https://t.co/thxMlXxl6u 「普通の数式と違う表示的意味論を考えれば命令型言語も参照透明」は、まさに「普通の数式と違う表示的意味論を考えなければいけない」ことが純粋関数型主義者(?)に批判されているの…
- [09:40] RT @dartpluginatom: #dartlang plugin for Atom 0.4.11 released! Now using the flutter command, and a few fixes. https://t.co/q6OQcsyMSk
- [09:47] RT @koty: 著者の奥野さんを招き、東京から新幹線で1時間半の長野で開催されます。 ／「理論から学ぶデータベース実践入門」読書会スペシャル (11月28日) #nseg #rirondb https://t.co/T58jkdzphh
- [18:11] PS3のコントローラってPS3でないと充電できないと思っていたら、普通のPCを使えば充電できるのですね。しらなかった。