komamitsu.logスマートフォン用の表示で見るスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。Listsというのを紹介して頂いたので、http://www.cs.cmu.edu/~rwh/theses/okasaki.pdfを眺めていた。Numbersというのに基づいているらしいので、まずそっちを見てみることに。Numbersとは...について自分の整理もかねてメモまず、お馴染みの十進数では、k桁目がとの掛け算で表現できる。二進数だととの掛け算。Numbersではとの掛け算になる。first)という表記法になっていたけれど、http://online-judge.uva.es/p/v5/575.htmlとかだと101200的になっていて、個人的には後者がわかりやすいので以降そんな感じで。63の合計値なのでOCamlのListっぽく書くと[7;7;15;13]とも表現できる。十進数の11(Skewで111)だとで、[1;3;7]。十進数の13(Skewで120)だとで、[3;3;7]。このようにしておくと、Listの先頭二値を比較するだけで、Skew表記における最小のnon-0値が2であるか判断できてうれしいらしい。上記例の十進数の11では、1と3で一致しないのでSkew表記における最小のnon-0値は2以外。十進数の13では、共に3で一致するのでSkew表記における最小のnon-0値は2。MLのコードで書いてあったので、OCamlに書き直してみた。