Onion開発日記

_ [その他]!=

今日は、解析学の授業があって、その中の証明問題で≠を書く必要のある箇所があったのだが、間違えてC言語などで使う演算子!=を書いてしまった。うーむ。プログラミング言語に毒されてるな…。

_ [その他]AC懇親会

今日は、AC懇親会があった。AC懇親会とは、その名の通り、AC入試で入った人ばかりで行う懇親会のことで、数年前から行われている。今年は、ゲームを行う企画などもあり、例年よりも気合いが入っていた。

結構楽しかったが、結局、自分はほとんどの時間、同じ学類のACと話していただけだったので、AC懇談会の趣旨からすると、微妙かもしれない。

_ [言語]Safe Structural Conformance for Java

最近、langsmithでstructural conformanceについて話題になっていたので、structural conformanceで検索していたら見つけた論文。1998年 に発表されたもののようだ。

内容は、Javaに型安全にstructural conformanceな型を追加するというもの。一度さっと読んだだけだが、構文の変更無しに、コンパイラの変更だけで対応できるらしい。

_ [プログラミング]名前推論?

Web日記を見ていたら、Deadman's Younger Days / 未来日記に、面白いことが書かれていた。

要は、型推論よりも、むしろ名前推論の方が欲しいんだっていう話なんだが、名前推論という方向はあまり考えたことが無かったので、新鮮に感じた。確かに、特にローカル変数の命名に困ることはしばしばあるなあ。自分の場合、意味のある名前をうまく考えられるなら、名前を考えること自体はそう苦痛ではないが、いい名前が思い浮かばないことも多い。そういう場合、aとかbという名前を付けるのもいやなので、型名と同じ名前のローカル変数を定義してしまい、なんとなく敗北した感じがしていた。

しかし、名前推論といっても、いったいどういう構文があればいいのだろう。とりあえずローカル変数名に関しては、クラス名にインスタンスを結びつけるための構文を提供すれば良いだろうか。下のような感じで。

bind JFrame("Frame");//JFrameのインスタンスを生成しつつ、JFrameという名前のローカル変数にインスタンスを結びつける構文
JFrame.setSize(800,600);
JFrame

しかし、これでは、とても推論とは呼べないなあ。しかも、型名が長い場合、書くのがすごく面倒くさくなりそうだ。

メソッド名を推論するのは、引数列にマッチするメソッドが１つしかないなら、対象となるインスタンスのメソッド候補を全部検索して、マッチしたメソッドが呼び出されるとすれば解決できそうな気はする。しかし、ある程度大きなクラスだと、同じ引数列を持つメソッドは結構高い確率で出現しそうだ。

JFrame frame = new JFrame("Frame");
/*
 * 引数列の型から、呼ぼうとしているメソッドを推論する構文
 * …なのだが、ここでは、
 * JFrameには、２つ、WindowListenerを引数に取るメソッドがあり
 * (addWindowListenerとremoveWindowListener)、どちらを
 * 呼ぼうとしているのかが判断できない
 */
frame infer(new WindowAdapter(){
  public void windowClosing(WindowEvent e){
    System.exit(0);
  }
});

メソッド名の一部を明示的に指定すれば、解決できそうではあるが、それもなんだかなあという気がする。

_ [ジョギング]5km

最近はあまり走っていなかったが、今日は、意外と楽に走ることができた。週１回とはいえ、水泳があるおかげだろうか。

_ [その他]OBミーティング

一昨年まで所属していた、学園祭実行委員会の広報宣伝局でのOBミーティングがあったので行って来た。ミーティングといっても、実際は、単にOBと後輩の顔合わせのようなもので、要は飯を食って楽しく話をしましょうということだ。

ミーティングの後は、後輩何人かと一緒に、ボーリングへ。ボーリングなんて、いったい何年ぶりだろうか。スコアは、１ゲーム目88、２ゲーム目99だった。やはり下手くそだな、自分。

