…への切断が切れて、再度ログインして、tmuxにアタッチしようとしたがno sessionsと言われてしまう。kill -10でもダメ。プロセスは生きている。何がいけないか？A: AMIからインスタンスを作った時にデフォルトユーザとして作られた「ubuntu」で作業するのを嫌って別途「nishio」を作って作業していた。tmuxもnishioで立てていた。しかし再ログインした際にubuntuでログインしてしまったのでnishioのtmuxに接続できなかった。というケアレスミス。

…ことで、新しい文字列インスタンスができている。(追記：これは勘違いです。元から別インスタンス)それからsに対して置換を行っているけど、qとは別のインスタンスになっているからsへの破壊的変更の影響はqには及ばない。最後にQと書かれている部分にqの内容を埋め込んで出力、標準出力をフラッシュしてexitする、と。 後半部破壊調査 さて、まず前半部at_exitの前の#を削って、セーフティネットが動かないようにして、後半部がどう壊れたらどうなるかを見てみましょう。まずこの条件比較が壊…

…cだと思い込んでいるただの配線」を通ってすべての信号線がGNDに接続されてLOになるわけです。 感想 ソフトウェアとハードウェアの大きな違い： ソフトウェアの部品は、一つのインスタンスが仕様通りに動くことを確認したら、どのインスタンスでも仕様通りに動く。ハードウェアの部品は、たまに仕様通りに動かないインスタンスが混ざっている。ソフトウェアでは「あ、この代入演算子、断線してますね」なんてことがありえないので、そこを疑うコストを割かずに実装ができるわけです。とても恵まれています。

…「クラスを使わずに『インスタンスの作成』『継承』を実現する」をやったことがありました。これも改めて解説すると良いかもしれませんね。 (thanks: id:thujikun) 末尾再帰最適化ではスタックを使わないのでは？ 「末尾呼び出しが最適化されている場合はとかスタックを使わないのでは」というご質問がありました。そうですね。この記事では以下のように書きました。 「xは保存する必要がない」と思った人はいますか？それは正解です。ただし、それは「xは関数呼び出しから戻った後で読み…

…は「はい」 Q3: インスタンスを作れる？ いいえ、はい、いいえC++とPythonのクラスは「はい」 Q4: 複数個継承した際に名前が衝突しました、どうなる？ しれっと上書き、エラー(*)、エラー(*) Squeakはクラス定義時には例外を投げず、衝突したメソッドを「衝突した旨の例外を投げるメソッド」に置き換える。ユーザが衝突に気づくのは、クラスブラウザでメソッドを確認した時か、そのメソッドを呼んだ時になる。 Q5: 継承パスに参加する？ する（？）、しない、する（？）継承…

…Streamクラスのインスタンスということね。で、このTransriptStreamって書いてあるところを右クリックして出てきたメニューにbrowse full(b)と書いてあった。これを押してみるとBrowserでクラスの詳細が出る！(今気づいたけど、探索しないでいきなりCmd+bでも出る！なんで右クリックメニューに出てないんだ！)でまたこのクラスブラウザの見方が最初わからなかった。クラスブラウザでクラスを作ることを避けていたのが原因だ。4つあるリストの左から1番目と3番目…

…更前ではHogeの1インスタンスあたり1048 + 64 = 1112バイトを使っていたが変更後では96バイトしか使わなくなる。 変更前 $ time python tmp.py Partition of a set of 225737 objects. Total size = 115386656 bytes. Index Count % Size % Cumulative % Kind (class / dict of class) 0 100000 44 1048000…

…が出る。Hogeの1インスタンスあたり64バイト、それが持っている辞書が1048バイトなのがわかる。 Partition of a set of 225737 objects. Total size = 115386656 bytes. Index Count % Size % Cumulative % Kind (class / dict of class) 0 100000 44 104800000 91 104800000 91 dict of __main__.Hog…

…かい。 自作クラスのインスタンスも辞書を持っている Cのstructみたいなものだと思ったら大間違いで、オブジェクトのメンバ変数は辞書に格納されている。だから「この頂点クラスは整数を3つ持っているだけだ」と思っていても、さらに辞書の280バイトを支払っている。__slots__を使う、という解決策を提案する人もいるかもしれないが次の項目も参照。 そもそもオブジェクトをたくさん作ってはいけない そもそも整数オブジェクトって何バイト？正解は値(long)が8バイト、に加えて型オブ…

