##職業ビザ/グリーンカードは、「このポジションに必要なスキルを持つ人を探したけどこの外国人以外見つからなかった」って客観的証明が必要。めちゃくちゃ特定的な求人広告を一定期間出して採用できなかったことを以って証明としたりします。
##appengine #oauth #android 2.2 #C2DM 経験者とかを募集したらくるかな？
#XSD AXI CXF WSはなんだかわからないしSpringは経験ないけどその他はいちおう経験あるorできそう。どのレベルでやれるかは別として。＞高いスペックの求人
#雑魚どもお断り、と短く入れるかわり、かな(笑)
#レベルの低い求職者の面接に疲れてキレたとか
#OO における Mock とか Stub は関数型言語では、どういうインターフェースで使えると良いか考えていたんですが、こんなの見つけた。
##JMock のようにもう少し色々できるとうれしいかもなあ。
#動的束縛のうまい応用例ですね。R6RSだとよそのモジュールの束縛を勝手に置き換えられないのでちょっと相性が悪いかも?
#そうですね。トリッキーな方法が必要そうです。
#Emacs Lisp とかなら advise とかでうまくやれそう。
#Lisp 界隈でこのあたりまじめに追求している人たちいないのかな。テスト時に indirect input/output をどうにかしたいみたいな要求はたとえ関数型言語でもある気がするのだけど。
#AOPの応用例としてテストってのはよく取り上げられてるとは思いますが、汎用のLisp処理系で実用規模で追求してるのは知りませんね。もっとも動的環境になってさえいればいくらでも差し替え可能なので (Schemeのcurrent-*-portとか)、アドホックに対応できてしまうことが多いから誰も追求しないのかも。
#ありがとうございます。アドホックにやるのと、モノが用意されているってのは、使う側からすると見える世界が違うと思うので、がんばって用意したいところですが、まずは小さくはじめてみようかな。
#xUnit test patterns が出版されたのが 2007 年だから、まだ波が到達していないだけかもしれませんが。
#テストってことで言えば、最近なんとかしたいなと思ってるのがグローバルな状態を変更するような操作のテスト。setupで初期状態にして、テスト走らせて、その後でチェックする、っていうのでいいんだけど、状態数が増えてくるとsetupでちゃんと設定したり、異常時にちゃんと元に戻したりするのが面倒くさくなってくる。
#OMetaのAlexがWorldっていう概念を考えてて、それはグローバルな世界のコピーがいつでも作れるって感じなんだけど、そういうのがあると状態変更のテストが綺麗に書けるかも、と考えてます。
##動的環境っていうのは世界(環境)への変更がスタックになるんだけど、
#Worldは変更したやつを元のWorldにマージしたりできるんで、環境の操作モデルがグラフになる。
#継続の導入によって制御構造がスタックから木になるのと似てるかな。制御構造は合流っていう概念が無いか。むしろ平行計算と相性が良いかも。
#ふむむ。面白いです。unit test の場合は基本的に global な環境をいじるようなコード側に問題があると考えて、break dependency してしまう場合が多いかと思います。この場合 global な環境ってのは global 変数的なものなのかもしれませんが、RDBMS とうまく結びつけてテスト後に rollback してしまうというのも良くある手ですね。
#あとは global 環境の変化は許容して、初期状態と終了状態の差分でテストするとかもありますね。
#Worldは言語のグローバル環境にトランザクションを持ち込むみたいなものなので、テスト後rollbackというのと発想は一緒ですね。
#こんにちは、IIJ の山本です。
#MIT Scheme のことで恐縮ですが、質問させて下さい。
#ようこそ。どうぞどうぞ。
#質問は、「MIT Scheme に wttee というライブラリがありますが、これはどれくらいつかわれていますか？」です。
#長いですが、背景を書いていきます。
#Haskell には、Data.Map という finite map の実装があります。
#内部では、weight binary search tree というバランス木が使われています。
#the art of computre programming 3 では、AVL の代替品として半ページぐらい紹介されている木です。
#最近、Data.Map にバグが発見されました。
#挿入はいいのですが、要素を削除すると、バランスが壊れることがあるのです。
#これをきっかけに、weight binary search tree を研究してみて、面白いことが分かったので、現在論文を書いているところです。
#同じアルゴリズムが、MIT Scheme の wttree にも使われています。
#wttree の亜種を考えた Stephen Adams さんが、MIT Scheme のメンテナーだったみたいなので、入っていても不思議ではありません。
#Data.Map の実装も、Adams さんのテクニカルレポートに基づいています。
#というわけで、MIT Scheme の wttree にもバグがあります。
#実際、実験してみたところ、やはり削除で簡単にバランスを崩すことができます。
#実装のバグではなくアルゴリズム上のバグだったってことですか?
#大枠のアルゴリズムはいいのですが、パラメーターの選び方がダメです。
#Adams さんの wttree のパラメーターは (5,1) なんですが、これは削除のことをまったく考えていません。
#(x,y) の x は、バランスが取れてないか判断して回転させるかを決めるもの、y は回転させるときに一回転か、二回転かを決めるものです。
#Adams さんの方式に対しては、数学的に証明を与えられていませんが、我々のテストでは (4,2) と (3,2) のときしかバランスが成り立ちません。
##slib に含まれているようですね。
#Adams さんが元にしていて、TAOCP でも紹介されているオリジナルの論文の方式に対しては、我々は Coq で証明を与えられそうなところまで来ています。オリジナルの論文の方式に対する整数解は面白いことに (3,2) しかありません。
#興味があれば、我々の英語のスライドをお送りします。
#slib って、Scheme コミュニティでは重要なものですか？ 素人質問ですいません。
#念のため、例を示しますね。
#(alist->wt-tree
number-wt-type
'((-3 . -3)(-6 . -6)(3 . 3)(1 . 1)(7 . 7)(-2 . -2)(5 . 5)))
#おもしろい。slibはポータブルなSchemeライブラリとして歴史が長く、R5RSならほとんどのシリアスな実装上で走るものなので、「slibのユーザ」なら「MIT-Schemeのユーザ」より多いかも。slib中のwttreeを使ってる人ってのは限られるだろうけど。
#こうやって作った木はバランスしているんですが、この木に対して wt-tree/delete-min すると、バランスが崩れます。
#さっきのを x だとすると：
#(balanced x) -> #t
#(balanced (wt-tree/delete-min x)) -> #f
#となります。
#balanced の実装は、こう書きます。
#(define (balanced n)
(balanced- (tree/root n)))
(define (balanced- n)
(or (empty? n)
(let ((l (node/l n))
(r (node/r n)))
(and (isBalanced l r) (isBalanced r l) (balanced- l) (balanced- r)))))
(define (isBalanced a b)
(let ((x (node/size a))
(y (node/size b)))
(or (fix:<= (fix:+ x y) 1)
(fix:>= (fix:* wt-tree-ratio x) y))))#MIT Scheme の define-structure の仕様がよく分からないので、僕はこの定義を外に持ち出すことができず、wttree.scm に直接書きしました。
#あ、MIT Scheme の問題というより、slib の問題という方が、インパクトが強いんですね。
#関係ないけど「balanced-」は本当は「balanced'」と書きたかった?
#Scheme の習慣はあまり知りません。名前は適当です。ごめんなさい。
#Adams さんのテクニカルペーパーは、ここにあります。
##slibがMIT Schemeの実装に基づいているなら、上流が直ればslibも追従すると思いますが、MIT Schemeの方の反応が遅ければslibのAubrey Jafferさんに直接言えばすぐに対応してくれると思います。
#そうですか。論文の草稿ができたら、それを見せて直してもらうことにします。
#日本でのMIT Schemeのユーザというのはどのくらいいるんでしょうね。blogで何回かみかけたことはありますが…
#それで、論文では Haskell の Data.Map に使われているよ、で十分インパクトはあるんですけど、Scheme コミュニティにも重要なことなら、wttree にも触れようかなぁ、どうしようかなぁという感じで迷っています。
#MIT Schemeにあってslibにも取り込まれているなら、Scheme界でのニュースとしてのインパクトは十分にあると思います。
#分かりました。ありがとうございます。MIT Scheme と slib の名前を論文で出す方向で考えます。
#我々のスライドを見たい方がいましたら、kazu iij ad jp までメールを下さい。
#まさかとは思いますが、その広告は、あなたの想像上の存在にすぎないのでは(ry RT: @rui314: この広告と本文とのマッチは奇跡の一枚。 
#ありゃ、RT中に埋め込まれた短縮urlもインライン表示しちゃうんだな。
#ゲームの「セーブポイント」でいいんじゃないでしょうか。サブルーチンコールも「ゲームをセーブして別のに入れ替える」みたいなイメージ RT: @tana_ash: Schemeの継続をどうやって説明したらいいか。ただし相手は小学校高学年から中学生を想定する。
#お、ありがとうございます RT: @yoshikiohshima: Worldsに関する論文はちょっとだけ機能が充実したりしたものに関する改訂版が http://www.vpri.org/pdf/tr2010001_worlds.pdf にあります。 #@yoshikiohshima あと、twitterからchaton_gaucheへの投稿は、chaton_gaucheをフォローしてないと反映されないようになってます。(でも何でこの仕様にしたんだったかな?)
#ところで、もしハワイでScheme Workshopが開催されたら、日本から参加したいって方はどのくらいいますか。Scheme Workshopについては http://www.schemeworkshop.org/ #例年、週末の一日を使ってやります。一応"Scheme and Functional Programming"なのでScheme限定ではないです。
#日本から参加の場合、例えば土曜にやることにすると、最短で日本の土曜夜出発→ハワイの土曜朝着、ワークショップ参加で一泊、ハワイの日曜朝出発→日本の月曜午後着、ということで最低一日は仕事を休む必要がありますが。
#金曜夜出発→ハワイの金曜朝到着、でも休みは変わらないか。
#参加希望＞Scheme Workshop。最近美しくない括弧{}ばかり書いているので。
#あ、今秋からホノルル-羽田便が出来るんだっけ。夕方出発で翌日深夜に羽田着という便ができるので、どうしても休めなかったら土曜のワークショップを夕方ぎりぎりまでいて羽田便に飛び乗って日曜深夜に日本帰着、という手もあり得る? ちょっと厳しいか。
#ハワイに行くLCCを調べたんだけどドル箱路線なのか存在しなさそうでした。ハワイローカル線としてはgo!っていうLCCがあるらしい。
#(^o^)ノ 〉shiro: ところで、もしハワイでScheme Workshopが開催されたら、日本から参加したいって方はどのくらいいますか。
Gauche > Archives > 2010/09/14