はてなブックマーク

与えられた整数で割り切れる数をリストから取り除くにはfilterを用いる． scala> Range(2, 10).toList.filter(_ % 2 != 0) res: List[Int] = List(3, 5, 7, 9) エラトステネスの篩を実装する． 1: object Sieve { 2: def sieve(xs: List[Int]): List[Int] = 3: if (xs.isEmpty) 4: Nil 5: else 6: xs.head :: sieve(xs.tail.filter(_ % xs.head != 0)) 7: 8: def primes(n: Int) = sieve(Range(2, n).toList) 9: 10: def main(args: Array[String]) { 11: primes(100).foreach { p

本Webページの作成には Emacs org-mode を用い， 数式等の表示は MathJax を用いています． IEでは正しく表示されないことがあるため， Firefox, Safari等のWebブラウザでJavaScriptを有効にしてお使いください． また org-info.js を利用しており， 「m」キーをタイプするとinfoモードでの表示になります． 利用できるショートカットは「?」で表示されます． 数学では，定義の中に自分自身が現れることがある． たとえば n の階乗は次のように定義される． \begin{eqnarray*} n! & = & \left\{ \begin{array}{ll} 1 & (n=0) \\ n\times (n-1)! & (n\geq1) \end{array} \right. \end{eqnarray*} このように定義の中に自分自身が

Scalaにはリストを始め，コレクションと呼ばれるさまざまなデータ構造が用意されている． ここでは，それらの基本的な使い方について学ぶ． 本Webページの作成には Emacs org-mode を用い， 数式等の表示は MathJax を用いています． IEでは正しく表示されないことがあるため， Firefox, Safari等のWebブラウザでJavaScriptを有効にしてお使いください． また org-info.js を利用しており， 「m」キーをタイプするとinfoモードでの表示になります． 利用できるショートカットは「?」で表示されます． Scalaのリスト (scala.collection.immutable.List) について説明する． Scalaでは，リストは List(x1, x2, …, xn) のように表記する． scala> List(3, 1, 4) res:

本Webページ(およびPDF)の作成には Emacs org-mode を用いており， 数式等の表示は MathJax を用いています． IEでは正しく表示されないことがあるため， Firefox, Safari等のWebブラウザでJavaScriptを有効にしてお使いください． また org-info.js を利用しており， 「m」キーをタイプするとinfoモードでの表示になります． 利用できるショートカットは「?」で表示されます． 井上克巳，田村直之: 特集「最近のSAT技術の発展」にあたって， 人工知能学会誌，25巻1号，pp.56，2010年． 井上克巳，田村直之: SATソルバーの基礎， 人工知能学会誌，25巻1号，pp.57-67，2010年． 鍋島英知，宋剛秀: 高速SATソルバーの原理， 人工知能学会誌，25巻1号，pp.68-76，2010年． 田村直之，丹生智也，番原睦

CSP Cream Sugar Copris : 2011 6 6 2011 8 22 2012 6 24 2014 5 19 : CSP Cream Sugar Copris 1 2 3 Cream Java OpenOffice.org Calc 4 Sugar SAT Scala : CSP Cream Sugar Copris : CSP Cream Sugar Copris (CSP) (CSP; Constraint Satisfaction Problem) (X, D, C) X: (variable) D: x ∈ X (domain) ( : D(x) = {1, 2, 3}) D(x) C: X (constraint) X v x v(x) ∈ D(x) v (assignment) v C (satisfy) CSP (satisfiable) v (unsatisfia

Lispにおいて，基本的なデータ構造はドット対 (dotted pair)である． ドット対はconsセルと呼ばれることもある． ドット対は，cons 関数によって作成される． (cons 1 2) (1 . 2) (cons 1 2) により，数値1と数値2のドット対が作成されている． ドット対は (1 . 2) のように表示され， 左側は car 要素，右側は cdr 要素と呼ばれる． ドット対を以下のように図示することにする． 丸はアトム(数値や記号)を表し，箱がドット対を表している． 箱の左側がドット対の左側の要素 (carの部分)， 右側が右側の要素 (cdrの部分)に対応する． (cons (cons 1 2) (cons 3 4)) で作成される データ構造 ((1 . 2) . (3 . 4)) を図示すると以下のようになる．

本稿では，Scalaで記述したSATソルバーについて説明する． SATおよびSATソルバーについては 命題論理とSAT を参照のこと． 本Webページ(およびPDF)の作成には Emacs org-mode を用いており， 数式等の表示は MathJax を用いています． IEでは正しく表示されないことがあるため， Firefox, Safari等のWebブラウザでJavaScriptを有効にしてお使いください． また org-info.js を利用しており， 「m」キーをタイプするとinfoモードでの表示になります． 利用できるショートカットは「?」で表示されます． 井上克巳，田村直之: 特集「最近のSAT技術の発展」にあたって， 人工知能学会誌，25巻1号，pp.56，2010年． 井上克巳，田村直之: SATソルバーの基礎， 人工知能学会誌，25巻1号，pp.57-67，2010年．

ソフトウェアの設計・構築に対する科学的アプローチとして， 数理論理学 と ソフトウェア との関連に焦点を置き， 命題論理とSATソルバーについて講義と演習を行う． 特に，今年度は Donald E. Knuth著 "The Art of Computer Programming" (TAOCP), 第4巻, 第6分冊 "Satisfiability" を教科書として，SATソルバーとその応用について学習する．

本Webページ(およびPDF)の作成には Emacs org-mode を用いており， 数式等の表示は MathJax を用いています． IEでは正しく表示されないことがあるため， Firefox, Safari等のWebブラウザでJavaScriptを有効にしてお使いください． また org-info.js を利用しており， 「m」キーをタイプするとinfoモードでの表示になります． 利用できるショートカットは「?」で表示されます． 小野寛晰著 『情報科学における論理』日本評論社，1994 (Amazon) Chin-Liang Chang, Richard Char-Tung Lee "Symbolic Logic and Mechanical Theorem Proving", Academic Press, 1973 (Amazon) Michael R. Genesereth a

Project Eulerは，数学的なプログラムの問題集である． 2014年1月時点で，450問以上の問題があり，簡単なものから難しいものまである． 25問正解するとレベル1になり， 50問でレベル2，75問でレベル3，100問でレベル4などレベル17まである． 2014年1月現在で，レベル17は全世界で63名しかいない．うち日本人は6名だけ． プログラミング言語は何を使っても良い．手で解くのでも良い． 回答を提出するには，ユーザ登録をする必要がある． ちなみに レオンハルト・オイラー (Leonhard Euler)は18世紀の有名な数学者の名前．

本Webページ(およびPDF)の作成には Emacs org-mode を用いており， 数式等の表示は MathJax を用いています． IEでは正しく表示されないことがあるため， Firefox, Safari等のWebブラウザでJavaScriptを有効にしてお使いください． また org-info.js を利用しており， 「m」キーをタイプするとinfoモードでの表示になります． 利用できるショートカットは「?」で表示されます．

本稿は，プログラミング言語Scalaを用いて， 命題論理を取り扱うプログラムについて説明している． 命題論理については 命題論理 を参照のこと． 本Webページ(およびPDF)の作成には Emacs org-mode を用いており， 数式等の表示は MathJax を用いています． IEでは正しく表示されないことがあるため， Firefox, Safari等のWebブラウザでJavaScriptを有効にしてお使いください． また org-info.js を利用しており， 「m」キーをタイプするとinfoモードでの表示になります． 利用できるショートカットは「?」で表示されます． なお，ここに記載しているプログラムは，間違いを含んでいる可能性があります． 利用にあたっては十分チェックをしていただくようお願いします． また，わかりやすさを重視し，効率面での配慮はしていないため， 実用的な利用に

Martin Oderskyによる 関数型かつオブジェクト指向プログラミング言語 Java 1.1–1.4コンパイラの開発者 Pizzaの開発者 (Philip Wadlerと共同) オープンソース 活発に開発が行われている 応用 Twitterの分散DBフレームワークGizzardはScalaで記述されている Foursquare, Tumblr, LinkedIn, Amazon, VMware, はてな, ドワンゴなどでも利用されている WebアプリケーションフレームワークとしてPlayなどがある プログラミング言語別年収ランキング 2017年は1位, 2018年は2位 言語の特徴 関数型プログラミング言語とオブジェクト指向プログラミング言語の融合 強力な型推論 高階関数 Immutable Collections 並行計算 Java言語もJava 8から，関数型プログラミングの特徴

1957年頃に米国MITのJohn McCarthyらにより開発された LISt Processor (リスト処理言語)の省略で， AIプログラム等の記述・開発に適している 多数の方言が存在するが，標準版として1984年に Guy L. Steele Jr. が中心となってCommon Lispを設計した Lisp言語の一種であるSchemeも広く用いられている Clojureという新しい言語も出ている An Introduction to Programming in Emacs Lisp On Lisp 初めての人のためのLISP (Amazon, OPAC) Scheme The Scheme Programming Language (Amazon, OPAC) プログラミング言語SCHEME (Amazon) The Scheme Programming Languageの日本語

Prologプログラミング: リスト処理 リスト Prolog では，リスト (list) と呼ばれるデータ構造を使って， 任意の長さのデータ列を表すことができます． 以下のものは，リストの例です． [jan, 31, 1957] [X, 11, [R, 5]] [] 最初の例は，3つの要素 jan, 31, 1957 からなるリストです． 2番目の例も 3つの要素からなるリストです． 3番目の要素が，またリストになっています． 最後の例は，要素のないリスト(空リスト)です． リストの一般形は [要素1, 要素2, ..., 要素n] です． 要素としては，任意の項が使えます． もちろん要素がまたリストであってもかまいません． 要素の数 n は，リストの長さと呼ばれます． 長さ 0 のリストは空リストと呼ばれます． 実はリストも前に説明した項の一種です． write_canonical を

プログラミング言語論及び演習 Table of Contents 内容 内容 Project Eulerに挑戦 Javaプログラミング入門 Lispプログラミング入門 Scalaプログラミング入門 リスト処理の例: 多項式計算 Date: 2020-12-15 00:02:30 JST Author: 田村直之 Validate XHTML 1.0

Prologプログラミング: 言語処理 非決定性有限オートマトン Prolog では非決定性有限オートマトンの動作を簡単に シミュレートできます． たとえば，正規表現 a(a|b)*ab を認識するオートマトンを考えてみましょう． このオートマトンは次のような状態遷移図で表されます． すなわち状態遷移関数δは次のようになります． δ(q0, a) = {q1} δ(q1, a) = {q1, q2} δ(q1, b) = {q1} δ(q2, b) = {q3} これを Prolog で次のように書くことにします． delta(q0, a, q1). delta(q1, a, q1). delta(q1, a, q2). delta(q1, b, q1). delta(q2, b, q3). 入力文字列をリストで表すことにすると， 与えられたリスト L が受理可能かどうかを調べる述語 nd

以下は，仮想マシン名kvm101のイメージをディレクトリ ~/vm/kvm101 中に作成する例です． ユーザID，ユーザ名，パスワードは適宜変更してください． $ mkdir ~/vm $ cd ~/vm $ sudo ubuntu-vm-builder kvm hardy --suite hardy --arch i386 \ --mem 2047 \ --dest kvm101 \ --libvirt qemu:///system \ --mirror http://192.168.122.1:9999/ubuntu \ --part vmbuilder.partition \ --host kvm101 \ --ip 192.168.122.101 \ --user tamura \ --name 'Naoyuki Tamura' \ --pass 'password' \ --a

Ubuntu 8.04 LTS (Hardy Heron)にLaTeXをインストールする． 参考 https://wiki.ubuntulinux.jp/JapaneseLocalizedDerivative/LaTeXForJapanese http://oku.edu.mie-u.ac.jp/~okumura/texwiki/ インストール 「システム / システム管理 / 日本語版セットアップ・ヘルパ」を起動し， 以下を選択することでインストールする． xpdf-japanese adobereader-jpn, adobereader-jpn-ipamonafont latex-env-ja, latex-extra-ja 追加で以下をインストールする． mkcfm がないと出力されるが気にしない． $ sudo apt-get install texlive-latex-extr

Ubuntu 8.04 LTS (Hardy Heron)でEmacsを動かす． インストール 「システム / システム管理 / 日本語版セットアップ・ヘルパ」で emacs-env-ja を選択していれば， 基本的にはEmacs 22 (GTK)がインストールされているはず． インストールされていなければ， 「システム / システム管理 / 日本語版セットアップ・ヘルパ」を起動し， emacs-env-ja を選択する． 入力の設定 EmacsではControlキーやMetaキーを多用するので， 以下のようにCapsLockキーもControlキーとして利用可能し， またAltキーがMetaキーとして利用できるようにする． 「システム / 設定 / キーボード」を選択 「レイアウト」タブを選択し，「レイアウトのオプション」をクリック 「Ctrlキーの位置」を開いて，「CaposLockを

VMware Player 2.5でUbuntu Linux 8.04 LTSを動かそう． 準備 Windowsのセキュリティ設定 Windows XPならService Pack 3 (SP3)をインストールし， Windowsファイアウォールを有効にしておく． Windows Updateを実施して，Windowsを最新の状態にする アンチウイルスソフトをインストールし，ウイルスパターンを最新の状態にする 自宅のパソコン等，家庭での非営利利用なら avast! 4 Home Edition等が利用できる． 大学等の組織利用の場合はライセンス違反なので， ちゃんとした市販アンチウィルスソフトを購入すること セキュリティセンターで上記の設定を確認する Windowsの設定確認 ネットワークに接続済みであること． 無線LAN接続よりは，有線LAN接続のほうが通常は高速なので， 必要に応じて接

Prologプログラミング: データベース 記号 Prologでは， 記号は英小文字(a, b, ..., z)の後に， 英字(下線も英字に含める)または数字を0文字以上続けた名前で表される． a coffee n_Tamura may2 英字の大文字と小文字は区別される． いくつかのPrologシステムでは漢字も使用できる． SICStus Prologでは，シングル・クォーテーションでくくる． 'コーヒー' '田村' 変数 Prologでは， 変数は英大文字(A, B, ..., Z, 下線も英大文字に含める)の後に， 英字または数字を0文字以上続けた名前で表される． A Coffee MAY2 _1 リスト Prologでは，リストは要素をコンマで区切って並べたものを 角カッコでくくって表す．たとえば [jan, 31, 1957, thu] [pi, 3.14] であり，一般的には

Prolog の概要 PROgramming in LOGic (論理プログラミング)の省略． AI 用言語 (AI プログラムの記述・開発に適している言語)の一種． 1974 年に仏国の Colmerauer らにより開発された． 通産省の第五世代コンピュータプロジェクトの核言語として採用された． Prolog の特徴 記号処理言語，リスト処理言語: データとして，記号(シンボル)を取り扱うことができる． また，リストと呼ばれる可変長のデータの列を取り扱うことができる． 論理型言語: Prolog では新たな述語を論理式で定義することによってプログラムを 作り上げていく． すなわち， Prolog のプログラムは論理式の集まりである． Prolog や LISP は， FORTRAN や BASIC などの手続き型言語とは異なり， 非手続き型言語と呼ばれる． 対話的使用，会話的使用: P

パズルのページ オリジナル パズルーム パズルをSugar制約ソルバーで解く 数独(Sudoku)パズルをSugar制約ソルバーで解く カックロ(Kakuro, Cross Sums)パズルをSugar制約ソルバーで解く 美術館(Akari, Light Up)パズルをSugar制約ソルバーで解く 四角に切れ(Shiaku)パズルをSugar制約ソルバーで解く ナンバーリンク(Number Link)パズルをSugar制約ソルバーで解く ましゅ(Masyu)パズルをSugar制約ソルバーで解く スリザーリンク(Slitherlink)パズルをSugar制約ソルバーで解く 橋をかけろ(Hashiwokakero)パズルをSugar制約ソルバーで解く (一部作成中) ヤジリン(Yajilin)パズルをSugar制約ソルバーで解く (作成中) ぬりかべ(Nurikabe)パズルをSugar制約ソ

2020年12月にCGIを停止しました． 統計情報に，唯一解のパズルが載っています． このプログラムは LLP (a Linear Logic Programming language) で書かれています． また別に，Cで書いたソルバーもあります． ソースコードのパッケージは， crypt14.tgzです (参照: README, crypt.c, crypt.h )． パッケージにはPerlで書かれた覆面算生成プログラムも含まれています． 以下は生成された覆面算の例です． Astronomy (SATURN+URANUS=PLANETS, etc.) Japanese Cities (KYOTO+OSAKA=TOKYO, etc.) Color Names (BLACK+GREEN=ORANGE, etc.) Computer (CRASH+HACKER=REBOOT, etc.) Fr