…るってことだな)あるインスタンスがどのクラスであるか(__class__)や、そのインスタンスがどんなメンバを持っているか(__dict__)は、Pythonを学び始めの人にすぐ必要にはならないかなぁ。 __init__ 3058 __name__ 1729 __main__ 1191 __class__ 564 __dict__ 524 __repr__ 392 __getitem__ 378 __file__ 341 __all__ 299 __doc__ 255 __s…

…「例外の種類、例外のインスタンス、スタックトレース」の3つ組。要するに「例外が起きたかどうか、起きたならその詳しい情報」が渡されるということ。具体的に例外が起きたかどうかで「後片付け」の処理を変えている例はPEP 343 -- The "with" Statementにはジェネレータに対して使っていて、例外終了した場合にはジェネレータの中に例外を投げ込んでみて、ジェネレータがその例外を捕捉して処理するチャンスを作っている。Java7では例外はcatch節で捕まえる。つまり実装…

…, true); 今のansがsatisfiableならans.next()で次のインスタンスが得られる vis.getViewer()でGraphViewerが取れるから、そこからGraphViewer#alloySaveAsPNGで画像化できるのではないか コマンドラインから実行して全部の解を連番でXMLファイルに出力するツール、あっさり作れた。これが欲しかったんだよこれが。めでたしめでたし。 画像化に関しては、ウィンドウが開いちゃったりとか色々めんどくさいので保留した。

…0個以上のStateインスタンスを持っている。前回は「Stateインスタンスは全部StateManagerに属していて、とりあえずStateはちょうど3個ということにしてある」ってやったけど、話を簡潔にするために今回は割愛しよう。 one sig StateManager { state: set State } sig State {} run {} JS: うん、それでStateManagerはcurrent_stateを持ってるの。 僕: 1個だけ持ってるんだよね on…

…ックすると JS: インスタンスがShowするのね！ 僕: いや、インスタンスってカタカナで書くと何かJavaのclassをnewしたら出来るものっぽくない？ここは英語の元の意味で「事例」って訳したほうがいいのでは JS: なんでもいいっ！えいっ☆ 表示 JS: なんか出た！ 僕: そうだね「StateManagerがStateを持っている」という条件を満たしているような例が表示されるんだ。 JS: でもStateManagerが2つなんて常識的に考えておかしくない？ All…

