https://twitter.com/kinaba のログ (twilog の方が便利です。)
最近だいぶスライドゴルフに慣れてきた。よい傾向 | |
TLに流れているポストの、中身を見ずとも文字数の分布を観測するだけで大規模な実況ムードになってることとその終わりが検知できそうな気がするな。 | |
PLDIの論文読む会から帰宅。発表資料:http://www.kmonos.net/pub/Presen/PLDIr13.pdf 。Javaを拡張して型情報を有効活用したマクロを書けるようにした言語についてと、リレーショナルDBっぽいデータと演算を言語組み込みで入れたJava拡張 | |
水島さんに、みんなもっと自分の研究の話とかブログに書くと良いですよねーと振られたので、いや、全くその通りです。しかしこう、いつも直近で現在進行形の研究は論文に書き下しているうちに自分ではものすごくトリビアルで詰まらないように思えてくる病が発生して紹介する気が消える問題をどうするか | |
なんか卒論とか修論のは1周して他人ごとみたいな気分になっているので普通に自分で読んでて面白かったりする | |
そしてさっきまでのtweetの流れと全く関係なく日記書いた。 http://www.kmonos.net/wlog/110.html#_2154100630 #icfp のプログラミングコンテストのネタバラし論文読んだよ日記でございます | |
あれ、なんか例がおかしいぞ | |
酔っ払い状態で書くとダメすぎる。誰かICFPCの時のソルバを動かしてupperpipeが[0][1]でlower pipeが[1][0]のMain Chamberひとつの車向けの燃料を探すんだ。 | |
見つからないwww行列メソッドだめじゃん! | |
@chunjp それに日記のサンプルを変えようと思うので。燃料教えて下さるとありがたいです。mayah.ml も解いてくれたんだけど成分でかい… | |
@chunjp あ、ありがとうございます。最小ケースを求めるのは読者への宿題としよう。そうしよう。 | |
@chunjp おお綺麗だ。ありがとうございます。採用させて頂きました。 | |
@chunjp だと思います>単なる停止判定だと知ってる人が有利すぎる。勝手な想像ですけど、今回の行列メソッド限定の設定くらいなら、主催者の持ってるソルバよりトップチームが3日で作ったソルバが全然上回れると想定して出してたくらいじゃないかなーと | |
@mametter げ。ほんとだ。なるほどなー>解がない例 | |
@2sure781 それだとaが単位行列なのでab=baになっちゃって、増えてはないですけど減ってもいない感じになっちゃいませんでしょうか | |
あとそもそも、一般の書き換え規則に対する停止性問題だと、「証拠」をどういう形式で出すのかが難しいというのがあるな。停止するしないのyes/noを送るだけじゃ両方submitしたら全員正解しちゃうのでなんも問題にならないし。 | |
あとちなみに、main/aux chamber の区別は、「定期的に使わなきゃいけないと決まってる書き換え規則」と「永遠に使わなくてもいいけど使ってもいい書き換え規則」があるような場合の停止性を判定したいことがあるらしくて、その場合には前者を>、後者を≧にして解があればOKだとか | |
個人的には、AB>BC & CA>ABA みたいな掛け算と順序関係だけからなる式を見ても一瞬たりともrewritingがまったく連想されなかったのは、それでも形式文法の研究者かお前は、とそういう反省がなきにしもあらず | |
@shinh 自分では未だに、仕事してる研究テーマが自分の専門という意識がないのですよね(それもどうかとは思いますが)、自虐ネタにはしますけど。むしろ C++ とか Boost とかで間違うと恥ずかしいという気分の方が割とあるので、そっちと比べればさほど気にならないかなーとか。 | |
@2sure781 あ、それだと良さそうです。ICFPCの問題は「一行目の成分は真に減らなきゃいけない」という追加制約があったので引っかかりますね。この条件は書き換え系の話で言うと、ええと、どうなるのだったかな…… |