ja.verbmode.net is Expired or Suspended.「 ja.verbmode.net 」のページは、ドメインが無効な状態です。 ウェブサイト管理者の方はこちらから変更・更新を行ってください。 「 ja.verbmode.net 」is Expired or Suspended. The WHOIS is here.
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 にできるか」という問題
Radiant CMS
Radiant is a no-fluff, open source content management system designed for small teams. Radiant features: An elegant user interface Flexible templating with layouts, snippets, page parts, and a custom tagging language A first-class extension/plugin system Simple user management and permissions More Features… Current Version: 1.1.4 This version includes a powerful extension system so developers can
配列ベースプログラミング言語「ざぼん」 - 趣味的にっき
LispにS式があってマクロがあるように。 Rubyの配列を使ってプログラミング言語を書いてみました。Ruby本体を使ってプログラム(= 配列)を操作することで、Lispのマクロのようなことができます。言語の名前は「ざぼん」です。「ざ」をいただきました。 とりあえずフィボナッチを求めるプログラムを書くための最低限を実装しています。プログラムは関数定義のみで、main関数がエントリポイントになっています。で、main関数の返り値を表示します。細かい文法はLispから直感を働かせてください。 ファイル: zbn.rb #!/usr/bin/env ruby # -*- compile-command: "ruby zbn.rb" -*- class Env def initialize(parent) @parent = parent @env = {} end attr_reader :pa
まつもと直伝 プログラミングのオキテ---目次 - まつもと直伝 プログラミングのオキテ：ITpro
第0回 あらためてRuby入門 まつもとゆきひろ氏自身による「Ruby入門」をお届けします。日経Linuxの連載開始前の特別企画（2005年4月号）として，Rubyが他のスクリプト言語やオブジェクト指向言語とどこが違うのか，なぜ便利なのかを中心に解説してもらったものです。 ● 基本と他言語との違い ● 実装とRuby誕生の秘密 第1回 プログラミングとオブジェクト指向の関係 プログラマを目指す人々の中にも，「オブジェクト指向は難しい」とか，「なかなか分からない」という印象を持つ方が多いようです。そこで，Rubyを題材にオブジェクト指向という考え方について説明していきます。 ● その1 ● その2 ● その3 第2回 抽象データと継承 オブジェクト指向プログラミングを構成する3原則のうち，前回は「ポリモーフィズム」を学びました。今回はオブジェクト指向の歴史を復習した後，残りの「データ抽象」と
L2Lisp in Ruby：CodeZine
はじめに P.Graham著『On Lisp』に示されているように、現代的なLispプログラミングでは静的スコープ（字句的スコープ）と末尾呼出し（末尾再帰を含む）の最適化のもとでのマクロが重要な意味をもちます。しかし、今まで処理系作成の初心者が内部に手を入れやすい手頃な大きさの実装が事実上ありませんでした。 ここでは、そういったモダンな特徴を備えた小さなLispインタープリタL2LispをRubyで作ってみます。L2Lisp（Little Lambda Lisp）は、Lispの理論的背景であるラムダ算法（lambda calculus）に対し、有力なLisp方言であるSchemeと同程度に忠実である一方、その他の点では広く普及しているEmacs Lispのサブセットとしたオリジナルの小型Lispです。 実行例としてtak関数を定義し、実行する様子を示します。Ruby以外に必要なのはL2Li
ホワイの(感動的)Rubyガイド
この本はホワイ・ザ・ラッキースティフ(why the lucky stiff)により愛情を込めて書かれた。 ~ 目次 ~ この本について コンニチハ、Ruby この本を開く 犬の話 赤い太陽が昇る 本はどのように始まるか (漫画のキツネと学ぶ)短時間の(そして願わくは辛くない)Rubyコース 言語と、言語で意味しているもの 品詞私がまだあなたのことを十分子供扱いして いなかったなら あなたの成長を促すための例題 そして短い旅はそっとクッション停止する 浮いている小さなコードの葉っぱ アンブローズにおけるステータスシンボルとしての葉っぱ 小さくてほとんど価値のないもの 妄想をつなぎ合わせる ブロックの奇跡 ルールを作るものと夢を生きるもの これは権利を奪われた人のため コンピュータのある城 娘のオルガン教師の話のつづき ヤギは映画を全部見たがっている 盗まれたくじ主 ルールを作る者たち 夢を
ホワット・ア・ワンダフル・ワールド 何でもモジュール
Author:あろは (alohakun) デバッガ開発者見習い（予定） 連絡先 : alohakun ___at___ gmail.com mixi : http://mixi.jp/show_friend.pl?id=182927 twitter : http://twitter.com/alohakun このページはインラインフレームを使用しています Gauche の拡張モジュールを書く方法はだいたいわかってきたので，ちょっち他のスクリプト言語ではどうやって C の拡張モジュールを書くのか調べ てみた． # 詳しくは，過去の記事に散々書いているので省略．興味がある人は，gauche 本体のソースの *.stub (これが一番素晴らしいサンプル．gauche ぐらいしっかり書かれていると，まさしくソースがドキュメント) か，Shiki の stub ファイル (こっちはヘボプログラマ
mono
「mono」は、とってもシンプルな Wiki です。Ruby で作りました。 ■ 既存の Wiki との主な違い -------------------------------------------------- ・リンク以外の記法がない ・フォントが等角（monospace） ・スペースは行頭含めすべてそのまま表示 なので、 +----------+--------+ | こういう | 表とか | +----------+--------+ int main(void) { puts("こういうプログラムとか"); return 0; } が、そのままコピペできます。 書式に気を使う必要がないのが利点っぽいです。 あと、ソースが短い（180行くらい）ので改造しやすいとか。 ■ 設置方法 --------------------------------------------------
OBB vs AABB - Radium Software Development
iPhoneの一般修理店は予約なしでも来店できる？ 基本的には飛び込みで修理に行ってもOK iPhoneを置いていたソファにうっかりと腰かけてしまい、パネルを割ってしまった、こんな時はスマホの一般修理店へ行きましょう。画面割れは、スマホやタブレットの故障原因として非常に多いものです。予約なしで突然お店に行っても平気かしらと、不安に思う方々もいらっしゃるかもしれません。結論としては特に問題はなく、予約なしで訪問しても画面割れの修理はお願いできます。 ただし他のサービス業のお店同様、予約なしの場合、お店が混雑していると順番待ちをしなければいけないです。特に繁盛しているスマホ修理のお店だと、行列が店内で出来ており、予約なしだと、自分の順番が巡ってくるまで長時間待たされる可能性があります。平日の朝、昼なら利用客が少ない場合が多く、飛び込みでも比較スムーズに修理が頼めます。 予約は入れた方が時短に、
the first postmodern computer language vs the first babel-17 computer language: Ruby
The first postmodern computer language vs the first babel-17 computer language: Ruby by Masayoshi Takahashi
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
brpreiss.com
CodeZine：Rubyを使ってWebアプリケーションの脆弱性を早期に検出する（Web, テスト, Ruby）
http://staff.aist.go.jp/tanaka-akira/textprocess/