こういうものがあるので， http://github.com/gabu/AndroidSDK-RecipeBook こういうものを作ろうとしてみたけど http://github.com/clairvy/AndroidSDK-RecipeBook 挫折しそう．104 個多いよ…AndroidSDK開発のレシピ―104個のレシピで学ぶAndroidアプリ開発の…

Scala 座があるので，Scala を使ってみようということで， Church 数を書いてみた．が，書けなかったという話．コメントアウトしてある型パラメータ版だと， Nothing は，A に入りません．って怒られるのです．これはどうやって解決したらいいんですかね？ …

http://atnd.org/events/6022 - ATND 初めてのCoq(yoshihiro503) 高階論理(表現力は最強) 自動証明機能(tactic)を備える プログラムと連携 仕様が証明された状態ではなく，証明されたプログラムを書くことができる tactic(小文字〜.) - Gallina式 - Vernacul…

やってみようOCaml いんりあ！ インタラクティブで便利にやろう F# の流儀 (|>) is an important operator in the F# 'culture'. インラインなところがおもしろいらしい 資料 http://mayah.jp/scratchleaf/2010/ocaml-user-meeting-in-nagoya-2010 OCaml 3.1…

http://groups.google.com/group/study-dainagoya - Google グループ http://atnd.org/events/6700 - #4 の ATND ハッシュタグ #dainagoya 今回は趣向を変えてhackathon 的にコードを書いてみようという会でした． とりあえず 流れで Scala を使ってみること…

http://groups.google.com/group/yuruperl-nagoya - Google グループ http://atnd.org/events/6923 - #2 ATND ハッシュタグ #yuruperl 話題になったこと perl rakudo star Lisp - SICP やろうぜ Emacs - 学習曲線ぐーるぐる Ruby - 1.8 と 1.9 とか Objectiv…

第一回は，Perl のこと殆ど話さなかった感があるので， 第二回をやる流れです． 8/22(日) 17:00 〜 20:00 - 前回と違い夕方からなので注意してください！ Cafe どえりゃあ ＠ 栄 名古屋 愛知 必要なものは特にありません - 必要であれば PC を持参 参加登録 …

http://code.google.com/p/android-scripting/ Android でも Perl を使いたい人がいたので試してみた．ここ から ase_r25.apk を落としてきた． インストールする． $ adb install ase_r25.apk 起動する ASE がメニューに現われているので起動する． Perl を…