正規表現とは正規表現で用意されている特殊な文字や構文を使って作成したパターンを使い、対象の文字列とマッチするかどうか調べるための方法です。正規表現を使うことで「ABCDE」など指定した文字列と完全に一致しているかどうかを調べるだけでなく、「A」で始まり「E」で終わる 5 文字の文字列などのようなより柔軟で複雑なパターンを定義することができます。ここでは Java における正規表現の使い方について解説します。 ※ 正規表現の基本的な考え方については「正規表現入門」もあわせてご参照ください。
B :- A1, A2, A3, ...,An. /* 推論規則 */ C :- . /* 事実 */ :- A1, A2, A3, ..., An. /* 質問 */ 推論規則 B :- A1, A2, A3. 上記推論規則を第二形式の表現へ書き換える。 B ← A1∧A2∧A3 "←"を選言を用いて書き直すと B∨~A1∨~A2∨~A3 すなわち、典型的なホーン節である。 事実 C :- . 上記推論規則を第二形式の表現へ書き換える。 C ← "←"を選言を用いて書き直すと、 C すなわち、Cは事実である。 質問 :- A1, A2, A3. 上記質問を第二形式の表現へ書き換える ← A1∧A2∧A3 "←"を選言を用いて書き直すと、 ~A1∨~A2∨~A3 これは証明したいことの否定形であり、"質問"と呼ばれる。 クイックソート qsort([], []). qsort([X|Xs]
Scalaz (Scar-lah-zed) is a library written in the Scala Programming Language. One mandate of the library is to depend only on the core Scala API and the core Java 2 Standard Edition API. The intention of Scalaz is to include general functions that are not currently available in the core Scala API. Scalaz is released under a BSD open source licence making it compatible with the licence of the Scala
LaterzはRuby on Railsで作られたオープンソース・ソフトウェア。個人的にはこのやり方はしっくりくるかも知れない。ソーシャルブックマークはあまり使いこなしている方ではない。Webサービス系ははてなブックマーク、ソフトウェア系はDeliciousと区別して使っており、コメントは殆ど書くことはない。 手早くURLを登録する 何でも同じ所に入れてしまうと、後で探すのが大変になるのだ。それにいちいち個別に分類するのは面倒だ。Laterzはそんな手間はいらない。予め分類分けした場所に放り込めるようになっているからだ。 Laterzは個人用のブックマーク管理ソフトウェアで、作成したカテゴリごとにブックマークレットが作成される。これをブラウザのツールバーにドロップすれば準備は完了だ。ブックマークしておきたいサイトを見つけたら、そのカテゴリにあったブックマークレットを実行すれば良い。ブラウザ
The MIT Press Cambridge, Massachusetts London, England
MLの型と型推論 この連載でも何回か触れたが,MLやHaskellなど多くの静的型付き関数型言語には,「型推論」という機能がある。これは,プログラム中の変数や関数の型を省略しても,「もっとも一般的」な型を言語処理系が勝手に推論してくれる,という機能だ。 例えば,次のように,二つの引数xとyを受け取って,(x, y)という組を返す関数pairを定義してみよう。 > ocaml Objective Caml version 3.10.0 # let pair = fun x y -> (x, y) ;; val pair : 'a -> 'b -> 'a * 'b = <fun> # このように,pairは「何らかの型'aを持つ値と,何らかの型'bを持つ値を受け取り,'a型の値と'b型の値の組を返す」と推論される。一般に,t1 -> t2は,型t1の値を受け取って,型t2の値を返す関数の型であ
./index.html ../index.html Prologに挑戦した時の記録 Haskellのところで、世の中には逐次実行型以外の言語があるという話をしましたが、関数型と双璧を…成しているようにはどーも思えない論理記述型の代表Prologです。 最近は関数型言語の特徴が一部OOPLに導入されてきたりしてますが、今も昔も論理型言語はサッパリ目にしません。 いやま、素人の言うことなんか気にしないでくださいな。 実用レベルに習得するかどうかは別にして、一度は理解ぐらいはしたかった、つーことで、さわりだけやります。 処理系はここ。 教科書はここ。 インストールして、まず むう、拡張子が.plでPerlと被りますね。 でもまあ、関連付けはいじられないようなので(Perlのままになってます)、別にいいか。 コマンドラインからC:\xxx.plみたいな形でPrologのコードを実行するなんてこと
Prologのコードを美しく書くにはどうしたらいいか?。少々ボリュームがあるので、根気のある人だけ読んでくださいw。でもきっとためになります。 まずPrologを書くに当たって、重要なことは「引数の性質が何であるか」と言うことです。 Prologの引数には3つの性質があります。 定数としての引数。これはhoge(+bar)とSWI-Prologのhelpに書かれています。 処理した後に値を返すための引数。hoge(-bar)。 上記どちらでも良い引数。hoge(?bar)。 たとえば、times(X,Y,Z)という述語を考えてみます。これは「X*Y=Z」という意味としましょう。このコードは以下のようになります。 times(X,Y,Z):- Z is X * Y. あ、「`*’使ってたら意味ないじゃん」というつっこみは無しでw。例ですからw。このときもし ?- times(X,Y,3).
* Use UTF-8 for character encoding. このページの文字コードはUTF-8を使用しています。 Updated: 2005-04-02 5:44 am 統計解析言語 R で多変量解析を行う ―英語コーパス学会第24回大会ワークショップ付録― 田畑 智司(大阪大学) 0. はじめに Rのダウンロード 日本のミラーサイト(1)筑波大学 Rのインストール Mac OS Xの場合 (群馬大学・青木先生によるインストールガイド) LinuxおよびWindowsの場合(多摩大学・山本義郎先生によるインストールガイド) Rのレファレンス・マニュアル 舟尾暢男氏によるR-tips集。素晴らしい入門書。 R-intro 日本語版(森 厚 氏による日本語訳) Rによる統計処理(上記の青木先生による) 1. データ 注意:以下4点のデータはタブ区切りになっていますので,コピー&ペー
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く