北陸新幹線はよ伸びねま。ということで雑に作った図ペタ 元にしたのはこれ (整備新幹線ルート図/県内ルート図:北陸新幹線) とグーグルアース。
ドワコンオープンに参加した。A問題を解いたが8分オーバーしたので0完。 A問題 加速したあとで割り切れない余りは今の速度で飛ぶしかない。 割り切れた分はさらなる高みを目指して速く飛ぶことを試みる。 …ということを逆から考えると要するにniko進数表記し…
効率が悪いことはこの際おいておこう。CPS plugin および類似システムのとの相性が悪いからである。 By-value ならT型のパラメータにT@cpsParam[A,B]型の式を渡せるが、by-nameの=>T型のパラメータにはT@cpsParam[A,B]型の式は渡せない。 互換性が破れている…
最近は台紙を入れ替えることで柄を変えられるタンブラーが存在しているらしい。 コドフェにインスパイアされてICPCに持って行ってみた。 こんなの↓ ポスターを切り貼りして作ったのとJAGアイコンの配色で適当に作ったもの。 扇型でかなりデザインが面倒だっ…
昔サイコロを振った結果 Firefox だったのでずっと Firefox を使っているのだが、最近画像が正常に表示されないことが増えた。その件について原因の調査と対処法をまとめる。
前回の続き
近年、Go言語を採用したプロダクト・企業も増えてきたという話を聞くので、ABC で使ってみた。 *1 入門書は読まず、詰まってからググる方針で。 なお、最終的にはこれを投げました。 Submission #415726 - AtCoder Beginner Contest 024 | AtCoder 目次 前編…
めも lazy は macro 展開前に部分的に desugar される。ここからいくらか実装を察することができる。 展開前 lazy val a = 10 展開後 { lazy <artifact> var a$lzy: Int = _; <stable> <accessor> lazy def a: Int = { a$lzy = 10; a$lzy }; () }</accessor></stable></artifact>
ごま塩のごまと塩が均等に出てくる原理の説明に怪しいものを見つけた。 塩が小さい粒のままではゴマと比べ小さく比重も大きいため、次第に塩が下に沈み振ってもゴマのみが出てくることになりやすいが、塩を顆粒状にすることでゴマと比重を同程度にし、均等に…
homebrew をなんとなく見てたら最近有名になりつつある ATS2 (ats2-postiats) があったので入れてみた。が、チュートリアルの通りに hello world をコンパイルしてみようとしたところ lib64 がないと言われた。なので以下のようにシンボリックリンク貼って解…
出てみた。 開始前 『正の点数をとれたら上級者です』とかいう不穏なメッセージを目撃する…。 A 20 点しかないのでやるだけかなーと思ったけど全然そんなことなかった。 DP なのはわかったけど、苦手な数え上げが2段になっていて絶望する…。 1問くらい解こう…
scalac は -optimise をつけるとより効率のよいバイトコードを吐きます。(安定性にちょっと不安があるけど…) ところで最適化オプションにはその他に -Yhoge 系のが 5 個あって、これと -optimise と両方つけるとより速くなるのかなんなのかググっても、マニ…
せーぞんほーこくー
昔,JAGオンサイト会場での仕事が本当に技術系しかなかった頃は大半のスタッフは作問にしか興味がなく,現地スタッフが極端に少ないということが続いた.一番ひどかったのは mixi さんに会場を借りたときで, mixi さんに申し訳なく思った.人数が少なすぎて…
2008 年の 5 月に適当につけたチーム名が受け継がれて、自分とは関係ないところで World Final で銀メダルを取るくらいにまで強くなったようです。 趣深い。 自分もいつまでも初心を忘れないようにしようと思います。 ちなみに系譜はこんな感じ wakaba の系…
そういう機会があったのでメモ。 nkf に通す 内部で jarticle や jsarticle を使っていたら ujarticle や [uplatex]jsarticle に書き換える 直書きされていたら JY1 -> JY2, JT1 -> JT2 と置き換える フォントエンコーディングが違うのでそこの周りを直せば…
Java 8 の Stream を試しててアレ?と思った話。
富士山
今期の新規乗車区間は辰野支線のみでした。 他に乗りつぶしたのは小湊鉄道・いすみ鉄道・しなの鉄道・わたらせ渓谷鐵道 *1 でした。 18切符で乗れない鉄道ばかり乗った気がします。 *1:当然ですが、三セク等は18切符で乗れません。別に切符を買いました。バ…
きたまさによると *1 P=NP らしいですし、未来のわたさんによると*2 G○○gle も P=NP であることを示し、多項式時間アルゴリズムを隠し持っているらしいです。 一方で、P/=NP でも実用上は多項式時間と同等となるような底のすごく小さい指数時間アルゴリズム…
最近同期とした話。 Haskell では任意の関数をバッククォート(`)で囲むことで中置の演算子にできる。例えば、 div 6 2 は、 6 `div` 2 のように書ける。 では、引数が3個以上あったらどうなるだろうか? 例えば、 foldr (+) 0 [1,2] はどのように書けるのだ…
回転する外食というと寿司くらいしかないが、他のものは回せないのだろうか。例えばマクドナルドとか。 回転寿司の特徴というと、 一品目が小さい メニューが多い 次々食べる といった、多品目・大量消費が中心で、個別の注文に答えると面倒だけど、適当なも…
まず、answer type modification のことは忘れてください。次に実行モデルを思い浮かべて monad を作りましょう。unit と bind が必要です。(3/12追記: monad 則にも注意しましょう)最後に reflect = λm. shift (λk. bind (m, k)) reify = reset . unit とい…
アブストとか書くと文字数を数えておいたほうがよくて、さらにいうと文書中に埋め込めれている方が嬉しい。ということでメモ。 文字数を数えるLaTeXマクロ | Sukarabe's Easy Livingを参考にした。 \makeatletter \def\WordCount#1{% \@tempcnta\z@ \@tfor \…
某所で作ったクリームシチューの作り方覚え書き えのき、ぶなしめじ、舞茸、ホワイトマッシュルームを適当に切って鍋に放り込む。サラダ油を注いでシャッフルして適当に加熱。 十分加熱すると鍋に隙間が空くので鶏もも肉と冷凍牛肉のぶつ切りを鍋に放り込ん…
Q: 競プロでは汎用アルゴリズムで満足して問題特有の性質に基づいて平均性能を向上させたアルゴリズムは使わないのですか? A: 使います。ただし、そういう問題があれば。 競プロでのアルゴリズムの選択基準は、主に実装量と最悪計算量です。平均計算量を下…
diff/patch ってリファクタリングとかで行を入れ替えたり、コピペしたりすると追跡できなくなりますよね。それに対応するツールってないのでしょうか。 Comparison of file comparison tools - Wikipedia, the free encyclopedia を見ると一応検出用ツールは…
最近非常に眠いです。 デスマダメ。ぜったい
Skype でチャット中に人が抜けたタイミングで急に繋がらなくなってしまうことがあった。送信しようとしても保留中と出てしまい、受信も全くできない。 調べてみると、P2Pネットワークを再構築するのがあまりうまくないような雰囲気で、遅延となってよく現れ…
自分が面倒を見ていた(と形式上なっている)ICPCのチームは国内予選2位でした。 おめでとう! しかし、 0perasan をいかに打倒するか。 それが課題である。 地区でも 0perasan に不利な問題が出るとは思えない。。