andante

「ゆかいな湯川ポテンシャル」略してゆゆぽです。こんにちは。

昨晩はバイトの社長に夕飯をおごってもらって飲んでおりました。流れが一年前の花見と酷似しており心配でしたがそれほどではありませんでした。帰ってからSにskypeをつないでもらって、酔っててなんだかよくわからないけど明日会いたい、とか言いました。そういうわけでSがきていました。

HOJをちょっとだけやりました。いまはお酒を飲んでいます。ペスキンも電車ですこし読みました。湯川ポテンシャル！

バイトにゆきました。帰りにお酒を買いました。つかれているのでよくわかりません。これからfour-foursのソースを綺麗にまとめて、それからペスキンを読んでねむります。

この半月ほど、一般化four-fours問題で遊んでいました。

・動機
機械的想像力が見たかったのです。人間を打ち倒す機械の強さを見たかったのです。それが動機です。

・やったこと
式の自動生成と計算、さらに出力
出力はかなり気を使っていて、演算子の優先順位や結合性に応じて正しく括弧をつけられるようにしているはずです。だいたいあってる。

・成果
ここにソースコードがあります。
https://ofni.necocen.info/works/programming/four_fours/four_fours.cpp
てきとうに読めば使い方はわかると思います。技術的な話はほとんど
https://yosei.fi/articles/5/27/#d20527
に尽くされているのでそれでいいでしょう。OpenMPのこととかは僕もよくわからず使っているのでなんとも言えません。
(2022年の追記：ミラーサイトがリンク切れになっていたので本家を発掘して貼りました)

もうすこし見やすい成果として出力をTeXで処理したPDFをいくつか並べておきます。
https://ofni.necocen.info/works/programming/four_fours/results/
・{4, 4, 4, 4}
https://ofni.necocen.info/works/programming/four_fours/results/4444_0-1000.pdf
とりあえずいちばん普通なfour-foursです(若干拡張しすぎた感はある)。
33,41,51,125,162,218,343あたりがおすすめ。人智を越えぎみ。
・{1, 2, 3, 4}
https://ofni.necocen.info/works/programming/four_fours/results/1234_0-1000.pdf
{4, 4, 4, 4}に比べると数も少ないしアクロバティクさにも欠けるかなーという感じ。
・{1, 2, 3, 4, 5}
https://ofni.necocen.info/works/programming/four_fours/results/12345_0-1000.pdf
ぱっと見た感じ277が意味わからない感じで好き(これほんとか？)。4!+5!=12^2なんですね。あと801なんかも頭がおかしい。
・{4, 4, 4, 4, 4}
https://ofni.necocen.info/works/programming/four_fours/results/44444_0-1000.pdf
four-foursの単純な拡大としてのfive-fours。433なんかが見た目派手ですね。
・{5, 5, 5, 5, 5}
https://ofni.necocen.info/works/programming/four_fours/results/55555_0-1000.pdf
拡大としてはむしろfive-fivesのほうが妥当ではないか的な。{4, 4, 4, 4, 4}に比べると実りの少ない条件でした。奇数なので使いどころに困るのかもしれません。そういえば1000でTeX出力にバグがあることがわかりますね(displaystyleばかり使うからこうなる)。
・{1, 2, 3, 4, 5, 6, 7, 8, 9}
https://ofni.necocen.info/works/programming/four_fours/results/123456789_0-1000.pdf
小町算の拡張。普通の小町算はどうも括弧の使用さえ認めないらしいのですが、それは現状の実装では実現は無理そうです。いや、加減算だけに限るなら括弧なしで書き直せるのか。じゃあできるか、など。これは乗算も認めてみて出てきたものです。1000とかは綺麗でわりと好き。

・結論
楽しかったです。僕はC++とか素人なので実装上のミスとかあれば教えてください。挙動不審になりながら感謝します。

バイトに行ったよ。

Firefox 4をインストールしました。必要なアドオンはそう多くなくて
・Firegestures
・AutoPagerize
・Tab Mix Plus
・Gmail Manager
・Tombloo
・text/plain
・(Firebug)
くらい。(Tomblooは正式公開版じゃないぽい？)

とりあえず快適です。Chromeと違って特殊ページでもマウスジェスチャ効くし。いろいろと好きだ。慣れの問題ではあると思うけど、こっちに慣れたわけで。YUKIだけでなくAZUSAにもインストールしないと。

帰省の日程は26--30ということになりそう。30の昼にこっちに戻っていられるといろいろ都合が良いのでそうなるのではないかな、とか。しかし旅費が。あと学割証を取らないと。めんどいな…

戻ったら戻ったでバイトの仕事の続きをやらないといけないわけで、まあそういう理由で独りでいられるならそれでいいか、とか。

明日はSとデイトです。遊びにゆくのはひさびさ？

浅草と東京タワーへゆきました。東京タワーは縮小営業中で、250mの特別展望台には入れませんでしたけど。浅草をうろうろするのは楽しかったです。

明日はバイトの前にお金を下ろさなくてはなりません。それと学割証をとらなくてはいけません。それとmacbookを借りて帰る手筈になる可能性があるので鞄を持っていった方がいいのかもしれません。

明日は帰省です。バイト先からmacbookを借りてきました。とりあえずsubversionに繋げそうなのでこれで開発ができます。別にそんなものなくてもいいのですが。明日は二台もパソコンを持って帰ることになるのです。また東京駅で職質食らわないといいんだけど。

そういうわけで今日はひさびさに大学へ行って学割証を発行してきたのですが、どうも学部の卒業式だったようで、それっぽいひとがたくさんいました。来年は僕も卒業するらしい。できるのかは謎である。卒業した先に行く場所があるのかはもっと謎である。こわい。

あと暇だったので「物性研究者のための場の量子論I」を買いました。高い。この厚さでこの値段と考えるとペスキンは割安だったのだな。でも日本語なのは便利だ。

今夜はあずにゃんの環境構築(まあこれは帰ってやれば良い気はする)です。新幹線の切符ってどうやって買うんだっけ。

無事関西に来ました。今夜はさすがになにもしません。明日は本を読んだりコードを書きます。

関西にいます。

昨晩は朝まで母と話していました。いちじくワインはおいしいです。

今日は昼にすこしコーディング。これからもすこしやります。夕飯はすきやきでした。

なんだか支離滅裂です。いろいろなことを思ったのですが、うまく言葉にするのもむつかしいなと思うのでやめにしました。

時間が無い

世界が愛でみたされればよい。

母と朝まで飲んで吐きました(一年ぶり二回目)。僕は何をやっているのだろうと思います。でもいろいろなことを話した。帰ってきてよかったと、すこし思う。

明日、東京へ発ちます。

そういう感じに昼までダウンしていました。夕方はすこしだけ元気になりました。美容院へゆき髪を切ってもらいました。ちょうどよい感じと思います。でも途中でどうでもいい話をされるのは勘弁してほしいなと思いました。

夜は明日のプレゼンの資料を作りました。二秒で読み終わる代物になりました。