はじめてのにき(2009-04-11)

2009-04-11

arc 入れてみたけどファイル読み込んで起動する方法がわからんとかひどいな。そしてぐぐるとみんな取説通りに REPL 起動してちょっとした計算とかしてわいわいきゃっきゃっしてるだけでこまる

(02:56)

なにこれ超ほしい。このためにはてなポイント買うのもアホらしいので適当に質問とか答えてみるとかかな…!

(03:04)

とくいなコンピュータというカテゴリで検索して一通り見たのに一問しか答えられるのがなかったのでかなしくなった。

でジャンルを特定せずに一覧を見たらカレーとかあって発作的に解答して、引き続きジャンル特定せずしばらく眺めてたら screen と hardcopy を紹介すれば良さそうなもの、 ImageMagick で composite を使えば良さそうなもの、をそれぞれ見つけて解答してみた。

100円相当の100ポイント稼ぐのに1時間30分とか時間の無駄だった…と言いたいところだけど、最後の3つは解答するために色々調べるのが普通に役にたった。 composite コマンドとか知らなかったし、 convert で簡単な絵が描けるのも知らなかった。

あと conjure とかいう言語まであるのね ImageMagick あなどりがたし。

(04:34)

逆に (式の長さ/変数の数) を maximize しながら SATISFIABLE にするとか、 (式の長さ/変数の数) を minimize しながら UNSATISFIABLE にするとかいうゲームはありえないものなのかな、ふと思った。

その値が 1.0 の時に UNSATISFIABLE にするのは明らかに無理で、まぁどっかに下限があるんだよな。てかそれが最後の段落の話か。なんかでも almost surely unsatisfiable ってどいう定義なんだろ

(14:10)

完結した。ぶっとんでるなぁ。

(14:14)

ふと思ったのだけど、 vimperator の y ってコピーするんだけど、これ yank なんだよな。でまぁ Emacs の yank はペーストであると。英語的なニュアンスはよくわかってないけど、

【他動】～をグイッと引っ張る、グイッと引っ張り抜く、引き出す

とかだと、まぁコピーペースト両方に違和感無い感じの意味っぽい。どっちかというとペーストは不自然な感じもあるけど。

というわけで vimperator から emacs にコピペする時は C&P じゃなくて Y&Y なんだなぁとか。

(16:21)

本日のツッコミ(全5件) [ツッコミを入れる]

_ oxy (2009-04-11 19:55)

もと論文見てないので嘘を言っているかもしれませんが、almost surelyは確率1-o(1)でという意味かと思います。o(1)は(O(1)じゃない)、ある変数nがあってnを大きくするといくらでも0に近づくという意味で使います。

_ kik (2009-04-11 21:06)

確率論専攻の漏れが通りますよ
almost surelyは確率1で成立するときに使います
例えば[0,1]上の一様分布する確率変数Xはほとんど確実にX!=0.5なのです。
でも、0.5になる場合も一応あるので、確実にX!=0.5とはいえないのです。

_ shinh (2009-04-12 04:16)

なにやらえらいひとが。ありがとうございますそいう定義なんですね。

_ Yugui (2009-04-12 10:25)

測度論でいうalmost everywhereと同じニュアンスなんですかねー?

_ kik (2009-04-14 19:08)

almost everywhereと全く同じです

本日のリンク元

全てリンクフリーです。コード片は自由に使用していただいて構いません。その他のものはGPL扱いであればあらゆる使用に関して文句は言いません。なにかあれば下記メールアドレスへ。