同級生からIMが来た。プログラミング言語論をやっている様子。CAIで、いよいよJavaな問題にさしかかって来て、クラスの書き方などで試行錯誤しているようだった。会社の人？にEclipseをすすめられたとかで、インストールして Hello Worldはやったのだそうだ…

最後の課題７、４回目にしてクリア。朝出して出勤したらもうNGになっていて、見直し考え直し、意を決して質問のメールを送って仕事に入った。メーラ上げっぱなしでいたら、ピコンと返信が来た。 これは具体的な例であって、いくつかいても終わらないので、不…

「UNISYS技報60号」より 要求仕様の形式的記述―Software技術はここに始まり，ここに窮まる― http://www.unisys.co.jp/tec_info/tr60/60abs.htm#6005 某社の論文集で、前回課題７に取り組んだ時に見つけて中は見てなかったページ。関連の論文がいろいろ載って…

昼休み、チェックしたら評価が出ていた。関数型言語、論理型言語については３、ラムダ算法はかろうじて１。眠い頭でだした形式的仕様記述は見事玉砕。でもこれであと１つだ。 朝、電車の中で打った日めくりカレンダーの問題はレイアウトがイマイチなのでちょ…

最後の章は関数型言語と論理型言語について。論理型言語は述語論理をもとにしている。といっても何のことだか。prologがそれにあたるらしく、いくつかネット上の資料も読んでみたりして、学校で一年履修したのに当時もあまり馴染めず見事に忘れ去っている。 …

さてさて油断禁物のプログラミング言語論。ラムダ算法について学習していたのももう 2 weeks ago. あごあご。日曜はキャンパスデーパスポートでねずみーランドに行ったのだがプリントアウトしていった課題も前回提出部分（つまり不可になった解答）を出し忘…

厄介と伝え聞くレポート課題。いろいろ調査開始。面白いところなので、じっくりいろいろ読んでみたい。 一太郎にヒットしてのアクセスが多い。注目度高？ Skypeを1.0.0.0にした。多人数チャットとかできるかな・・・

先送りって響きが妙に可笑しかった。 しばらく放置していた（というか、オートマトン、コンパイラやCGに重点が移っていた）ため、思い出せるかなーと思いつつ、Javaの残りをやった。一つはパッケージ、もう一つはインターフェース。仕事のおさらいのような感…

採点されてなかったら一気に昨夜のJava5を続けてJava6も出そうかと提出状況をチェック。うぉ、４つのうち３つは３（優）。一つはなんと赤い０のまま（未評価）。やーヤバいテクニックを使ってしまったか。というか完璧に正しい使い方かは自信ないのだが。あ…

パッケージはディレクトリと一致しないといけないの原則にあわせてディレクトリの中にファイルを作りプロジェクトに追加。 SetTest +Build +Manifest +-SetTest +-SetTest.java +-Set +-Bag.java +-Set.java +-SetTest.xcodeManifestという謎のJavaリソース…

昨夜は３つ出した後に、もう一つ挑戦。４つめも出した。月曜だからと思ったが採点は無く赤い０のまま。 あと２つなのでJavaをやっつけようか、２４日期限のCGにどっぷりはまるかと思っていたが、少し触りかけていたXcodeのこともあってJavaを続けることに。 …

まとめて提出するつもりが最後まで進まず、最初に書いたコードが何を書いていたかわからなくなってきたので、さすがにまずいと思ってできているものは提出することに。なんだかんだ３本のJava課題ソースを整えるのに半日。程度問題でどこまでちゃんと書くか…

コンピュータグラフィクスの黒いポリゴンは、どうもデータに穴があいているらしい。先生からコメントがあった。コンピュータグラフィクスもオートマトンも課題が提示されているものは全部やった 途端に次の課題がババッと出たというところ。当初から残ってい…

提出していたレポートの評価が出ていた。４つのうち、無難なのだけいい評価。ヤバいのはものの見事に再提出。提出後もいろいろ見ているうちに全然足りない気はしていたのだが。１のやつも、再提出しよう。全部まとめて提出すると言っていた某氏の評価も出て…

オートマトンには手をつけず、プログラミング言語論を少しやった。４つレポートを提出。いつのまにか、進捗確認ページの巨大な表の、未評価(0)だけが赤で表示されるようになっていた。採点者用なのかな、ついでに終わっているものも背景色を付けたりしてくれ…

論述形式の課題はデータベースでいきなり不可をもらっていたのだが、こちらはなんとかいい点をもらえたようだ。週に一度程度採点しますということだったが、日曜出したら月曜に採点しているのか退社前にチェックしたらOKでていた。ふぅ。

今朝は早くから家族が遊びに出て一人にしてくれたので、ゆっくりお勉強。課題を１６まで全部コピペで並べてみた。１〜７と８〜１４、１５、１６と学習内容の３つに対応。２つめの演習は手が動きそうだけど、あとはいろいろ論考しなければならなそう。 課題１…

オートマトンは次の章のPDFを印刷して、一休みしたらやることにして、他の科目をチェック。コンピュータグラフィクスも進めたいが、サーバにつながらないので今日はお休みかな。今月始めようと思っていたもう一つの科目、プログラミング言語論を始めることに…