2010-01-01から1年間の記事一覧

gitolite を試す

Git

gitolite のがgitosis より簡単らしい. branch とかへのアクセス制限もできるようだ(2010/12/30 追記) Personal なブランチの名前空間をサポートもしてるようだ(2010/12/30 追記) git$ mkdir -p $HOME/gitolite/bin $HOME/gitolite/conf $HOME/gitolite/hoo…

gitosis を試す

メモ的にまず git ユーザを作り終わっているとします. $ sudo su - git git$ git clone git://eagain.net/gitosis.git git$ easy_install-2.6 --user gitosis git$ cd ~/local/bin git$ ln -s ~/.local/bin/* . git$ rehash git$ cd git$ ssh clairvy@local…

MacOSX でのユーザの作り方(dscl)

メモ的に全然知らなかったんだけど,MacOSX では,DirectoryService でユーザとかのリソースを管理してるみたい.ということでユーザを作ってみた. $ sudo dscl . -create /Groups/git gid 601 $ sudo dscl . -create /Users/git $ sudo dscl . -create /Us…

YAPC::Asia 2010 にいってきた

今回で二回目の参加になります前回は,@issm さんと一緒に参加したんですけど, 今回は,@hatyuki さんも居て三人で回ったりもした感じでした. それも ゆるくPerl を語る会 が出会いの場になったからですね.*1 ゆる Perl を開始してくれた id:trinity777 +…

Eclipse で Android のソースが見たい

Android で UnitTest を書こうと思ったんだけど, ドキュメントを見てもよくわからんかった. 困ったらソースを見れということで,Eclipse から追えるようにしてみた.ソース自体は,以下から落とせる. http://android.git.kernel.org/ 今回は platform/fra…

NagoyaHackathon に行ってきた

NagoyaHackathon 01 に行ってきました. 余裕で遅刻したので,チームに入らずに色々調べてました. d:id:clairvy:20101011:1286801478 d:id:clairvy:20101009:natoyahackathon_01 が成果です.一人で黙々とやるのもいいけど,誰か聞く人が居る環境もアリだな…

Git-Http をやってみた

ようするに,以下が必要らしい. WebDAV Git --bare 的なもの git server-update Apache 側は ロケーションに対して DAV on する passwd (Auth) $ cd /etc/apache2 $ vi httpd.conf $ git diff httpd.conf -#Include /private/etc/apache2/extra/httpd-dav.c…

最低限のAndroid 開発環境を整える with Eclipse

何を血迷ったかと思われる方も居るかもしれません. 自分はEmacs 派なので ensime 一押しです. ですが,配布されているプロジェクトが Eclipse のプロジェクトだったりして あまり変更したくない場合みたいな特殊な場合を考慮して, Eclipse での開発環境を…

Git 勉強会に行ってきたよ

d:id:bleis-tift:20100922:1285140344 会では全然Git の話とかしてなかった気もしましすが, なんか名指しされたので Git 関連の今の自分の設定的な話を 一回まとめて晒しておこうかな.と思います. 最初に設定するような人は参考にしてもいいかもしれませ…

git submodule 用の補完関数を書いてみた

Zsh

zsh 4.3.10 の _git ファイルをコピーして,git-submodule 用の補完関数を作ってみた. 基本は,git-svn をちょろまかして作ってます.適当にコピーして使ってください.というか git submodule って使われてるんですかねー?

Scala座01 にいってきた

なんかよくわからんけど,Ust配信と場内無線LAN 提供係になってみた. http://scalaza.com/ScalaZa01/ http://www.ustream.tv/channel/%E7%AC%AC1%E5%9B%9Escala%E5%BA%A7 資料 http://togetter.com/li/47287 http://scalaza.com/?%C2%E81%B2%F3+Scala%BA%C2…

図書カードが届いた

Scala 座から帰ってきたら,図書カードが届いていた技術評論社さまありがとうございます http://gihyo.jp/dev/serial/01/readers-forum/vol58 とあいえ,今は ensime が熱い感じで eclime は使わない感じになってます. 移り変りが速いですねぇ.

