はてなブックマーク

1. 関数型プログラミングでもっと言いたかったこと (1) λ計算 λ計算は関数型プログラミングでは基本中の「キ」ですが、本文は初心者向けということでカットしていますが、ここでは少し説明します。 λ計算（λ-calculus）はα変換とβ-簡約、η-変換の規則があります。 α-変換は束縛変数の名前を変える変換で、β-変換（簡約）は関数適用です。 η-変換はすべての引数で同じ値を返す関数は等価である（関数の外延性）とするものです。 α-変換の例はλx.fx → λy.fy であり、β-変換の例は(λx.fx)3 → f3であり、η-変換の例は λx.fx → f（但しxはfで自由でないとき）です。 Lisp 風に書くのであれば、(lambda (x) (f x))→(lambda (y) (f y))、((lambda (x) (f x)) 3)→（f 3)、(lambda (x) (f x

Android の調べ Lisp の調べ 鉄道の調べ 旅先料理の調べ ビールコレクション 直交表の調べ 直交表とは 直交表とは2次元の表で、任意の行を n個選択して、選択した行の列毎の組を取り出したとき、 その要素の組み合わせが同数個出現している表です。このとき n を直交表の強さと言います。 実際の例として、以下の表を見てください。 例. 大きさ8(実験回数8回)、4因子、2水準、強さ3の直交表 OA(8, 4, 2, 3) 1 2 3 4 5 6 7 8 --------------- 1|0 1 1 0 1 0 0 1 2|0 0 0 0 1 1 1 1 3|0 0 1 1 0 0 1 1 4|0 1 0 1 0 1 0 1 これはどの3行を取っても、その列の要素の組み合わせは、(0 0 0), (0 0 1), ..., (1 1 0), (1 1 1)になり、 各組み合わせが同数

将棋の調べ 鉄道の調べ Japaninoの調べ 旅先料理の調べ ビールコレクション Lisp の調べ プログラミング言語 Lisp のサイトです。 現在は自作の Lisp 処理系や書籍・雑誌・論文を紹介していますが、今後は Lisp 一般の情報も少しずつ紹介していく予定にしています。 お知らせコーナー 書籍「はじめてのLisp関数型プログラミング」の書籍を執筆しました(2016/3/18)。 サンプルプログラムのダウンロードや正誤表、Web版関数型プログラミング本を読んでみた女子の日常の特設ページを開設しました。 Software Design 2017年5月号、8月号、9月号に連載「人工知能時代のLispのススメ ～ラムダ式からLispの作り方まで」を執筆しました。 【1】なぜ今Lispなのか？　Lispはここがすごい！ (2017/4/18) 【2】Lispは人工知能と関数型の先祖！　

はじめに ここでは、どうぶつしょうぎの作り方を「やさしく」紹介していきます。 プログラミング言語は Java 言語にしています。しかしそれほどオブジェクト指向機能を使わないようにしていますので C 言語でも作成可能です。 参考になれば幸いです。 なお、どうぶつしょうぎのルールはここにあります。 先頭へ戻る データ構造/クラス設計 その1 ここでは、どうぶつしょうぎのデータ構造とクラス設計を行います。 どうぶつしょうぎに登場するデータ（オブジェクト）としては、「将棋盤」、「駒」、「持ち駒」、「プレーヤ」などが、現実世界に存在する現物です。これらは直ぐに思いつくかと思います。まずは、これらの現物クラスだけで大丈夫です。最初から完全なクラスとデータ構造を発見する必要はありません。詳細なクラス設計やデータ設計もも必要ではありません。抽象的なクラスも最初から発見する必要もないです。 必要になったとき