![[RSS]](images/rdf.png){kind=small}
[LIRS]Access Counter: Overall 299173 / Yesterday 198 / Today 40
| 前 | 2005年 12月 |
次 | ||||
| 日 | 月 | 火 | 水 | 木 | 金 | 土 |
| 1 | 2 | 3 | ||||
| 4 | 5 | 6 | 7 | 8 | 9 | 10 |
| 11 | 12 | 13 | 14 | 15 | 16 | 17 |
| 18 | 19 | 20 | 21 | 22 | 23 | 24 |
| 25 | 26 | 27 | 28 | 29 | 30 | 31 |
ToDo:
Categories | C++ | Coq | Haskell | ICPC | PC | TV | sendmail | spam | お知らせ | その他 | アルバム | サーバ管理 | セキュリティ | ニュース | メモ | 学校 | 技術 | 仕事 | 趣味 | 食 | 日記 | 某方面 | 本 | 網 | 旅
夕食食べて家まで歩いて帰って、しばらくしたらなんか突然腹部全体に激痛が。あまりの痛さにのた打ち回ってました。呼吸するのがやっとで、立ち上がって歩いたりしようもんなら身体がくの字に折れるわ足に力入らないわで大変でした。
吐き気するし、寒気もするし。しばらくして一旦は落ち着いたんですが、また今度は右下腹部が痛み出して転げまわる。熱測ってみたらちゃっかり微熱があったので、これは下手すると虫垂炎か…と思って、念のため近所の病院の夜間外来に駆け込んできました。
○ 以前にもこんなことあったなーとか思いつつ順番待っているうちにだんだん落ち着いてきます。前回もこんな感じだったな。
やはり右下腹部痛ということで虫垂炎を疑われたようで、えらい念入りに調べられましたが、どうも腹筋がつってるだけのような感じらしく、現在の所見では内臓系ではなさそうとのこと。
しかし消化器系の症状が出てきたらまた来てね、ということでした。頓服もらってきたので早速飲んでおきました。
○ この時期に入院したりしてらんないねー。
○ しかし結局は方向性としては「設計・実装しました」を売りにする論文だし、ということは実装ができないとかけなかったりする罠。しかもいろいろ考えてたら、実装がものすごくややこしくなりそうな気配。
あーうー、単純な解決策は一応あるんだけどさー、それじゃおもしろくないよねって話もあるしなー。どうしましょ。
朝起きたらまた痛みがぶり返していた。というか痛くて起きた。
やっぱり腹筋がなんか片側だけ張ってるような気がします。痛み止めをもう一度飲んで、今はおちついたところ。布団に臥せってます。
○ 学校いかなならんのだけどなー。
ちょっと落ち着いたので学校いこうかな、とバスに乗ったらバスの中でまた山場が訪れてしまい。結局研究室になんとかたどり着いてそのままソファーに倒れこんでうなってました。
学校近所の胃腸科を紹介してもらって、連れて行ってもらってきたところ。どうもガスがたまってるらしいのでいろいろお薬が出ましたですよ。
何時の間にかメジャーバージョンあがってるー。
説明って難しいなあ(自分の仕事、他人の仕事に関わらず)。ということは、すなわち説明ができるほど理解がちゃんとしてないということでもあるのでしょう。
そう考えると凹むなあ。余計焦燥感が増すだけだし。
○ しかも CPU をほとんどバックグラウンドで走ってる自分の研究にとられてるもんだから、論文の内容が全然頭に入ってきませんがな。入り口で拒否られてるかも。
関係のない内容ではないんだけれど、私とは方向性違うからねえ…。
ともかく今は頭の中が雑然としすぎてて、なんかまとまらない。ブレインストーミングでもしてみるかねえ。
水曜の POPL ミーティングでの発表スライドばかり作ってると気が滅入るので、来週火曜の全体ミーティング用の発表スライドも並行して作成開始しました。こっちは書くことがありすぎて(細かい話ばっかやけどな)、どうまとめたものか困る。
○ Dependent Type とかちゃんとやったのは今回がはじめてだったりする。Metalogical framework とかもちょこっとかじっただけだったから、なかなかイメージをつかむまでが大変だった。
なんとなくイメージができてきたので、あとはまとめて書くだけかなあ。
○ そういえば先日テスト・ザ・ネイションとかいう番組やってましたね。あれのテストやってみたら、入力は右脳型(直感型)・出力は左脳型(理論型)という結果が出た。
入力に関してはとっても当たってると思う。大雑把にイメージをつかむのがどっちかといえば得意だし。出力はどうなんでしょうね。論理的に話してると思います？ >みなさま
これでモノ志向(【反】ヒト志向)すると、研究者向きのパターンなんだってさ。ほんまかいな。でも、自分を省みてみたところ、研究者向きと果たしていえるんだろうかしら、と自信をなくしかけていたところでいわれたので、ちょっと報われたかもしんない。
すこしずつまとまってきた感じがするけど、ほんとにこれで説明足りてるんだろーかというのが心配になってくる。ていうか理解も足りてるのかどうなのか。
発表は明日。まあサーベイなんですが。
○ 本命は来週、こっちは自分の進捗報告。
いつもスライド 1 枚 40 秒くらいで話す習慣ができてしまってるので、そこから逆算すると、スライドが 40 枚とかあっても 30 分くらいで終わってしまいそうな気がしてくるわけで。
でもやたらめったらスライド増やしまくって発表するのもどうかと思う。聞いてる人おいてけぼりの気配だし。
○ しかし当日になるとなんだかこれでいいや的な感情の方に傾き始めるので、手直しはしてもスライドが増えるということはあまりない。
逆に前日くらいまでは、形にしなきゃという気持ちと、完璧を求める気持ちが優先されているので、どんどんスライドを増やそうという気持ちにはなるんですけどねー。構成が難しいとかで、増える速度は往々にして鈍いけれど。
Hugs の earlier snapshot をインストールしたのだけれど、コマンドライン版はともかく、GUI 版(WinHugs) が実行結果を表示してくれません。
Nov2003-patched のソースをダウンロードして試してみたけどかわらず。前は表示されてたので、どっかでバグいれたな。
○ そもそも putStr で出力した文字列が見えないので、ここからしておかしい。コードおっかけてったら、どうも stdout に出してしまってるようだ。
putStr がどう出力するのかを追っかけていくと、C のコードとしては primPutStr(iomonad.c) → hPutChar(iomonad.c) → fputc/fwrite と流れてしまっている。これでは Windows GUI のほうに回るわけがない。
やっぱ、誰も GUI 使ってないんだろうか。うーん、わりとまともにできてると思うんだけどな、WinHugs って。
○ CVS のログをたどっていったら、以前は putchar で出していたことがわかる。WinText.h 内で Windows GUI の出力関数にマクロが定義されており、それによって出力を行っていたわけである。(このマクロ定義は今も残っている。)
で、iomonad.c の CVS ログを検査したところ、Rev 1.65 (2003/11/14) まではそうなっているが、Rev 1.66 (2003/12/2) で FPutChar を使うようになった。これは char.h で定義されているマクロで、fputc_mb(char.c) を使うように展開される。この中では fwrite を使っているので、当然 Windows GUI には出力されない、と。
どうも、入出力の Unicode 対応を行った関係でこの変更が発生したらしいです。
○ 応急処置としては、winhugs/Wintext.h に fputc(c, s) に対してもマクロ定義すること。(デフォルトではコメントアウトされている。)
ただし、CHAR_ENCODINGS がシンボル定義されている場合、ファイルハンドルがバイナリモードでない時には fputc ではなく fwrite が用いられてしまうので、こちらも変えないとよろしくないかもしれない。
奨学金関連。返還誓約書にサインしてもらって、保証人見繕ってもらって…とやって、いざ提出できるかと思ったら、保証人がぜんぜん血縁関係のない人だったとかいう罠が。
提出する書類が増えました。
○ いやー、書類を実家に郵送する際にちゃんと書き方の書類コピーして同梱したり、電話受けたときに「原則的に 4 親等以内の親族だからね〜」とか念を押したりしたのはいったいなんだったんでしょう…。＿|￣|○
とりあえず MinGW 環境で runhugs ができてくるところまではすんなり行ったのだけれど、System.Dictionary が Foreign を要求していてエラーになるし、それいれると今度は DLL 探しに行ってしまってエラー。
むずかしいねえ…。
○ あと、#!/bin/sh とかいいながら bash バリバリのスクリプト書くのはいかがなものか。 >libraries/tools/make-bootlib
夜になっても眠れない。眠いっぽくはあるんだけれど、電気を消して床についても、どうも眠りにつけません。主に研究が気になっていることが要因と思われます。
私は徹夜できない人なので(全身がだるーくなります。後でその分寝ないとダメ)、なるべく寝ようとは試みるんですが、薬飲まないとどうもね。
ちょっと依存傾向かな。
○ 寝ても、なんだか頭の中は起きてるらしくて、よく眠れてないような気がします。
それで結局夢ばっかり見ているような気がします。どんな夢かはほとんど覚えてないけど、「なんか夢を見た」ということは覚えています。
だいたい 9 時間くらい寝てしまうので、ちょっと多めです。寒い所為で起きられないだけか？
今日はお休み。誰が何と言おうとお休み。
仕事する日としない日と、区別つけないと生活にメリハリがなくてモチベーションが維持できない気がする。だから、とりあえず今日はお休み。明日は仕事。
しかしその反面、ノルマを明確に定義しないと結局なし崩し的に仕事せぬまま終わってしまう危険性もあるねえ。
○ とりあえず、火曜日のスライドは 7 割がたできているつもりになってみる。
前回の進捗発表のスライドはほとんど流用なしです。新規作成しまくり。
方針がガラッと(というほどでもないか)変わった感じなので、そこのところを中心に説明するようにと考えて、だいたい 25〜30 枚弱が目安かなー。
普段なら 1 枚 40 秒だから、30 枚だと 20 分くらいで終わってしまうのだけれど(…あれ、これって実はわりと妥当か？)、たぶん言葉による説明をゆっくりすることを考えて、これくらいにしておくのが無難かもと思ってます。
前回、夏休みのときは枝葉の部分に入りすぎたなあと反省してるので。定式化とかは、appendix としてつけるのはありだけど、説明なんかしなくてもいいですね。おおよその概念というか方針の部分がわかってもらえれば。*1
○ 図をもうちと入れるといいかなあ、と思うんですけど、わかりやすい図の描き方がまだわかってないかも。うーん。
*1 ちなみに、夏休みに研究室内で進捗発表したときは、たしか定式化とかをいちいち説明してたので、スライドが 50 枚とかあったんですな。そこを駆け足で一通り説明してしまったのだけれど、これは時間稼ぎくらいの意味しか為さないよね、考えてみると。
PAM の設定ファイルに対して追加を忘れずに。それから、/etc/nsswitch.conf を書き換えるのを忘れずに。
daemon は再起動するまで変更が反映されないので注意。
アナウンスが流れてますが、今週末をめどに、FreeBSD-users-jp または FreeBSD-users-jp-digest に登録されているアドレスからのみ投稿を受け付けるような形になるようです。
そりゃあこれだけ spam きてますからねえ。アーカイブ見るとすごい悲惨な状況ですよ。ハムが 10% あればいいほう。
○ これまでは、個人で防げという議論におちついてしまってポリシー変更はなされなかったのですが、まあ今回の選択は英断だと思いますよ、個人的には。
たとえば Web で見るから受け取りたくない、だから登録してないんだよ、というのであれば、メンバーではあるけれど配送しないような設定ってできないんでしょうかねえ。(majordomo はよく知らない。fml はできる。)
家計簿の WebApp (自作)を使っているのだけれど、今日入力してみようと思ったら、なぜか時刻表示が GMT になってしまっていた。DB のデータは JST で入っているようなので、入力すると 9 時間上乗せされて表示される。
簡単なテストプログラムを書いてみると、たしかに java.util.Calendar のデフォルトタイムゾーンが GMT になっている。
○ とりあえず、sysinstall でタイムゾーンを選択しなおしたら直りました。
どうも、こないだ make world したせいで、タイムゾーン情報(/etc/localtime)のファイル形式がちょっと変わっていたのに、古い形式のままになっていた所為らしい。
比較の部分の意味論が実はいい加減な件。
異なる型(int 対 pointer)の比較は全部エラーにしてしまうという手はあるが、ここは本来 polymorphic にしたいという要求があるはずなので(NULL と比較することを考えてみよう)、単純にエラーにするだけでは表現範囲が狭まってしまう可能性がある。
などと考えながら歩いてました。
○ pointer は一つの int に最終的にマップされるので、比較が必ず成立しないとも必ず成立するとも言い切れないあいまいな状態にある。
型に関するマッチングを導入すればいいかもしれないが、これは果たして得策なのかどうなのかわからん。とりあえず後回し。
○ それと並行して、来週 22 日提出のアブストを書き始めました。
中間発表のときに一回出したのはあるんですが、それからの差分も考えると、具体的な方向性が固定化されたという面があるので、それを表すように書き換える必要がありそう。というか、書き直してます。
タイトルも、実際ちょっと変えたほうがいいんだろうか？ ていうか変えてもいいものだろうか？ アブスト見てもらうときに聞いてみよっと。
○ その後、飲み会＠たん清。
米国産牛肉輸入禁止のあおりを食らって、タンが品薄になって一時期かなり値を上げてましたけど、最近すこし安定してきたみたいですね。上タン塩が \3,000→\2,000 になったよ、と貼り紙がしてありました。
隣の団体さんとなんか界面で営業活動してたりしてる様が見えました。
○ 論文提出まであと 46 日と出た。とりあえずモノが完成しないとなんともはやなので、作りましょ作りましょ。時間が惜しい。
文面というか構成も考えていったほうがいいなあ。実装系論文になる予定なので、Appendix が長大になる予感がしますが。
いつもなら、数度目が覚めてそのたびに眠いのと寒いのとで寝なおすのだけれど、今日は中断せず午後まで爆睡してました。
動き出すまでにさらに 1 時間ほどを要して、結局学校いったの 16 時ごろだったんじゃなかろうか。
とりあえずコーディングを進めてみたつもり。しかし、構文解析器でちょっとはまっていた。
下のように文法を書いて、parseTerm をやったら EOF しか受け付けてくれなくて困りました。ちなみに ¬＜＞＜∪∪ です。
$abstract Literal {}
literal = Literal_Int
;
Literal_Int -> Literal { integer:INTEGER }
$parsable Term {}
term = Term_Literal
| Term_Compound0
| Term_Compound
;
Term_Literal -> Term { constValue:literal }
Term_Compound0 -> Term { termId:ATOM ("(" ")")? }
Term_Compound -> Term { termId:ATOM "(" subterm:terms ")" }
terms = term ("," term)*
;○ 解析エンジンは $parsable のついた型定義について、解析器を提供してくれる。よく考えてみると、Term の中身は空なので、そりゃ空にしかなりませんな。
小文字の term はエリアス定義であって、Term と別に対応しているわけではないので、無視されるらしい。正しく動かすためには一個上にコンテナを作ってあげて、たとえば次のようにしなければだめ。
$abstract Literal {}
...
$abstract Term {}
term = Term_Literal
...
terms = term ("," term)*
;
$parsable SingleTerm { term:term }○ こうすると、SingleTerm は term の case 定義すべてのスーパーインターフェイスである Term 型のメソッド term() を持つことになって、正しく term の内容が解析されます。
あと、terms に相当するところ(つまり Term_Compound#subterms()List 型になります。このリストの中身は、term のところが Term インターフェイスとなるのは当然として、"," の部分が Token (Lexical Analyzer のトークンを表すオブジェクト)として入ってくるので、注意が必要。
今日はなんでも後飲み会、ということだったのだけど、明日も飲み会あるし、さすがに 3 連荘はキツいだろうということでパスさせていただきました。また誘ってね。
で、その代わりといってはなんだけど、ちょっと夕食を豪華に食べて、家に帰って。あー、それから何してたっけ…。
○ なんだか不安で不安で眠くならないので、薬を飲んで効いてくるのを待ってます。
ほんとに修論ちゃんと仕上げられるんだろうか。アブスト書けるんだろうか。まずは今週末にアブストを仕上げて、見てもらう人に送るのが自分への課題。
それが終わったら、Introduction にとりかかりましょう。あと、それと並行して、インターフェイスの気に入らない部分を直す。システムの名称を考えて、決定する。あとはひたすら実装、実装、実装。
○ あー、もうすぐ夜が明けそう…。
渋谷の OUTBACK にて。
オードブルがやたら油っこいぞー。フライドオニオンとフライドチキンとフライドポテト。あとはサラダとか、ローストビーフとか。〆は持ち込みのケーキで。
忘年会シーズンらしく、渋谷センター街はいつもに増して混んでたようです。二次会では、とりあえずパセラいってみたら 1 時間待ちとか言われて断念したり。(結局カラ館に収まったのですが。)
○ それにしても寒い。
中間発表で使ったアブストを使いまわすのがなんか気が引ける気がしてならないのだけれど、でもあれはあれでかなりまとまってると思うので、やっぱり方向性が同じである以上使いまわした方がいいんだろうなあとか思ったりしています。
ちょっと最後の段落で書くことが変わるので、そのへんのつながりを考えつつ微妙に変えて使う必要があるかもしれない。
○ 第 1 稿をなんとかひねりだしてから寝たいもの。しかし久しぶりに夜眠いので(それでも 27:30 というのは十分遅いと思うけど)、おとなしく従った方がいいのかどうなのか。
ちなみに、寝ないで徹夜してしまうと確実に翌日の体調に影響が出るので、勘弁してください。そんなこと言ってる場合じゃないかもしれんけど。
ちょっと TeX ソースをコンパイルしてみたら、それなりの分量になっていた。
そしてなんだか、「見てください」メールを出すのが怖いわけですが。どんなメールでも、真面目な文章を書かなきゃならない時ってのは、送るのがとても怖いものです。
○ あー、でもこんなとこでかかずらってる暇があったら本文書けよって気がするな。猛省。
○ とりあえず寝ようかと思ったら目が冴えてきた。仕事しようと思うと眠くなって、寝ようと思うとなんだか寝ちゃいけない(つまりは時間が足りるのか不安なのです)ような気がして眠れないという、よくない兆候。あまり起きてると、そのうち眠いとか目がぱっちりとかでなくて、吐き気が出てくるので、ちゃんと寝ないといけない。
完全に昼夜逆転してぽんこつ化してるよー。
なんかずっと半覚醒状態で、ずっと夢ばかり見ていたような気がする。
爆弾を解体したり、家の地下室を探検しながら謎を解いたり、カーチェイスを繰り返したり、学校にある保養施設で研究したりしながら食堂にいったらインドカレー食べ放題をするような夢を見ました。ほとんどは元ネタが判りそうな気がする。
休んだ気がしないので、むちゃくちゃ眠いです。体調悪し。
今後は地球外生命体の探索のみならず、ほかの研究プロジェクトにも手を伸ばすらしい。
Linux アプリケーションに手を入れずに Solaris 上で実行するらしい。
FreeBSD の Linux エミュレータみたいなもの(ELF ファイルのブランド情報によってシステムコールテーブルを切り替えることができる機構を利用し、システムコールのラッパーをかますことによって Linux とブランドづけられたバイナリを稼動させることができる)か？
構文木くらい手でかけるだろーと思ってたら、予想以上に書くのがめんどくさいことが発覚。というか識別子の名前とか長くしすぎたせいか。
↓こんなのをいっぱい書くことになると死ねます。
addOperandMapping(Pattern.Compound("mem", new Pattern[]{ Pattern.Variable("Size"), Pattern.Variable("Base"), Pattern.Variable("Offset"), Pattern.Variable("Scale") }),
new OperandTranslator() {
public Expression translate(TranslationContext context) throws TranslationException {
return new Expression(new LeftValue(
new Expression(Expression.TYPE_ADD, new Expression[]{ context.getVariableBinding("Base"),
new Expression(Expression.TYPE_MUL, new Expression[]{ context.getVariableBinding("Offset"), context.getVariableBinding("Scale") }) }),
downcastInt(context.getVariableBinding("Size"))));
}
});○ ということで、やっぱりパーザなりコンパイラなりを作ろうと思ったのだけれど、フェーズを分けて文脈依存な文法を設計した方がいろいろ楽かもしれないと思ったりして、いろいろ悩んでいるところ。
要するに、
IDENT_PART = 'A'..'Z' | 'a'..'z' | '0'..'9' | '_';
IDENT = ('A'..'Z' | 'a'..'z' | '_') IDENT_PART*;
ATOM = ('a'..'z') IDENT_PART*;
PATVAR = ('A'..'Z') IDENT_PART*;○ みたいなトークン定義がされていて、IDENT には実際使われるところで何かしら prefix が付加される('%' とか '$' とか、Perl みたいに識別子の種類を表します)。ATOM, PATVAR は生で使われる、みたいなことをやろうとすると、lexical analyzer が混乱してくれます。
IDENT と ATOM・PATVAR がマッチする集合に重なりがあるので、conflict が起こる…ってのはわかるんですけど、実際は文脈を見ればどちらと解釈すべきかわかるようになっているわけです。Prefix をつけて、種類ごとに IDENT を定義すれば解決は一応できますが、あまりキレイではないなあと思ったり。
○ 文法が悪いんだろうなあ。うーん。
null に悩まされる構文解析器は謎だねえ。というか、自動生成されたコードって人間には読めないねえ。
次のような文法を書いて、構文木を取り出すとゆーことをやっているのだけれど、OperandDef#pattern() は正しく返ってくるのに、OperandDef#expr() が null を返してしまうのはなぜだー。
expr = ...; /* 省略 */
pattern = ...; /* 省略 */
definition = OperandDef { "#operand" pattern:pattern "=" expr:expr ";" }
| InstructionDef { "#instruction" pattern:pattern "{" code:command* "}" }
;
$parsable TopLevel { defs:definition* }○ OperandDef を文字列表記にさせてみると、ちゃんと文法解釈はできているように見える。
IA32.rule:8:#operand
OperandDef
`#operand' (line 8, column 1)
` ' (line 8, column 9)
Patn_Compound ←ここが pattern
`eax' (line 8, column 10)
` ' (line 8, column 13)
`=' (line 8, column 14)
` ' (line 8, column 15)
Expr_LValue ←ここが expr のはず
LValue_Reg
`%' (line 8, column 16)
`eax' (line 8, column 17)
`;' (line 8, column 20)○ pattern() はちゃんと Patn_Compound が返ってくるのだが、expr() を呼ぶと null が返ってきて、あれー？ な話。
○ (21:32) どうもラベルづけがされていないようだ。
reduction テーブルにはちゃんとラベルとして expr の bit が立っているのだけれど、__flatNodes__notavacc_reserved の再帰の途中でそれが伝播しなくなってしまっている、というところまで追っかけられたけどこの後はまだ謎に満ち満ちている。謎。
○ (22:08) またしても labeled expression の罠だったようです。
あるエリアスのケース中に $label が存在する場合、どうもそのラベルにマッチしないものはラベル付けがされないらしい。
たとえば次のような文法を入力したとして、
$abstract Expression {}
expr = expr0;
expr0 = expr1
| Expr_Add -> Expression { lhs:expr0 "+" rhs:expr1 };
expr1 = Expr_Int -> Expression { integer:INTEGER }
| "(" $label:expr ")";
$parsable TopLevel { expr:expr }○ ここで 1 + 2 とか入力すると、Expr_Add にはラベルがつくが、() でくくられた式と同一の左辺を持つ Expr_Int にはラベルがつかなくなってしまう。
したがって、Expr_Add のインスタンスに対して lhs() とか rhs() とかを呼んで Expr_Int を持ってこようとすると null が入っている。
○ 正しくは下記のようにしなければならないらしい。
$abstract Expression {}
expr = expr0;
expr0 = expr1
| Expr_Add -> Expression { lhs:expr0 "+" rhs:expr1 };
expr1 = expr2
| Expr_Int -> Expression { integer:INTEGER }
expr2 = "(" $label:expr ")";
$parsable TopLevel { expr:expr }○ つまり、右辺に $label が出現するときは、その作用は同一のケース内で閉じるのではなくて、左辺に還元される全てのケースにまたがるもの、と考えなければならないようだ。
Labeled expression は難しいなあ。
実装のほう、いま Java コードだけで 9,000 行くらいか。自動生成される構文解析器とかを除いた状態でこんなもんです。
コンパイラができたつもりになったので、あとは少し楽になるかなーと思っています。
と思ったら、検証器のサンプルがまだ途中だった。あうあうあー。
thesis.tex がトップレベルとなって、本文はセクションごとにファイルを分けて書く試み。(前もやったような。)
さらに BibTeX を使ったりしているので、コンパイルするときに platex→jbibtex→platex→platex とかいう 4 段手間が必要になったりする可能性も。
○ 何度も走らせるくらいならばその分書けばいいだけだから簡単だけど、TeX ファイル間が \input により依存しあっているような状況を簡単に解決する方策はよくわからん。TeX の出力を parse すればたぶんできそうな気もするけど。
勝手に依存性とか見てよしなにしてくれる、OCamlMakefile ならぬ TeXMakefile のようなものはないもんだろか。ちょっとぐぐって見た感じ、依存性をちゃんと把握してくれるような Makefile は見当たらなかった気が。
○ ポケットに入れたまま洗濯する人はやっぱりいるようだ。
私はここ数ヶ月で 4 回くらいやらかしましたが。
relsize パッケージを使うと、現在の環境のフォントサイズに相対的にフォントサイズを指定できる。
フォントサイズの絶対指定のコマンド(\normalsize など)と同様にして、\smaller・\larger とか書くことができる。
ダメ出しを食らったので、いっそのこと全面改訂してしまえ風味。
なんか(時期的に)間際になるにしたがって、自分で見てきれいに思える文章が出てくるようになってる気が。逆に言えば、締め切りまで時間があると変な文章しか出てこないので、ものすごく勿体無い。
○ ほぼ全面改訂して、面倒みてもらってる人と先生にも見てもらうためにメール送った。先生はお忙しそうなので、私の相手してる時間があるかどうか微妙ではありますが。
締め切りは 15 時。提出するまでが戦いだ。
○ とりあえず、修正して第 4 稿としてチェックに回してみることに。
先生にもさっき一度送っちゃったけど、修正版としてお世話してくれる人にもいっしょに送って、(あわよくば)コメント待つという手を選んでみようか。
○ で、寝ようと思います。8 時おきできたら奇跡。@ 28:04
やればできるものである。
月末なので、家賃とか部屋の契約延長とかの話もしておかないと、と思ったので、朝食食べに出るついでに銀行へ寄ったり。
10 時半ごろ学校に行く予定。
明日知り合いの結婚式があるので、ご祝儀袋とか筆ペンとかを購入。そういえば特別な準備は何もしてないんだけど、こんなんでいいのかしら。冠婚葬祭はよくわかりません。
あと、契約更新について後ほど不動産屋に電話を入れること。あと、帰省はできるかどうかわからんけど、とりあえず学割をとってくる。
○ 月末・年末が近いから、ぼちぼち会計の〆の処理とかもやらなならんし、年末年始の銀行の休みに備えてちょっと手元に資金をおいておかないとならないねえ。このへんは、まだ連休明けで間に合うかな。
生協で売ってた紙パック飲料。味はとても、無炭酸なメロンクリームソーダ風味の乳酸菌飲料でした。(字面どおりともいう)
キャッチコピーが「またまた飲んでみてビックリ、思わずだれかに教えたくなる、不思議なドリンクです。」ということなんですが、明らかに通常の(＝美味しいという意味で)教えたくなるという意味よりも、ネタとして教えたくなるという意味合いで書いてるように見えてしまったりする。
このブランドでは、前にも無炭酸コーラ「風味」乳酸菌飲料とか出してたなあ、とか思い出した。生協でも一時期入ってたけど、一週間くらいで姿を消したように思います。
とりあえずマナーの勉強を一夜漬けでやる奴。
ご祝儀袋は買った、筆ペンも OK。あとは新札の準備。しかし袱紗を持っていない。これは実家からもってきてもらうか。
もう年の瀬も押し迫ってきていますね。街に出れば寒風が吹き荒れ、街頭でひたすら布教活動をする某宗教の姿とかも見られます。(毎年見るので、なんだか私の中では年の瀬の風物詩的存在になっています。)
なんだか一年無為に過ごしてしまったよーな気分を覚えてしまって、現在しょんぼり中。もっと充実させたかったなあと思いつつ、そのために頑張ろうという気分だけはひたすら焦るんですよね。気分だけは。
○ 来年になれば歳をひとつとります。この 24 歳の一年はもう戻らないわけだ。こうして人は老いていくんだなあとか考えると、なんだか憂鬱になってきますよね。
今日はイヴだし、せっかくのめでたい晩なんだけどねー。昨日の酒の反動が今来ている感じです。
昨日の結婚式で写真をたくさん撮ってきたので(50 枚くらい)、印刷しようと L 判用紙を買ってきました。せっかく新しいプリンタも買ったしということで、Photoshop でちょっと補正とかかけて、フォトプリント紙の設定をちゃんとして、印刷してみました。
フチ無し印刷もできるし、ビバ新機種と思ったのですが、なんだか用紙の先端会わせがちゃんとしていないようで、〜3cm ほど(印刷かけるたびに変わります)ずれて印刷されてしまいます。集合写真の端の一人が欠けてしまったり、あるいは首から上がなくなったり。
おかしいおかしいと思いつつ、リトライを繰り返して紙もインクもかなり無駄遣いしてしまいました。
○ とりあえずわかったこととして、用紙の向きを「横」として印刷するとどうやらこのようになるらしいです。画像を回転して、用紙の向きを「縦」になるようにしてやれば、問題は起きないような感じです。
この解決策とか、問題の発生条件とかは確定的ではないのだけれど、もしこの解決策が原因と関係があるとするならば、問題はドライバか、それともファームウェアか、ですかねえ。
こーゆーのってベンダーに報告しといた方がいいんでしょうか。
とりあえずスケルトンつくって、今までに作ってきたミーティング資料とかから構文定義とか意味論とかの、数式部分を抜き出してぺたぺた貼り付けています。
これだけでなんか、20 ページくらいになってきたっぽい。まだ式が増えるから、なんだか半分くらいかけたような気になってみる。でも文章はまだまだだから、これからが大変なのです。
○ でも実験部は実験やるまで結果書けないのよね。
○ 昨日がんばったので、今日くらいはお休みしたいところ。なので、遊びにいこうかなあとも思ったんだけれど、もうじき親が戻ってくるらしいので、それまで家にいないといかんのです。
楽しいこと捜しにいきたいなあ。
○ こないだの薬ののこりを飲んで、しばらくしたらだんだん軽快していきました。でも油断は禁物なので、あったかくしてしばらくは注意しながら過ごします。
○ 帰ると、年越しそばとかお雑煮とか食べられるし、愚痴聞いてもらう相手はいるんだけど、だらだらしそう。お金もかかる。ネット環境が貧弱なので、調べ物にはでっかい不便です。
帰らないと、それらはできないが、静かな環境が待っている。でもなんだか悶々として後伸ばしにしてしまいかねない。愚痴も聞いてもらえない(?)し、同級会にも出席できない。(また 2 日にやるらしいです。返事出し忘れた。)
○ 結局のところ、後回しにせずにやる気力がわくかどうかが鍵になりそうな気がします。
なんか気力のわいてくるようなファクターってないかなあ。こういうとき自分の研究に絶対の自信が持てないのが辛いところ。
根拠のない自信でもいいので、胸を張って私はこう主張する、というところが固まっていればいいんですが。でも、今のところまだそういう段階ではない…というか、概念的には正しいんだけど、理論的に詳細を見た場合に正しい主張になっていないという問題があります。
この一年が終わってしまうと考えると、なんだか名残惜しいです。
でも、今年何やったっけな、というと結局時間ばかり無為に過ごしてしまった気がして、相変わらず自己嫌悪がひどいわけですが。
○ 協議の結果、帰省はしないことにしました。どうせ 3 が日しかいられないし(4 日から親はどちらも新学期の準備らしい)、だったらってことで、論文が終わって落ち着いてから帰ろうかと思います。
で、論文提出までちょうどあと 1 ヶ月。昨日・おととい休んでた分を取り戻して、さらに進めるために、今日から正月 3 が日のあたりは一日中作業しようと思ってます。というか、しないといけません。
ちょうどアパートでエレベーターの工事やってるので、表に出にくくて逃げにくいのです。カンヅメに適した環境(→牢獄ともいふ)なのではないかしら。…などと考えてちょっと鬱入る。
○ k.inaba [terms = $label:term ("," $label:term)* ; にすると、Termだけが入ったLi..]
○ Tossy-2 [あー、ラベルってそうやって使うのか。てっきり右辺には一つだけしか書けないものだとばかり。 どもども。 ]