さらにその後、後輩の家にお邪魔することに。当初、２時間くらいで帰るつもりでいたが、なんだかんだで、結局翌朝４時過ぎまで居座ってしまった。

_ [買い物]本棚

だいぶ前から、本が本棚に納まりきらなくなっていたので、新しい本棚を購入した。これでようやく、入りきらなくて積んである本を、収納することができるようになる。

_ [ジョギング]5km

_ [その他]ビビンバ牛丼

昼食を食べにすき屋に行ったら、ビビンバ牛丼というのがあったので、注文してみた。

味は、普通においしかったが、単なるビビンバでいいような気もする。

_ [プログラミング]XMLの代替構文

自分は、資料などを作るのにSmartDocを使っている。

SmartDocは、XMLベースのドキュメント生成ツールで、SmartDocのドキュメントをLaTeX2eやHTMLのドキュメントに変換できる上に、表が簡単に入力できたり、プログラムを簡単に埋め込めたりして、便利なのだが、いかんせんXMLベースのツールであるので、入力が非常に面倒くさい上に、見づらいことが多い。特に、箇条書きなどでリストを多用するときにその傾向が強い。というわけで、XMLウォッチ: XML用の代替構文を調査するに載っているXML用の代替構文を見てみたが、どれもドキュメントを書くのにはイマイチな感じがする。

PYX

行指向。閉じタグ名が必要など、XMLと同じくらいに冗長で、書くのが面倒そう。

SOX(Simple Outline XML)

インデントで要素のネストを表現する。比較的簡潔に書けるように見えるが、１行に１要素しか書けないのは、特定の文字をイタリックにしたいなどといったときに不便そう。

SLiP

Python風の構文(つまり、同じくインデントで要素のネストを表現する)。文字列を""で囲む必要があるのは、面倒そう。

SXML

S式。これも、テキストを""で囲む必要があるのが面倒そうだ。

上に載っているもの以外でも、XMLの代替構文はまだあるだろうと思うので、もうちょっと調査してみる必要があるかもしれないが、もしいいものが無ければ、いっそのこと、好みのXML代替構文を自分で作ってしまうのもいいかもしれない。というわけで、こんな構文が欲しいという要求を、いつか作るときに備えて、メモっておくことにする。

