注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
発端 『C# の yield return の使い道 - u_1rohのカタチ』にコメントを書く. 久しぶりに yhara くんの『... 発端 『C# の yield return の使い道 - u_1rohのカタチ』にコメントを書く. 久しぶりに yhara くんの『Ruby勉強会@関西-16「30分でわかるcallccの使い方」- Greenbear Diar』を読み直す. oxy くんの『Non Determinism - Rubyのある風景』を思い出す. そういや C# 3.0 なら書けるなぁ. とまあそんな感じで. リストモナドで非決定性計算以上のリストモナドの性質を使うと、総当たりのプログラム、格好よくいうと非決定性の計算を行うことができます。 SICPから次のような問題を借りることにします。 Baker, Cooper, Fletcher, MillerとSmithは五階建てアパートの異なる階に住んでいる。Bakerは最上階に住むのではない。Cooperは最下階に住むのではない。Fletcherは最上階にも最下
2008/03/11 リンク