最近、日記が毎日更新されている。 なぜかって？毎日研究（のふり）してるから。 今日も、ずいぶん能率の悪い一日でした。 みんなもっと日記更新してよ！読むものなくてつまらないじゃないか！ で、今日はjavaのお話。 今、研究でjavaを使った新言語言語処理…

研究がエライことに。 なんでもいいからプログラムしろって言われたら何作ります？ 面倒くさいとかはこの際おいといてね。 まー、普通はゲームだったりと、なんらかの形でグラフィック表示をしたくなるんじゃないでしょうか？もちろん実用性のあるプログラム…

昼ごろ起床。 昨日の夜から四苦八苦していたバグ取りを再開。 卒論のメインとなる部分のプログラムを組みたいのに、その土台となる部分ですでにテンパリ状態。困ったなー。 で、先ほどとあるＭ先輩をメッセに発見したので、あわよくばアウトソーシングしてし…

10月5日と12日（19日も？）の水曜２限にTAのお仕事が・・・ Ocamlをやるとか。 できるのか・・・・

3泊4日の合宿から無事生還。 お金やら、保険やら、時間やら、予約やらと色々心配しなくてはいけないことから解放。 やっと一息といった感じですね。 で、合宿はどうだったかというと、 【一日目】合宿地へ移動→合宿課題発表 【二日目】遠足 【三日目】課題 …

ゼミの関係で私物以外に持っていかなくてはならない「物」が… しかも、今回はノートPCやらなんやらで普段より重いのに、加えて「物」全荷物の半分〜三分の一くらいしめてるんだから質が悪い。重すぎだっつーの！ しかも、この「物」、買うときに店員さんに笑…

どうやら、卒論キックオフは無事（？）終了したようです。 かなり迷走した感が大きいけれど、まぁアバウトだけど、卒論方向性はきまったかな？ 属性付与で頑張る方向で。 色々先生や先輩がコメントしてくれたのだけれども、自分的には悪寒に耐えてるのがやっ…

今日はワインパーティーの日。 おつまみはチーズフォンデュと、普通のチーズのみ！ 飲み物はワインのみ！ 結構ヘビー。 ネットを参考に、チーズとワインをおよそ１：１の割合で注ぐ。 が、大変酒臭くなる。 というか、ゲロの味が・・・。 これは酒の量が多か…

なんかゼミをするたんびに見失ってる気がする。 何を？もちろん「すべて」を。 ここいらで大きく方向転換が必要か！？ 「研究」ってなんなんでしょう。

ＨＤＤの重さって知ってますか？ 今日はなぜか研究室でとつぜんＨＤＤの重さを測ることになりました。 測る前にみんなで予測したのだけれども、多い人で１ｋｇ。少ない人で数百グラム。ちなみに自分は４００ｇと予想。 で、実際に測ってみたら580ｇでした。…

卒論がフリーになってしまいました。 LMNtalの三次元化を日夜進めているのだけれども、どうもタダの「作業」になっている。 このままじゃ卒論にもっていくのはキツそうだ。

なにか（とくに勉強）するときに、容量不足ってありません？ 頭の。 いま、LMNtalという言語の計算過程（？）を三次元表示するためのプログラムを書いています。 で、これがボチボチ大きなプログラムなんですよ。 普通プログラムは、すべてを把握するのは難…

人のプログラムは読みにくいです。 解読がしんどい。同じとこを何度も読みなおす始末。 偉大な先輩が作ってくれたシステムの御かげで全体像はつかみやすい。 が、同時に「最低レベル」も高い・・・。 ひぇー。

長い。道が長い。 改造すればするほどやることが増えていく。 僕はPHPハンターだったのに、いつの間にかJavaウォーリアーに。 どっかの「Ｍつり」くんがJavaウォーリアーからＣソルジャーへジョブチェンジしたばっかなのに。 ＰＨＰしか使えない僕には荷が重…

色々なプログラムを製作中。%頂点数の設定 ret=vertex2(8).%頂点数を保持しておくアトム生成 R = vertex2(N) :-int(N)|R=vertex(N),b(N+1).%頂点の生成 R = vertex(N) :- N>1 | R = vertex(N-1),a(N). R = vertex(N) :- N=1, ground(R) |a(1).%立方体の生成 …

ぼちぼち卒論のテーマを決めた方がよい時期になってきたようだ。 で、ちょっと面白そうだなと思ったのが、LMNtalという言語に３D表示機能を搭載すること。 色んなことができる。難しい問題が出来る。ってのも大事だろうけど、パッと見、興味を引かれるものっ…

話をただ聞いてるのは苦手。 すぐ眠くなる。興味のある話でも、ない話でも。 困った。 どうやら実際に手を動かさないと眠くなる性質らしい。 というわけで、まじめに聞きたい事ほど、別のことをしなくてはならなかったり。 （現在進行中） いかんなぁ。直さ…

厳しかった。 訳の間違え多数。理解不足多数。 しかもかけた時間も半端なし。 普通の人は長くても１時間も発表すれば終了。 が、自分は、２週間にまたいで、計２時間かけたり…。 内容が難しかったよねというフォローもあるものの、明らかに…（以下略 一ペー…

なんだか理解できないとこが多くて、二週間も時間をもらいつつもまだ理解が進まない。 駄目押しに、修正していたパワポファイルが古いものであることが今頃発覚。修正にまた時間が…。 なんか、最後の証明のとことか、どうしても分からないんで明日発表中に素…

輪講でした。突っ込みどこ多すぎ。 というか、先生に議題を投げて、先生が講義って形に近かった。 うーむ。しかし、さすが教授というだけあって、一人で悩んでて、全然わかんなかったのが結構なペースで理解できました。 が、ゼミとしてはすごく遅いペースに…

次の月曜に輪講がある。 で、参考書は英語。これをパワーポイントにして発表しなくてはならないんだけど、和訳が・・・。内容が・・・。知ってる内容なら、訳があってるか間違ってるかある程度判断つくものの、内容もわかんないんでなんとも・・・。 これっ…

スポーツセンターに行って久々の筋トレ。 上半身を中心にいろいろ。上腕二等筋がだるいー。 ちょっとは引き締めていかないとなぁ。筋トレ後は飯を食いに。ジンギスカンを食いました。 美味かったなぁ。 ただ、体に美味そうな匂いがびっちり…輪講資料早く作ら…

班分けです。はてさてどの班に入りましょうか。 班は、 ・描画班 ・言語班 ・検索班 ・並列班 どんなもんかな。

研究室に来て、なぜかお掃除をしてみる。 で、おなかが減ったので買い置きのパスタをゆでる。 具は？大丈夫。バジリコかってあります。が、なんと、ゆでた後油でいためなきゃいけないらしい。 ぬかったわー。 しょうがないので、青海苔チックに振りかけて食…

目的 前提A1…Anから結論Bを導くこと。 A,Bの意味を問わずルールで形式的に導く。 論理演算子 ¬（否定）、∨（選言）、∧（連言）、⇒（含意） これらには優先度がある。 否定＞連言＞（＝？）選言＞含意 シーケント φ,…,φ├ψ のようなもののこと。 ルール The ru…