• 終了タグを書く必要が無い
• 要素の開始と終了は、{と}で表現する
• 基本的には、フリーフォーマット(インデントなどに縛られない)
• テキストは、特別な文字の場合を除いて、そのまま書ける(""などで囲む必要が無い
• 属性値も、空白が無い場合など、明らかにそうであるとわかる場合には、""で囲む必要が無い
• 要素が一行で収まる場合、より短く書けるような構文がある

_ [その他]本棚組み立て

今日は、先週購入した本棚を組み立てていた。基本的には、ドライバーとボンドだけで済む簡単な作業なのだが、途中で組み立て方を間違えたりして、予想外に時間がかかってしまった。結局、最終的に、組み立てが終わったのは、1時間以上も経過した後だった。我ながら実に不器用だ。

ともあれ、これでようやく、今まで本棚に収まりきらなかった本を収納できるようになった。

_ [ジョギング]5km

_ [Onion]コーディング

６月も残すところ約10日。なんとか、今月中にはOnionを再実装したのをリリースしたいところだが、さて、間に合うだろうか。まあ、必要なコーディング量自体はさほどでも無いのだが、コードに対してやけに神経質になって、すぐああでもないこうでもないと、コードを書き直してしまうのが問題だ。こんなことをしてるから、なかなかコーディングが進まないんだろうな。

しかも、その結果、とても美しいコードができるならまだ良いのだが、大して良くならないあたりがまた痛い。

_ [角ふじ]閉店

いつもよく食べに行っていた、天神角ふじが今日で閉店するというので、友人と食べに行ってきた。自分は、豚そば400gを注文したのだが、いつもより肉が多めに入っている気がした。

これで角ふじのつけ麺を食べることも当分無くなるのだと思うと、少し寂しい気がした。もちろん、天神角ふじ以外にも角ふじはるが、車が無い以上、そうしょっちゅうは、行くことは無いだろうなあ。

_ [その他]未踏ユース

日記には書いていなかったが、未踏ユースの１次審査に通過したので、 東京のIPAまで、プレゼンをしに行ってきた。

若干早めに家を出たためか、１時間近く早めについたので、他の開発者の方と話つつ、時間をつぶすが、プレゼンを無事に終えられるか、心配で仕方がない。

その後、予定時刻より若干遅れてプレゼンが始まった。最初は、すごく緊張したが、部屋の雰囲気が思ったより堅くなかったせいか、話しているうちに大分緊張はほぐれていたように思う。しかし、やはりプレゼンに対する不慣れもあって、満足の行くプレゼンができたとは思えなかった。それでも、研究室の先生に一度、見てもらって欠点を指摘してもらったおかげで、大分改善できたと思う。もし、１人で練習するだけだったら、実に悲惨な状態だっただろう。

プレゼン後、質疑応答があったが、これが非常に面白かった。なんというか、筑波大学のＡＣ入試を受けたときのような感じだった。以前、未踏ユースはＡＣ入試のようなものだと言っていた人がいて、そのときは懐疑的だったが、いざ受けてみると、当たっていると思える。質疑応答というよりも、雑談をしてるような気分になるのも、ＡＣと似ている。

プレゼンを終えた後は、非常に晴れ晴れとした気持ちだった。これもきっと、プレゼン後の質疑応答のおかげだ。もし、プレゼンだけで終わっていたら、非常にブルーな気持ちだっただろう。とにかく、受かるにせよ、落ちるにせよ、出して良かったと思う。

_ [授業]解析学１

今日は、期末テストだ。この科目は、必修なので、落とすと留年決定という非常にヤバイ状態だったが、なんとか単位が来るくらいにはできたのではないかと思う。

しかし、もし単位が来なかったら、いったいどうしたものだろう。まあ、実際問題、どうすることもできないだろうけど。

_ [Onion]延期

現在、Onionのコーディングを進めているのだが、今日中にはさすがに間に合わなそうだ。というわけで、次のαバージョンは、延期することにする。とりあえず、明日には動作するところまでもっていけそうなので、一通りの動作テストと、ドキュメントの書き直しの時間を考えると、7月10日には、出せると思う。

しかし、つくづく自己管理がなっていないと痛感する。Onionはまだ、実験段階の言語で、ぜんぜん使われている言語ではないので、予定より遅れたところで、迷惑を被る人はあまりいないとは思うが、自分で立てた予定も守れないのは、実に情けない限りだ。

原因は、おそらく自分の性格にあるのだろう。いつも基本的に自分は、

期限まで時間がある

ああだこうだと考えているだけ、あるいは、ちょっと気になるコードがあると、すぐに書き直してしまうため、作業があまり進まない

期限が迫る

仕方無いので、見切りをつけて作業を始める

というパターンなので、いくら予定を立てても、結局、直前にならないと作業があまり進行しないという事態に陥ってしまう。このままでは良くないとは思うのだが、なかなか改善することができない。どうしたものだろうか。

_ [Onion]コンパイル

今日になって、ようやくコードのコンパイルが可能になってきた。例えば、次のようなコードが書ける。

System::out.println("Hello, world");

重要なのは、特にクラス宣言などは書かれていないところ。コードを書き直す前の段階では、Javaのように、必ずクラス宣言の中にコードを書かなければならなかった。現在は、トップレベルに直接実行される文を書いた場合、メソッドにまとめることで、トップレベルの実行文をコンパイルできるようにした。

もちろん、Hello, worldだけでなく、ローカル変数なども使用できる。

//変数宣言不要
separator = System::getProperty("file.separator");
System::out.println(separator);