…用されたApplyのインスタンスが複数存在しうるのか。じゃあこういう制約をつけよう。 fact { all x, y: Term | lone apply[x, y] }任意の項x, yについて、apply[x, y]は最大1個である。これで反例が見つからなくなった。 項の数が… Sの実装をしたのだが、スカラーの集合に対する量化子が展開されるってことを考えるとa, b, cのところがO(N^3)なんじゃないか疑惑。 pred equal_s (x, y: Term) { on…

… 10という書き方でインスタンスの個数を制約しているけど、今は実例探しだからあんまり問題になってないだけで反例探しだと10個までのスコープ全部の中から述語を満たすものを探すのでコストが高い。typescopeを使った方が良いようだ。run {} for exactly 3 Man, exactly 5 Woman 追記 lone sig X, Y, Z extends Base {} とかできるのか。 追記 enum Base {X, Y, Z}とかあるんだ。このライブラリで…

… 5」と書いてみたらインスタンスが見つからないと言われてしまった。runはforでいくつのインスタンスに対して実験するかを指定できるんだがそれのデフォルトの値ではCommitObjを5個以上、それぞれにTreeObj、BlobObj、とくっつけて大量になってしまうのかな。とりあえずTreeとBlobをコメントアウトして、runにforを指定するようにしてみた。 module nhiro/etude1 sig CommitObj { parent: one CommitObj …

…描いたあとでaxisインスタンスを取得して、描きたい楕円のインスタンスを作って適当な位置にtransformし、add_collectionしてからsavefigすれば出来上がり。ref. Working with transformations — Matplotlib v1.1.0 documentation def draw(): clf() scatter(data[:, 0], data[:, 1], alpha=0.5, marker="+") ax = gca(…

…t O::f()Oのインスタンスを1つだけにするにはA, Bがそれぞれvirtual継承する必要がある。virtualをつけるとO::fが呼ばれて0と表示される。じゃあAだけつけてみると… multi.cpp:13: error: an anonymous union cannot have function members multi.cpp:20: error: abstract declarator ‘<anonymous class>’ used as declara…

…るよなぁ。こういう書き方をしているとインスタンスの数だけメソッド定義の実体ができてしまう。 function Foo(){ } Foo.prototype = { x: function(){} } new Foo().x === new Foo().x //-> true こうするのかな？P.S. これだとprototypeにすでに値が入っていた場合消えてしまうのでprototype.x = function...の方がよいと id:TAKESAKOさんに教えてもらいました

…は「ユーザ定義型」「インスタンスを作成する道具」「実装の再利用の単位」という3つの役割がある。MIYAMOTO Daisuke: あぁ、インスタンスの生成器ね。西尾泰和(nishio.hirokazu): 「型」って役割だけ取り出したのがJavaのインターフェイスで、型の弱いスクリプト言語では「型」って役割がない分だけシンプル。Rubyはモジュールを「インスタンス作成」の機能がなくて「実装の再利用の単位」として扱うことで多重継承を分かりやすくしているMIYAMOTO Dais…

…することはできなくてインスタンス化もできないもの」だけは多重継承できる。Moduleが別のものを継承できないためメソッドの解決は素朴な探索でOK(include A include BしたらBでの実装が優先)SmalltalkにはTraitという実装の多重継承ができるしくみがある。同じシグネチャのメソッドを持っている2つのTraitを継承した際に、片方を隠して衝突を回避したり、名前を変更して両方呼べるようにしたりできる。 see: Traits: Composable Uni…

… と Vimeo にアップロードされていた。素晴らしい！何が素晴しいってちゃんと英語で説明が書いてある！欲をいえばズームインしてちゃんと各クラスの名前やメソッドの名前を見せればもっと説得力があったかも。Vimeo: http://vimeo.com/14294230スクリーンショットはこちら:セプキャンで取り組んだ課題：『Rubyの可視化』（クラス定義時、メソッド定義時、インスタンス生成時にリアルタイムで関係性を表示。表示部分は Built with Processing.）

…う概念を導入した。「インスタンスを作れず、クラスから継承もできない特殊なクラス」である「モジュール」をクラスに「混ぜ込む」構文を用意した。 Pythonは多重継承をサポートして、メソッドの解決順序の決定にC3-Linearizationっていう比較的自然な結果が得られやすいアルゴリズムを採用して、「まあ、多重継承を乱用すると悲惨なことが起こるってみんな知ってるでしょ、大人でしょ、これで普通は問題起きないでしょ」というスタンスである。*3 PerlはPythonと同じC3を併用…

Monster group - Wikipedia, the free encyclopedia Haskellには3要素のタプルから値を取り出す関数がないのか？という話 Haskellは16要素以上のタプルがShowのインスタンスではないので文字列化できない

… 」は「bがBarのインスタンスの *いずれか* である」という意味ではなく「Barのインスタンスである *任意の* bである」という意味になるので、具体的なBarのインスタンスABarを返してはいけない。なぜなら別のBarのインスタンスAnotherBarしかとらない関数にfoobarの返り値を渡すことが型推論上はvalidなのに、実行時に型が違ってエラーが起きてしまう。 class Foo a where foobar :: (Num b) => a -> b newty…

…ドの名前のスコープはインスタンス単位だ。でもHaskellの方はそうじゃない。トップレベルスコープの関数だ。もう一つ、Javaだとクラスやインスタンスの中でメソッドとかいう関数のようなものを定義すると、なんかオブジェクトがthisって名前に束縛されてから呼ばれるわけじゃない？an_obj.a_method(an_arg)って呼ぶとa_methodの中でthisっていう決め打ちの変数にアクセスすることでan_objにアクセスできる。Pythonの場合、an_obj.a_meth…

…riteをそういう使い方するのがそもそも正しいのかどうか謎だけど。すでにSpriteのインスタンスselfがある状態で [self initWithFile:@"v1.png"]; で表示されている画像を差し替えることができる。しかし、その時にpositionが(0, 0)にリセットされてしまう。 なので CGPoint pos = self.position; [self initWithFile:@"v1.png"]; self.position = pos; これでOK

バージョンを変えるとどういう挙動になるのか調べてて見つけたGoogle App Engine についてあなたが多分知らない10のこと． - hidemonの日記 App Engineは複数のバージョンのアプリケーションを同時に実行することを許している．すべてのバージョンは，データストアとmemcacheを共有するが，異なるインスタンス上で実行され，異なるURLを持つ． ほうほう。既存のアプリのデータを活かしてリプレースするのはこれを使えばいいんだな。便利便利。

…しているので、それ以前に Model 定義を import しておく必要があっただけの話だと思われます。サーバー側で現象が起きるケースと起きないケースとある件ですが、ログイン画面を通って、ログイン処理をした server instance 上ではそのプロセス内で main.models.User が import されています。このインスタンスが生きている間は大丈夫(エラーは起きない)で、このインスタンスがメモリから追い出されると、問題になっているエラーが出るというわけです。