線型論理で日本語を拡張する委員会

線型論理というものがあって、二種類のorみたいなものと二種類のandみたいなものがある。これを日本語の文の中で上手に使うことを考えると、たとえば、

  • 「コーヒーか紅茶がつきます」は「コーヒー&紅茶がつきます」
  • 「コーヒーか紅茶をつけます」は「コーヒー⊕紅茶をつけます」

このように、より精緻な表現が可能になる。あとは適切な読み仮名をつけるだけである。というようなことをPPL2010の飲み会でしていたら、翌日、もっとまじめな話かと思ってよく聞いてみたらとんでもない話でびっくりしたと言われた。

結合子の読み仮名が欲しい。あと、!や?をどう表すかという難問も残っている。

次回の決定不能の会(3/20)は、一般化コラッツ予想他

なのです。参加したい方はこちらで自己紹介してください。
http://groups.google.co.jp/group/undecidable/

ダカールに行きます

といっても、一週間で帰ってくると思う。LPAR-16から、acceptしますと言われました。わーいわーい論文ちゃんと直すぞー。とかなんとか言いながら、ひとつぶつかった行事を、無理を言ってキャンセルさせていただいた。ありがたい。

それにしても、LPARの論文募集の口上が、素晴らしい。まるで古今和歌集の仮名序のようだ。

Logic is a fundamental organizing principle in nearly all areas in Computer Science. It runs a multifaceted gamut from the foundational to the applied. At one extreme, it underlies computability and complexity theory and the formal semantics of programming languages. At the other, it drives billions of gates every day in the digital circuits of processors of all kinds. Logic is in itself a powerful programming paradigm but it is also the quintessential specification language for anything ranging from real-time critical systems to networked infrastructures. It is logical techniques that link implementation and specification through formal methods such as automated theorem proving and model checking. Logic is also the stuff of knowledge representation and artificial intelligence. Because of its ubiquity, logic has acquired a central role in Computer Science education. (from LPAR-16 Call for Papers)

それから、それなりの会議が開かれたことがないところに行ってやろうというモットーも、素晴らしい。

予定

3/3–5 こんぴらさま

3/8–12 金沢

3/15 カメラレディ締切

3/17 手続き

3/18, 19 京都

3/20 決定不能の会

3/21 異文化対抗卒論修論大会

3/24 式典

4/8–16 某講師

4/25–5/1 セネガル

自動筆記

そもそもなにが起こるかわからないのに、いろいろと皮算用をしたり打算をしたりするのはなぜなんだろう。きっと打算をしないと怖いというのもあるだろうし、なにが起こるかわからないといってもそれがたいしたことだと思おうとしたところで、たいしてなにが起こるかわからないというのはたいしたことないようにしか思えないのであろう。だいたいなにかが起こるかもわからないのがほんとうのところなのだろうけれども、そこまで思いつめてしまうと、怖いんだろうなぁ。あ、それから、なにかが起きるとしたところで、それは起きない人と起きる人がいて、それが起きる人はそれが起きる人としか会わないようになっているのかもしれないし。まぁ、この、起きる人と起きない人がいる話は、たいした話ではないような気がするな。ただの名前の付け替えだから。なにかが起こるかもわからない話は、けっこう怖いんじゃないか。

gitのbranchを、更新が新しい順に表示する

Gritらくちん。

例によって何が起きても知りません。

抱負refined

千年はもつようなくだらない仕事をしたい。

抱負

千年くらいはもつような仕事をしたいです。