IT練習ノート

IT関連で調べたこと(実際は嵌ったこと)を書いています。

2015-12-01から1ヶ月間の記事一覧

const id

constとconst idの違い Prelude> const 'a' 1 'a' -- 第1引数を返す Prelude> (const id) 'a' 1 1 -- 第2引数を返す 型の確認 const idは第2引数を返すことがわかる。 Prelude> :t const id const id :: b -> a -> a 型の計算 Prelude> :t const const :: a …

clojureにcdr, cddr, cdddr, cddddr がない件

自分で定義するのが正解なのでしょうか? user=> (defn cdr [x] (rest x)) #'user/cdr user=> (defn cddr [x] (cdr (cdr x))) #'user/cddr user=> (defn cdddr [x] (cdr (cdr (cdr x)))) #'user/cdddr user=> (defn cddddr [x] (cdr (cdr (cdr (cdr x))))) #…

ClassCastException java.lang.Boolean cannot be cast to clojure.lang.IFn

cond関数を使っていたら表題のエラーがでました。 user=> (defn foo [x] (cond ((= x 2) "two") ((= x 3) "three"))) #'user/foo user=> (foo 3) ClassCastException java.lang.Boolean cannot be cast to clojure.lang.IFn user/foo (form-init268103478811…

Lisp事始め

Lispを始めるには? Lispを使うにはどの実装を使えば良いのでしょうか? CommonLisp系ではこちらにたくさん掲載されています。 CLiki: Common Lisp implementation Lisps 当然、どれを使うか迷うわけで、質問することになります。 programmers.stackexchange…

(.f)は定義域を書き換えると思ってみる。

用語の使い方が雑ですが、、、。 理解したかったこと Prelude> :t Data.Char.chr Data.Char.chr :: Int -> Char のときに Prelude> :t (. Data.Char.chr) (. Data.Char.chr) :: (Char -> c) -> Int -> c となる理由がよくわからなかったのでメモ。 考え方 g …

Tree Iterator

修正したい。。 github.com

Android Studioで通常のJava(メインメソッド)を実行する

Android Studio のバーション メインメソッドをもつJavaクラスを作る。 実行 -> 構成 を選択する。 構成ダイアログの右上のプラスを押す。 アプリケーションを選択する。 構成名称を記入する。 実行するJavaクラスを記入する。 モジュールを選択する。 Java…

ContentProvider

ContentProvider <--> Activity com.example.cp01 <--> com.example.cp02 ContentProvider Application (com.example.cp01) manifest.xml <manifest xmlns:android="http://schemas.android.com/apk/res/android" package="com.example.cp01"> </manifest>