Twistar
Sign in with Twitter
ShimadaShunsuke (ShimadaShunsuke)
recent
popular
picks
faved
favs
ShimadaShunsuke
ShimadaShunsuke
以前、HaskellのMonadを様相論理で解釈する提案をしたが、あれは間違っていた。(>>=) :: Monad m => m a -> (a -> m b) -> m bを ◇A -> (A -> ◇B) -> ◇Bと解釈したけど、可能世界論で考えると、この命題は真じゃないね
Twitter
8 days ago
3
ShimadaShunsuke
ShimadaShunsuke
Vimerは、最初は「最低限のことだけしてくれればいい」とかいっておきながら、あとから他の人とくらべて、「~くらいはできなきゃ。あたりまえでしょ」とか言い出すダメ亭主
Twitter
9 days ago
2
ShimadaShunsuke
ShimadaShunsuke
明代の拳法家 魏達は、就寝中に襲撃されたときのために、ベッドの上で横たわったまま戦うための拳法、牀拳を創始した。余談だが、魏達が牀拳を伝授した彼の庵、魏氏庵(ぎしあん)の名は、現在でもベッド上での格闘戦に対してインターネット上で送られる声援「ギシアン」に残る。
Twitter
15 days ago
1
ShimadaShunsuke
ShimadaShunsuke
しかし、改変した世界を参照することはできなかった RT @
h_hirai
Haskeller は関数で世界を改変する。
Twitter
15 days ago
in reply to h_hirai
2
ShimadaShunsuke
ShimadaShunsuke
『抽象によるソフトウェア設計 Alloyではじめる形式手法』131-132項「整数は実際にはあまり役に立たない。整数の演算が必要に思えるなら、考え直したほうがいい」カッコいい。ほれる。
#Alloy
Twitter
15 days ago
1
ShimadaShunsuke
ShimadaShunsuke
中一のとき、教育実習の先生のアパートで、僕は純粋さを失いました。 窓のそとのセミの鳴き声が、どこか遠い世界のことのように思えました。 すべてが終わったあと、先生は言いました。 「な、UnsafePerformIOを使うと簡単だろ」
Twitter
15 days ago
4
ShimadaShunsuke
ShimadaShunsuke
『ヨルムンガンド』11巻を読む。「戦いが嫌いな超絶優秀な戦士が戦いまくる」っていう、うそ臭さい少年漫画の王道に真剣に取り組んでぶれなかったのはすごく評価できる。けど、なんかカタルシスは感じなかったな。むずかしいところ
Twitter
17 days ago
1
ShimadaShunsuke
ShimadaShunsuke
二階の命題論理って、一階の述語論理の拡大になっていそうだけど、それならHaskellの型は一階の述語論理の拡大になっているということでよいのかしら?
Twitter
17 days ago
2
ShimadaShunsuke
ShimadaShunsuke
二階の命題論理なるものが存在することをはじめて知った。Haskellの型の理論はそれに相当するみたい
Twitter
17 days ago
2
ShimadaShunsuke
ShimadaShunsuke
誰かLambda cubeの分かりやい解説を紹介してください。形式的な操作がきちんとのっているやつ
Twitter
23 days ago
1
ShimadaShunsuke
ShimadaShunsuke
神はまずSKIコンビネータを作られ、それからラムダ式を作られた。ラムダ式から世界を作られ、またラムダ式からStateモナドを作られた。かくして、世界ができ、世界に副作用がもたらされた。なぜなら、神はiotaだからである
http://t.co/OWgWB7Fb
Twitter
27 days ago
1
ShimadaShunsuke
ShimadaShunsuke
少年ブレンダ @
hibari_to_sora
さんに説教されたい
Twitter
29 days ago
2
ShimadaShunsuke
ShimadaShunsuke
修辞学もりっぱな学問 QT @
phase_tr
人文学者が教える本当に論争に勝てる屁理屈
Twitter
29 days ago
in reply to phase_tr
1