タグ

2011年7月12日のブックマーク (2件)

  • SQLによる数独の解法

    はじめに SQLを使って数独(ナンプレ)を解く方法を紹介します。 データベースを操作するための言語であるSQLを別の用途に使おうとする理由は、SQLが宣言的な記述が可能な言語の中で最も普及していると思われるからです(宣言的言語と言えばPrologを思い浮かべる方も多いかもしれませんが、残念なことにPrologは、SQLほどには普及していません)。 まず、宣言的な記述について説明しましょう。タクシーに乗ることを想像してください。「渋谷に行ってください」というように、欲しい結果を書くのが宣言的な記述です。具体的な道筋は運転手が考えてくれます。それに対して「まずA通りを北に行って、B交差点を左折して・・・」というように、具体的な道筋を示すのは手続き的記述です。プログラミング言語の場合も同様です。SQLやPrologにおいては、欲しい結果をプログラマが書けば、具体的な実現方法はコンピュータが考えて

    SQLによる数独の解法
  • MacBook AirみたいになるiPad2用ケースがイカす!

    圧倒的な薄さが特徴的なAppleのノートブック「MacBook Air」。一方、これまた圧倒的薄さが特徴的なAppleのタブレット型コンピュータ「iPad 2」。 どちらも一長一短あるが、文字をたくさん入力する人にとって、キーボードは重要ポイント。しかしiPad 2も捨てがたい……という人にピッタリなのが、今回紹介する「Aluminium KeyBoard Buddy Case for iPad 2」である。 ケース幅ギリギリ、ゆとりあるピッチ幅が確保されたキーボードそのものがiPad 2用のケースである。その勇姿は、動画サイトYouTubeにアップされた製品の紹介動画「Keyboard Case for iPad 2」で確認できる。 iPad 2の画面を下側にして置いてみると、その姿はまるでMacBook Airのようにスタイリッシュ。使うときはiPad 2をキーボードの溝に立てかけて、

    MacBook AirみたいになるiPad2用ケースがイカす!