ShimadaShunsuke (ShimadaShunsuke)
-
ShimadaShunsuke ShimadaShunsuke以前、HaskellのMonadを様相論理で解釈する提案をしたが、あれは間違っていた。(>>=) :: Monad m => m a -> (a -> m b) -> m bを ◇A -> (A -> ◇B) -> ◇Bと解釈したけど、可能世界論で考えると、この命題は真じゃないね
-
ShimadaShunsuke ShimadaShunsukeVimerは、最初は「最低限のことだけしてくれればいい」とかいっておきながら、あとから他の人とくらべて、「～くらいはできなきゃ。あたりまえでしょ」とか言い出すダメ亭主
-
ShimadaShunsuke ShimadaShunsuke明代の拳法家 魏達は、就寝中に襲撃されたときのために、ベッドの上で横たわったまま戦うための拳法、牀拳を創始した。余談だが、魏達が牀拳を伝授した彼の庵、魏氏庵（ぎしあん）の名は、現在でもベッド上での格闘戦に対してインターネット上で送られる声援「ギシアン」に残る。
-
-
ShimadaShunsuke ShimadaShunsuke『抽象によるソフトウェア設計 Alloyではじめる形式手法』131-132項「整数は実際にはあまり役に立たない。整数の演算が必要に思えるなら、考え直したほうがいい」カッコいい。ほれる。 #Alloy
-
ShimadaShunsuke ShimadaShunsuke中一のとき、教育実習の先生のアパートで、僕は純粋さを失いました。 窓のそとのセミの鳴き声が、どこか遠い世界のことのように思えました。 すべてが終わったあと、先生は言いました。 「な、UnsafePerformIOを使うと簡単だろ」
-
ShimadaShunsuke ShimadaShunsuke『ヨルムンガンド』11巻を読む。「戦いが嫌いな超絶優秀な戦士が戦いまくる」っていう、うそ臭さい少年漫画の王道に真剣に取り組んでぶれなかったのはすごく評価できる。けど、なんかカタルシスは感じなかったな。むずかしいところ
-
ShimadaShunsuke ShimadaShunsuke二階の命題論理って、一階の述語論理の拡大になっていそうだけど、それならHaskellの型は一階の述語論理の拡大になっているということでよいのかしら？
-
-
-
ShimadaShunsuke ShimadaShunsuke神はまずSKIコンビネータを作られ、それからラムダ式を作られた。ラムダ式から世界を作られ、またラムダ式からStateモナドを作られた。かくして、世界ができ、世界に副作用がもたらされた。なぜなら、神はiotaだからである http://t.co/OWgWB7Fb
-
-