Scala をコマンドラインで使う - 2

色々事情があって日が空いてしまいました.ということで,明日はScala座です. あんまり関係無いかもですが,続きです. $ time (scall ~/.zshrc > /dev/null) (; scall ~/.zshrc > /dev/null; ) 1.87s user 0.18s system 39% cpu 5.128 total $ time (perl …

Scala をコマンドラインで使う - 1

ちょっと前に Haskell を書いていて,静的片付け楽だなー. と思っていたところで,Scala 座もあるので,Scala を コマンドラインに使えないかな.と思って試行錯誤する次第.こういうのを .zshrc に仕込むと, # 普通の cat $ scall .zshrc | diff - .zshrc…

ネタ Android SDK開発のレシピ

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

Scala で Church 数を書いてみた(途中)

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

Coq庵にいってきた

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

OCamlMeeting in Nagoya にいってきた

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

大名古屋 #4 にいってきた

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

ゆるPerl #2 にいってきた

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 をゆるく語る会 があるよ

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

ASE(Android Scripting Environment) - Perl を試してみた

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

ゆるくPerl を語る会に行ってきた

#yuruperl で? どえりゃあ に早く来ると,朝会をやっている 大学の後輩の話とか Test したいよね 英語とか中国語の話 id:sugiyan の中の人は果たして間に合うのか!? iPad でもしも〜し とか 本当にありがとうございます スイッチ切れた id:sugiyan さんの…

名古屋でPerlをゆるく語る会 をやるよ

http://atnd.org/events/6593 ということで,Perl を啓蒙(?)するかもしれない会をやるみたいです.以下内容? Nagoya.pm(?) をやるかもしれない? とりあえず Perl の utf8 の話? フレームワークの話とか? 名古屋の孔明 が来るらしいよ. id:sugyan の中…

TDDBC 名古屋 にいってきた 二日目

グリーンバンドを共同購入する流れ TDDBC で全国行脚しながら,行商する流れ. レガシーコード改善 Emergent Design - Jolt Award 2008? Skill ピラミッド? 創発的設計(最上段) テスト駆動開発,パターン駆動開発(二段目) ユニットテスト,リファクタリン…

TDD Boot Camp 名古屋 にいってきた

ハッシュタグ は #tddbcネタ的に,なるべくリアルタイムで更新するつもりです. 3回目にして男子校に twitter はネタをつぶやくところです プラン ペアプロ体験 レビュー大会 夜は自重しない議論 レガシーコード改善 メリット/要素 ペアプロ,レビューはフィ…

新人がきた

文系の新人が入ってきた今は自分が教育係ではないけど, その人に対して自分が教育係だったらと仮定しての方針を考えてみたので 整理する意味でもここに書いてみる.大事なことは3つ 抽象的に考える 俯瞰的に考える(バランスを取る) 手を動かす(実行してみる…

Emacs-Eclim を試す

この記事はかきかけです.ということで,インストール http://github.com/buzztaiki/emacs-eclim ここを見る.ようするに eclim インストール emacs-eclim インストール .emacs 修正 の流れ.使う前に eclimd を起動する必要がある.これだけは覚えておけ. …

Nagoya.R #2 にいってきた

http://corpus-study.info/nagoyar/ R は,#1 のときの予習ぶりなので全然忘れていました. http://www.okada.jp.org/RWiki/?R-FAQ%C6%FC%CB%DC%B8%EC%CC%F5%286%BE%CF%29 以下抜粋 6.2 Emacs の中から R を実行すべきでしょうか? (Should I run R from with…

名古屋Scala 懇親会に(のみ)行ってきた

Coq

所謂一つのKOM ですね. Scala は,ScalaCheck があっていいね. Java には,why があるよ. ネットが繋がらない.懇親会会場-- で,Coq の次の一手なんですが. ということで id:yoshihiro503 の人が居たので,Coq の次の一手(ProofGeneral の後) を聞いて…