西尾泰和のブログ

大井町と大手町とか青梅と青海とか紛らわしすぎる。

今日はお弁当を作る気があまり起きない。まぁいっか。

__ FreeMindはやっぱりマインドマップなんかじゃない。これじゃただの「きれいな箇条書き」です。

こういう通常の文章という1次元的なフォーマットがあり、箇条書き文書というツリー状のフォーマットがあり、そしてマインドマップという右脳を大いに使ったフォーマットがあって、3つそれぞれ特色が異なっているから価値があると思うのです。マインドマップも基本はツリー状に発展していきますが、ツリー状に制約されてしまうと自由な発想を妨げます。頭の中にツリー状に整理された状態でイメージがあるのなら箇条書きで十分なわけで、そうではないからマインドマップが重要なわけです。脳の中のネットワーク状のアイデアをネットワーク状のまま紙に書き出して全体を観察できるようにした上で、それを整理することで初めてツリー状になるんです。

絵を描いたり変なところから線を繋いだりできないマインドマップなんてマインドマップじゃない。

__ もうすぐ9時。 明日は研究室のミーティングのはずだったけどキャンセルになったので赤坂某所のSICP勉強会に行ってきます。かなり久しぶりな気がします。

__ 渡辺さんの日記より

おそらく１０年(早ければ５年)以内にローカルディスクというものは絶滅し、すべてどこかサーバ上のデータを扱うことになるだろうと思うわけだ。

HDDが1GBあたり31円のこの時代でも1GBあたり7000円のメモリは売れてますよね。10年後でもローカルディスクの方がネット接続より早いでしょうから絶滅はしないでしょう。「ベストエフォートで100Mbps」と言っている回線が、本当に100Mbps出るようになったらだいたいUSB1.1くらいの速度ですかね。その頃にはUSB1.1は絶滅しているかも知れません。

でもファイルをオンラインに置く流れはもうかなり強い物になってきているようです。今日聞いていたBootcamp: Reportによれば25GBのオンラインストレージが無料で使えたりするそうですし、以前はてなでバックアップの取り方をサーベイしたときも「Yahooブリーフケースを使う」とか「GMail宛にファイル添付で送る」とかのオンライン保存をしている人が結構多くて驚きました。

__ IBMには近藤科学、実売9万円のホビーロボット「KHR-2HV」があってみんなで側転させて遊んでるんだってさ(誇張)

__ K&Rがバフェットの1000分の1の価値であることに皆さん不満げな様子ですな(笑)

__ 朝日新聞のasahi.com： ウィニー開発者に懲役１年求刑　京都地裁。 とりあえず「『懲役１年』って執行猶予はつかないの？」とか「なんで最終弁論(9月)の前に『懲役1年』とかニュースになってるの？」とか悩んでたのですけど、 「『ウィニー開発者に懲役１年求刑　京都地裁』ってタイトルなのに中身は『検察側は(中略)懲役１年を求刑した。』じゃん！釣り？」という結論に。 求刑とかそういう法律用語には詳しくないのでこういうことをされると困るなぁ。

__ なんかささださんが面白そうなことをやっているのでPythonで似たようなことをしてみました。

# -*- coding: cp932 -*-
import re, sets, copy

data = """
  ONE
  TWO
+FOUR
-----
SEVEN
"""

chars = re.findall("\w", data) # 文字だけ取り出す
chars = list(sets.Set(chars)) # uniq代わり

class Array(list):
    def perm(self):
        done = []
        while self:
            e = self.pop()
            yield e, done + self
            done.append(e)

def foo(data, candi = range(10), i = 0):
    if candi == []:
        try:
            if eval(data.strip().replace("\n", "+")) == 0:
                print data
        except:
            pass
    else:
        for (value, rest) in Array(candi).perm():
            foo(data.replace(chars[i], str(value)), rest, i + 1)


from time import clock
start = clock()
chars.remove("E")
chars.remove("S")
data = data.replace("E", "0")
data = data.replace("S", "1")
foo(data, range(2, 10))
print clock() - start

#foo(data)

理論的にはfoo(data)だけで答えが出るはずなのだけども、時間がかかってしょうがないので枝刈りをせざるを得なくてchars.removeなんかをするハメに。でもこの枝刈りバージョンは6.3秒で答えが出ましたよ。枝刈り無しだとどれだけかかるんでしょうかねぇ。

それはさておきこのアルゴリズムのいやらしいところはpermutationとかそんな所じゃなくてもちろん

            if eval(data.strip().replace("\n", "+")) == 0:
                print data

なのです。筆算の横棒がハイフン5つでできているので正しい筆算、例えば

  940
  739
+8925
-----
10604

の時に、eval(data.strip().replace("\n", "+"))である「940+ 739++8925+-----+10604」は0になるわけです。いやはや。