プログラミング言語の勉強を継続する三つのポイント - rubyco（るびこ）の日記
「ほほえみつつ、Ruby。」をキャッチフレーズにしてRubyの勉強を続けています。早いもので、今日で96日目(二進法では1100000と切りがよい)、今月末で100日目になります。 継続のポイントといってもcallccの使い方ではありません。勉強を継続する三つのポイント。 【毎日】以前やったことでも、どんなにつまらないことでも、何でもよいから、とにかく毎日やる心意気が大事。 何回かフライング（前日眠る前に明日の分を書いちゃう）はありましたけれど、これまで、毎日更新してきました。そうするとだんだん勉強するのが習慣になってきますね。これはとてもよいことです。今日は勉強する日だっけ、どうだっけと考える必要がない。とにかく毎日、少しでも。 【書く】読むのもよいけれど、どうしても飽きる。書くのがよい。自分で書いて動かして手応えを感じるのが大事。 参考書もいろいろ買って読みました。でも読んでいるだけで
Part2 Rubyに学ぶ「Ruby on Railsの正体」：ITpro
この記事は会員登録で続きをご覧いただけます申込は簡単3分！ 今すぐ会員登録（無料） 会員の方はこちら 【この画面が表示された方限定】 会員登録（無料）で14日間有料記事が読み放題 ※14日間試読付き登録会員のお申し込みはお1人様1回限り
SAT ソルバで数独を解く方法 - まめめも
数独は非常に SAT に変換しやすい問題です。全部参考文献 *1 に載っている内容ですが、なるべくわかりやすく説明してみます。ちょっと長いです。 SAT とは まず SAT をごく簡単に説明します。すでに SAT を知っている人はここは読み飛ばしてください。 命題論理式の形の一つに乗法標準形のというのがあります。変数か変数の否定 (リテラルと言います) を or だけでつないだ式 (節と言います) を and だけでつないだ論理式のことを言います。つまり以下みたいな形です。 ( a1 or !a2 or ... or an) and ( b1 or !b2 or ... or !bn) and ... and (!z1 or z2 or ... or !zn)SAT は「a1 や zn などの変数にうまく true か false を代入して、上の式全体を true にできるか」という問題
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
