No Such Blog or Diary

.forward にパイプでコマンド書いときゃ受信時にコマンドが実行されるんだっけ？　

あー，実行って誰がしてるんだ？　sendmail なのか？

ん？　/etc/aliases に書いときゃアカウントの実態がなくてもいいのか．

Delite の上のDSLの数が思ってたより多くて驚いた．分散バージョンがほしいね．

土砂降り．

トランポリン転がってった！

暗号化したままの計算は知ってたけど，秘密分散したままの計算とかも考えられてるのね．圧縮したまま計算とか暗号化したまま計算とか，○○したまま計算って「ダイアグラムがコミュートなんですよ」な世界なわけだな．

うーん……　ADP速くしましたなのか？　そして python が強い世界なのよと．……同じインデント駆動のシンタックスな Haskell が売れる基盤はできている？

そして並列は先が読めてしまう内容なので面白くなく……　発表時間が短いから突っ込んだ話もできず表面だけだど当たり前だよねになってるきがする．まあ，並列型の会議ではないし．

閑話休題．

停電明けのサーバ達が普通に動いてくれてて素晴らしい．ついでだからとアップデートをかけたら機能がうまく働かなくなったりもしたが……　時間がたったら直った．正常になってくれるのは良いのだけど原因不明なのはよろしくない．

そして新しいメールホスティングのシステムにはかゆいところに手が届く機能がついていることを発見．とりあえずテキトウに利用してみることにした．

文脈に依存しない参照透明なプログラムって扱いやすくてうれしいんだけど，参照透明な人間がいたとしたら意図が通じなくて残念だよね．

寒いコペンハーゲンにおいて会場が屋外より寒くて震えが……　泊まっているホテルは汗を書くほどに暑いのだけど，空調の入れ具合の感覚がよくわからない．

んで，気づいてなかったけど１件２０分発表とかいうスケジュールなのね．質疑も入れるとだいぶ短い気がするのだけど，最近の傾向なのでしかたがないのか．マルチトラックになるよかマシではあるけれど，論文採択しすぎじゃね？　そもそも今年は投稿件数少なかったんじゃ……　査読プロセスというか採録決定プロセスに新しい試みを入れたことの是非もよくわからんな．

SAT とか SMT とか直接使うと面倒だからプログラムの上で変数に存在量化子を付ける程度で言語システムがソルバを適宜ぶん回して結果を変数に入れてくれるとかいう仕組みは便利よね．というか，これらのソルバを存在量化子をプログラミング言語に入れることで簡単に利用できるようにしましょうというアイデアが頭いいなぁと思った今日この頃．

make だとうまく扱えない動的な依存関係（ソースコードを動的に生成するとかして依存関係が動的にできる）を簡単に使えるビルドシステム shake とかかっこいい．その他にも色々とプログラム開発の上で欲しい機能がついていると．うーん……　すごくいいツールだと思うんだが，言語が Haskell ってのが普及を妨げるような？　色々と高速化を頑張っていて，コンパイルとリンクって集中的に使う機能が CPU と I/O とに分かれているからインターリーブしてやって方が並列性が上がるよねとかは特に印象に残った．make が出来た頃とはけっこう計算機事情が異なってきているので，新しい効率的な「定番の」ビルドシステムってのも欲しいよね．つか，make って34歳とかなのか．

First International Workshop on Cross-model Language Design and Implementation とかいう初回なので良く分からないワークショップに invited talks 目当てで突っ込んでみた．

とりあえず DBPL とかの流れなのか．データベースというか巨大データというかに言語的な？　混沌としそうな勢い．

Invited talks は両方とも面白くこれらだけでも十分元がとれた気がする．半環だよねと文殊の知恵だよねと．

閑話休題．

身近にお財布盗まれた事件発生でコペンハーゲンもコエェなぁと思う今日この頃（空港の駅だったらしいけど）．数人の連携に狙われたらアウトだよねぇ……　とりあえず，お金持ってないように装っておけば狙われずにすむか？

閑話休題．

今日は日曜日だったのか．ホテルの朝飯の時間を間違えた．そしてスーパーに行ったら閉まってた罠．

閑話休題．

ホテルの部屋がコンパクトすぎて毎日どこかしらの出っ張りに頭をぶつけている．もうちょっと突飛な突起のない部屋の構造にならんものか？

３大がっかりのひとつらしいのだけど，何にがっかりすればいいのか分からないことにがっかりするくらい？　大事にされているのでとても綺麗だなぁという印象．そして足は結構普通の足なのね．

ぶっちゃけ観光客が多すぎることが一番残念？　バスが引っ切り無しにやって来てたし．観光客で賑わっていなければ人魚姫のがっかり具合が理解できたのかもしれない．

そして中国語の新聞を買えと声をかけられる罠．読めません．

閑話休題．

その他，よくわからないけれど近くにあった像たち．

中央駅付近のホテルから人魚像をちょっと過ぎたあたりまで行って返ってきて１０キロ程度の散策．スーパーも沢山発見．水２Lで8DKK（容器代3DKK含み）なので16円/DKKでも128円だからそんなに高くない（容器回収に出せば80円だし）．そして細いにんじんがひと袋250g（１２本くらい）入りで２袋15DKKとかでおやつにちょうどいい．