[増刷おめでとうございます。ここに書いてもしょうがないけど。祖母に続いて親父まで入院。いいことLinuxビボ〜ろくで、お、あなたはちょうど本日100人目のお客様!きっと今日はいいことありますぜ!と言われる。いいことあるといいなぁ。[どうもありがとうございます。結局親父も大事には至らず、ホッとしています。TinyCのソースは以前にkjanaさんに紹介してもらって、簡単に目を通したことがあるので、TinyCの構造についてレポートするのが楽そう。CPLの処理系を作って見たいなぁ。Jena「プログラミング入門」の授業のテキストを読みながら、Jenaに触ってみる。パーティーは魔王豊ピーと愉快な仲間たち。今日はノーコンテニューで「レッドマジック」にまで到達したのに結局やられてしまった。ところで、「レッドマジック」って森博嗣の小説に出てくるOSと同じ名前ですね。伏屋さんに、Extraでボム一個と一機を犠牲にしてパチュリーに擦りまくるというテク(?)を教えてもらう。バイトコードを編集するためのAPI"Javassistの論文。システムプログラミング今日はネットワーク入門。gethostbyname等の古いAPIよりもgetaddrinfoやgetnameinfo等の新しいAPIを教えれば良いのにと、ちょっとだけ思った。行列計算をmatrix.rbでやろうとして、matrix.rbはNumericの派生クラスしか対象にしていない事に気付く。仕方ないので0と1をそれぞれ加算と乗算の単位元にcoerceするようにして誤魔化す。Jenaで無名ノードを含むN-TRIPLEからModelにデータを読み込むJenaで無名ノードを含むN-TRIPLEからModelにデータを読み込む際には、3引数の方のreadを使ってURIのbaseを指定してあげなくちゃいけないのね。俺ってダメダメじゃん。過去問が配られたのだけど、それに以下のような問題が載っていた。ましゅまろ部会ネタかと一瞬思ってしまった。マシュマロ・テストに関する適切な記述を次の中から選びなさい。甘さなどの味覚のテスト。柔らかさなどの触覚のテスト。大人にはあまり有効でない。知的な潜在能力を開花させる上で重要である。衝動を抑える能力を見る。情動を制御するテスト。Wikiこれまで放置していた自分のRWikiを最近少し使いだした。流れていって欲しくないネタはこっちに書こっと。unificationを書いた。言語の意味論PTQはオントロジー(存在論)が貧弱。(特定複数の兵士についての文)ゴキブリはどこにでもいる。everywhere.個体概念だけでは不足。indivisualobjectstagekind,object,stageのいずれに働くかという情報を動詞句が持っていると考える。自由Σ代数系は記号としての式の全体そのもの。自由Σ代数系とオントロジーは深く結び付いている。東方紅魔郷ようやくノーマルをノーコンテニューでクリア!!。霊夢の「夢の御札」を使いました。86215060点で、中村さんには約8万点ほど及ばなかったけど、これで心置き無く冬休みに入れます。昨日書いたように「自由Σ代数系は記号としての式の全体」であるならば、構文木の全体が自由代数で表わされる事と、自由代数のinitialityから、foldオペレータによって表示的意味論を与える事が出来るのは、ある意味自明だと思った。検索されるのには飽きたので、「獣姦」を含むURLは「本日のリンク元」には記録しない事にした。expressionのannotationの変数の数が多すぎる。数時間悩んだあげくに、ユニフィケーションの方法に問題があることに気が付く。多数の内から一度に2つづつをunifyして字句的に書き換えるという処理を繰り返していっても、その2つに出現しない束縛変数に関するユニフィケーションの情報は伝播しない。当然と言えば当然すぎ。(仮称)む、「Ruby-CPL」で検索されてるー。僕がこないだ始めたばかりの計画なので、検索したって情報は何も無いですよー。......というだけなのは何なので、ちょっとは情報を書いてみよう。」に書かれているプログラミング言語です(簡単な紹介)。こいつを再実装して、ふにふにするのが目標。Ruby-CPLという名前は、単に当面の実装言語にRubyを使ってるから。何でもRubyとかRとか付けるのは良くない習慣だと思うのだけど、名前を考えんの面倒くさいし。expressionの求め方の間違いを直したら、試した限りでは問題が出無くなった。λ(X,Y).prod(X,Y)」になるようになった。意中の人には断られてしまったので、家族と聴いてきた。クリスマス今年のクリスマスは色々な意味で寂しかった。