Onion開発日記

_ [その他]元旦

あけましておめでとうございます。今年もよろしくお願いします。

…既に1/6まで日記を書いてるので、今更ではあるが。

_ [Java][パーザジェネレータ]VisualLangLab

GUIで構文定義を作成することができるパーザジェネレータ。ちょっとだけ使ってみたが、いろいろ便利な機能はあるものの、基本的にほぼ全ての操作をマウスで行うように作られているため、キーボードで構文定義を書くのに 慣れきっている自分にとっては使いにくいように感じた。

_ [プログラミング][言語]Typing with Initial Value（初期値による型付け）

プログラマー日記より

「Typing with Initial Value（初期値による型付け）」という名前でどうでせう？

意味を考えると、そんな感じで問題ないのではないかと思います。自分も、型とかの話に関してはあまり詳しく無いので、自信はありませんが。ちなみに、C# 3.0ではこの機能はImplicitly typed local variablesと呼ばれているようです。日本語に訳すと、暗黙に型付けされたローカル変数といったところでしょうか。

それはそうと、「var1 = null;」なんていう初期化だと初期値だけでは型を決定することはできませんね。

言語仕様としては、nullが最初に代入された場合、Object型とすることで解決できます(Onionではそうしてます)。もちろん、そのような場合、実用的には型指定ができる必要がありますが。

そのあとの代入される値までみて決定するか、またはローカル変数の型指定ができるようにしておく必要があります。

前者については考えたことがあるのですが、人間が推論するための規則が複雑になるので、あまり好ましくないと思います。例えば、

x = null;
if ... {
  x = new ArrayList;//xはArrayList型？
} else {
  x = new LinkedList;//xはLinkedList型？
}

とすると、xは何型になるのか、とか。この場合、ArrayListとLinkedListのスーパータイプをたどって、共通の祖先の型とするといった方法は考えられますが、そうすると、型エラーになったときのエラーメッセージが難解になりそうな気がします。

_ [その他]帰筑

朝8時過ぎの新幹線で帰ってきた。疲れた。

_ [その他]フィルター掃除

ここ最近、自宅のエアコンがあまり効いていなかったので、ひょっとしてフィルターにゴミがたまっているせいかと思い、フィルターを掃除してみた。すると、今までが嘘のように効き始めた。これで、夜でも快適に作業ができる。よかった、よかった。

_ [その他]スラッシュドット ジャパン | ソフトバンクが大学設立へ

タイトルの件そのものには大して興味が無いのだが、

何でも持ち込み可のフランス語の試験で，フランス人を持ち込んだ人を知っています． それで単位が来たんだから，教官も天晴れだよなぁ．

というコメントには笑った。大胆だなあ。

_ [Groovy]Site built with Groovy

こんな毎日・・・ Script_on_Java経由。GroovyとWebMacroを使って作られたサイトらしい。Groovyで作られたせいでは無いと思うが(たぶん、画像使いまくりなため)、結構重い。

_ [言語]プログラミング言語SRU

IKeJIの作ったプログラミング言語。Smalltalk風味のセマンティクスとRuby風味の構文が特徴。

_ [その他]プログラミングシンポジウム１日目

今日からプログラミングシンポジウム。つくばエクスプレス、JR、バスと乗り継いで会場の箱根ホテル小湧園へ。

前日に徹夜したせいで、すごく眠かった。なんとか他の人の発表中に寝てしまうような事態にはならなかったが、やはり、徹夜なんてそうそうするもんじゃないな。

_ [その他]雪

朝、起きてみたらすごい雪だ。1/10も、朝方薄く雪が積もっていたが、今回は別格だ。今日からセンター入試だが、受験生は大変だろうなあ。

大学構内の景色1	大学構内の景色2

_ [その他]凍結

１日経って、雪は大分とけたが、その代わりにあちこちの路面が凍結していて、非常に危ない。近くの本屋に自転車で行くのも一苦労だ。

_ [その他]Ultimate Utopia XXIII

今日、友達に教えてもらったネタ動画。なんと、リアルFF(ファイナルファンタジー)をやっている。よくもまあ、ここまで凝れるものだ。

_ [その他]平成17年度上期未踏ソフトウェア創造事業 千葉PM 成果報告会

ささださんの日記より。行きたい…けど、この日は未踏ユースの成果報告会と重なっているんだよなあorz

_ [Java][Webアプリケーション]Echo2

報國挺身日記経由。 JavaでGUIプログラムっぽいものを書けば、それが(Ajaxを使った)Webアプリケーションになるというフレームワークらしい。面白そう。卒論が出来たら、一度触ってみたいところだ。

_ [Onion]検索キーワード

なんか最近、「Onion みずしま」とか「Onion 言語」の検索で来てくれる人が増えている。しかし、ここ最近開発が進められていないので、なんだかみじめな気分になる。卒論と未踏ユースが終わって、3月になったら開発を再開しよう。

_ [卒論]締め切り間近

いよいよ卒論の締め切りが近づいてきた。徹夜してでも、今晩中になんとか論文を書き上げてしまわなければ。